.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
191 $Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1$	Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-10-01 09:45:47 Temporal logic Linear temporal logic Theoretical computer science Symbol Mathematical logic Computation tree logic
192	fåîÉåíçêó ^ÅÅKVTNN táääá~ã=j~íÜÉëçå=m~éÉêë k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ Add to Reading List Source URL: www.nls.uk Language: Portuguese - Date: 2002-05-16 10:12:36
193	LNBIStronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2006-11-14 10:05:18 Stochastic simulation Biology Cell biology Scientific modeling PEPA Epidermal growth factor Simulation Scientific modelling Chemical kinetics Computer simulation
194	Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 18:17:09 Mathematical analysis Mathematical optimization Operations research Stochastic game Nash equilibrium Markov chain Determinacy Stochastic process Mathematics Analysis Multi-objective optimization
195	Why Information can be Free ˇ ce?† Ivana Caˇ ? Joanna J. Bryson† Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2005-01-16 17:42:03 Computing Modeling and simulation Multi-agent systems Artificial intelligence Simulation software Complex systems theory Simulation NetLogo Agent-based model Intelligent agent Agent Economics
196	BPOE-9 Call for Papers -------------------------------- The Ninth Workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware (BPOE-9) Web: http://prof.ict.ac.cn/bpoe-9/ Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2017-12-18 21:58:19 Data management Chinese Academy of Sciences University of the Chinese Academy of Sciences Big data International Conference on Architectural Support for Programming Languages and Operating Systems Benchmark Database Computing Data Information
197	Who Am I? Secure Identity Registration on Distributed Ledgers Sarah Azouvi1 , Mustafa Al-Bassam1 , and Sarah Meiklejohn1 University College London {sarah.azouvi.13,mustafa.al-bassam.16,s.meiklejohn}@ucl.ac.uk Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Cryptography Economy Alternative currencies Computing Blockchains Decentralization Ethereum Bitcoin Public key infrastructure Smart contract Digital currency
198	VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-09-26 11:27:36 Harbourfront PATH Toronto Transit Commission Ontario Yonge Street Union station King station Queens Quay Queen station Gardiner Expressway Bay station
199	AC P M \| AC A R R WEBINAR The ACPM Webinar Program provides ACPM Members with an opportunity to provide ACPM Members and non-members with easy access to timely, relevant and educational online sessions. ACPM will manage Add to Reading List Source URL: www.acpm.com Language: English - Date: 2018-03-08 16:00:42 ACPM Web conferencing
200	Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2008-03-05 10:22:30 Internet architecture Computing Network architecture Internet Quality of service Teletraffic Resource Reservation Protocol Network protocols Integrated services Mobile IP Handover RSVP