Search Results for Markov Chains.

Optimization of Stochastic Discrete Systems and Control on Complex Networks Computational Networks

Yazar

Lozovanu, Dmitrii. author.

http://dx.doi.org/10.1007/978-3-319-11833-8

Format:

Electronic Resources

Alıntı:

Discrete stochastic processes, numerical methods for Markov chains and polynomial time algorithms

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Yazar

Biondi, Fabrizio. editor.

https://doi.org/10.1007/978-3-030-30923-7

Format:

Electronic Resources

Alıntı:

Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

https://doi.org/10.1007/978-3-030-17465-1

Format:

Electronic Resources

Alıntı:

Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Yazar

Wittevrongel, Sabine. editor.

http://dx.doi.org/10.1007/978-3-319-43904-4

Format:

Electronic Resources

Alıntı:

-- Fingerprinting and Reconstruction of Functionals of Discrete Time Markov Chains -- On the Blocking Probability

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Yazar

Diaz, Josep. editor.

http://dx.doi.org/10.1007/978-3-662-44602-7

Format:

Electronic Resources

Alıntı:

-- Parametric LTL on Markov Chains -- Specifying and Verifying Properties of Space -- Primal Infon Logic with

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar

Chen, Yu-Fang. editor.

https://doi.org/10.1007/978-3-030-31784-3

Format:

Electronic Resources

Alıntı:

Fuzzing on top of LLVM -- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops -- Chain

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Yazar

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

https://doi.org/10.1007/978-3-030-31304-3

Format:

Electronic Resources

Alıntı:

for population Markov chains.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

https://doi.org/10.1007/978-3-319-78024-5

Format:

Electronic Resources

Alıntı:

matrices on Xeon Phi clusters -- Stochastic bounds for Markov chains on Intel Xeon Phi coprocessor

	{displayName}	{count}
{error}