LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

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

• Mathematics
• Algebra
• Abstract algebra
• Distribution
• Number theory
• Valuation
• Universal property
• BorelKolmogorov paradox

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Source URL: perso.univ-perp.fr

• Functions and mappings
• Mathematical analysis
• Mathematics
• Computer arithmetic
• Limit of a function
• Abstract interpretation
• Unit in the last place
• Exponentiation
• Integral
• Lambda calculus
• Quantifier
• Combinatory logic

Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London

Source URL: icaps16.icaps-conference.org

• Probability and statistics
• Mathematical analysis
• Probability theory
• Measurement
• Automated planning and scheduling
• Planning Domain Definition Language
• Confidence interval
• Heuristic
• Normal distribution
• Uncertainty

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

Source URL: www.inf.ed.ac.uk

• Software engineering
• Computing
• Computer programming
• Tutorial
• Don Sannella
• Haskell
• D
• Informatics
• Functional programming

INFORMATICS DEVELOPMEN T AGENCY Digitally signed by INFORMATICS

Source URL: council.dev.edu.uoc.gr

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic.

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

• Mathematics
• Linear temporal logic
• Temporal logic
• Mathematical logic
• Symbol
• Structure
• Model theory
• Distribution
• operator

CALL FOR PAPERS 31. Annual Meeting of the Swiss Society for Medical Informatics September 11th and 12th 2018, Stade de Suisse, Bern In cooperation with Swiss eHealth Summit und HIMSS

Source URL: www.sgmi-ssim.org

• Healthcare Information and Management Systems Society
• Health informatics
• LAUNCH
• Health care

Dissertation Abstract ¨ Emre Okkes ¸ Savas¸ Supervisors: Maria Fox, Derek Long Department of Informatics,

Source URL: icaps16.icaps-conference.org

• Mathematics
• Automated planning and scheduling
• Control engineering
• Planning Domain Definition Language
• Control theory
• Mathematical optimization
• Variable
• Parameter
• Linear programming
• Motor coordination

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Markov models
• Formal methods
• Graph theory
• Markov chain
• Process calculus
• Semantics
• Stochastic process
• Mathematics

LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability

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

• Mathematics
• Mathematical analysis
• Group theory
• Geometric group theory
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Kazhdan's property
• Jet bundle
• Orbifold