Results 61 to 70 of about 4,913 (260)

An Embodied Paper‐Based Microfluidic Al‐Air Battery for Enduring Untethered Insect‐Scale Robots

Advanced Science, EarlyView.
This work presents a centimeter‐scale microfluidic aluminum–air battery (MFAAB) with dual‐surface anode and F−‐mediated byproduct decomposition. The design enables a high capacity of 2697.05 mAh/g Al and delivers tens of milliwatts to power LEDs, motors, and a toy car.
Yun Yang, Tao Jiang, Zhongyue Lu, Dapeng Fan, Zucheng Yi, Zirong Luo   +5 more
wiley   +1 more source

Runtime Checking for Program Verification [PDF]

, 2007
The process of verifying that a program conforms to its specification is often hampered by errors in both the program and the specification. A runtime checker that can evaluate formal specifications can be useful for quickly identifying such errors.
Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard   +3 more
openaire   +2 more sources

PhosSight: A Unified Deep Learning Framework Boosting and Accelerating Phosphoproteome Identification to Enable Biological Discoveries

Advanced Science, EarlyView.
PhosSight is a unified deep‐learning framework for phosphoproteome identification, featured by a phosphorylation‐aware detectability predictor. It improves identification sensitivity in DDA through deep re‐localization and rescoring, accelerates DIA searches by detectability‐guided spectral library pruning, and expands phosphoproteome coverage to ...
Ben Wang, Zhiyuan Cheng, Chengying She, Hongwei Zhao, Jiahui Zhang, Lin Lv, Zhihao Yan, Hongwen Zhu, Lizhuang Liu, Yan Fu, Xinpei Yi   +10 more
wiley   +1 more source

Simulation to Silicon: A Unified Concurrency Abstraction for Portable Verification Testbenches

IEEE Access
Transaction-level System-on-Chip (SoC) verification testbenches increasingly need to operate across heterogeneous execution platforms, including event-driven SystemVerilog simulation and thread-based emulation or virtual prototyping environments. However,
Suchir Gupta, Navnish Kumar, Amit Sharma
doaj   +1 more source

Machine Learning Accelerated Non‐Adiabatic Molecular Dynamics Elucidates Local Polarization Effects on Non‐radiative Recombination in Halide Perovskites

Advanced Science, EarlyView.
This work proposes and constructs the Hefei‐NAMD‐S framework based on machine learning stacked models to investigate the relationship between local polarization and non‐radiative recombination. The results indicate that, compared with A‐site local polarization, B‐site local polarization shows a more evident association with the non‐radiative ...
Bing Yang, Xiaoli Wei, Bo Cai, Yan Yang, Xinghai Zhu, Yi Liu, Junmin Xia, Lihui Liu, Kun Cao, Wei Shen, Pengfei Xia, Shufen Chen, Siyu Chen, Jin Zhao   +13 more
wiley   +1 more source

stMixer for Scalable Mosaic Integration and Label Transfer in Spatial Histology and Multi‐Omics

Advanced Science, EarlyView.
stMixer is an unsupervised framework for scalable integration and label transfer across spatial histology and multi‐slide multi‐omics data with incomplete modality overlap. It combines self‐looped cross‐attention, multimodal metric learning, and graph‐guided cluster voting to align heterogeneous sections, correct batch effects, and propagate ...
Qixing Yang, Yan Wang, Luonan Chen, Chunman Zuo   +3 more
wiley   +1 more source

Accurately Deciphering Tissue Heterogeneity From Spatial Multi‐Modal and Multi‐Omics With STransformer

Advanced Science, EarlyView.
STransformer is a unified deep learning framework designed to seamlessly accommodate a comprehensive landscape of spatial data. By simultaneously capturing short‐range cellular interactions and tissue‐wide semantic patterns, it extracts robust representations to accurately dissect complex tissue heterogeneity.
Xingyi Li, Jialuo Xu, Gaoyuan Du, Xiangting Jia, Dongmin Zhao, Chunyan Zhou, Kexin Xiao, Jia Gu, Junnan Zhu, Xuequn Shang   +9 more
wiley   +1 more source

NetChecker: enabling real-time and error-locatable runtime verification for programmable networks

Journal of King Saud University: Computer and Information Sciences
Runtime errors may occur in programmable networks due to incorrect table hits, erroneous rule matches, and mistakes in the P4 pipeline, which cannot be debugged and repaired before program deployment.
Ying Yao, Le Tian, Yuxiang Hu
doaj   +1 more source

Varanus: Runtime Verification for CSP

Autonomous systems are often used in changeable and unknown environments, where traditional verification may not be suitable. Runtime Verification (RV) checks events performed by a system against a formal specification of its intended behaviour, making it highly suitable for ensuring that an autonomous system is obeying its specification at runtime ...
Matt Luckcuck, Angelo Ferrando 0001, Fatma Faruq   +2 more
openaire   +2 more sources

Bringing Runtime Verification Home [PDF]

, 2018
We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: be-havioral correctness of the apartment sensors, detection of specific user activities (known as activities of daily living), and composition of specifications of the previous types.
El-Hokayem, Antoine, Falcone, Yliès
openaire   +2 more sources