CA - PDFSEARCH.IO - Document Search Engine

CA
Results: 1242051

#	Item
111	New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:32:09 Formal methods Theoretical computer science Software engineering Computing Logic in computer science Software testing Model checking Formal verification Software verification Flash memory Verification Software quality
112	Deciding How to Get By: Subsistence Choices among Homeless Youth in Toronto by Tyler Jarret Frederick Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2012-12-11 16:10:02 Homelessness Housing Humanitarian aid Poverty Socioeconomics Street performance Culture Sociology Economy Youth homelessness Habitus
113	Banff/Lake Louise 44 ALPINE Add to Reading List Source URL: heatherhudson.ca Language: English - Date: 2017-02-10 09:09:43 Banff National Park Vail Resorts Alterra Mountain Company Whistler Blackcomb Whistler British Columbia Blue Mountain Mt Norquay Geography of Canada Lake Louise Ski Resort Peak 2 Peak Gondola Geography of British Columbia Blackcomb
114	Selective Exploration of Commercial Documents in Web Search Alexander Shishkin, Ekaterina Gladkikh, Aleksandr Vorobev Yandex 16 Leo Tolstoy St., Moscow, Russia Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:22:08 Information science Information retrieval Information retrieval evaluation Machine learning Natural language processing Discounted cumulative gain Ranking Algorithm Web search engine Multi-armed bandit Relevance feedback
115	Reverse Engineering SPARQL Queries∗ Marcelo Arenas Gonzalo I. Diaz Egor V. Kostylev Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:17:32
116	Human Agency in the Interstices of Structure: Choice and Contingency in the Conflict over Roşia Montană, Romania By Filip Mihai Alexandrescu Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2012-11-01 07:47:03 Roia Montan Project Roia Gabriel Resources Bunta
117	Controlled, Encouraged or Adrift? Sources of Variation in Adolescent Substance Use by Tara Leah Fidler Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2013-02-20 11:09:06 Medicine Health Herbalism Medicinal plants Clinical medicine Substance dependence Psychiatric diagnosis Drug culture Alcoholism Medical cannabis Adolescence Legality of cannabis
118	Microsoft Word - temp08kt-alonso (1).doc Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:55:36 Digital media World Wide Web Bing Computing Social media Web search engine Social search Social media mining
119	xh!cMd9Kyzxÿ A7770020 AA17772222/YY Test, Patient A Svc/AdmDate: Add to Reading List Source URL: nutritioncareincanada.ca Language: English - Date: 2017-05-16 19:58:05 Medical terminology Medicine Health Quadrant Pain assessment Admission note Presenting problem Abdomen Medical history
120	Generating Graph Snapshots from Streaming Edge Data Sucheta Soundarajan⇤ Acar Tamersoy† Elias B. Khalil† Tina Eliassi-Rad‡ † Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:22:59 Graph theory Discrete mathematics Mathematics Belief propagation Degree Connectivity Graph

UPDATE