Results 121 to 130 of about 2,393,674 (352)

Bisimulations for Temporal Logic

Journal of Logic, Language and Information, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kurtonina, N., de Rijke, M.
openaire   +3 more sources

Untethered Magnetic Microswimmers for Targeted Particle Transport and Flow Manipulation

Advanced Materials Technologies, EarlyView.
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, Dong‐Ming He, Kai‐Wei Chen, Chia‐Yuan Chen   +3 more
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

Compositional RL Agents That Follow Language Commands in Temporal Logic. [PDF]

Front Robot AI, 2021
Kuo YL, Katz B, Barbu A.
europepmc   +1 more source

Programmable Dimensional Lithography with Digital Micromirror Devices for Multifunctional Microarchitectures

Advanced Materials Technologies, EarlyView.
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, Byungcheon Yoo, Chaeyeong Ryu, Jongwon Oh, Dahye Baek, Jiseok Lee   +5 more
wiley   +1 more source

Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach. [PDF]

PLoS One, 2021
Xu Z, Wu B, Topcu U.
europepmc   +1 more source

Some Notes on Temporal Justification Logic [PDF]

, 2015
Samuel Bucheli
openalex   +1 more source

Fabrication Technologies for Soft, Multimaterial Optical Fibers for In Vivo Diagnostics and Phototherapy, With a Focus on Extrusion Printing

Advanced Materials Technologies, EarlyView.
Soft multimaterial optical fibers integrate multiple functionalities—such as waveguiding, side emission, sensing, drug delivery or actuation—into a single filament for wearable, implantable, and tissue‐integrated devices for diagnostics and phototherapy.
Zahra Kafrashian, Jun Feng, Aránzazu del Campo   +2 more
wiley   +1 more source

Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata [PDF]

, 2021
Mingyu Cai, Shaoping Xiao, Zhen Kan, Kan, Zhen   +3 more
openalex   +1 more source

Advances in Solid‐Phase Processing Techniques: Innovations, Applications, and Future Perspectives

Advanced Materials Technologies, EarlyView.
Based on practical manufacturing challenges, this review examines advanced solid‐phase processing techniques that overcome the inherent limitations of conventional melting‐based and traditional solid‐phase manufacturing, enabling the production of higher‐performance components at reduced cost through process innovation and improved supply‐chain ...
Tianhao Wang
wiley   +1 more source