Results 111 to 120 of about 22,226,095 (257)

Tri‐Functional Electrocatalysis for Zinc–Air Battery Coupled Water Splitting: A Catalyst‐Electrode‐Device‐System Perspective

Advanced Science, EarlyView.
This review establishes a catalyst–electrode–device–system framework for tri‐functional HER/OER/ORR electrocatalysis that couples water splitting with Zn–air batteries. Five catalyst families are covered: noble‐metal, metal‐based, single‐atom, heterostructure, and metal‐free systems.
Xixi Di, Chao Duan, Shuzhen Li, Yiyang Che, Xiaoshuang Liu, Chuanyin Xiong, Mengxia Shen, Yichao Wang, Derek Hao, Yonghao Ni   +9 more
wiley   +1 more source

Comparative analysis of selected containerization tools in terms of MCP

Journal of Computer Sciences Institute
Model Context Protocol (MCP) extends AI model capabilities in modern software architectures through standardized tool interfaces. In such systems, MCP servers are often deployed as containerized services, making container runtime behaviour a critical ...
Paweł Jan Tłusty, Maciej Pańczyk
doaj   +1 more source

Runtime Verification with State Estimation

, 2011
We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate theprobability that a temporal property is satisfied by a run of a program when monitoring overhead is reduced by sampling.
Seyster, Justin, Zadok, Erez, Scott A. Smolka, Smolka, Scott A., Havelund, Klaus, Erez Zadok, Bartocci, Ezio, Justin Seyster, Ezio Bartocci, Stoller, Scott D., Grosu, Radu, Klaus Havelund, Radu Grosu, Scott D. Stoller   +13 more
core   +1 more source

A Real‐Data‐Driven Framework for Evaluating Differential Transcript Usage Methods Across Long‐Read Bulk, Single‐Cell, and Spatial Transcriptomics

Advanced Science, EarlyView.
Grounded in real biological RNA‐seq data, the framework benchmarks ten differential transcript usage (DTU) methods across short‐read bulk, long‐read bulk, long‐read single‐cell, and long‐read spatial transcriptomics. By integrating reference transcript sets with ranked DTU results, the Transcript Set Enrichment Score (TSES) identifies data‐type ...
Chenxing Zhang, Jun Liu, Qi Zhao, Huilong Yin, Angang Yang, Minhua Zheng, Rui Zhang   +6 more
wiley   +1 more source

Exploring Recent Maritime Research on AIS-Based Ship Behavior Analysis and Modeling

Journal of Marine Science and Engineering
Automatic Identification System (AIS) data provide valuable insights into ship behavior, supporting maritime safety, situational awareness, and operational efficiency capabilities that are increasingly required for autonomous ship functions and harbor ...
Anila Duka, Houxiang Zhang, Pero Vidan, Guoyuan Li   +3 more
doaj   +1 more source

Efficient, expressive, and effective runtime verification [PDF]

, 2012
Runtime Verification is a quickly growing technique for providing many of the guarantees of formal verification, but in a manner that is scalable. It useful information available from actual runs of programs to make verification decisions, rather than ...
Meredith, Patrick
core  

An Expertise Transfer Framework For Autonomous Surgical Assistance

Advanced Science, EarlyView.
This study introduces an expertise transfer framework for procedure‐spanning autonomous surgical assistance. By emulating expert logic through hierarchical perception, attention modeling, and knowledge graph‐based decision‐making, the system provides near‐expert surgical view assistance.
Yuan Gao, Guangdi Chu, Wei Jiao, Yuchuan Zhong, Hang Yuan, Chengjun Li, Jinhua Li, Shuxin Wang, Bo Guan, Jianchang Zhao, Lizhi Pan, Haitao Niu, Jianmin Li   +12 more
wiley   +1 more source

Q‐LEAP: Millisecond Hyperdimensional Optimization for Full‐Spectrum Optical Metamaterials

Advanced Science, EarlyView.
Q‐LEAP integrates physics‐informed residual machine learning with factorization‐machine‐encoded quantum annealing to design full‐spectrum optical metamaterials. It explores a 2108 design space and, in a single 2.56 ms annealing step, reaches 85.83% of the theoretical FoM limit, enabling selective 5‐8 µm emission with 3–5 and 8–14 µm suppression and ∼40×
Zikang Guo, Yunwen Wu, Yuhui Guo, Shenghong Ju   +3 more
wiley   +1 more source

CacheAware: Data Locality-Aware Scheduling for Distributed Memory Systems

Computers
The widening performance gap between processor speed and memory access latency has made data locality a critical bottleneck in high-performance computing. In Non-Uniform Memory Access (NUMA) and distributed memory systems, remote accesses incur penalties
Haifa A. Alanazi, Abdulaziz G. Alanazi, Nasser S. Albalawi   +2 more
doaj   +1 more source

Analytical Prediction of Critical Transitions in Oscillator Networks With Non‐Local Links

Advanced Science, EarlyView.
An analytical framework reveals how global coupling, second‐harmonic strength, noise, and network structure govern oscillator‐based Ising dynamics. Spectral reduction predicts stability boundaries, while Fokker–Planck analysis captures one‐ to two‐cluster transitions and identifies conditions favoring low‐energy configurations.
Qiang Li, Chumin Sun, David Waxman, Renaud Lambiotte, Jie Sun, Peng Ji   +5 more
wiley   +1 more source