Predicate abstraction for hyperliveness verification. [PDF]
Form Methods Syst DesBeutner R, Finkbeiner B.
europepmc +1 more source
On Two Non-Ergodic Reversible Cellular Automata, One Classical, the Other Quantum. [PDF]
Entropy (Basel), 2023 Prosen T.
europepmc +1 more source
Two‐Photon Endomicroscopy for Image‐Guided Magnetic Micro‐Agents
Small, EarlyView.Image‐guided manipulation of magnetic micro‐agents requires localized fluorescence feedback capable of resolving dynamic interactions in confined environments. This study introduces a two‐photon endomicroscopy platform for real‐time motion tracking, multicolor micro‐agent discrimination, and imaging through biological tissue.
Juan J. Huaroto +3 more
wiley +1 more source
Inhibitory-stabilization is sufficient for history-dependent computation in a randomly connected attractor network. [PDF]
J Comput NeurosciHilty CJ, Miller P.
europepmc +1 more source
Straintronics and Twistronics in 2D Materials: Structural Control and Predictive Design
Small, EarlyView.Strain and twist engineering in 2D materials is established as a programmable design parameter responsible for reconstructing lattices, tuning interlayer coupling, and developing new quantum functionalities. Through the integration of advanced fabrication techniques, multiscale characterization, computational modeling, and machine learning, this review
Manoj Tripathi +14 more
wiley +1 more source
Advances in Metal Microstructure Simulation and Analysis. [PDF]
Materials (Basel)Liu M, Zhou H, Jiang H, Yue C.
europepmc +1 more source
Structural Concrete, EarlyView.Abstract The presence of adhered mortar (AM) in recycled aggregates (RAs) significantly affects the mechanical performance of recycled aggregate concrete (RAC). Meso‐scale modeling provides valuable insights into complex phase interactions, enabling a better understanding of RAC behavior.
Atabak Pourdadash Fardnam +2 more
wiley +1 more source
Modular and Distributed Supervisory Control Framework for Intelligent Micro-Manufacturing Systems with Unreliable Events. [PDF]
Micromachines (Basel)Dong G, Ming Z, Hu H.
europepmc +1 more source
Reinforcement Learning With Timed Constraints for Robotics Motion Planning
Artificial Intelligence for Engineering, EarlyView.This work presents a unified automata‐based reinforcement learning framework that enforces MITL time‐bounded task specifications in both MDPs and POMDPs. Results from grid‐world and office scenarios show robust policy learning under stochastic dynamics and partial observability.
Zhaoan Wang +3 more
wiley +1 more source
AutomataGPT: Transformer-Based Forecasting and Ruleset Inference for Two-Dimensional Cellular Automata. [PDF]
Adv Sci (Weinh)Berkovich JA, David NS, Buehler MJ.
europepmc +1 more source