Results 71 to 80 of about 415,714 (310)
Stochastic Model Checking [PDF]
, 2007 This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs). Model checking algorithms are given for verifying DTMCs and CTMCs against specifications written in probabilistic extensions of temporal logic, including quantitative properties with rewards.
Marta Z. Kwiatkowska +2 more
openaire +1 more source
Advanced Engineering Materials, EarlyView.This review highlights advances in lightweight, lead‐free polymer nanocomposites for diagnostic X‐ray shielding. By linking filler chemistry, dispersion, architecture, and photon interaction mechanisms, it establishes structure–performance relationships guiding material design.
Aklilu G. Messele +2 more
wiley +1 more source
A New Angle-Calibration Method for Precise Ultra-Short Baseline Underwater Positioning
Remote SensingUltra-short baseline (USBL) underwater positioning systems are widely used in marine scientific research and ocean engineering. Angle misalignment is a main error that reduces the accuracy of USBL underwater positioning.
Zhen Sun +4 more
doaj +1 more source
The Impact of Systemic Risk on the Diversification Benefits of a Risk Portfolio
Risks, 2014 Risk diversification is the basis of insurance and investment. It is thus crucial to study the effects that could limit it. One of them is the existence of systemic risk that affects all of the policies at the same time. We introduce here a probabilistic
Marc Busse +2 more
doaj +1 more source
Stochastic Complexity and Modeling
The Annals of Statistics, 1986 While this paper may be regarded in a sense as a continuation of the program begun by Fisher on ''information'', the author's view is that models should not (nay, cannot) be restricted to have a fixed number of parameters: Fisher's information is thus inapplicable, and complexity and information must be considered directly in the observed data.
openaire +2 more sources
A Dislocation Perspective on Strength and Toughness in Ceramics
Advanced Engineering Materials, EarlyView.Dislocations in ceramics enjoy a long but yet under‐appreciated history. The three research waves for dislocations in ceramics highlight the topic evolution over the last 90 years. This review focuses on the impact of dislocation on strength and toughness in ceramics.
Xufei Fang
wiley +1 more source
ECONOMIC AND FINANCIAL PERFORMANCE OF REPRESENTATIVE SMALL SCALE DAIRY PRODUCTION UNITS TO 2027
Tropical and Subtropical AgroecosystemsBackground: Small-scale dairy systems are vital in rural communities and strategic for livelihoods an economic development. Objective: To estimate the economic and financial viability of small-scale dairy Representative Production Units (RPU) in the high
Vianey González-Hernández +5 more
doaj +1 more source
Assessment of Different Stochastic Models for Inter-System Bias between GPS and BDS
Remote Sensing, 2019 Inter-system bias (ISB) will affect accuracy and processing time in integrated precise point positioning (PPP), and ISB stochastic models will largely determine the quality of ISB estimation.
Nan Jiang +4 more
doaj +1 more source
A Market Model for Stochastic Implied Volatility [PDF]
In this paper a stochastic volatility model is presented that directly prescribes the stochastic development of the implied Black-Scholes volatilities of a set of given standard options.
Schönbucher, Philpp J.
core
Advanced Engineering Materials, EarlyView.A combined experimental–computational framework identifies energy‐dependent laser absorptivity for NiTi in laser powder‐bed fusion, applicable to conduction and transition modes. Single‐track experiments and thermofluid smoothed particle hydrodynamics simulations are coupled through inverse analysis of melt pool geometry.
Mohamadreza Afrasiabi +3 more
wiley +1 more source