Results 11 to 20 of about 22,531,219 (286)
A Probabilistic Analysis of Causation [PDF]
The British Journal for the Philosophy of Science, 2011 The starting point in the development of probabilistic analyses of token causation has usually been the naive intuition that, in some relevant sense, a cause raises the probability of its effect. But there are well-known examples both of non-probability-raising causation and of probability-raising non-causation.
Glynn, Luke, Luke Glynn, Glynn, L
openaire +7 more sources
Analysis of probabilistic contract signing [PDF]
, 2006 <p>We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols.
Shmatikov, V., Norman, G.
core +8 more sources
Assume-guarantee verification for probabilistic systems [PDF]
, 2010 We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the ...
Kwiatkowska, M. +3 more
core +8 more sources
Probabilistic model checking of complex biological pathways [PDF]
, 2006 Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including security and communication protocols, distributed algorithms and power management.
Heath, J. +4 more
core +9 more sources
Geosciences, 2020 The present paper deals with the practical problem of reducing statistical uncertainty in elastic settlement analysis of shallow foundations by relying on targeted field investigation with the aim of an optimal design.
Panagiotis Christodoulou +1 more
doaj +1 more source
Journal of Flood Risk Management, 2023 Floods represent one of the major challenges facing human societies. The impacts caused by them are extensive, and efficient flood adaptation will play a key role in the current century.
Rui Teixeira +3 more
doaj +1 more source
Geosciences, 2020 In one of their recent works, the authors examined parametrically the effect of targeted field investigation on reducing statistical uncertainty in active state analysis of earth retaining structures based on 2165 different cases for each of the sliding ...
Panagiotis Christodoulou +2 more
doaj +1 more source
Probabilistic Reaction Time Analysis
ACM Transactions on Embedded Computing Systems, 2023 In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via chains of communicating recurrent tasks. To ensure safety and correctness of such systems, guarantees on the reaction time, that is, the delay between a cause (e.g., an external activity or reading of a sensor) and the ...
Mario Günzel +4 more
openaire +3 more sources
Analysis of the Impact of Meteorological Parameters Over the Main Stage of Rice Cultivation in Mazandaran Province [PDF]
Nīvār, 2022 It has been tried to investigate and study the fluctuations of different meteorological parameters at different probability levels in the important stages of the agricultural calendar.
Anahita Kheirkhah +4 more
doaj +1 more source
Performance analysis of probabilistic timed automata using digital clocks [PDF]
, 2006 Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a modelling formalism suitable for describing formally both nondeterministic and probabilistic aspects of real-time systems, and is amenable to
Kwiatkowska, M. +4 more
core +1 more source