Results 1 to 10 of about 223,857 (311)
Precise large deviations of aggregate claims in a size-dependent renewal risk model with stopping time claim-number process [PDF]
Journal of Inequalities and Applications, 2017 In this paper, we consider a size-dependent renewal risk model with stopping time claim-number process. In this model, we do not make any assumption on the dependence structure of claim sizes and inter-arrival times.
Shuo Zhang, Dehui Wang, Shihang Yu
doaj +2 more sources
Reliability of an engineering system characterized by hot and cold standby: A compound boundary value problem [PDF]
Yugoslav Journal of Operations Research, 2021 We analyse the reliability (survival function) of a duplex system characterized by hot standby and sustained by an auxiliary unit in cold standby. The entire system is attended by two heterogeneous repairmen.
Vanderperre Edmond, Makhanov Stanislav
doaj +1 more source
Travel data collection using a smart phone for the estimation of multimodal travel times of intra-city public transportation [PDF]
Archives of Civil Engineering, 2022 All the available modes of travel and their respective travel parameters must be known to the commuters before their trip. Otherwise they may either spend more money or more time for the trip. In addition to this, recent pandemic, rapidly spreading novel
Kanala Teja Vinay Kumar Reddy +1 more
doaj +1 more source
How to stop time stopping [PDF]
Formal Aspects of Computing, 2006 Abstract Zeno-timelocks constitute a challenge for the formal verification of timed automata: they are difficult to detect, and the verification of most properties (e.g., safety) is only correct for timelock-free models. Some time ago, Tripakis proposed a syntactic check on the structure of timed automata: if a certain condition (called ...
Howard Bowman, Rodolfo Gómez 0001
openaire +2 more sources
Procedure for calculation of stopping distance and time of ships and pushed convoys [PDF]
Tehnika, 2014 Movement of ship or pushed convoy is realized under the influence of the propelling force, which is created by propeller or other types of propelling devices.
Škiljaica Vladimir S. +2 more
doaj +1 more source
Drones, 2022 In many aero gliding vehicles, achieving the maximum gliding range is a challenging task. A frequent example is the breakdown of an engine during flight or the use of unpowered stand-off weapons.
Ahmad Mahmood +2 more
doaj +1 more source
Single jump filtrations and local martingales
Modern Stochastics: Theory and Applications, 2020 A single jump filtration ${({\mathcal{F}_{t}})_{t\in {\mathbb{R}_{+}}}}$ generated by a random variable γ with values in ${\overline{\mathbb{R}}_{+}}$ on a probability space $(\Omega ,\mathcal{F},\mathsf{P})$ is defined as follows: a set $A\in \mathcal{F}
Alexander A. Gushchin
doaj +1 more source
Analyzing Stopping Behavior in Online Information Search Process from the Perspective of Information Foraging Theory [PDF]
Iranian Journal of Information Processing & Management, 2023 This study analyzes search stopping points and stopping rules used in the online information search process based on the concepts of Information Foraging Theory. The research method is a descriptive-analytical study.
Fereshte Ilani +2 more
doaj +1 more source
Multi-objective calibration of Tank model using multiple genetic algorithms and stopping criteria [PDF]
RBRH, 2022 Calibration of hydrologic models estimates parameter values that cannot be measured and enable the rainfall-runoff processes simulation. Multi-objective evolutionary algorithms can make the calibration faster and more efficient through an iterative ...
Juan Carlos Ticona Gutierrez +4 more
doaj +1 more source
Entropy, 2016 While many efforts have been devoted to optimizing the power output for a finite-time thermodynamic process, thermodynamic optimization under realistic situations is not necessarily concerned with power alone; rather, it may be of great relevance to ...
Yan Wang
doaj +1 more source