Results 191 to 200 of about 83,569 (221)

Runtime Monitoring of Static Fairness Properties

open access: yes
Henzinger TA   +3 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Related searches:

Predicting transient particle transport in enclosed environments with the combined computational fluid dynamics and Markov chain method

Indoor Air, 2013
To quickly obtain information about airborne infectious disease transmission in enclosed environments is critical in reducing the infection risk to the occupants. This study developed a combined computational fluid dynamics (CFD) and Markov chain method for quickly predicting transient particle transport in enclosed environments.
C, Chen, C-H, Lin, Z, Long, Q, Chen
openaire   +2 more sources

Numerically Stable Methods for the Computation of Exit Rates in Markov Chains

Methodology and Computing in Applied Probability, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

An Enhanced Method for the Computation of the Distribution of the Proportion of Time that a Continuous-Time Markov Chain is in a Subset of States in a Time Interval

Methodology and Computing in Applied Probability
We develop a new numerical method for the computation of the complementary probability distribution of the proportion of time in a time interval that a continuous-time Markov chain (CTMC) is in a subset of states. The new method is an enhanced version of a method developed by the second author (method C) based on a uniformization construct with a ...
Suñé, Víctor, Carrasco, Juan A.
openaire   +1 more source

Computational Methods for Markov Chains Occurring in Queueing Theory

1987
An algorithmic method for computing the probability vector of finite irreducible Markov chains is developed. The block elimination scheme used is especially well suited for highly structured and/or sparse transition matrices. Special variants for block Hessenberg and tridiagonal matrices often occurring in queueing theory are derived.
openaire   +1 more source

Path Space Markov Chain Monte Carlo Methods in Computer Graphics

2016
The objective of a rendering algorithm is to compute a photograph of a simulated reality, which entails finding all the paths along which light can flow from a set of light sources to the camera. The purpose of this article is to present a high-level overview of the underlying physics and analyze how this leads to a high-dimensional integration problem
openaire   +1 more source

Adaptive Edge-Enhanced Markov Chain Monte Carlo Method for Sound Speed Reconstruction in Ultrasound Computed Tomography

IEEE Transactions on Instrumentation and Measurement
Songde Liu   +4 more
openaire   +1 more source

Home - About - Disclaimer - Privacy