Results 151 to 160 of about 430,787 (365)

A tableau system for linear-TIME temporal logic [PDF]

, 1997
Peter H. Schmitt, Jean Goubault-Larrecq
openalex   +1 more source

Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic [PDF]

, 2022
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev   +3 more
openalex   +1 more source

Robust Motion Planning employing Signal Temporal Logic

, 2017
Motion planning classically concerns the problem of accomplishing a goal configuration while avoiding obstacles. However, the need for more sophisticated motion planning methodologies, taking temporal aspects into account, has emerged.
baier, donzé, lindemann, maler
core   +1 more source

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

Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking

Axioms
The encapsulation of particular quality functions and predicates within temporal logic formulas markedly enhances the representation of detailed temporal characteristics within a system.
Xianfeng Yu, Yongming Li, Shengling Geng, Huirong Li   +3 more
doaj   +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

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

Synthesis of Distributed Longitudinal Control Protocols for a Platoon of Autonomous Vehicles [PDF]

, 2015
We develop a framework for control protocol synthesis for a platoon of autonomous vehicles subject to temporal logic specifications. We describe the desired behavior of the platoon in a set of linear temporal logic formulas, such as collision avoidance ...
Han, Duo, Mo, Yilin, Murray, Richard M.
core  

CARET analysis of multithreaded programs

, 2017
Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation. On the other hand, CARET is a temporal logic that allows to write linear temporal formulas while taking into account the
A Bouajjani, A Wenner, D Lugiez, F Song, K Bansal, MF Atig, MF Atig, P Lammich, R Alur, S Chaki, S Torre La, TM Gawlitza, Vineet Kahlon   +12 more
core   +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