Results 141 to 150 of about 2,393,674 (352)

Wearable and Implantable Devices for Continuous Monitoring of Muscle Physiological Activity: A Review

Advanced Science, EarlyView.
Recent advances in materials and device engineering enable continuous, real‐time monitoring of muscle activity via wearable and implantable systems. This review critically summarizes emerging technologies for tracking electrophysiological, biomechanical, and oxygenation signals, outlines fundamental principles, and highlights key challenges and ...
Zhengwei Liao, Ata Golparvar, Mohammad Javad Bathaei, Filipe Arroyo Cardoso, Clementine M. Boutry   +4 more
wiley   +1 more source

REASONING ABOUT THE GAME „CLUE“ BY USING OTTER

Journal of Information and Organizational Sciences, 2006
In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented.
Marko Maliković
doaj  

A Microfluidic Digital Shutter of Liquid–Liquid Interface for Fabrication of Multifaceted Hydrogel Microfiber Structure

Advanced Science, EarlyView.
A programmable passive digital shutter based on multiphase liquid–liquid interface dynamics is introduced for precise fabrication of hydrogel microfibers. By modulating the shutter operation, microfibers with tunable geometry—including linear, helical, tadpole‐like, and spherical forms—are produced.
Dongrui Zhang, Jiangyue Liu, Hao Ye, Yu Shen, Haoran Su, Zhuqing Liang, Kexin Li, Xing Zhang, Shiyi Yang, Yunfei Lu, Zhexi Zhang, Sihang Liu, Yi Huang, Xiao Liu, Yubo Fan   +14 more
wiley   +1 more source

A leader‐follower communication protocol for motion planning in partially known environments under temporal logic specifications

IET Control Theory & Applications
This paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment.
Xiaohong Yan, Yingying Liu, Renwen Chen, Wei Duan   +3 more
doaj   +1 more source

Pspace-completeness of the temporal logic of sub-intervals and suffixes

, 2023
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala   +3 more
openalex   +1 more source

The temporal logic of actions

ACM Transactions on Programming Languages and Systems, 1994
L. Lamport
semanticscholar   +1 more source

Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans

Advanced Science, EarlyView.
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang, Ruifeng Li, Wenwen Yu, Anan Li, Xiangning Li, Mingchao Yan, Lei Xie, Qingrun Zeng, Xueyan Jia, Shuxin Wang, Ronghui Ju, Feng Chen, Qingming Luo, Hui Gong, Andrew Zalesky, Xiaoquan Yang, Yuanjing Feng, Zheng Wang   +17 more
wiley   +1 more source

Supervisory control theory in epistemic temporal logic

, 2014
Guillaume Aucher
openalex   +2 more sources

Minimal Temporal Epistemic Logic

Notre Dame Journal of Formal Logic, 1996
The dynamics of (nonmonotonic) reasoning processes is studied. The presented approach is based on two components: Epistemic logic is used as a formalization of information states. Temporal logic is used as a formalization of a dynamics of information states.
openaire   +2 more sources

Broadband All‐Optical Memtransistor Based on Organic Cocrystals for Noise‐Robust Motion Recognition

Advanced Science, EarlyView.
This work presents an all‐optical synaptic transistor using DTT‐TCNQ organic charge transfer cocrystals, achieving broadband bidirectional modulation (395–808 nm) with highly linear synaptic plasticity (nonlinearity coefficients αp = 0.00191, αd = 0.00305).
Zhaohui Cai, Yuxiao Fang, Wenjie Du, Zhengjun Liu, Yingli Shi, Jiahua Luo, Rui Wu, Lixing Kang, Chun Zhao   +8 more
wiley   +1 more source