Results 71 to 80 of about 92,710 (270)
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
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
Advanced Functional Materials, EarlyView.DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang +5 more
wiley +1 more source
Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation [PDF]
, 2013 We present a new temporal logic called Distribution Temporal Logic (DTL) defined over predicates of belief states and hidden states of partially observable systems.
Belta, Calin +2 more
core
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
Making Agents’ Abilities Explicit
IEEE Access, 2019 Alternating-time temporal logics (ATL/ATL*) represent a family of modal and temporal logics for reasoning about strategic abilities of agents in multiagent systems.
Yedi Zhang, Fu Song, Taolue Chen
doaj +1 more source
, 2015 This paper studies the problem of model-checking of probabilistic automaton and probabilistic one-counter automata against probabilistic branching-time temporal logics (PCTL and PCTL$^*$). We show that it is undecidable for these problems.
Lin, T.
core
A temporal semantics for Nilpotent Minimum logic
, 2013 In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core +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
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source