Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
Scientific Research Publishing

A Brief Discussion on the Theory and Application of Artificial Intelligence in Medical Diagnostics ()

Cui, J.X., Liu, K.H. and Liang, X.J. (2026) A Brief Discussion on the Theory and Application of Artificial Intelligence in ...
eLife

High-Fidelity Neural Speech Reconstruction through an Efficient Acoustic-Linguistic Dual-Pathway Framework

This study presents a valuable advance in reconstructing naturalistic speech from intracranial ECoG data using a dual-pathway model. The evidence supporting the claims of the authors is solid, ...
IEEE

Realtime Alcohol Detection and Engine Locking System with ESP8266

Abstract: Alcohol consumption is the leading cause of traffic accidents. Existing systems for detecting alcohol levels rely on a physical breathalyzer by law enforcement, which can be slow and ...
eLife

State-dependent brain responsiveness, from local circuits to the whole brain

This correspondence between brain state and brain responsiveness (statedependent responses) is outlined at different scales from the cellular and circuit level, to the mesoscale and macroscale level.
IEEE

BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor

Abstract: The push to reduce size, weight, power, and cost (SWaP-C) has led to the integration of multiple subsystems with different criticality levels onto a single hardware platform. Virtualization ...
GitHub

sinianyutian/sort-cpp-1

This is a C++ implementation of SORT, a simple online and realtime tracking algorithm for 2D multiple object tracking in video sequences. Original Python code and ...