Results 121 to 130 of about 430,787 (365)
A High-Level LTL Synthesis Format: TLSF v1.1 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and ...
Swen Jacobs +2 more
doaj +1 more source
Towards a Unified Framework for Declarative Structured Communications [PDF]
, 2009 We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis ...
López, Hugo A. +2 more
core +5 more sources
Advanced Functional Materials, EarlyView.This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak +14 more
wiley +1 more source
Observation of Relativistic Domain Wall Motion in Amorphous Ferrimagnets
Advanced Functional Materials, EarlyView.Domain walls in ferrimagnets and antiferromagnets move as relativistic sine‐Gordon solitons, with the spin‐wave velocity setting their speed limit. Such relativistic domain‐wall motion is demonstrated in amorphous GdFeCo near angular momentum compensation, where current‐driven walls reach 90% of the 2 kms−1 spin‐wave speed, enabling ultrafast, device ...
Pietro Diona +3 more
wiley +1 more source
FOND Planning for Pure-Past Linear Temporal Logic Goals [PDF]
, 2023 Luigi Bonassi +5 more
openalex +1 more source
The decision problem for linear temporal logic.
Notre Dame Journal of Formal Logic, 1985 The main result of this paper is the decidability of the set of universal monadic second-order sentences true in the structure consisting of the real numbers equipped with the usual order relation. Two proofs are given, the first exploiting a theorem of Rabin, and the second a method of Läuchli and Leonard.
Burgess, John P., Gurevich, Yuri
openaire +3 more sources
Advanced Functional Materials, EarlyView.Modular diffractive deep neural network metasurfaces encode and reconstruct holograms across layer combinations and wavelengths, enabling secure, multifunctional operation. Each layer acts independently yet composes jointly, yielding up to m(2N −1) channels for m wavelengths and N layers.
Cherry Park +4 more
wiley +1 more source
Cut, invariant rule, and loop-check free sequent calculus for PLTL
Lietuvos Matematikos Rinkinys, 2011 In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis +1 more
doaj +1 more source
Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4
Advanced Functional Materials, EarlyView.An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante +17 more
wiley +1 more source
A Note on Parameterised Knowledge Operations in Temporal Logic [PDF]
, 2014 We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities.
Rybakov, Vladimir
core