Results 101 to 110 of about 42,644,411 (279)

An Executable Structural Operational Formal Semantics for Python

CoRR, 2021
Python is a popular high-level general-purpose programming language also heavily used by the scientific community. It supports a variety of different programming paradigms and is preferred by many for its ease of use. With the vision of harvesting static analysis techniques like abstract interpretation for Python, we develop a formal semantics for ...
openaire   +3 more sources

Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery

Advanced Functional Materials, EarlyView.
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang, Qian Wang, Seong‐Hoon Jang, Hao Li   +3 more
wiley   +1 more source

NeuroVisio SyncPatch: A Skin‐Conformal Multimodal EMG–Motion Sensing Platform for Quantitative Neuromuscular Rehabilitation and Performance Monitoring

Advanced Healthcare Materials, EarlyView.
NeuroVisio SyncPatch integrates skin‐conformal electromyography (EMG) electrodes with camera‐tracked markers to jointly assess muscle activity and three‐dimensional knee kinematics during rehabilitation. Parallel feedback pathways provide real‐time kinematic guidance during movement and post‐trial neuromuscular feedback.
Bohyung Choi, Yoo‐Jin Jun, Heewon Choee, Kun‐Do Lee, Heesoo Kim, Yu Seok Hwang, Choong Yeon Kim, Seongok Chae, Juhyun Lee, Minkyu Je, Jae‐Woong Jeong, Hyung‐Soon Park   +11 more
wiley   +1 more source

The Paradox of Cyber Risk Controls: An Empirical Analysis of Readiness and Protection Inefficiencies in Thailand’s Financial Sector

Risks
As Thailand’s financial sector accelerates its digital transformation, cybersecurity has transitioned from a mere technical support function to a strategic imperative that governs operational risk and financial stability.
Artid Sringam, Pongpisit Wuttidittachotti   +1 more
doaj   +1 more source

Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application

Advanced Materials, EarlyView.
This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong, You Zhou, Qingxiu Li, Wenyu Zhao, Sunyingyue Geng, Hangfei Li, Yan‐Bing Leng, Shirui Zhu, Guanglong Ding, Yongbiao Zhai, Ziyu Lv, Ye Zhou, Su‐Ting Han   +12 more
wiley   +1 more source

Probabilistic Kleene Algebra with Tests

工程科学与技术, 2009
:In order to improve the expressiveness of Kleene algebra with tests (KAT), which formalizes the behavior of regular programs, a complete theory of probabilistic Kleene algebra with tests (PKAT) for reasoning regular programs with probability was ...
doaj  

Integrated Methodological Framework for Small-Scale Anaerobic Biodigesters: Traceability Between Design, Operation, and Sustainability

AgriEngineering
Small-scale anaerobic digestion offers a decentralized pathway for organic waste recovery; however, its performance is often evaluated through fragmented modules that do not ensure formal traceability between design, operation, sustainability assessment,
Rommel Angel Mayorga Vargas, Yoisdel Castillo Alvarez, Reinier Jiménez Borges, Luis Angel Iturralde Carrera, Perla Yazmín Sevilla-Camacho, José Billerman Robles-Ocampo, Juvenal Rodríguez-Reséndiz   +6 more
doaj   +1 more source

Structural operational semantics for weak bisimulations

Theoretical Computer Science, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

LEAD: Literature Enhanced Ab Initio Discovery of Nitride Dusting Layers for Enhanced Tunnel Magnetoresistance and Lower Resistance Magnetic Tunnel Junctions

Advanced Materials, EarlyView.
Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam, William S. Rogers, Chen‐Yu Hu, Ming‐Yuan Song, Xinyu Bao, Shehrin Sayed, Jean Anne C. Incorvia   +6 more
wiley   +1 more source

A trajectory-based strict semantics for program slicing [PDF]

, 2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Weiser (which only considered terminating ones) and, as such, is an accurate ...
Kiss, A, Laurence, Mike, Lahcen Ouarbya, Laurence, MR, Mike Laurence, Harman, Mark, Robert M. Hierons, Sebastian Danicic, Harman, M, Hierons, Robert M., Kiss, Ákos, Binkley, D, Laurence, Michael, Danicic, S, Hierons, Robert, David Binkley, Barraclough, RW, Mark Harman, Barraclough, Richard W., Barraclough, Richard, Ouarbya, Lahcen, Hierons, RM, Ouarbya, L, Richard W. Barraclough, Ákos Kiss, Danicic, Sebastian, Binkley, David   +26 more
core   +1 more source