[PDF] Top 20 Remarks on Testing Probabilistic Processes
Has 10000 "Remarks on Testing Probabilistic Processes" found on our website. Below are the top 20 most common "Remarks on Testing Probabilistic Processes".
Remarks on Testing Probabilistic Processes
... is probabilistic process ...nondeterministic processes, where the nondeterminism represents possible choices that can be re- solved in a wholly unpredictable ...With probabilistic constructs the ... See full document
40
Characterising Testing Preorders for Finite Probabilistic Processes
... We write pCSP for the set of process terms defined by this grammar, and sCSP for the subset comprising only the state-based process terms. The full language of CSP [2, 15, 29] has many more operators; we have simply cho- ... See full document
10
Testing, Verification and Improvements of Timeliness in ROS Processes
... Abstract. This paper addresses the problem of improving response times of robots implemented in the Robotic Operating System (ROS) using formal verification of computational-time feasibility. In order to verify the real ... See full document
14
Compositional Reasoning for Markov Decision Processes
... and testing characterisations of the behavioural preorder over finitary conver- gent ...qualitative probabilistic logic whose formulae completely determine the behavioural ...a testing framework ... See full document
16
Real reward testing for probabilistic processes
... In certain situations it is natural to introduce negative rewards; this is the case, for instance, in the theory of Markov Decision Processes [14]. Intuitively, we could understand negative rewards as costs, while ... See full document
21
Probabilistic Imaging and Dynamic Modeling of Earthquake Source Processes
... the near-fault seismicity using highest-resolution earthquake catalogues available in each region, e.g., catalogues of Waldhauser and Schaff (2008) and Hauksson et al. (2012) in Northern and Southern California, ... See full document
228
Some remarks on first passage of Lévy processes, the American put and pasting principles
... where the family of stopping times T and smooth function G are such that u is well defined. Assume that the optimal strategy corresponds to the partitioning of the domain of X into two regions, say, C and S = C c , and ... See full document
20
Significance testing as perverse probabilistic reasoning
... There is also a growing consensus that many higher- level human cognitive processes also operate on Bayesian principles [20,39,40]. Specific examples include studies of human symbolic reasoning [120], reasoning ... See full document
20
Real Reward Testing for Probabilistic Processes
... of processes—our results apply to any choice of such a pLTS—and a fixed pLTS of ...for testing processes, we have to postulate that the pLTS of tests has some degree of universality, in the sense ... See full document
15
Testing Finitary Probabilistic Processes
... action-based testing, on the other hand, it is the actual execution of a success action that constitutes success, and o(ω) gives the probability that the resolution in question will perform the action ... See full document
71
Reliability Analysis of Two-Unit Warm Standby System Subject to Hardware and Human Error Failures
... the probabilistic analysis of a two-unit warm standby system with subject to hardware and human error ...the probabilistic analysis of the system ... See full document
14
Probabilistic study of a dynamical system
... This paper investigates the relation between a branching process and a non-linear dynamical system in C 2 . This idea has previously been fruitful in many investigations, including that of the FKPP equation by McKean, ... See full document
34
On the causal dynamics between economic growth, renewable energy consumption, CO2 emissions and trade openness: Fresh evidence from BRICS countries
... bounds testing approach to cointegration and vector error correction model (VECM) are used to examine the long-run and causal relationships between economic growth, renewable energy consumption, trade openness and ... See full document
22
Comparison And Analysis Of Testing Types, Processes, Levels And Methods For Software Testing
... Software testing research is the driving element of development and ...software testing, it is important to constantly summarize new achievements, fresh hotspots and propose different ideas in order to ... See full document
6
A methodological framework for Monte Carlo probabilistic inference for diffusion processes
... Shephard (1999) and explicitly in the rejection control algorithm (see for example Section 2.6.1 of Liu, 2008). Beskos et al. (2006b) elaborate on this idea to de- sign approximation-free MCMC algorithms for ... See full document
25
Testing Separability of Covariances for Space-Time Processes
... tivariate process that uses the likelihood ratio test statistic based on estimating the Kronecker product of two unstructured matrices versus estimating a completely un- structured variance-covariance matrix. This test ... See full document
136
Statistical Modelling of Pitting Corrosion: Extrapolation of the Maximum Pit Depth-Growth
... the case of the almost 4 million kilometer of metallic pipelines crossing the U.S. [2], the cost could exceed the 8.6 billion dollars per year [3]. Some studies around the world have found that one of the main threats of ... See full document
15
ECONOMIC COMPARATIVE STUDY BETWEEN TWO MODELS FOR SULPHATED JUICE PUMP SYSTEMS WORKING SEASONALLY AND HAVING DIFFERENT CONFIGURATIONS
... the probabilistic analysis of the system is analysed by making use of semi-Markov processes and regenerative point technique and have obtained various measures of system effectiveness such as Mean time to ... See full document
10
Testing spatial independence in multivariate point processes
... Expected cell counts for the nearest neighbor contingency table (table 1) can be derived.. under either of two specifications of independence of locations.[r] ... See full document
39
Testing lack of symmetry in spatial-temporal processes
... Now we explain the output from the ANOVA model for testing lack of axial symmetry in space. Table 2 shows that (lack of) axial symmetry in time and, even, “Space-Time Interaction” effect are deeply dependent on ... See full document
32
Related subjects