Games - PDFSEARCH.IO - Document Search Engine

Games
Results: 48960

#	Item
1	LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-10-23 08:59:09 Mathematics Algebra Abstract algebra Distribution Number theory Valuation Universal property BorelKolmogorov paradox
2	Certification procedure for games of chance machines and jackpot systems Add to Reading List Source URL: www.esbk.admin.ch Language: English - Date: 2009-12-28 04:54:20 Quality assurance Standards Professional certification Accreditation Certification Slot machine Human behavior Evaluation Applied ethics ECOGRA
3	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
4	PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-01-13 05:57:32 Theoretical computer science Mathematics Model checkers Temporal logic PRISM model checker Computation tree logic Model checking Application software Stochastic game Strategy Stochastic process Game theory
5	A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-10-27 05:19:34 Formal languages Nested word Words
6	Developing Multiplayer Pervasive Games and Networked Interactive Installations using Ad hoc Mobile Sensor Nets Orestis Akribopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas, Ioannis Chatzig Add to Reading List Source URL: nikos.vasilak.is Language: English - Date: 2012-02-20 07:56:48 Computing Gaming Mobile computers User interface techniques Information appliances Home video game consoles Ubiquitous computing Gameplay Location-based game Augmented reality Mobile game Context awareness
7	Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-06 06:27:29 Linear temporal logic Temporal logic Symbol Stochastic game Mathematical optimization Markov decision process Markov chain Probability
8	EE Games & Activities Resource by: Mondaymorningteacher.com Add to Reading List Source URL: www.mondaymorningteacher.com Language: English - Date: 2018-09-04 16:53:05 Dance in Hawaii Hawaiian music Hula Tiki culture Hoop Polynesian culture Queen Oceanian culture
9	Alex Sherman www.asherman.io Experience Faff Games LLC, Madison, WI Add to Reading List Source URL: asherman.io Language: English - Date: 2018-10-02 12:47:05 Computing Software Computer programming Cross-platform software PyCharm ESP8266 Python MySQL Elasticsearch OpenGL Shading Language
10	PH Games and Activities Resource by: mondaymorningteacher.com Add to Reading List Source URL: www.mondaymorningteacher.com Language: English - Date: 2018-09-04 16:52:36 Dance in Hawaii Hawaiian music Hula Tiki culture Hoop Polynesian culture Oceanian culture