Filters








654 Hits in 2.4 sec

Online Monitoring of Spatio-Temporal Properties for Imprecise Signals [article]

Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
2021 arXiv   pre-print
From biological systems to cyber-physical systems, monitoring the behavior of such dynamical systems often requires to reason about complex spatio-temporal properties of physical and/or computational entities  ...  Spatio-Temporal Reach and Escape Logic (STREL) is a recent logic-based formal language designed to specify and to reason about spatio-temporal properties.  ...  ACKNOWLEDGMENTS The authors would like to acknowledge Davide Prandini for his thesis work (unpublished) where a preliminary work on imprecise signals for STL had been conducted, together with many ideas  ... 
arXiv:2109.08081v1 fatcat:tm533lrvdncbdib3ngdt5dgnna

Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic [article]

Thomas Wright, Ian Stark
2020 arXiv   pre-print
Signal Temporal Logic monitoring over numerical simulation traces has emerged as an effective approach to approximate verification of continuous and hybrid systems.  ...  In this report we explore an exact verification procedure for STL properties based on monitoring verified traces in the form of Taylor model flowpipes as produced by the Flow* verified integrator.  ...  Acknowledgements We would like to thank Paul Jackson for many useful discussions of Taylor models and Flow*, Chris Banks for providing feedback on our approach, Kristjan Liiva for useful discussions of  ... 
arXiv:2008.06589v1 fatcat:d73dgydlmzcwzk3q5lcij53he4

Spectral components of the P300 speller response in and adjacent to the hippocampus

Dean J. Krusienski, Jerry J. Shih
2012 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC)  
This study examines the spatio-temporal progression of the P300 Speller response from SDEs in and adjacent to the hippocampus for six conventional frequency bands.  ...  The superior bandwidth and spatial resolution of intracranial signals compared to scalp electroencephalography (EEG) may provide better insight into the nature of the responses evoked by the P300 Speller  ...  ACKNOWLEDGMENT This work was funded in part by the National Science Foundation (1064912/0905468) and the National Institutes of Health (NIBIB/NINDS EB00856).  ... 
doi:10.1109/icsmc.2012.6377713 dblp:conf/smc/KrusienskiS12 fatcat:xp6xkjzdmnf3hp3fausemyiz7m

Spatio-temporal database research at the University of Melbourne

Egemen Tanin, Rui Zhang, Lars Kulik
2010 SIGMOD record  
Our research focuses on new challenges in spatio-temporal data management on the development of techniques for solving spatio-temporal problems in new settings such as in ubiquitous and mobile systems  ...  The spatio-temporal database research group at the University of Melbourne currently consists of three academics, two postdoctoral research fellows, two software engineers, seven PhD students, and three  ...  ACKNOWLEDGMENTS We would like to acknowledge the efforts of our students as well as co-authors. In particular, we thank our research students Sarana Nutanong  ... 
doi:10.1145/1815933.1815942 fatcat:aw3bhupst5hobndqplsl5tsin4

Rejoinder: Some methodological issues in biosurveillance

Ronald D. Fricker
2011 Statistics in Medicine  
In my opinion, for EED, metrics remains the most important area in which consensus is required. Without a standard set of metrics, advances in biosurveillance EED will (continue to) be hindered.  ...  Conclusion Once again, I thank David Buckeridge, Howard Burkom, Krista Hanni, Henry Rolka, and Bill Woodall and Kwok-Leung Tsui for their commentaries.  ...  Recommended metrics for spatio-temporal methods As Professors Woodall and Tsui point out, the performance metrics for spatio-temporal methods are more challenging.  ... 
doi:10.1002/sim.3982 fatcat:wicuhfvtkfe5dprggxd5tvdk4m

A Study of Approximate Data Management Techniques for Sensor Networks

Adonis Skordylis
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
Recent developments in sensor network technology have enabled the instrumentation of the physical world with smart devices for monitoring purposes.  ...  A large variety of applications could benefit from the pervasive deployment of inexpensive wireless sensor nodes, ranging from environmental monitoring to emergency detection and response.  ...  These techniques make use of both spatio-temporal correlations to perform data reduction. Guestrin et al. [17] propose an algorithm that manages spatio-temporal data in a distributed fashion.  ... 
doi:10.1109/wises.2006.237157 fatcat:ggs3mikolneerev7et4gextwcu

A Study of Approximate Data Management Techniques for Sensor Networks

Adonis Skordylis, Niki Trigoni, Alexandre Guitton
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
Recent developments in sensor network technology have enabled the instrumentation of the physical world with smart devices for monitoring purposes.  ...  A large variety of applications could benefit from the pervasive deployment of inexpensive wireless sensor nodes, ranging from environmental monitoring to emergency detection and response.  ...  These techniques make use of both spatio-temporal correlations to perform data reduction. Guestrin et al. [17] propose an algorithm that manages spatio-temporal data in a distributed fashion.  ... 
doi:10.1109/wises.2006.329119 dblp:conf/wises/SkordylisTG06 fatcat:ay3klpfembarrguz7oi2ktdysq

Piecewise Pulse Wave Imaging (pPWI) for Detection and Monitoring of Focal Vascular Disease in Murine Aortas and Carotids In Vivo

