Systems science - PDFSEARCH.IO - Document Search Engine

Systems science
Results: 42323

#	Item
1	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
2	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
3	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
4	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
5	University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ Add to Reading List Source URL: db.cs.washington.edu Language: English - Date: 2018-10-11 15:27:57 Computing Data management Data Business intelligence Database management systems Technology forecasting Transaction processing Dan Suciu Big data Probabilistic database Data science Analytics
6	Computer Science_BS_Information Systems.pdf Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:04:21 Course Curricula
7	Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:24:58 Estimation theory Probability and statistics Statistics Graph theory Markov chain Parameter Machine learning Probability distribution fitting Parametric model Twisting properties
8	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
9	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-07 19:21:25 Model checkers Application software PRISM model checker Systems science Mathematics Model checking Uppaal Model Checker Probabilistic automaton PAT Hybrid system Markov chain
10	Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:27:58 Mathematical analysis Measure theory Ergodic theory Lie algebras Stochastic processes