Results 61 to 70 of about 860,662 (182)
Abstract Interpretation for Probabilistic Termination of Biological Systems
, 2009 In a previous paper the authors applied the Abstract Interpretation approach for approximating the probabilistic semantics of biological systems, modeled specifically using the Chemical Ground Form calculus.
Francesca Levi +2 more
core +2 more sources
Статистика и экономика, 2019 Purpose of the research. The research of influence of the system of professional education on parameters of development of digital economy in Russian Federation regions can be conducted in different directions: identification of the professional ...
Svetlana V. Avilkina +2 more
doaj +1 more source
Probabilistic dialogue modelling [PDF]
Proceedings of the 3rd SIGdial workshop on Discourse and dialogue -, 2002 We show how Bayesian networks and related probabilistic methods provide an efficient way of capturing the complex balancing of different factors that determine interpretation and generation in dialogue. As a case study, we show how a probabilistic approach can be used to model anaphora resolution in dialogue.
Oliver Lemon +2 more
openaire +1 more source
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
, 2014 Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and difficult
Becker, Bernd +5 more
core +2 more sources
Recent methodologies for reliability-based design optimization [PDF]
International Journal for Simulation and Multidisciplinary Design Optimization, 2008 In the field of Deterministic Design Optimization (DDO), the designer reduces the structural cost without taking into account uncertainties concerning materials, geometry and loading.
Kharmanda G. +3 more
doaj +1 more source
Hyperspectral Image Denoising by Pixel-Wise Noise Modeling and TV-Oriented Deep Image Prior
Remote SensingModel-based hyperspectral image (HSI) denoising methods have attracted continuous attention in the past decades, due to their effectiveness and interpretability.
Lixuan Yi, Qian Zhao, Zongben Xu
doaj +1 more source
Nihon Kikai Gakkai ronbunshu, 2018 In S-N diagrams for high strength steels, the duplex S-N curves for surface-initiated fracture and interior inclusion-initiated fracture were usually confirmed in the very high cycle regime.
Yuki NAKAMURA +3 more
doaj +1 more source
, 2015 This paper studies the problem of model-checking of probabilistic automaton and probabilistic one-counter automata against probabilistic branching-time temporal logics (PCTL and PCTL$^*$). We show that it is undecidable for these problems.
Lin, T.
core
Analysis of Non-Linear Probabilistic Hybrid Systems
, 2011 This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al.
Assouramou, Joseph, Desharnais, Josée
core +2 more sources
Frontiers in Plant Science, 2019 Dioecy, the specialization of individuals into either male-only or female-only sexual function, has multiple evolutionary origins in plants. One proposed ancestral mating system is heterodichogamy, two morphs of cross-fertilizing hermaphrodite flowers ...
Eric Wajnberg +8 more
doaj +1 more source