中文
相关论文

相关论文: Real-time Monitoring of Functional Data

200 篇论文

The increasing automation in many areas of the Industry expressly demands to design efficient machine-learning solutions for the detection of abnormal events. With the ubiquitous deployment of sensors monitoring nearly continuously the…

Smart home technology is a better choice for the people to care about security, comfort and power saving as well. It is required to develop technologies that recognize the Activities of Daily Living (ADLs) of the residents at home and…

人工智能 · 计算机科学 2013-06-26 Menaka Gandhi. J , K. S. Gayathri

We develop a remote patient monitoring (RPM) service architecture, which has two tiers of monitoring: ordinary and intensive. The patient's health state improves or worsens in each time period according to certain probabilities, which…

系统与控制 · 电气工程与系统科学 2024-09-20 Siddharth Chandak , Isha Thapa , Nicholas Bambos , David Scheinker

Conformance checking quantifies the deviations between a set of traces in a given process log and a set of possible traces defined by a process model. Current approaches mostly focus on added or missing events. Lately, multi-perspective…

软件工程 · 计算机科学 2020-08-18 Florian Stertz , Juergen Mangler , Stefanie Rinderle-Ma

Non-Intrusive Load Monitoring (NILM) is an important application to monitor household appliance activities and provide related information to house owner or/and utility company via a single sensor installed at the electrical entry of the…

信号处理 · 电气工程与系统科学 2018-09-25 Mengqi Lu , Jinfeng Gao , Zuyi Li

Establishing causality is a fundamental goal in fields like medicine and social sciences. While randomized controlled trials are the gold standard for causal inference, they are not always feasible or ethical. Observational studies can…

统计理论 · 数学 2024-12-03 Andrew Ying

In this paper we study monitoring of real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed B\"uchi Automata. We offer efficient symbolic online monitoring algorithms in a number of…

形式语言与自动机理论 · 计算机科学 2025-09-30 Thomas Møller Grosen , Sean Kauffman , Kim Guldstrand Larsen , Martin Zimmermann

Functional brain imaging allows measuring dynamic functionality in all brain regions. It is broadly used in clinical cognitive neuroscience as, well as in research. It will allow the observation of neural activities in the brain…

医学物理 · 物理学 2016-04-01 Saman Sarraf , Jian Sun

Binary "YES-NO" notions of process compliance are not very helpful to managers for assessing the operational performance of their company because a large number of cases fall in the grey area of partial compliance. Hence, it is necessary to…

人工智能 · 计算机科学 2020-12-25 Ho-Pun Lam , Mustafa Hashmi , Akhil Kumar

In tackling frequent batch anomalies in high-speed stamping processes, this study introduces a novel semi-supervised in-process anomaly monitoring framework, utilizing accelerometer signals and physics information, to capture the process…

机器学习 · 计算机科学 2025-05-12 Jianyu Zhang

The abundance of functional observations in scientific endeavors has led to a significant development in tools for functional data analysis (FDA). This kind of data comes with several challenges: infinite-dimensionality of function spaces,…

统计方法学 · 统计学 2015-12-11 J. S. Marron , James O. Ramsay , Laura M. Sangalli , Anuj Srivastava

Automatic synthesis of analog and Radio Frequency (RF) circuits is a trending approach that requires an efficient circuit modeling method. This is due to the expensive cost of running a large number of simulations at each synthesis cycle.…

Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations…

计算机科学中的逻辑 · 计算机科学 2019-02-26 Stefan Mitsch , André Platzer

Future communication systems are faced with increased demand for high capacity, dynamic bandwidth, reliability and heterogeneous traffic. To meet these requirements, networks have become more complex and thus require new design methods and…

机器学习 · 计算机科学 2021-08-16 Dativa K. Tizikara , Jonathan Serugunda , Andrew Katumba

We propose Functional Flow Matching (FFM), a function-space generative model that generalizes the recently-introduced Flow Matching model to operate in infinite-dimensional spaces. Our approach works by first defining a path of probability…

机器学习 · 计算机科学 2023-12-07 Gavin Kerrigan , Giosue Migliorini , Padhraic Smyth

Many dedicated embedded processors do not have memory or computational resources to coexist with traditional (host-based) security solutions. As a result, there is interest in using out-of-band analog side-channel measurements and their…

密码学与安全 · 计算机科学 2019-11-01 Mark Chilenski , George Cybenko , Isaac Dekine , Piyush Kumar , Gil Raz

Reducing cycle time is a recurrent concern in the field of business process management. Depending on the process, various interventions may be triggered to reduce the cycle time of a case, for example, using a faster shipping service in an…

机器学习 · 计算机科学 2021-09-16 Zahra Dasht Bozorgi , Irene Teinemaa , Marlon Dumas , Marcello La Rosa , Artem Polyvyanyy

Condition monitoring techniques are described in this chapter. Two aspects of condition monitoring process are considered: (1) feature extraction; and (2) condition classification. Feature extraction methods described and implemented are…

计算工程、金融与科学 · 计算机科学 2007-05-23 Tshilidzi Marwala , Christina Busisiwe Vilakazi

Monitoring battery health is essential for ensuring safe and efficient operation. However, there is an inherent trade-off between assessment speed and diagnostic depth-specifically, between rapid overall health estimation and precise…

系统与控制 · 电气工程与系统科学 2026-04-08 Xubo Gu , Xun Huan , Yao Ren , Wenqing Zhou , Weiran Jiang , Ziyou Song

Functional magnetic resonance imaging or functional MRI (fMRI) is a non-invasive way to assess brain activity by detecting changes associated with blood flow. In this work, we propose a full Bayesian procedure to analyze fMRI data for…