United Kingdom - PDFSEARCH.IO - Document Search Engine

United Kingdom
Results: 203793

#	Item
1	Annual Malta Funds Conference 5 NovemberCorinthia Hotel London - Whitehall Place, London, United Kingdom Established Add to Reading List Source URL: mfia.org.mt Language: English - Date: 2015-10-17 11:21:35 Nomenclature of Territorial Units for Statistics Geography of Europe Europe Swissquote Vaud Hakon Haugnes Bank of Valletta Hedge fund Malta
2	TOWARDS A SOCIOLOGY OF HARM REDUCTION: A COMPARATIVE STUDY OF DRUG POLICY CHANGE IN CANADA AND THE UNITED KINGDOM BETWEEN THE YEARS 1985 AND 2017 by Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2018-01-16 13:00:10 Drug culture Health Drug control law Public health Harm reduction Substance abuse Underground culture Harm Reduction International Drug policy reform Drug policy Needle exchange programme Heroin
3	Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-22 09:34:32 Mathematics Temporal logic Mathematical analysis Mathematical logic Formal languages Model theory Generalized functions Computation tree logic Logic in computer science Linear temporal logic Interpretation IP
4	Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:30 Computing Software engineering Notation Systems engineering Automated planning and scheduling Planning Domain Definition Language Conceptual model Object Process Methodology Prolog
5	Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric Add to Reading List Source URL: mosml.org Language: English - Date: 2014-08-29 03:47:37 Software engineering Computing Computer programming Procedural programming languages Functional languages Data types Standard ML Type theory Scope ML Variable Operator
6	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
7	Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-09-24 14:01:42 Economy Money Finance Mobile payments Payment systems ISO standards Mobile telecommunications Online payments Near-field communication EMV Apple Pay Payment terminal
8	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2017-06-28 16:10:52 Probability theory Statistical randomness Probability Markov models Graph theory Stochastic game Probabilistic automaton Game theory Markov chain Determinacy Strategy Markov decision process
9	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-04-04 09:30:36 Probability theory Statistical randomness Probability Markov models Stochastic game Markov chain Determinacy Game theory Strategy Probabilistic automaton Markov decision process Stochastic process
10	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:42:36 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model