Markov Chain | Neuro-Mechanistic Modeling https://mosi.uni-saarland.de/tag/markov-chain/ Markov Chain Hugoen-usMon, 01 Jul 2013 00:00:00 +0000 https://mosi.uni-saarland.de/media/icon_hu_79d10899b013012f.png Markov Chain https://mosi.uni-saarland.de/tag/markov-chain/ Efficient Steady State Analysis of Multimodal Markov Chains https://mosi.uni-saarland.de/publications/spieler-efficient-steady-state-analysis-2013/ Mon, 01 Jul 2013 00:00:00 +0000 https://mosi.uni-saarland.de/publications/spieler-efficient-steady-state-analysis-2013/ Approximation of event probabilities in noisy cellular processes https://mosi.uni-saarland.de/publications/didier-approximation-of-event-probabilities-2011/ Sun, 01 May 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/didier-approximation-of-event-probabilities-2011/ Sliding Window Abstraction for Infinite Markov Chains https://mosi.uni-saarland.de/publications/henzinger-sliding-window-abstraction-for-2009/ Mon, 01 Jun 2009 00:00:00 +0000 https://mosi.uni-saarland.de/publications/henzinger-sliding-window-abstraction-for-2009/ Equivalences on Phase Type Processes https://mosi.uni-saarland.de/publications/wolf-equivalences-on-phase-type-2008/ Thu, 01 May 2008 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-equivalences-on-phase-type-2008/ Modelling of Biochemical Reactions by Stochastic Automata Networks https://mosi.uni-saarland.de/publications/wolf-modelling-of-biochemical-reactions-2007/ Sun, 01 Jul 2007 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-modelling-of-biochemical-reactions-2007/ A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion https://mosi.uni-saarland.de/publications/busch-a-numerical-aggregation-algorithm-2006/ Sun, 01 Oct 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/busch-a-numerical-aggregation-algorithm-2006/ Bisimulation and Simulation Relations for Markov Chains https://mosi.uni-saarland.de/publications/baier-bisimulation-and-simulation-relations-2006/ Fri, 01 Sep 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baier-bisimulation-and-simulation-relations-2006/ Trace Machines for Observing Continuous-Time Markov Chains https://mosi.uni-saarland.de/publications/wolf-trace-machines-for-observing-2006/ Mon, 01 May 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-trace-machines-for-observing-2006/ Comparative branching-time semantics for Markov chains https://mosi.uni-saarland.de/publications/baier-comparative-branching-time-semantics-for-2005/ Mon, 01 Aug 2005 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baier-comparative-branching-time-semantics-for-2005/