Results 11 to 20 of about 59,542 (75)
Wavelet Analysis of Blood Pressure Waves in Vasovagal Syncope [PDF]
Physica A271, 458 (1999), 1998 We describe the multiresolution wavelet analysis of blood pressure waves in vasovagal syncope affected patients compared with healthy people. We argue that there exist discriminating criteria which allow us to isolate particular features, common to the syncope-affected patients sample, indicating an alternative diagnosis methodology for this syndrome ...
arxiv +1 more source
Proceedings 1st International Workshop on Synthesis of Continuous Parameters [PDF]
EPTCS 145, 2014, 2014 This volume contains the proceedings of the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP'14). The workshop was held in Grenoble, France on April 6th, 2014, as a satellite event of the 17th European Joint Conferences on Theory and Practice of Software (ETAPS'14).
arxiv +1 more source
Multiscale analysis of blood pressure signals [PDF]
Phys. Rev. E60, 1088 (1999), 1999 We describe the multiresolution wavelet analysis of blood pressure waves in vasovagal syncope-affected patients compared with those in healthy people, using Haar and Gaussian bases. A comparison between scale-dependent and scale-independent measures discriminating the two classes of subjects is made.
arxiv +1 more source
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters [PDF]
EPTCS 220, 2016, 2016 This volume contains the joint proceedings of the Workshop on Games for the Synthesis of Complex Systems (CASSTING'16) and of the 3rd International Workshop on Synthesis of Complex Parameters (SynCoP'16). The workshops were held in Eindhoven, The Netherlands, as satellite events of the 19th European Joint Conferences on Theory and Practice of Software (
arxiv +1 more source
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs [PDF]
EPTCS 145, 2014, pp. 19-33, 2014 Verification of PCTL properties of MDPs with convex uncertainties has been investigated recently by Puggelli et al. However, model checking algorithms typically suffer from state space explosion. In this paper, we address probabilistic bisimulation to reduce the size of such an MDPs while preserving PCTL properties it satisfies.
arxiv +1 more source
A method to assess Granger causality, isolation and autonomy in the time and frequency domains: theory and application to cerebrovascular variability [PDF]
arXiv, 2023 Concepts of Granger causality (GC) and Granger autonomy (GA) are central to assess the dynamics of coupled physiologic processes. While causality measures have been already proposed and applied in time and frequency domains, measures quantifying self-dependencies are still limited to the time-domain formulation and lack of a clear spectral ...
arxiv
MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable [PDF]
EPTCS 145, 2014, pp. 5-17, 2014 Parametric timed automata extend timed automata (Alur and Dill, 1991) in that they allow the specification of parametric bounds on the clock values. Since their introduction in 1993 by Alur, Henzinger, and Vardi, it is known that the emptiness problem for parametric timed automata with one clock is decidable, whereas it is undecidable if the automaton ...
arxiv +1 more source
Toward Parametric Timed Interfaces for Real-Time Components [PDF]
EPTCS 145, 2014, pp. 49-64, 2014 We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is generic and modular, so as to be easily adapted to different schedulers and more complex task models.
arxiv +1 more source
Strongly correlated charge transport in silicon MOSFET quantum dots [PDF]
Phys. Rev. Lett. 121, 027701 (2018), 2018 Quantum shot noise probes the dynamics of charge transfers through a quantum conductor, reflecting whether quasiparticles flow across the conductor in a steady stream, or in syncopated bursts. We have performed high-sensitivity shot noise measurements in a quantum dot obtained in a silicon metal-oxide-semiconductor field-effect transistor.
arxiv +1 more source
Symbolic dynamics of joint brain states during dyadic coordination [PDF]
Chaos: An Interdisciplinary Journal of Nonlinear Science,
35(1):013110, 01 2025We propose a novel approach to investigate the brain mechanisms that support coordination of behavior between individuals. Brain states in single individuals defined by the patterns of functional connectivity between brain regions are used to create joint symbolic representations of the evolution of brain states in two or more individuals performing a ...
arxiv +1 more source