Park - PDFSEARCH.IO - Document Search Engine

Park
Results: 132113

#	Item
11	Contact: Dawn Shiley IAEM Communications Manager IAEM Headquarters 201 Park Washington Court Add to Reading List Source URL: www.emap.org Language: English - Date: 2018-04-06 09:23:30 Emergency management Government Disaster preparedness Humanitarian aid Occupational safety and health United States Department of Homeland Security Homeland security International Association of Emergency Managers
12	Millisort: An Experiment in Granular Computing Seo Jin Park with Yilong Li, Collin Lee and John Ousterhout Massively Parallel Granular Computing Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:53 Sorting algorithms Order theory Mathematics Computing Bucket sort Radix sort Merge sort Partition Merge algorithm Sorting
13	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:36:18 Logic Mathematics Mathematical logic Metalogic Model theory Syntax Well-formed formula First-order logic Resolution Logic programming Tautology
14	11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 21:00:52 Mathematical logic Logic Model theory Metalogic Predicate logic Formal methods Resolution First-order logic Skolem normal form Automated theorem proving Quantifier Axiom
15	Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 09:00:40 Theoretical computer science Mathematical logic Mathematics Boolean algebra Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Propositional calculus Model checking
16	TRecSo: Enhancing Top-k Recommendation With Social Information ∗ Chanyoung Park, Donghyun Kim, Jinoh Oh, Hwanjo Yu† Dept. of Computer Science and Engineering Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:59:03 Information science Collective intelligence Recommender systems Information retrieval Collaboration Social information processing Information systems Collaborative filtering Matrix factorization Machine learning Personalization
17	SIGCSE 2011 Poster Proposal: Universal Design for Learning in CS1 Suzanne Rivoire Department of Computer Science Sonoma State University, Rohnert Park, CA, USA Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:15 Education Learning Human behavior Pedagogy Segregation Educational psychology Higher education Universal Design for Learning Philosophy of education Educational technology Inclusion Accessibility
18	The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:40:45 Logic Metalogic Mathematics Proof theory Model theory Mathematical logic Syntax First-order logic Well-formed formula Formal system Logic programming Resolution
19	Digby • St Lukes • City Centre • University Mondays to Fridays except Bank Holidays 0700 Digby Drive 0702 Digby Park & Ride Add to Reading List Source URL: www.goodjourney.org.uk Language: English - Date: 2018-10-04 07:54:22 Trade British brands Convenience stores Tesco Big-box store Distribution marketing) Economy
20	When Does the Public Care? Salience of Security Policy to the Public Caitlin McCulloch University of Maryland, College Park Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2018-10-19 14:27:17 Agenda-setting theory Framing News media Geography of Europe Neuroscience Salience Cognitive science Abkhazia