4,442 research outputs found
Deriving the respiratory sinus arrhythmia from the heartbeat time series using Empirical Mode Decomposition
Heart rate variability (HRV) is a well-known phenomenon whose characteristics
are of great clinical relevance in pathophysiologic investigations. In
particular, respiration is a powerful modulator of HRV contributing to the
oscillations at highest frequency. Like almost all natural phenomena, HRV is
the result of many nonlinearly interacting processes; therefore any linear
analysis has the potential risk of underestimating, or even missing, a great
amount of information content. Recently the technique of Empirical Mode
Decomposition (EMD) has been proposed as a new tool for the analysis of
nonlinear and nonstationary data. We applied EMD analysis to decompose the
heartbeat intervals series, derived from one electrocardiographic (ECG) signal
of 13 subjects, into their components in order to identify the modes associated
with breathing. After each decomposition the mode showing the highest frequency
and the corresponding respiratory signal were Hilbert transformed and the
instantaneous phases extracted were then compared. The results obtained
indicate a synchronization of order 1:1 between the two series proving the
existence of phase and frequency coupling between the component associated with
breathing and the respiratory signal itself in all subjects.Comment: 12 pages, 6 figures. Will be published on "Chaos, Solitons and
Fractals
Software Model Checking via Large-Block Encoding
The construction and analysis of an abstract reachability tree (ART) are the
basis for a successful method for software verification. The ART represents
unwindings of the control-flow graph of the program. Traditionally, a
transition of the ART represents a single block of the program, and therefore,
we call this approach single-block encoding (SBE). SBE may result in a huge
number of program paths to be explored, which constitutes a fundamental source
of inefficiency. We propose a generalization of the approach, in which
transitions of the ART represent larger portions of the program; we call this
approach large-block encoding (LBE). LBE may reduce the number of paths to be
explored up to exponentially. Within this framework, we also investigate
symbolic representations: for representing abstract states, in addition to
conjunctions as used in SBE, we investigate the use of arbitrary Boolean
formulas; for computing abstract-successor states, in addition to Cartesian
predicate abstraction as used in SBE, we investigate the use of Boolean
predicate abstraction. The new encoding leverages the efficiency of
state-of-the-art SMT solvers, which can symbolically compute abstract
large-block successors. Our experiments on benchmark C programs show that the
large-block encoding outperforms the single-block encoding.Comment: 13 pages (11 without cover), 4 figures, 5 table
Fostering research and innovation in materials manufacturing for Industry 5.0: The key role of domain intertwining between materials characterization, modelling and data science
Recent advances in materials modelling, characterization and materials informatics suggest that deep integration of such methods can be a crucial aspect of the Industry 5.0 revolution, where the fourth industrial revolution paradigms are combined with the concepts of transition to a sustainable, human-centric and resilient industry. We pose a specific deep integration challenge beyond the ordinary multi-disciplinary modelling/characterization research approach in this short communication with research and innovation as drivers for scientific excellence. Full integration can be achieved by developing com-mon ontologies across different domains, enabling meaningful computational and experimental data integration and interoperability. On this basis, fine-tuning of adaptive materials modelling/characteriza-tion protocols can be achieved and facilitate computational and experimental efforts. Such interoperable and meaningful data combined with advanced data science tools (including machine learning and artifi-cial intelligence) become a powerful asset for materials scientists to extract complex information from the large amount of data generated by last generation characterization techniques. To achieve this ambi-tious goal, significant collaborative actions are needed to develop common, usable, and sharable digital tools that allow for effective and efficient twinning of data and workflows across the different materials modelling and characterization domains.(c) 2022 Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license (http:// creativecommons.org/licenses/by-nc-nd/4.0/)
- …