Results 21 to 30 of about 14,817,250 (289)
Статистика и экономика, 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
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source
Probabilistic Generative Modelling [PDF]
, 2003 The contribution of this paper is the adaption of data driven methods for decomposition of tangent shape variability proposed in a probabilistic framework. By Bayesian model selection we compare two generative model representations derived by principal components analysis and by maximum autocorrelation factors analysis.
Rasmus Larsen 0001 +1 more
openaire +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
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
Abstraction Refinement Guided by a Learnt Probabilistic Model [PDF]
, 2016 The core challenge in designing an effective static program analysis is to find a good program abstraction -- one that retains only details relevant to a given query. In this paper, we present a new approach for automatically finding such an abstraction.
Yang, Hongseok +9 more
core +1 more source
Probabilistic Model Checking and Autonomy [PDF]
Annual Review of Control, Robotics, and Autonomous Systems, 2022 The design and control of autonomous systems that operate in uncertain or adversarial environments can be facilitated by formal modeling and analysis. Probabilistic model checking is a technique to automatically verify, for a given temporal logic specification, that a system model satisfies the specification, as well as to synthesize an optimal ...
Marta Kwiatkowska +2 more
openaire +5 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
On-the-fly Probabilistic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In Proceedings ICE 2014, arXiv:1410 ...
Diego Latella +2 more
openaire +5 more sources
Digital Transportation and Safety, 2023 This paper provides a review of predictive analytics for roads, identifying gaps and limitations in current methodologies. It explores the implications of these limitations on accuracy and application, while also discussing how advanced predictive ...
Krishna Singh Basnet +2 more
doaj +1 more source