Results 21 to 30 of about 6,419 (111)
Meditation effects within the hippocampal complex revealed by voxel-based morphometry and cytoarchitectonic probabilistic mapping. [PDF]
, 2013 Scientific studies addressing anatomical variations in meditators' brains have emerged rapidly over the last few years, where significant links are most frequently reported with respect to gray matter (GM).
Gaser, Christian +4 more
core +2 more sources
Discrete-time rewards model-checked [PDF]
, 2003 This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints.
A. Aziz +14 more
core +2 more sources
Logic and model checking for hidden Markov models [PDF]
, 2005 The branching-time temporal logic PCTL* has been introduced to specify quantitative properties over probability systems, such as discrete-time Markov chains. Until now, however, no logics have been defined to specify properties over hidden Markov models (
Hermanns, Holger +2 more
core +5 more sources
A Markov Chain Model Checker [PDF]
, 2000 Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branching) temporal logic formula has been proposed for both the discrete [17,6 ...
Hermanns, Holger +3 more
core +5 more sources
Predicting progression of Alzheimer's disease using ordinal regression.
PLoS ONE, 2014 We propose a novel approach to predicting disease progression in Alzheimer's disease (AD)--multivariate ordinal regression--which inherently models the ordered nature of brain atrophy spanning normal aging (CTL) to mild cognitive impairment (MCI) to AD ...
Orla M Doyle +10 more
doaj +1 more source
Specification Patterns for Robotic Missions [PDF]
, 2018 Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors known as missions.
Berger, Thorsten +4 more
core +2 more sources
, 2013 We consider state-based systems modelled as coalgebras whose type incorporates branching, and show that by suitably adapting the definition of coalgebraic bisimulation, one obtains a general and uniform account of the linear-time behaviour of a state in ...
Mio, Matteo, Simpson, Alexander
core +7 more sources
Counterexample Generation in Probabilistic Model Checking [PDF]
, 2009 Providing evidence for the refutation of a property is an essential, if not the most important, feature of model checking. This paper considers algorithms for counterexample generation for probabilistic CTL formulae in discrete-time Markov chains ...
Damman, B., Han, T., Katoen, J.P.
core +5 more sources
, 2007 We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almost certainly eventually reaches either F or a state from which F can no ...
Abdulla, Parosh Aziz +2 more
core +4 more sources
Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications [PDF]
, 2013 We propose a human-supervised control synthesis method for a stochastic Dubins vehicle such that the probability of satisfying a specification given as a formula in a fragment of Probabilistic Computational Tree Logic (PCTL) over a set of environmental ...
Belta, Calin, Cizelj, Igor
core +1 more source