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

Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science

Source URL: pdfs.semanticscholar.org

• Genetic algorithms
• Evolutionary algorithms
• Artificial intelligence
• Applied mathematics
• Cybernetics
• Mathematical optimization
• Mathematics
• Genetic programming
• Algorithm
• Crossover

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

Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar

Source URL: pages.di.unipi.it

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain
• Chemical reaction

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1

Source URL: pages.di.unipi.it

• Theoretical computer science
• Mathematics
• Logic in computer science
• Lambda calculus
• Formal languages
• Mathematical logic
• Rewriting
• Fixed-point combinator
• Sequence
• Rewrite order
• Substitution

Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Differential equations
• Biology
• Stochastic simulation
• Stochastic processes
• Cellular processes
• Cell cycle
• Delay differential equation
• G1 phase
• Gillespie algorithm

Automatic Verification of Competitive Stochastic Systems by ˇ Aistis Simaitis

Source URL: www.prismmodelchecker.org

A new method to automate the synthesis of stochastic computing circuits

Source URL: techxplore.com

• Statistical randomness
• Stochastic computing
• Mathematical optimization
• Stochastic
• Integrated circuit
• Electronic engineering
• Electromagnetism
• Electrical engineering

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

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

• Markov processes
• Game theory
• Strategy
• Stochastic game
• Markov decision process
• Probability and statistics
• Probability
• Computability theory

Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2

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

• Algebra
• Mathematics
• Abstract algebra
• Timed automaton
• Markov chain
• Weight
• Markov decision process
• -ring
• Spectral theory of ordinary differential equations