Iason Zacharias Apostolakis, Sacha D. Nandlall, Elisa E. Konofagou
2016 IEEE Transactions on Medical Imaging  
These findings demonstrated that pPWI may be able to provide useful biomarkers for monitoring focal vascular diseases.  ...  Pulse Wave Imaging (PWI), a technique developed by our group to assess and quantify the mechanical properties of the aortic wall in vivo, may provide valuable diagnostic information.  ...  Shunichi Homma for the use of the Visualsonics Vevo 770 ultrasound system. The authors would also like to thank Fusako Sera, M.D., Ronny Li, M.S. and Gary Hou, Ph.D.  ... 
doi:10.1109/tmi.2015.2453194 pmid:26168432 pmcid:PMC4703464 fatcat:nehpdgkuyzaqlfkqleogkdpfgq

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) [article]

César Sánchez and Gerardo Schneider and Wolfgang Ahrendt and Ezio Bartocci and Domenico Bianculli and Christian Colombo and Yliés Falcone and Adrian Francalanza and Sran Krstić and Joa̋o M. Lourenço and Dejan Nickovic and Gordon J. Pace and Jose Rufino and Julien Signoles and Dmitriy Traytel and Alexander Weiss
2018 arXiv   pre-print
Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors  ...  Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor.  ...  The authors would like to thank Fonenantsoa Maurica and Pablo Picazo-Sanchez for their feedback on parts of a preliminary version of this document.  ... 
arXiv:1811.06740v1 fatcat:4bxx5tvfpzez3jidsj22flibv4

Local field potentials primarily reflect inhibitory neuron activity in human and monkey cortex [article]

Bartosz Telenczuk, Nima Dehghani, Michel Le Van Quyen, Sydney S Cash, Eric Halgren, Nicholas G Hatsopoulos, Alain Destexhe
2016 bioRxiv   pre-print
The resulting st-LFPs were dominated by broad spatio-temporal components due to on-going activity, synaptic inputs and recurrent connectivity.  ...  The local field potential (LFP) is generated by large populations of neurons, but unitary contribution of spiking neurons to LFP is not well characterized.  ...  (C) Spatio-temporal spiketriggered LFP average (st-LFP) in human temporal cortex.  ... 
doi:10.1101/052282 fatcat:yzi7ldezsnbvpaloaaeusryc7a

Spatiotopic coding and remapping in humans

D. C. Burr, M. C. Morrone
2011 Philosophical Transactions of the Royal Society of London. Biological Sciences  
Finally, we introduce the concept of the spatio-temporal receptive field to describe the local spatiotopicity exhibited by many neurons when the eyes move.  ...  We then describe a series of experiments measuring the spatial and temporal phenomena that occur around the time of saccades, and discuss how these could be related to visual stability.  ...  Figure 6 . 6 Spatio-temporal transformation of RFs at the time of saccades.  ... 
doi:10.1098/rstb.2010.0244 pmid:21242139 pmcid:PMC3030833 fatcat:vrg77a6rbnb4ndeygsy73uba3a

A Spatio-Temporal Ensemble Deep Learning Architecture for Real-Time Defect Detection during Laser Welding on Low Power Embedded Computing Boards

Christian Knaak, Jakob von Eßen, Moritz Kröger, Frederic Schulze, Peter Abels, Arnold Gillner
2021 Sensors  
The architecture uses spatio-temporal features extracted from infrared image sequences to locate critical welding defects including lack of fusion (false friends), sagging, lack of penetration, and geometric  ...  Additional work is conducted to investigate the significance of various geometrical, statistical and spatio-temporal features extracted from the keyhole and weld pool regions.  ...  online compensation of process deviations for "first time right" production.  ... 
doi:10.18154/rwth-2021-06670 fatcat:yubpecex25efxmm5yu5avtotky

A Spatio-Temporal Ensemble Deep Learning Architecture for Real-Time Defect Detection during Laser Welding on Low Power Embedded Computing Boards

Christian Knaak, Jakob von Eßen, Moritz Kröger, Frederic Schulze, Peter Abels, Arnold Gillner
2021 Sensors  
The architecture uses spatio-temporal features extracted from infrared image sequences to locate critical welding defects including lack of fusion (false friends), sagging, lack of penetration, and geometric  ...  Additional work is conducted to investigate the significance of various geometrical, statistical and spatio-temporal features extracted from the keyhole and weld pool regions.  ...  online compensation of process deviations for "first time right" production.  ... 
doi:10.3390/s21124205 fatcat:ro2gpcb5p5gxnl57yzhibw6pzu

Full-Reference Video Quality Assessment by Decoupling Detail Losses and Additive Impairments

Songnan Li, Lin Ma, King Ngi Ngan
2012 IEEE transactions on circuits and systems for video technology (Print)  
predict the spatio-temporal HVS contrast sensitivity, to implement the temporal masking effect, and so on.  ...  In this paper, we study the use of motion information and temporal human visual system (HVS) characteristics for objective video quality assessment.  ...  However, subjective VQA is not feasible for online manipulations, which makes it impractical for system design and quality monitoring.  ... 
doi:10.1109/tcsvt.2012.2190473 fatcat:ygn42lhor5cmvbqjvuypki4tmu

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace (+4 others)
2019 Formal methods in system design  
Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors  ...  Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor.  ...  The authors would like to thank Fonenantsoa Maurica and Pablo Picazo-Sanchez for their feedback on parts of a preliminary version of this document, and the anonymous reviewers for the constructive corrections  ... 
doi:10.1007/s10703-019-00337-w fatcat:6vu5odqyjjbkvf255bsxcchane
« Previous Showing results 1 — 15 out of 654 results