Results 21 to 30 of about 32,913 (205)
Interactive verification of Markov chains: Two distributed protocol case studies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Probabilistic model checkers like PRISM only check probabilistic systems of a fixed size. To guarantee the desired properties for an arbitrary size, mathematical analysis is necessary.
Johannes Hölzl, Tobias Nipkow
doaj +1 more source
Annales de Didactique et de Sciences Cognitives, 2017 The categorization of tasks and the worker-subject: a methodological tool for the study of mathematical work in the probability field This article focuses on the study of the mathematical work produced after the resolution of probabilistic tasks as well ...
Assia Nechache
doaj +1 more source
Сучасні інформаційні системи, 2020 The paper deals with the substantiation of the mathematical model of rhythmocardiogram with high resolution in the form of a vector of stationary and stationary related random processes.
Iaroslav Lytvynenko +4 more
doaj +1 more source
An Analytical Model to Evaluate the Effects of Wind Turbine Parameters and the Probabilistic Characteristic of Wind Speed on the Average LMP of the Power Market [PDF]
مجله مدل سازی در مهندسی, 2020 With the increase of wind penetration in the power systems, analysis of the probabilistic production on the market prices becomes more essential. Researches in this field are often focused on the simulation tools and analytical modeling is rarely used ...
Elahe Zakikhani +2 more
doaj +1 more source
Интеллект. Инновации. Инвестиции, 2022 Introduction. Emphasis is placed on solving the problem of planning the performance of rolling stock in the activities of transport departments of oil and gas production enterprises, taking into account the conditions of the Far North (Republic of Sakha (
S. A. Vakhrushev +2 more
doaj +1 more source
Specific Mass Growth Rate of Sugar Crystals: Probabilistic Modeling [PDF]
Техника и технология пищевых производств, 2021 Introduction. The present research featured industrial sugar crystallization. The article introduces a generalized mathematical model of specific growth rate of sugar crystals depending on temperature, solids, and the purity of solution, as well as on ...
Denis V. Arapov +4 more
doaj +1 more source
Simple models in finance: a mathematical analysis of the probabilistic recognition heuristic
The Journal of Risk Model Validation, 2017 This research has been partly supported by grants from the Agencia Nacional de Innovacion e Investigacion (ANII ...
Egozcue, Martin +3 more
openaire +3 more sources
Algebraization Levels in the Study of Probability
Mathematics, 2021 The paper aims to analyze how the different degrees of mathematical formalization can be worked in the study of probability at non-university educational levels.
María Burgos +2 more
doaj +1 more source
the simulation of the optimal classification mathematical model based on chaos probabilistic analysis [PDF]
Advances in Computer Science Research, 2015 This paper proposes the establishment and simulation of one optimal classification mathematical model based on chaos probability analysis. A kind of recurrence plot chaotic analysis algorithm is applied to recognize the mathematical classification features and the improved neural network algorithm is used to design the mathematical classification model.
Erwei Wang, Chuan He, Chunyan Lv
openaire +1 more source
Applied Sciences, 2021 In reliability-based multidisciplinary design optimization, both aleatory and epistemic uncertainties may exist in multidisciplinary systems simultaneously.
Chao Fu, Jihong Liu, Wenting Xu
doaj +1 more source