Yazar
Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391
Format:
Electronic Resources
Alıntı:
Decision Making -- Precise and Imprecise Probabilities -- Uncertain Reasoning for Applications.
Yazar
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight.
View Other Search Results
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
Probabilities in Reconfigurable Broadcast Networks -- Unsafe Order-2 Tree Languages Are Context-Sensitive
Yazar
Dori, Dov. author.
Format:
Electronic Resources
Alıntı:
Abstraction -- OPM Operational Semantics and Control Links -- Logical Operators and Probabilities -- Overview
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Quantum Protocols by Equivalence Checking -- Computing Conditional Probabilities in Markovian Models