Yazar
Demetriou, Ioannis C. editor.
Format:
Electronic Resources
Alıntı:
Probabilities.
Yazar
Xu, Jiuping. author.
Format:
Electronic Resources
Alıntı:
Probabilities.
View Other Search Results
Yazar
Fernández-Martínez, Manuel. author.
Format:
Electronic Resources
Alıntı:
Probabilities.
Yazar
André, Étienne. editor. (orcid)0000-0001-8473-9555
Format:
Electronic Resources
Alıntı:
and non-linear systems; timed automata; special session on timed systems and probabilities.
Yazar
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight.
Yazar
Vrajitoru, Dana. author.
Format:
Electronic Resources
Alıntı:
-- Recurrence Relations -- Deterministic Analysis of Algorithms -- Algorithms and Probabilities -- Finite Graph
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of
Yazar
Dang, Tran Khanh. editor.
Format:
Electronic Resources
Alıntı:
Classification in Brain-Computer Interface -- Enhancing Genetic Algorithm with Cumulative Probabilities to Derive
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Quantum Protocols by Equivalence Checking -- Computing Conditional Probabilities in Markovian Models
Yazar
Hu, Xiaolin. editor.
Format:
Electronic Resources
Alıntı:
Systems with Partly Known Transition Probabilities and Time-Varying Polytopic Uncertainties -- Hybrid
Arama Sonuçlarını Sınırlandır
Daraltılmış: