Results 161 to 170 of about 2,329,578 (354)

Re‐Purposing a Modular Origami Manipulator Into an Adaptive Physical Computer for Machine Learning and Robotic Perception

Advanced Science, EarlyView.
Reservoir computing in the physical domain promises an alternative, more energy‐efficient approach to machine learning. However, the correlation between mechanical design and computing power remains elusive. This study sheds light on this gap by repurposing a meta‐stable modular origami manipulator into an adaptive computing kernel that can perform ...
Jun Wang, Suyi Li
wiley   +1 more source

Robotic Materials With Bioinspired Microstructures for High Sensitivity and Fast Actuation

Advanced Science, EarlyView.
In the review paper, design rationale and approaches for bioinspired sensors and actuators in robotics applications are presented. These bioinspired microstructure strategies implemented in both can improve the performance in several ways. Also, recent ideas and innovations that embed robotic materials with logic and computation with it are part of the
Sakshi Sakshi, Rohit Pratyush Behera, Hongyu Zhou, Yifan Wang, Hortense Le Ferrand   +4 more
wiley   +1 more source

Using Temporal Logic in the Specification of Reactive and Interactive Systems [PDF]

, 1996
R J Butterworth, Julie Cooke
openalex   +1 more source

A kinematically Bifurcated Metamaterial for Integrated Logic Operation and Computing

Advanced Science, EarlyView.
A family of 2n‐side kinematic polygonal modules with n decoupled inputs and 2n extreme configurations via kinematic bifurcation is proposed. It allows integrating seven basic logic gates on a quadrilateral module. Moreover, a minimized Parallel Computing Sum of Products function is developed, enabling all 2‐bit arithmetic (including division ...
Kaili Xi, Jingsong Wei, Xiao Zhang, Jiayao Ma, Zhong You, Changqing Chen, Yan Chen   +6 more
wiley   +1 more source

Extending temporal logic to support high-level simulations [PDF]

, 1995
Alexander Tuzhilin
openalex   +1 more source

Programming in metric temporal logic

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

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

A Floating‐Gate Photoelectric Synaptic Transistor Utilizing BP/POx/WSe2 Heterostructure for Neuromorphic Visual Processing

Advanced Science, EarlyView.
In this paper, a novel floating gate transistor (BP/POx/WSe2) is developed, which enables rich synaptic functionality under optoelectronic conditions and can mimic human visual memory. By introducing a two‐path convolutional neural network that synergistically fuses optical and electronic inputs, it can achieve efficient feature extraction and weight ...
Yuxuan Zeng, Wenxing Lv, Zehai Hou, Weihua Huang, Zhipeng Yu, Zishuo Han, Rongbin Zhan, Tianle Zeng, Yawen Luo, Yu Lin, Weiming Lv, Bin Fang, Zhongming Zeng, Lianbo Guo   +13 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

The temporal logic of actions

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