Results 71 to 80 of about 71,669 (311)

On the Complexity of Temporal Equilibrium Logic [PDF]

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in the style of LTL. To our knowledge it is the first nonmonotonic logic that accommodates fully the syntax of a standard temporal logic (specifically LTL) without requiring ...
Laura Bozzelli, David Pearce 0001
openaire   +2 more sources

Temporal logic for social networks

Journal of Logic and Computation, 2022
Abstract This paper introduces a logic with a class of social network models that is based on standard Linear Temporal Logic, which allows for leveraging the power of existing model checkers for the analysis of social networks. We provide a short literature overview, and then define our logic and its axiomatization, present some simple ...
Vitor Machado, Mario R. F. Benevides
openaire   +2 more sources

Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips

Advanced Functional Materials, EarlyView.
This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee, Sofía Cruces, Xiaohua Liu, Yang Chen, Vasilis A. Maroufidis, Janghyun Jo, Lukas Völkel, Dennis Braun, Michael Möller, Leon Brackmann, Holger Kalisch, Michael Heuken, Andrei Vescan, Rafal E. Dunin‐Borkowski, Joachim Mayer, Stefan Wiefels, Max C. Lemme   +16 more
wiley   +1 more source

Monadic second order logic as the model companion of temporal logic [PDF]

, 2016
The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theory is a first-order description of the class of models in which all ...
S. van Gool, S. Ghilardi, van Gool, S., Ghilardi, S.   +3 more
core   +1 more source

Pull‐and‐Push Nanotherapeutic Hydrogels: Scavenging Inflammatory Triggers While Driving Tissue Regeneration in Burn Wounds

Advanced Functional Materials, EarlyView.
A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim, Seong‐Jin Shin, Sak Lee, Nandin Mandakhbayar, Ji‐Hye Kang, Da‐Young Kong, Seong‐Doo Hong, Ueon Sang Shin, Hae‐Won Kim, Jung‐Hwan Lee   +9 more
wiley   +1 more source

Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]

, 2011
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav, Alessandro Artale, Roman Kontchakov, Ryzhikov, V., Vladislav Ryzhikov, Michael Zakharyaschev, Artale, A., Zakharyaschev, Michael, Kontchakov, Roman   +8 more
core   +1 more source

A Bioinspired Sensory‐CAPode With Dual Functionality: Logic Gate and Real‐Time Biosensing

Advanced Functional Materials, EarlyView.
An electrochemical capacitor diode (CAPode) redefines the frontier of iontronics by seamlessly unifying logic computing and biosensing within a single biocompatible platform. Inspired by nature's own ion‐channel circuitry, this elegant ionic system transforms complex chemical signals into precise electrical responses, paving the way for next‐generation
Hanfeng Zhou, Tianle Zheng, Haolin Jin, Xiongjun Zhou, Jiang Qu, Bilal Riaz, Ahmed Bahrawy, Jiajie Chen, Przemyslaw Galek, Julia Grothe, Stefan Kaskel   +10 more
wiley   +1 more source

Temporal logic programs with variables [PDF]

Theory and Practice of Logic Programming, 2016
AbstractIn this note, we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium Logic, an extension of Answer Set Programming for dealing with linear-time modal operators. To this aim, we provide a definition of a first-order version of Temporal Equilibrium Logic that shares the syntax of ...
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal, Martín Diéguez   +4 more
openaire   +3 more sources

Monolithic Oxidation Enables Ultrathin Vertically Graded Tantalum Oxide for Low‐Voltage, Low‐Variability Memristive Switching

Advanced Functional Materials, EarlyView.
Monolithic UV‐ozone oxidation of Ta forms an ultrathin Ta2O5/TaOx bilayer enabling resistive switching with a vertical defect gradient. A stoichiometric surface layer over an oxygen‐deficient sublayer promotes localized filament nucleation near the top interface, enabling low‐voltage operation, and reduced cycle‐to‐cycle variability.
Seunghoon Yang, Dong Hyun Lee, Conan Weiland, Won‐Il Lee, Kim Kisslinger, Mingzhao Liu, Aswin kumar Anbalagan, Xiao Tong, Soumyajit Mandal, Nikhil Tiwale, Houk Jang, Chang‐Yong Nam   +11 more
wiley   +1 more source

Timing in music and temporal logic. [PDF]

, 2007
'In-time' representations of music in which the time represented is the same time as inhabited by the agent making or using the representation are contrasted with 'out-of-time' representations. Temporal logics with a similar 'in-time' perspective, and in
Marsden, Alan
core