Results 71 to 80 of about 4,913 (260)

CHCHD10 Mitigates Alzheimer's Disease‐Related Phenotypes in Association With Epigenetic Remodeling in Directly Reprogrammed Neurons

Advanced Science, EarlyView.
CHCHD10 loss in Alzheimer's disease is associated with mitochondrial dysfunction, epigenomic disruption, and tau pathology. Restoration of CHCHD10 shifts DNA methylation toward a non‐disease state and reduces tau and amyloid pathology, with KATNAL2 acting as a downstream effector.
Teresa M. Thomas, Ching‐Yao Yang, Kexin Zhang, Liam Wetzel, Dina Bugybayeva, Julia Ferguson, Md Mahmudul Hasan, William Samsa, Nandita Patil, Anshul Dash, Tarini Gowda, Xiongwei Zhu, Feixiong Cheng, Tian Liu   +13 more
wiley   +1 more source

Runtime Verification with Particle Filtering [PDF]

, 2013
We introduce Runtime Verification with Particle Filtering (RVPF), a powerful and versatile method for controlling the tradeoff between uncertainty and overhead in runtime verification. Overhead and accuracy are controlled by adjusting the frequency and duration of observation gaps, during which program events are not monitored, and by adjusting the ...
Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu   +4 more
openaire   +1 more source

AI‐Assisted Digital Single‐Molecule Activity Tracker for Decoupling Intrinsic Heterogeneity from Photo‐Oxidative Damage in High‐Photon‐Flux Enzymology

Advanced Science, EarlyView.
Employing a digital single‐molecule activity tracker (dSMAT), this research demonstrates that high‐photon‐flux irradiation drives progressive oxidative scarring in polymerases. Unlike simple thermal denaturation, real‐time kinetic tracking dynamically visualizes enzymes degrading into multiple impaired subpopulations.
Anran Zheng, Qi Yang, Jinze Li, Fuqiang Ma, Xuefeng Wang, Zhen Guo, Chuanyu Li, Dongshu Li, Jia Yao, Zhiqi Zhang, Wei Zhang, Lianqun Zhou   +11 more
wiley   +1 more source

Towards Data Quality Runtime Verification [PDF]

Annals of computer science and information systems, 2019
Janis Bicevskis, Zane Bicevska, Anastasija Nikiforova, Ivo Oditis   +3 more
doaj   +1 more source

Leveraging DTrace for Runtime Verification [PDF]

, 2016
DTrace, short for “dynamic tracing”, is a powerful diagnostic tool and tracing framework. It is invaluable for performance monitoring, tuning, and for getting insights into almost any aspect of a running system. In this paper we investigate how we can leverage the DTrace operating system-level instrumentation framework [9] to conduct runtime ...
Carl Martin Rosenberg, Martin Steffen, Volker Stolz   +2 more
openaire   +1 more source

A Closed‐Loop Framework for Inverse Design: Dynamic Training and Intelligent Optimization for Heterostructured Materials

Advanced Science, EarlyView.
To accelerate the inverse design of heterostructured metal matrix composites, a closed‐loop scientific machine learning framework integrates continual learning prediction with NSGA‐II‐PMCP optimization. The framework maps microstructural descriptors to strength, toughness, and modulus, expands high‐quality Pareto solutions, and guides experimentally ...
Zhiyan Zhong, Xueru Zheng, Xiao Zhou, Zhengheng Tao, Wan Han, Jingyi Pan, Dian Wu, Ning Gao, Lei Liu, Zhongyang Wang, Fanchao Meng, Tongxiang Fan   +11 more
wiley   +1 more source

Runtime Verification for Visual Deep Learning Systems With Loss Prediction

IEEE Access
Deep neural networks often demonstrate remarkable performance on benchmarks, but have been shown to readily fail once they leave lab-conditions and are deployed in real-world conditions. This can be attributed to their sensitivity to minor changes in the
Birk Torpmann-Hagen, Michael A. Riegler, Pal Halvorsen, Dag Johansen   +3 more
doaj   +1 more source

DDSurfer: A Weakly‐Supervised Dual‐Stream Deep Learning Framework for Cortical Surface Reconstruction From Diffusion MRI

Advanced Science, EarlyView.
DDSurfer reconstructs cortical surfaces directly from diffusion MRI without requiring T1‐weighted scans. By fusing complementary microstructural features and learning diffeomorphic deformations, it efficiently generates accurate white matter and pial surfaces, improving geometric fidelity and morphometric reliability across datasets for robust surface ...
Chengjin Li, Wei Zhang, Xi Zhu, Yuqian Chen, Nir A. Sochen, Jarrett Rushmore, Carl‐Fredrik Westin, Yogesh Rathi, Lauren J. O'Donnell, Ofer Pasternak, Fan Zhang   +10 more
wiley   +1 more source

Context-aware environment online monitoring for safety autonomous vehicle systems: an automata-theoretic approach

Journal of Cloud Computing: Advances, Systems and Applications
Intelligent Transport System (ITS) is a typical class of Cyber-Physical Systems (CPS), and due to the special characteristics of such systems, higher requirements are placed on system security. Runtime verification is a lightweight verification technique
Yu Zhang, Sijie Xu, Hongyi Chen, Uzair Aslam Bhatt, Mengxing Huang   +4 more
doaj   +1 more source

Runtime Verification Tool for the Calculus of Context-Aware Ambients

Mathematics
A context-aware system is a system that adapts its behaviours in response to changes in the system’s environment (i.e., context). Ensuring the correctness of such a system is difficult because the state of the environment changes frequently in an ...
François Siewe
doaj   +1 more source