Results 71 to 80 of about 294,052 (285)
Backdoors for linear temporal logic [PDF]
, 2017 In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized by the size of the backdoor.
Meier, Arne +3 more
core +2 more sources
Multi‐Functional ZnO–Te Heterojunction Devices Enabling Compact Frequency Quadrupler
Advanced Functional Materials, EarlyView.Wafer‐scale ZnO–Te heterojunction devices featuring tunable double negative differential transconductance (D‐NDT) are demonstrated at ≤ 200°C. Leveraging this unique characteristic, a single‐stage frequency quadrupler is realized, achieving a 64%–75% reduction in device count.
Jae Hyeon Jun +8 more
wiley +1 more source
On Relaxing Metric Information in Linear Temporal Logic
, 2011 Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric LTL formula M into a qualitative formula Q, such that Q is satisfiable if ...
Furia, Carlo A., Spoletini, Paola
core +2 more sources
Receding Horizon Temporal Logic Control for Finite Deterministic Systems [PDF]
, 2012 This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula.
Belta, Calin, Ding, Xuchu, Lazar, Mircea
core +2 more sources
Unlocking Photodetection Mode Switching from a Simple Lateral Design
Advanced Functional Materials, EarlyView.A simple lateral 2D perovskite photodetector capable of switching among transient, continuous, and dual transient/continuous photoresponse modes is achieved by integrating photoconductive effects with capacitive coupling from the SiO2/Si substrate. Such light‐programmable photodetection mode switching enables triple‐channel information transmission and
Zijun (June) Yong +10 more
wiley +1 more source
G4LTL-ST: Automatic Generation of PLC Programs
, 2014 G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals.
Cheng, Chih-Hong +3 more
core +1 more source
A model checking approach to the parameter estimation of biochemical pathways [PDF]
, 2008 Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed ‘acceptable’.
A. Aziz +14 more
core +1 more source
Laser‐Assisted Processing and Modification of Bioactive Glasses: A Review
Advanced Healthcare Materials, EarlyView.Laser technologies provide powerful tools to process and transform bioactive glasses for advanced biomedical applications. This review discusses laser‐matter interaction mechanisms, laser surface engineering, and laser‐assisted fabrication of scaffolds and nanofibers.
Antonio Riveiro +8 more
wiley +1 more source
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time [PDF]
Logical Methods in Computer Science, 2012 Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated.
Ben Moszkowski
doaj +1 more source
Respiratory Organ‐on‐a‐Chip for Disease Modeling: From Architecture to Functional Integration
Advanced Healthcare Materials, EarlyView.Respiratory organ‐on‐a‐chip (ROC) models capture key mechanical and cellular cues of the human respiratory system, enabling quantitative dissection of disease mechanisms. This review links ROC architectures to disease modeling, functional integration, and commercialization, and proposes a decision framework that aligns model complexity with mechanistic
Jinzhuo Hu +4 more
wiley +1 more source