相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。An Interval Temporal Logic for Time Series Specification and Data Integration
Piotr Kosiuczenko
REMOTE SENSING (2021)
Wearable sensors and devices for real-time cardiovascular disease monitoring
Jian Lin et al.
CELL REPORTS PHYSICAL SCIENCE (2021)
A Survey of Heart Anomaly Detection Using Ambulatory Electrocardiogram (ECG)
Hongzu Li et al.
SENSORS (2020)
An Improved Flexible Spatiotemporal DAta Fusion (IFSDAF) method for producing high spatiotemporal resolution normalized difference vegetation index time series
Meng Liu et al.
REMOTE SENSING OF ENVIRONMENT (2019)
Bounded Model Checking of Signal Temporal Logic Properties using Syntactic Separation
Kyungmin Bae et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2019)
Simultaneous Inference for Misaligned Multivariate Functional Data
Niels Lundtorp Olsen et al.
JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES C-APPLIED STATISTICS (2018)
Radar-Based Heart Sound Detection
Christoph Will et al.
SCIENTIFIC REPORTS (2018)
Simultaneous inference for misaligned multivariate functional data
Niels Lundtorp Olsen et al.
JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES C-APPLIED STATISTICS (2018)
Model Checking Bounded Continuous-time Extended Linear Duration Invariants
Jie An et al.
HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (2018)
Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency
Brijesh Dongol et al.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (2016)
Robust and Accurate Anomaly Detection in ECG Artifacts Using Time Series Motif Discovery
Haemwaan Sivaraks et al.
COMPUTATIONAL AND MATHEMATICAL METHODS IN MEDICINE (2015)
A nonlinear mixed-effects model for simultaneous smoothing and registration of functional data
Lars Lau Raket et al.
PATTERN RECOGNITION LETTERS (2014)
A Review of Data Fusion Techniques
Federico Castanedo
SCIENTIFIC WORLD JOURNAL (2013)
Formalization Model and Safety Analyses of High Speed Train in CTCS-3 Control Mode
Cheng Xiangjun et al.
2013 INTERNATIONAL CONFERENCE ON MECHANICAL AND AUTOMATION ENGINEERING (MAEE 2013) (2013)
Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems
Leonard Petnga et al.
2013 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH (2013)
Heartbeat Classification Using Feature Selection Driven by Database Generalization Criteria
Mariano Llamedo et al.
IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING (2011)
An algebra of hybrid systems
Peter Hoefner et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2009)
Data Fusion
Jens Bleiholder et al.
ACM COMPUTING SURVEYS (2008)
Model checking Duration Calculus: a practical approach
Roland Meyer et al.
FORMAL ASPECTS OF COMPUTING (2008)
Speech production variability in fricatives of children and adults: Results of functional data analysis
Laura L. Koenig et al.
JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA (2008)
Optimal reachability for multi-priced timed automata
Kim Guldstrand Larsen et al.
THEORETICAL COMPUTER SCIENCE (2008)
A patient-adapting heartbeat classifier using ECG morphology and heartbeat interval features
Philip de Chazal et al.
IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING (2006)
Comparative study of morphological and time-frequency ECG descriptors for heartbeat classification
Ivaylo Christov et al.
MEDICAL ENGINEERING & PHYSICS (2006)