Results 11 to 20 of about 15,829,318 (284)
Validation of a Probabilistic Mathematical Model for Soybean Seed Separation in a Gravity Column
Сельскохозяйственные машины и технологииIn mathematical models of the separation process in a gravity column, the coefficient of bar vibration is frequently disregarded as seeds and impurities move along the curved surface of the gravity column, which, in turn, affects the quality of ...
V. G. Khamuev +2 more
doaj +2 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
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
A formal mathematical framework for modeling probabilistic hybrid systems [PDF]
Annals of Mathematics and Artificial Intelligence, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Robert St-Aubin +2 more
openaire +3 more sources
Hex: dynamics and probabilistic text entry [PDF]
, 2005 We present a gestural interface for entering text on a mobile device via continuous movements, with control based on feedback from a probabilistic language model.
Murray-Smith, R., Williamson, J.
core +5 more sources
Convexity and Order in Probabilistic Call-by-Name FPC [PDF]
Logical Methods in Computer Science, 2020 Kegelspitzen are mathematical structures coined by Keimel and Plotkin, in order to encompass the structure of a convex set and the structure of a dcpo. In this paper, we ask ourselves what are Kegelspitzen the model of.
Mathys Rennela
doaj +1 more source
Mathematical Modelling and Analysis, 2019 The paper presents the solution methodology of a multi-objective probabilistic fractional programming problem, where the parameters of the right hand side constraints follow Cauchy distribution. The proposed mathematical model can not be solved directly.
Srikumar Acharya +2 more
doaj +1 more source
Goodness-of-fit tests for probabilistic measurement models [PDF]
, 1980 General goodness of fit tests for probabilistic response models are developed. The tests are applicable in psychophysics, in the theory of choice behavior and in mathematical learning theories.
Tutz, Gerhard, Hamerle, Alfred
core +1 more source
Probabilistic Formulations for Transferring Inferences from Mathematical Models to Physical Systems [PDF]
SIAM Journal on Scientific Computing, 2004 Summary: We outline a probabilistic framework for linking mathematical models to the physical systems that they represent, taking account of all sources of uncertainty including model and simulator imperfections. This framework is a necessary precondition for making probabilistic statements about the system on the basis of evaluations of computer ...
Goldstein, M, Rougier, JC
openaire +4 more sources
A model of distributed objectbased stochastic hybrid systems
Журнал Белорусского государственного университета: Математика, информатика, 2019 This article offers a mathematical model for distributed objectoriented stochastic hybrid systems (DOBSHS). DOBSHS are composite objects communicating with other objects through the exchange of messages through an asynchronous medium such as a network ...
Raman E. Sharykin +1 more
doaj +1 more source