Results 131 to 140 of about 138,161 (315)

Review of Formal Specification and Verification for Operating Systems [PDF]

Jisuanji gongcheng
Operating Systems (OSs), which form a critical infrastructure in the information age, are widely used in core fields such as medical care, industries, and the military.
WANG Zi, WANG Hongqiang, YANG Xiaoyi, LAN Yuqing
doaj   +1 more source

Model checking computation tree logic over finite lattices

Theoretical Computer Science, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pan, Haiyu, Li, Yongming, Cao, Yongzhi, Ma, Zhanyou   +3 more
openaire   +1 more source

Integrated Ultrasound Device for Precision Bladder Volume Monitoring via Acoustic Focusing and Machine Learning

Advanced Science, EarlyView.
We present a conformable wearable ultrasound patch for noninvasive bladder volume monitoring. A flexible PZT array combined with a concave acoustic lens concentrates acoustic energy and improves depth selectivity through the anterior pelvic wall.
Long Long Cao, Feng Wen Wang, Jingwei Xue, Fulei Liu, Ming Liang Jin   +4 more
wiley   +1 more source

Rotary Electromechanical System Integrating Non‐Reciprocal Memory and Combinational Logic

Advanced Science, EarlyView.
Rotational bistability, interfaced through a conductive network with switchable contacts, unifies logic operations and mechanical memory within a rotary electromechanical system. The author demonstrates how serially coupled configurations of rotationally bistable modules enable reprogrammable sequential logic governed by mechanical state transition and
Shujia Chen, Don Straney, Damiano Pasini
wiley   +1 more source

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

Advanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray, Andrew R. Castillo, Manoj Kolel‐Veetil, Surya R. Kalidindi   +3 more
wiley   +1 more source

Broadband Achromatic Programmable Electromagnetic Camouflage via Fluidic‐Accessible Metasurface

Advanced Science, EarlyView.
A fluidic access metasurface enables dynamic, broadband electromagnetic illusions. By physically reconstructing conductive patterns with liquid metal, the metasurface achieves real‐time, pixel‐level control over phase dispersion. This allows for the programmable generation of arbitrary strong scattering point arrays, effectively deceiving high ...
Shipeng Liu, Jiahao Zhang, Jiale Wang, Zeyao Chen, Zhaotong Yu, Jinhong Luo, Jiabao Luo, Rujia Cao, Shuxi Gong, Qingxin Guo, Ping Li, Rujiang Li, Ke Chen, Yongtao Jia, Ying Liu   +14 more
wiley   +1 more source

Parallel computational tree logic model‐checking on pushdown systems [PDF]

, 2022
Xin Ye, Jianqi Shi, Yanhong Huang, Qin Li, Hansheng Wei, Xinyu Chen   +5 more
openalex   +1 more source

Study on formal modeling and verification of safety computer platform

Advances in Mechanical Engineering, 2016
With the development of automatic control and communication technology, communication-based train control system is adopted by more and more urban mass transit system to automatically supervise the train speed to follow a desired trajectory.
Xi Wang, Lianchuan Ma, Tao Tang
doaj   +1 more source

The Bitter Taste of Brazil's Temporary Import Ban on Robusta Coffee

Agribusiness, EarlyView.
ABSTRACT Brazil, a leading Robusta coffee producer and exporter, faced a significant drought in 2016–2017, which drastically reduced production and depleted stocks. Consequently, Brazil temporarily permitted the import of one million 60‐kg bags of Robusta coffee in the spring 2017. An import ban was imposed shortly afterward due to lobbying by domestic
Hanifi Otgun, John Beghin, Fernando Maximiliano   +2 more
wiley   +1 more source

Artificial Intelligence for Bone: Theory, Methods, and Applications

Advanced Intelligent Discovery, EarlyView.
Advances in artificial intelligence (AI) offer the potential to improve bone research. The current review explores the contributions of AI to pathological study, biomarker discovery, drug design, and clinical diagnosis and prognosis of bone diseases. We envision that AI‐driven methodologies will enable identifying novel targets for drugs discovery. The
Dongfeng Yuan, Haicang Zhang, Liping Tong, Di Chen   +3 more
wiley   +1 more source