Filters
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
We prove that probabilistic bisimilarity is decidable over probabilistic extensions of BPA and BPP processes. For normed subclasses of probabilistic BPA and BPP processes we obtain polynomial-time algorithms. Further, we sh...
IN - Informatika
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
We prove that probabilistic bisimilarity is decidable over probabilistic extensions of BPA and BPP processes. For normed subclasses of probabilistic BPA and BPP processes we obtain polynomial-time algorithms. Further, we sh...
IN - Informatika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Probabilistic Verification and Optimization for Durability
Basic principles of the probabilistic verification of structural and material durability are subject of the recently prepared international document ISO directed to probabilistic criteria of durability. It is shown that just the met...
JN - Stavebnictví
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Characterizaztion of distributions as a tool for probabilistic modelling
Characterizaztion of distributions as a tool for probabilistic modelling...
BA - Obecná matematika
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
On identification of probabilistic mixture models with dynamic weights
The probabilistic mixtures with constant weights provide a universal approximation of almost any probabilistic density function and thus can be successfully used in modelling of complex systems and are applicable to real live proble...
BB - Aplikovaná statistika, operační výzkum
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
The Satisfiability and Validity Problems for Probabilistic CTL
Probabilistic CTL is obtained from the standard CTL (Computational Tree Logic) by replacing the existential and universal path quantifiers with the probabilistic operator where the probability of runs satisfying a given path formula...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Wave Probabilistic Functions in Quantum Informatics
Paper presents the theory of wave probabilistic functions and their applications in quantum informatics. The application of wave probabilistic fuctions enables e.g. using of quantization or entanglement in computation processing....
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Probabilistic approach to the propagation of fatigue cracks using Direct Determined Fully Probabilistic Method
The paper is focused to probabilistic assessment of acceptable fatigue crack of steel structures and bridges, which has dominant status in degradation process probabilistic load effect. Direct Determined Fully Probabilistic...
JM - Inženýrské stavitelství
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Quasi-Non-Ergodic Probabilistic Systems and Wave Probabilistic Functions
This paper presents models of quasi-non-ergodic probabilistic systems that are defined through the theory of wave probabilistic functions presented in [10-16]. First of all we show the new methodology oil a binary non-ergodic time s...
BD - Teorie informace
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Probabilistic Theory of Multi-models
Paper presents basic results in probabilistic theory of multi-models...
IN - Informatika
- 2005 •
- A
Rok uplatnění
A - Audiovizuální tvorba
- 1 - 10 out of 3 336