Results 101 to 110 of about 92,710 (270)
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
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 +4 more
wiley +1 more source
Metric Temporal Graph Logic over Typed Attributed Graphs [PDF]
Holger Giese +3 more
openalex +1 more source
A Temporal Logic for Hyperproperties
Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths.
Finkbeiner, Bernd +2 more
core
Materials and System Design for Self‐Decision Bioelectronic Systems
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 +9 more
wiley +1 more source
An MILP Approach for Real-time Optimal Controller Synthesis with Metric\n Temporal Logic Specifications [PDF]
Sayan Saha, A.A. Agung Julius
openalex +1 more source
Fluctuating Curvature and Actuation in 4D Printed Asymmetric Networks by Frontal Photopolymerization
Asymmetric polymer networks, fabricated by frontal photopolymerization (FPP), are shown to exhibit curvature oscillations associated with monomer‐solvent exchanges during development and drying. We introduce a theoretical model for such dynamic curvature fluctuations and demonstrate the fabrication of bistable switches and self‐propelled materials that
Muhammad Ghifari Ridwan +3 more
wiley +1 more source
Direct data-driven control with signal temporal logic specifications [PDF]
B.C. van Huijgevoort +3 more
openalex +1 more source
Soft Electromagnetic Actuator and Oscillator
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
Untethered Magnetic Microswimmers for Targeted Particle Transport and Flow Manipulation
This work introduces magnetically actuated microswimmers to dynamically reconfigure fluid flow within a single microfluidic device. Multiple homogeneous microswimmers are independently controlled by an external magnetic field to perform translational and rotational motions, thereby inducing real‐time flow manipulation.
Dineshkumar Loganathan +3 more
wiley +1 more source
This review explores recent advances in digital micromirror device (DMD)‐based lithography, focusing on its programmable light modulation, multi‐material compatibility, and dimensional patterning strategies. It highlights innovations from optical system design to materials integration and multifunctional applications, positioning DMD lithography as a ...
Yubin Lee +5 more
wiley +1 more source

