Jasmin - PDFSEARCH.IO - Document Search Engine

Jasmin
Results: 300

#	Item
61	IEA Greenhouse Gas R&D Programme - An Overview Jasmin Kemper IEAGHG Canmet, Ottawa, Ont., Canada 29 June 2015 Add to Reading List Source URL: ieaghg.org Language: English - Date: 2015-08-05 06:32:44 Carbon dioxide Carbon sequestration Chemistry Carbon capture and storage Climatology Calcium looping Greenhouse gas Carbon capture and storage in Australia
62	Zusammenfassung der Master-Thesis von Jasmin Franzen Gesundheitskompetenz von Patienten mit Diabetes mellitus Typ II und die Nutzung des Gesundheitssystems in der Schweiz Ausgangslage: Gemäss Studien aus den Vereinigte Add to Reading List Source URL: intern.public-health-edu.ch Language: German - Date: 2013-07-09 07:46:24
63	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
64	Model Finding for Recursive Functions in SMT Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , Simon Cruanes2 , and Cesare Tinelli1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-28 12:04:25 Model theory Interpretation First-order logic Symbol Structure operator Principia Mathematica
65	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Theoretical computer science Constraint programming Satisfiability modulo theories Z3 Isabelle Formal verification Proof assistant Automated reasoning E theorem prover
66	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable
67	Proving stabilization of biological systems Byron Cook1,2 , Jasmin Fisher1 , Elzbieta Krepska1,3 , and Nir Piterman4 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-11-05 05:16:17
68	LCA in CCUS Workshop Jasmin Kemper IEA Greenhouse Gas R&D ProgrammeNovember 2015 BMA House, London Add to Reading List Source URL: ieaghg.org Language: English - Date: 2016-01-11 07:20:51 Carbon sequestration Carbon dioxide Energy economics Carbon capture and storage Greenhouse gas Low-carbon economy Climate change mitigation Life-cycle assessment
69	Biomass with carbon capture and storage (BECCS or Bio-CCS) Jasmin Kemper IEA Greenhouse Gas R&D Programme Add to Reading List Source URL: ieaghg.org Language: English - Date: 2016-02-17 07:23:42 Biomass Carbon dioxide Bioenergy Renewable energy Climate change mitigation Bio-energy with carbon capture and storage Cofiring Biofuel IPCC Fourth Assessment Report Carbon capture and storage
70	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-01 13:38:31 Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic