Results 21 to 30 of about 1,041,754 (275)
Are Hitting Formulas Hard for Resolution? [PDF]
Hitting formulas, introduced by Iwama, are an unusual class of propositional CNF formulas. Not only is their satisfiability decidable in polynomial time, but even their models can be counted in closed form.
Tom'avs Peitl, Stefan Szeider
semanticscholar +1 more source
Antagonistic One-To-N Stochastic Duel Game
This paper is dealing with a multiple person game model under the antagonistic duel type setup. The unique multiple person duel game with the one-shooting-to-kill-all condition is analytically solved and the explicit formulas are obtained to determine ...
Song-Kyoo (Amang) Kim
doaj +1 more source
A Nonlinear Prognostic Model Based on the Wiener Process with Three Sources of Uncertainty
Estimation of the remaining useful life (RUL) is an important component of prognostics and health management (PHM). The accuracy of the RUL estimation for complex systems is mainly affected by three sources of uncertainty, i.e., the temporal uncertainty,
Huifang Niu+4 more
doaj +1 more source
Piezoelectric vibration sensors (PVSs) are widely applied to vibration detection in aerospace engines due to their small size, high sensitivity, and high-temperature resistance.
Chengcheng Fu, Cheng Gao, Weifang Zhang
doaj +1 more source
Weapon Sets of the Kushulevsky III Burial Ground of the Pyanobor Archaeological Culture [PDF]
One of the important directions in the study of military affairs of the Pyanobor culture is the study of weapon sets. A set of weapons means armaments in a specific closed complex.
Vsevolod I. Lyasovich
doaj +1 more source
On some dynamical features of the complete Moran model for neutral evolution in the presence of mutations [PDF]
We present a version of the classical Moran model, in which mutations are taken into account; the possibility of mutations was introduced by Moran in his seminal paper, but it is more often overlooked in discussing the Moran model.
Giuseppe Gaeta
doaj +1 more source
Network Analysis Using Markov Chain Applied to Wildlife Habitat Selection
In the present study, behavioral states for habitat selection are examined using a discrete-time Markov chain (DTMC) combined with a network model with wildlife movement data.
Thakur Dhakal+7 more
doaj +1 more source
Hitting time distribution in financial markets [PDF]
We analyze the hitting time distributions of stock price returns in different time windows, characterized by different levels of noise present in the market. The study has been performed on two sets of data from US markets.
Bonanno, G., Spagnolo, B., Valenti, D.
core +4 more sources
The R Package threg to Implement Threshold Regression Models
This paper introduces the R package threg, which implements the estimation procedure of a threshold regression model, which is based on the first-hitting-time of a boundary by the sample path of a Wiener diffusion process.
Tao Xiao+3 more
doaj +1 more source
A profit model for spread trading with an application to energy futures [PDF]
This paper proposes a profit model for spread trading by focusing on the stochastic movement of the price spread and its first hitting time probability density. The model is general in that it can be used for any financial instrument.
Fabozzi, Frank J.+2 more
core +2 more sources