Thesis Abstract: Constructing Heuristics for PDDL+ Planning Domains Wiktor Piotrowski Supervised by: Daniele Magazzeni and Maria Fox Department of Informatics King’s College London United Kingdom

Source URL: icaps16.icaps-conference.org

• Automated planning and scheduling
• Artificial intelligence
• Planning Domain Definition Language
• Mathematical optimization
• Model checking
• Heuristic
• Motion planning
• Genetic algorithm
• Protein domain
• Cognitive science
• Learning

Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr

Source URL: qav.comlab.ox.ac.uk

Inferring Mechanics of Web Censorship Around the World John-Paul Verkamp Minaxi Gupta School of Informatics and Computing, Indiana University

Source URL: www.usenix.org

• Computing
• Information and communications technology
• Internet architecture
• Information Age
• Firewall software
• Internet censorship
• Computer network security
• Great Firewall
• Content-control software
• Localhost
• Firewall
• Router

Estimating Gender and Age of Web Page Visitors from the Way They Use Their Mouse Krátky Peter, Chudá Daniela Faculty of Informatics and Information Technologies Slovak University of Technology Ilkoviˇcova 5, Br

Source URL: gdac.uqam.ca

• Surveillance
• Biometrics
• Security engineering
• Computing
• National security
• Identification
• Cybercrime
• Keystroke dynamics
• Soft biometrics
• Typing
• Computer security
• Statistical classification

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOL. 13, NO. 4, AUGUSTA Hierarchical Data Transmission Framework for Industrial Wireless Sensor and Actuator

Source URL: wirelesslab.sjtu.edu.cn

Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Symbol
• Differential topology
• Lifting theory
• Jet bundle

INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Mathematical logic
• Theoretical computer science
• Finite model theory
• Linear temporal logic
• Symbol
• FO
• Constructible universe
• IP
• Computation tree logic
• Model theory
• Mathematics

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

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Formal languages
• Finite automata
• Model checking
• Mathematical logic
• Omega language
• Theory of computation
• Muller automaton
• Sigma-algebra
• Tree
• Structure
• Measure

Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla

Source URL: www.falkhowar.de

• Finite-state machine
• Image segmentation
• Machine learning
• Cellular automata
• Finite automata
• Automata theory
• Cognition
• Cognitive science
• Artificial intelligence

Sam Tobin-Hochstadt School of Informatics, Computing, & Engineering Indiana University 500 N. Woodlawn Ave. Bloomington, IN 47405

Source URL: homes.sice.indiana.edu

• Software engineering
• Computing
• Computer programming
• Functional languages
• Scheme
• Matthias Felleisen
• Programming paradigms
• International Conference on Functional Programming
• Racket
• Matthew Flatt
• SIGPLAN
• Robert Bruce Findler