TIME - PDFSEARCH.IO - Document Search Engine

TIME
Results: 196714

#	Item
61	Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-06-15 16:26:37 Greek letters Timed automaton Symbol Zeta
62	Chapter 8 T Verification of Real-time Probabilistic Systems Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-01 04:16:38 Finite automata Probability theory Probability Timed automaton Markov processes Probabilistic automaton Markov decision process Model checking Automata theory Probabilistic logic
63	2018 17th ACM/IEEE International Conference on Information Processing in Sensor Networks Data Fusion for Hybrid and Autonomous Time-of-Flight Positioning Aymen Fakhreddine Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2018-04-13 03:04:41 Global Positioning System Navigation Technology Wireless Radio navigation Geodesy Aircraft instruments GPS navigation device Dilution of precision Pseudorange Assisted GPS GPS signals
64	Thomson Reuters Elektron Data Platform Real-Time Venue Data For MiFID II MiFID II is redefining best practice in our industry Organizations bound by MiFID II are now finding that rules around pre- and post-trade transpar Add to Reading List Source URL: mifidii.thomsonreuters.com Language: English - Date: 2018-10-21 02:07:04 Economy Finance Money Financial markets Financial regulation European Union Markets in Financial Instruments Directive Systemic risk Tradeweb Thomson Reuters MarketAxess Securities research
65	Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2018-04-16 08:14:19 Mathematics Geometry Mathematical analysis Topology Convex analysis Measure theory Order theory Cover General topology Convex function Support Interval
66	Stanford Health Care FY 2017 Stanford Health Care seeks to heal humanity through science and compassion, one patient at a time, through its commitment to care, educate and discover. Stanford Health Care delivers clinical Add to Reading List Source URL: stanfordhealthcarequality.com Language: English - Date: 2018-10-24 18:46:54 Stanford University Medical Center Middlesex Hospital Health care
67	Lecture 8, Thurs Feb 9: More on Quantum Money, BB84 QKD Guest Lecture by Supartha Podder Continuation of Quantum Money Last time we discussed how classical money is copyable and described a scheme for making money uncopy Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2018-08-26 18:22:42 Quantum information science Theoretical computer science Quantum mechanics Quantum cryptography Cryptography Quantum computing BB84 Qubit Quantum key distribution Quantum information Controlled NOT gate Quantum money
68	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
69	Just in Time A Guide to Campus Emergencies Office of Critical Event Preparedness and Response For additional information you are encouraged to download Add to Reading List Source URL: emergency.emory.edu Language: English - Date: 2018-10-08 17:06:22 Safety Safety equipment Prevention Public phones 000 Emory University Fire extinguisher International SOS Emergency telephone 111 9-1-1 Medical emergency
70	Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:09:39 Symbol Linear temporal logic Constructible universe Markov chain Probabilistic logic Logic Mathematics Epistemology

UPDATE