Tom - PDFSEARCH.IO - Document Search Engine

Tom
Results: 21196

#	Item
31	INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:53:36 Temporal logic Mathematical logic Theoretical computer science Finite model theory Linear temporal logic Symbol FO Constructible universe IP Computation tree logic Model theory Mathematics
32	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
33	Multi-Observation Elicitation Sebastian Casalaina-Martin Rafael Frongillo Tom Morgan Bo Waggoner Add to Reading List Source URL: www.bowaggoner.com Language: English - Date: 2017-07-12 06:17:02 Moment Variance Machine learning
34	MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-07-24 02:47:44 Mathematical optimization Mechanics Physics Dynamical systems Mechanical engineering Contact dynamics Linear complementarity problem Multibody system Trajectory optimization Constraint Degrees of freedom Inverse dynamics
35	Do long-term institutional investors contribute to financial stability? – Evidence from equity investment in Hong Kong and international markets Tom Fong Hong Kong Monetary Authority Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-09-17 03:21:18 Geography of China Hong Kong Monetary Authority Hong Kong Stock market Geography of Asia Subdivisions of China
36	An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Education Educational psychology Human behavior Educational assessment Flag Capture the flag Exercise CTFS VM Formative assessment Educational technology Test
37	PDF Document Add to Reading List Source URL: www.astro-tom.com - Date: 2016-10-15 17:04:37
38	PDF Document Add to Reading List Source URL: www.astro-tom.com - Date: 2016-10-15 17:04:38
39	PDF Document Add to Reading List Source URL: ukmaster.tom.ru - Date: 2017-10-17 09:39:09
40	PDF Document Add to Reading List Source URL: www.astro-tom.com - Date: 2016-10-15 17:04:37