AC-2 - PDFSEARCH.IO - Document Search Engine

AC-2
Results: 13661

#	Item
11	Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-09 09:40:14 Mathematical analysis Mathematics Distribution Functional analysis Markov chain
12	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
13	Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-06-22 10:21:17 Mathematics Mathematical analysis Theoretical computer science Distribution Functional analysis Substitution Denotational semantics Markov chain
14	LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at Add to Reading List Source URL: www.cbpf.br Language: English - Date: 2016-05-06 13:29:49 Information theory Statistical theory Physics Probability and statistics Entropy Conditional entropy Principle of maximum entropy
15	Microsoft Word - What do we know 2.doc Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2006-04-04 07:18:50 Education Education in the United Kingdom Comprehensive education Philosophy of education Educational stages Education in England Selective school Comprehensive school Eleven-plus Grammar school Secondary modern school Circular 10/65
16	Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:24 Logic Automated theorem proving Propositional calculus Mathematical logic Logic programming Mathematics Rules of inference Resolution Clause Literal Unit propagation E theorem prover
17	Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 10:21:43 Formal languages Mathematics Theoretical computer science Models of computation Discrete mathematics Nested word Words Bisimulation Distribution Deterministic pushdown automaton
18	Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:55:59 Algebra Mathematics Abstract algebra Timed automaton Markov chain Weight Markov decision process -ring Spectral theory of ordinary differential equations
19	Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:46 Mathematics Mathematical logic Logic Model theory Logic in computer science Semantics Universal algebra Boolean satisfiability problem Interpretation First-order logic Resolution Clause
20	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-09-08 19:38:18 Mathematical analysis Mathematics Constructible universe Distribution

UPDATE