scientific article; zbMATH DE number 729460

Publication date: 2 March 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Research exposition (monographs, survey articles) pertaining to probability theory (60-02) Probabilistic methods, stochastic differential equations (65C99)

Related Items (only showing first 100 items - show all)

Quasi-birth-and-death processes, level-geometric distributions. An aggregation/disaggregation approach ⋮ Iterative aggregation/disaggregation methods for computing some characteristics of Markov chains. II: Fast convergence ⋮ Towards Bridging Time and Causal Reversibility ⋮ Graph coarsening: from scientific computing to machine learning ⋮ Stochastic modeling on M/M/1/N inventory system with queue-dependent service rate and retrial facility ⋮ Numerical method for discrete-time finite-buffer queues with some regenerative structure ⋮ The group inverse of finite homogeneous QBD processes ⋮ On Vector-Kronecker Product Multiplication with Rectangular Factors ⋮ Unnamed Item ⋮ Accurate Chemical Master Equation Solution Using Multi-Finite Buffers ⋮ Discrete reachability of hybrid systems ⋮ Stochastic dynamics and stable equilibrium of evolutionary optional public goods game in finite populations ⋮ Comparative branching-time semantics for Markov chains ⋮ A preorder relation for Markov reward processes ⋮ A disaster queue with Markovian arrivals and impatient customers ⋮ The effect of increasing returns to scale in public goods investment on threshold values of cooperation under social exclusion mechanism ⋮ Precisely deciding CSL formulas through approximate model checking for CTMCs ⋮ Applying Reversibility Theory for the Performance Evaluation of Reversible Computations ⋮ Computing Behavioral Relations for Probabilistic Concurrent Systems ⋮ Quantitative Analysis of Concurrent Reversible Computations ⋮ Twenty years of rewriting logic ⋮ Recursive blocked algorithms for linear systems with Kronecker product structure ⋮ CARTESIAN PRODUCT PARTITIONING OF MULTI-DIMENSIONAL REACHABLE STATE SPACES ⋮ Approximation of the non-stationary \(M(t)/M(t)/c(t)\)-queue using stationary queueing models: The stationary backlog-carryover approach ⋮ Block-accelerated aggregation multigrid for Markov chains with application to PageRank problems ⋮ Matrix Structures in Queuing Models ⋮ Interval Type-2 Fuzzy Markov Chains ⋮ Sequences of lower and upper bounds for the spectral radius of a nonnegative matrix ⋮ Computing branching distances with quantitative games ⋮ Analysis of Markov Influence Graphs ⋮ Time-bounded termination analysis for probabilistic programs with delays ⋮ Heuristic Hill-Climbing as a Markov Process ⋮ Bounds and approximations for continuous-time Markovian transition probabilities and large systems ⋮ Reachability analysis based on structured representations ⋮ Unnamed Item ⋮ Statistical Verification of Probabilistic Properties with Unbounded Until ⋮ Fixation in haploid populations exhibiting density dependence. I: The non-neutral case ⋮ Bounding reward measures of Markov models using the Markov decision processes ⋮ Fast multilevel methods for Markov chains ⋮ Restricted additive Schwarz methods for Markov chains ⋮ Physiology and pathology of iterative aggregation–disaggregation methods ⋮ Revisiting the matrix‐free solution of Markov regenerative processes ⋮ Long-Run Rewards for Markov Automata ⋮ Kronecker-Based Infinite Level-Dependent QBD Processes ⋮ Towards general axiomatizations for bisimilarity and trace semantics ⋮ Aggregation of Markov flows I: theory ⋮ Analysing Biochemical Oscillation through Probabilistic Model Checking ⋮ Perturbed Markov chains with damping component ⋮ Automata-Based CSL Model Checking ⋮ Probabilistic Model Checking of the PDGF Signaling Pathway ⋮ Adaptive solution of infinite linear systems by Krylov subspace methods ⋮ Birth and Death (BDP) Process Models with Applications ⋮ Unnamed Item ⋮ The jump start power method: a new approach for computing the ergodic projector of a finite Markov chain ⋮ Computing Stationary Expectations in Level-Dependent QBD Processes ⋮ Reliability Bounds for Fault-Tolerant Systems with Deferred Repair using Bounding Split Regenerative Randomization ⋮ Bisimulation relations for weighted automata ⋮ Algorithmic analysis of the \(Geo/Geo/c\) retrial queue ⋮ Supply disruptions with time-dependent parameters ⋮ Markov property for a function of a Markov chain: A linear algebra approach ⋮ A periodic Krylov-Schur algorithm for large matrix products ⋮ Kronecker representation and decompositional analysis of closed queueing networks with phase-type service distributions and arbitrary buffer sizes ⋮ The periodic QR algorithm is a disguised QR algorithm ⋮ Stochastic and substochastic solutions for infinite-state Markov chains with applications to matrix-analytic methods ⋮ Two-layer symbolic representation for stochastic models with phase-type distributed events ⋮ Attribute-Based Signatures for Circuits from Bilinear Map ⋮ A MARKOV-PROCESS INSPIRED CA MODEL OF HIGHWAY TRAFFIC ⋮ Calcium-dependent inactivation and the dynamics of calcium puffs and sparks ⋮ Survey on Directed Model Checking ⋮ Iterant recombination with one-norm minimization for multilevel Markov chain algorithms via the ellipsoid method ⋮ Computation tree measurement language (CTML) ⋮ A RETRIAL QUEUEING MODEL WITH MAP ARRIVALS, CATASTROPHIC FAILURES WITH REPAIRS, AND CUSTOMER IMPATIENCE ⋮ PageRank Beyond the Web ⋮ Lumpable continuous-time stochastic automata networks. ⋮ ANALYSIS OF A MULTI-SERVER QUEUE WITH MARKOVIAN ARRIVALS AND SYNCHRONOUS PHASE TYPE VACATIONS ⋮ Coupling and ergodic theorems for Markov chains with damping component ⋮ Influence of Preconditioning and Blocking on Accuracy in Solving Markovian Models ⋮ Probabilistic Time Petri Nets ⋮ Approximate optimal adaptive control for weakly coupled nonlinear systems: A neuro-inspired approach ⋮ Unnamed Item ⋮ Case for First Courses on Finite Markov Chain Modeling to Include Sojourn Time Cycle Chart ⋮ Matrix analysis for continuous-time Markov chains ⋮ Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics ⋮ Impact of Dampening Demand Variability in a Production/Inventory System with Multiple Retailers ⋮ Compositional weak metrics for group key update ⋮ Characterization of the conditional stationary distribution in Markov chains via systems of linear inequalities ⋮ A General Framework for Consistent Estimation of Charge Transport Properties via Random Walks in Random Environments ⋮ Parallel computing for Markov chains with islands and ports ⋮ A theory of stochastic systems. II: Process algebra ⋮ Performance measure sensitive congruences for Markovian process algebras ⋮ Parallelization of EM-Algorithms for Markovian Arrival Processes ⋮ An improved saddlepoint approximation based on the negative binomial distribution for the general birth process ⋮ Simulation of multidimensional diffusions with sticky boundaries via Markov chain approximation ⋮ Reduction of calcium release site models via fast/slow analysis and iterative aggregation/disaggregation ⋮ Stochastic Object-Based Graph Grammars ⋮ Heuristics as Markov chains ⋮ Computing the shortest reset words of synchronizing automata ⋮ A probabilistic algorithm for aggregating vastly undersampled large Markov chains ⋮ Convergence theory of some classes of iterative aggregation/disaggregation methods for computing stationary probability vectors of stochastic matrices ⋮ State reduction in a Markov decision process

This page was built for publication: