Informatics

Results: 44891



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

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 12:59:09
2Int. 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

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

Add to Reading List

Source URL: perso.univ-perp.fr

Language: English - Date: 2018-01-15 12:35:42
3Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London

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

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 12:09:33
4Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

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

Add to Reading List

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

Language: English - Date: 2012-09-24 12:45:19
5INFORMATICS DEVELOPMEN T AGENCY Digitally signed by INFORMATICS

INFORMATICS DEVELOPMEN T AGENCY Digitally signed by INFORMATICS

Add to Reading List

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

Language: Greek - Date: 2016-02-29 13:12:38
    6Strategy 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.

    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.

    Add to Reading List

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

    Language: English - Date: 2013-12-01 11:48:09
    7CALL 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

    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

    Add to Reading List

    Source URL: www.sgmi-ssim.org

    Language: English - Date: 2018-05-28 12:58:30
    8Dissertation Abstract ¨ Emre Okkes ¸ Savas¸ Supervisors: Maria Fox, Derek Long Department of Informatics,

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

    Add to Reading List

    Source URL: icaps16.icaps-conference.org

    Language: English - Date: 2016-06-09 12:09:40
    9Process 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

    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

    Add to Reading List

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

    Language: English - Date: 2010-08-25 18:16:19
    10LIPIcs  Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability

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

    Add to Reading List

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

    Language: English - Date: 2013-12-01 15:22:58