Results 81 to 90 of about 4,913 (260)

Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification.

, 2017
Runtime Verification consists in studying a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging consists in studying a system at runtime in order to discover and understand its bugs and fix them, inspecting interactively its internal state.Interactive Runtime Verification (i ...
Jakse, Raphaël, Falcone, Yliès, Méhaut, Jean-François, Pouget, Kevin   +3 more
openaire   +2 more sources

Enhancing Super‐Resolution Spatial Transcriptomics Data by Transfer Learning

Advanced Science, EarlyView.
SpotZoomer employs a transfer‐learning‐based strategy to enhance the resolution of Visium data by leveraging available high‐resolution priors. The resulting super‐resolved maps enable sharper delineation of cell boundaries and more precise inference of cell–cell communication patterns that would otherwise remain obscured at native resolution.
Xiaoyu Li, Lihua Zhang, Wenwen Min
wiley   +1 more source

ZT-RIASE: Zero Trust-resilient identity attestation for securing smart industrial IoT environment

Scientific Reports
In the Industry 5.0 paradigm, collaborative intelligence, human–machine cooperation, and real-time cognitive automation have increased the dependence of industrial systems on secure and uninterrupted Industrial Internet of Things (IIoT) connectivity ...
Rishita Verma, Gaurav Indra, Abhishek Kumar Pandey, Ashok Kumar Das, Vivekananda Bhat K   +4 more
doaj   +1 more source

Gap‐Free Information Transfer in 4D‐STEM via Fusion of Complementary Scattering Channels

Advanced Science, EarlyView.
Fused Full‐Field STEM (FF‐STEM) is introduced as a 4D‐STEM imaging modality that combines direct ptychography with tilt‐corrected dark‐field reconstruction in a single acquisition. Fourier‐space fusion using Wiener‐type spectral weighting closes the low‐frequency contrast gap inherent to bright‐field methods, delivering gap‐free, dose‐efficient, near ...
Shengbo You, Georgios Varnavides, Sagar Khavnekar, Nikita Palatkin, Sihan Shao, Mingjian Wu, Daniel Stroppa, Darya Chernikova, Baixu Zhu, Ricardo Egoavil, Stefano Vespucci, Dileep Krishnan, Xingchen Ye, Florian K. M. Schur, Erdmann Spiecker, Philipp Pelz   +15 more
wiley   +1 more source

Verification of Control System Runtime Using an Executable Semantic Model

Algorithms
The paper outlines a methodology for validating the accuracy of a control system’s runtime implementation. The runtime takes the form of a virtual machine executing portable code compliant with IEC 61131-3 standards.
Jan Sadolewski, Bartosz Trybus
doaj   +1 more source

Approach on runtime monitoring based on the embedded trusted platforms

网络与信息安全学报, 2017
The state-of-art trusted computing platforms fall short of monitoring its own runtime security properties.In order to mitigate these problems,an approach on runtime monitoring for the embedded trusted platforms was proposed.With the automated code ...
Zhao-chang SUN,Jian-feng MA,Cong SUN,Di LU
doaj   +1 more source

Runtime Verification of C Programs [PDF]

, 2008
We present in this paper a framework, Rmor , for monitoring the execution of C programs against state machines, expressed in a textual (non-graphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language Rmor recently developed at the Jet Propulsion Laboratory, as an alternative
openaire   +1 more source

Agent‐Based Simulations of Lung Tumor Evolution Suggest That Ongoing Cell Competition Drives Realistic Clonal Expansions

Advanced Science, EarlyView.
Computational simulations of tumor evolution are increasingly used to infer the rules underlying cancer growth, with the goal of one day recommending tailored treatments. Here we show that the properties of lung cancer sequencing data are best replicated by a model which assumes that cells compete both to proliferate and survive. ABSTRACT Computational
Helena Coggan, James R. M. Black, Carlos Martínez‐Ruiz, Kristiana Grigoriadis, Jasmin Fisher, Nicholas McGranahan   +5 more
wiley   +1 more source

On the Execution and Runtime Verification of UML Activity Diagrams

Software
The unified modelling language (UML) is an industrial de facto standard for system modelling. It consists of a set of graphical notations (also known as diagrams) and has been used widely in many industrial applications.
François Siewe, Guy Merlin Ngounou
doaj   +1 more source

Soft, Multi‐Wavelength Photoplethysmography Enables Reliable Neonatal Blood Pressure Monitoring Via Error Stratification

Advanced Science, EarlyView.
A soft hybrid multi‐wavelength PPG wearable acquires neonatal signals. Synchronized PPG and invasive ABP data are segmented into fixed windows. A 1D‐EfficientNet model predicts segment‐level SBP and DBP. Model performance is examined with retrospective subgroup analysis across acquisition conditions.
Wenqi Shi, Lanlan Mi, Jiarong Chen, Biao Liu, Min Wang, Zisheng Dai, Bin Liu, Ruize Gao, Yunfeng Lin, Weiwei Guo, Guoxing Wang, Wenyi Luo, Cheng Chen   +12 more
wiley   +1 more source