Results 41 to 50 of about 93,973 (331)

On Quantified Modal Theorem Proving for Modeling Ethics [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems.
Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler   +2 more
doaj   +1 more source

Learning to Execute Timed-Temporal-Logic Navigation Tasks under Input Constraints in Obstacle-Cluttered Environments

Robotics
This study focuses on addressing the problem of motion planning within workspaces cluttered with obstacles while considering temporal and input constraints.
Fotios C. Tolis, Panagiotis S. Trakas, Taxiarchis-Foivos Blounas, Christos K. Verginis, Charalampos P. Bechlioulis   +4 more
doaj   +1 more source

Real-time and Probabilistic Temporal Logics: An Overview [PDF]

, 2010
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction.
Konur, Savas
core  

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

A derivation-loop method for temporal logic

Lietuvos Matematikos Rinkinys, 2019
Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature.
Romas Alonderis, Haroldas Giedra
doaj   +1 more source

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

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source

Reasoning about transfinite sequences

, 2006
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by ordinals ...
Büchi J., Clarke E., DAVID NOWAK, Henzinger T., Hirshfeld Y., Rosenstein J., STÉPHANE DEMRI, Wojciechowski J.   +7 more
core   +4 more sources

Toward Stable Multivalent Metal Batteries: Understanding the Interfacial Chemistry for Magnesium and Calcium Metal Anodes

Advanced Functional Materials, EarlyView.
Interphase chemistry governs the stability of multivalent metal batteries. We summarize state‐of‐the‐art developments in calcium and magnesium metal batteries by focusing on the correlation among electrolytes, interphase layers, and the electrochemical performance of corresponding metal anodes.
Huijun Lin, Qi Meng, Juncai Long, Chuheng Cao, Zheng‐Long Xu   +4 more
wiley   +1 more source

Method of marks for propositional linear temporal logic

Lietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj   +1 more source