Institute - PDFSEARCH.IO - Document Search Engine

Institute
Results: 275473

#	Item
101	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
102	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
103	Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:25:03 Mathematics Algebra Abstract algebra Boolean algebra Algebraic structures Logic in computer science Constraint programming Boolean satisfiability problem Electronic design automation DPLL algorithm Conjunctive normal form Boolean
104	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
105	DNA in Amber 15 Ancient DNA DNA in Amber In an article in Institute of Creation Research’s journal, Creation Ex Nihilo Technical JournalVol. 8 Pt. 1, we read that the discovery of ancient DNA in amber (fossili Add to Reading List Source URL: www.jesuswordsonly.com Language: English - Date: 2009-05-12 21:09:14 Biology Molecular biology Nature Biochemistry DNA Biotechnology Laboratory techniques Polymerase chain reaction Ancient DNA Eske Willerslev George Poinar Jr. Genetics
106	Worcester Polytechnic Institute – Social Science & Policy Studies Dept. ENV 280X: Environmental & Risk Communication Sample Syllabus Dr. Patricia Stapleton Course Description The purpose of this course is to introduce Add to Reading List Source URL: www.patriciastapleton.com Language: English - Date: 2018-08-04 14:34:43 Actuarial science Evaluation Financial risk Risk Safety Disaster United States Environmental Protection Agency Economy
107	HONG KONG INSTITUTE FOR MONETARY RESEARCH PUSHING ON A STRING: STATE-OWNED ENTERPRISES AND MONETARY POLICY TRANSMISSION IN CHINA Hongyi Chen, Ran Li and Peter Tillmann Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-10-02 23:18:40 Economy Macroeconomics Money Monetary policy Monetary economics State-owned enterprise Macroeconomic policy Economy of China Central bank Money supply Nominal rigidity
108	Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2015-01-06 12:33:50 Concurrency control Computing Computer programming Data management Lock N1 Monitor File locking APT
109	A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:50:05 Functional predicate Model theory Symbol Limit of a function Universal quantification Mathematical logic Mathematics Logic
110	Mathematics of Machine Learning: An introduction Sanjeev Arora Princeton University Computer Science Institute for Advanced Study Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:48 Machine learning Learning Artificial intelligence Applied mathematics Artificial neural network Outline of machine learning Supervised learning Regularization Empirical risk minimization Backpropagation Poisson regression Parametric model

UPDATE