21 papers · ranked by Valyu relevance
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Hyperproperties, such as non-interference and observational determinism, relate multiple system executions to each other. They are not expressible in standard temporal logics, like LTL, CTL, and CTL, and thus cannot be monitored with standard runtime verification techniques. $\text{HyperLTL}$ extends linear-time…
Gordon J. Ross
In many Phase II statistical process control (SPC) problems, the main concern is not whether a monitored process has ever changed, but whether it is currently operating at an acceptable level. This distinction is especially important when monitoring continues after a signal, or when corrective action may restore the…
Nadira Yusif Rodriguez, Theresa H. McKim, Debaleena Basu, Aarit Ahuja + 1 more
Monitoring sequential information is an essential component of our daily lives. Many of these sequences are abstract, in that they do not depend on the individual stimuli, but do depend on an ordered set of rules (e.g., chop then stir when cooking). Despite the ubiquity and utility of abstract sequential monitoring…
Alexander Muacevic, John R Adler, Mohammed Shariff, Talhah Chaudri + 3 more
Background and purpose There is currently a lack of formal guidelines on the optimal strategy for detecting atrial fibrillation (AF) post-stroke, with respect to the type and length of cardiac monitoring. The primary objective of this study was to determine if sequential methods of cardiac monitoring detect more cases…
Dogan Ulus
Metric Temporal Logic (MTL) is a popular formalism to specify patterns with timing constraints over the behavior of cyber-physical systems. In this paper, I propose sequential networks for online monitoring applications and construct network-based monitors from the past fragment of MTL over discrete and dense time…
Samson Henry Dogo, Allan Clark, Elena Kulinskaya
Temporal changes in magnitude of effect sizes reported in many areas of research are a threat to the credibility of the results and conclusions of meta-analysis. Numerous sequential methods for meta-analysis have been proposed to detect changes and monitor trends in effect sizes so that meta-analysis can be updated…
Rubén Moliner-Heredia, Gracia M. Bruscas-Bellido, José V. Abellán-Nebot, Ignacio Peñarrocha-Alós + 1 more
'José V. Abellán-Nebot' 'Ignacio Peñarrocha-Alós' 'Carlos Silvestre'] Fault diagnosis in multistage manufacturing processes (MMPs) is a challenging task where most of the research presented in the literature considers a predefined inspection scheme to identify the sources of variation and make the process diagnosable.…
Yoonji Kim, Oksana A. Chkrebtii, Sebastian A. Kurtek
In many modern applications, discretely-observed data may be naturally understood as a set of functions. Functional data often exhibit two confounded sources of variability: amplitude (y-axis) and phase (x-axis). The extraction of amplitude and phase, a process known as registration, is essential in exploring the…
Theresa M. Desrochers, Diana C. Burk, David Badre, David L. Sheinberg
'David L. Sheinberg'] Our ability to plan and execute a series of tasks leading to a desired goal requires remarkable coordination between sensory, motor, and decision-related systems. Prefrontal cortex (PFC) is thought to play a central role in this coordination, especially when actions must be assembled…
Mark J. Holmes, Ivan Kojadinovic
> Abstract: The aim of online monitoring is to issue an alarm as soon as there is significant evidence in the collected observations to suggest that the underlying data generating mechanism has changed. This work is concerned with open-end, nonparametric procedures that can be interpreted as statistical tests. The…
Andrew D Levy, Peter Zeidman, Karl Friston
Sequential experimental paradigms are fundamental to cognitive neuroscience, yet standard event-related response analysis struggles with the temporal variability inherent to these designs. Conventional epoching treats each event within a sequence as an independent response, discarding the temporal dependencies between…
Jonas Köhne, Lars Henning, Clemens Gühmann
This paper introduces an algorithm for the detection of change-points and the identification of the corresponding subsequences in transient multivariate time-series data (MTSD). The analysis of such data has become more and more important due to increasing availability in many industrial fields. Labeling, sorting or…
Kenneth R. Johnson, John V. Tucker, Victoria Wang
Our machines, products, utilities, and environments have long been monitored by embedded software systems. Our professional, commercial, social and personal lives are also subject to monitoring as they are mediated by software systems. Data on nearly everything now exists, waiting to be collected and analysed for all…
Hannes Westphal, Simon Schmidt, Sanjay Lama, Matthias Polack + 5 more
This work presents a novel microfluidic screening setup with real-time analytics for investigating reactions with immobilised biocatalysts. The setup combines microreactor technology, multi-reactor integration, and online (chip-)LC/MS analysis in a sequential automated workflow. We utilized in-house manufactured…
Jagannath Swaminathan, Alexander A. Boulgakov, Edward M. Marcotte
The proteomes of cells, tissues, and organisms reflect active cellular processes and change continuously in response to intracellular and extracellular cues. Deep, quantitative profiling of the proteome, especially if combined with mRNA and metabolite measurements, should provide an unprecedented view of cell state…
Miroslaw Malek
– In the age of ever-increasing demand for big data and data analytics, a question of collecting the data becomes fundamental. What and how to collect the data is essential as it has direct impact on decision making, system operation and control. Specifically, we focus on the art of observing the world by electronic…
Authors not listed
The automatic generation of image captions in natural language is a critical and challenging task, particularly in the context of environmental monitoring and control. This paper presents a novel deep learning-driven image captioning system designed for real-time monitoring and predictive control of pollutant gas…
Wenyu Zhang, Mason Guy, Jerrica Yang, Lucy Hao + 5 more
Large Language Models (LLMs) have revolutionized numerous industries as well as accelerated scientific research. However, their application in planning and conducting experimental science, has been limited. In this study, we introduce an adaptable prompt-set with GPT-4, converting literature experimental procedures…
Fuzhan Rahmanian, Stefan Fuchs, Maximilian Fichtner, Helge Sören Stein
Discoveries of novel electrolyte-electrode combinations require comprehensive structure-propertyinterface correlations. Herein, we present an autonomous millimeter scale high-throughput battery research system (MISCHBARES) operated by hierarchical autonomous laboratory automation and orchestration (HELAO) which…
Authors not listed
Sequence is the critical determinant of macromolecular function, yet current polymer design approaches often optimize monomer composition and ratios while ignoring sequence. This creates poorly defined design spaces for active learning that miss the vast combinatorial landscape of sequence possibilities. We introduce…
Larry J. Eshelman, Minnan Xu-Wilson, Abigail A. Flower, Brian Gross + 3 more
Clinicians in the intensive care unit (ICU) are presented with a large number of physiological data consisting of periodic and frequently sampled measurements, such as heart rate and blood pressure, as well as aperiodic measurements, such as noninvasive blood pressure and laboratory studies. Because this data can be…