Results 141 to 150 of about 430,787 (365)

Organic Electrochemical Transistors for Neuromorphic Devices and Applications

Advanced Materials, EarlyView.
Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang, Jiajun Song, Hong Liu, Junxin Chen, Feng Yan   +4 more
wiley   +1 more source

Unification in linear temporal logic LTL

Annals of Pure and Applied Logic, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Babenyshev, Sergey, Rybakov, Vladimir
openaire   +2 more sources

Autonomous Hydrogel Actuators Programmed by Endogenous Biochemical Logic for Dual‐Stage Morphing and Drug Release

Advanced Materials, EarlyView.
A 3D‐printed BSA–PEGDA bilayer actuator performs biochemical logic, bending autonomously in acid and releasing its drug payload only when both acid and pepsin are present. This dual‐stage, enzyme‐gated mechanism enables autonomous catch‐and‐release motion and controlled gastric drug delivery, representing a programmable soft material powered by ...
Yuchen Liu, Harischandra Potthuri, Alejandro Sosnik, Luai R. Khoury   +3 more
wiley   +1 more source

Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems

International Journal of Prognostics and Health Management, 2015
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national airspace, it is imperative that they possess the capability to effectively complete their missions without compromising the safety of other aircraft, as well
Johann Schumann, Kristin Y. Rozier, Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, Corey Ippolito   +5 more
doaj   +1 more source

Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells

Advanced Materials, EarlyView.
This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur, Aljaž Kavčič, Uroš Jagodič, Rok Podlipec, Matjaž Humar   +4 more
wiley   +1 more source

Materials and System Design for Self‐Decision Bioelectronic Systems

Advanced Materials, EarlyView.
This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng, Hong Liu, Yongheng Zhang, Youbin Zheng, Xuyin Ding, Mengni Zhu, Guoyue Shi, Yan Wang, Hossam Haick, Min Zhang   +9 more
wiley   +1 more source

Peer Review #3 of "A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition (v0.1)"

, 2022

openalex   +1 more source

Model checking for linear temporal logic: An efficient implementation [PDF]

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described.
Pnueli, Amir, Sherman, Rivi
core   +1 more source

Soft Electromagnetic Actuator and Oscillator

Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.
This work presents a groundbreaking soft electromagnetic system capable of bistable actuation and self‐regulated oscillation. Using liquid metal and silicone as a compliant conductor, the actuator enables force generation, sensing, and feedback with minimal power.
Noah D. Kohls, Yi Chen Mazumdar
wiley   +1 more source

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Computers
Today, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism ...
Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed M. Alghamdi   +4 more
doaj   +1 more source