Results 31 to 40 of about 48,451 (258)

Restrictions for loop-check in sequent calculus for temporal logic

Lietuvos Matematikos Rinkinys, 2008
In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check.
Adomas Birštunas
doaj   +1 more source

In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device

Advanced Functional Materials, EarlyView.
In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang, Rohan Dhall, Matthew M. Schneider, Cun Li, Chengyu Song, Sundar Kunwar, Hongyi Dou, Natanii R. Yazzie, Henry Tran, Daniel Appuing, Jim Ciston, Nicholas G. Cucciniello, Pinku Roy, Michael T. Pettes, John Watt, Winson Kuo, Haiyan Wang, Ye Cao, Rodney J. McCabe, Aiping Chen   +19 more
wiley   +1 more source

Certain Bounds of Formulas in Free Temporal Algebras

Axioms, 2023
In this paper, we give a basic structure theorem based on the study of extreme cases for the value of ≺ (the classical precedence relation between ultrafilters), i.e., ≺=∅ and no isolated element in ≺.
Francisco Miguel García-Olmedo, Antonio Jesús Rodríguez-Salas, Pedro González-Rodelas   +2 more
doaj   +1 more source

Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces

Advanced Functional Materials, EarlyView.
A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai, Yi Ning Zheng, Lei Zhang, Xiao Qing Chen, Giuseppe Castaldi, Tie Jun Cui, Vincenzo Galdi   +6 more
wiley   +1 more source

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Logical foundations and implementation of an extension of temporal logic

Journal of Computer Science and Technology, 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj  

Formal Verification of Three-Valued Digital Waveforms

Моделирование и анализ информационных систем, 2019
We investigate a formal verification problem (mathematically rigorous correctness checking) for digital waveforms used in practical development of digital microelectronic devices (digital circuits) at early design stages.
Nina Yu. Kutsak, Vladislav V. Podymov
doaj   +1 more source

Intuitionistic Linear Temporal Logics [PDF]

ACM Transactions on Computational Logic, 2019
We consider intuitionistic variants of linear temporal logic with “next,” “until,” and “release” based on expanding posets : partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic that we denote ITL e , and by imposing additional ...
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque   +3 more
openaire   +4 more sources

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, Valeria Demontis, Karl Jonas Riisnaes, Lam Hoi Tung, Sebastiano De Stefano, Daniela Marongiu, Adolfo Mazzotti, Aditya Bhardwaj, Francesco Mattana, Elisa Pili, Selene Matta, Federico Paolucci, Michele Saba, Andrea Mura, Giovanni Bongiovanni, Monica F Craciun, Saverio Russo, Antonio Di Bartolomeo   +17 more
wiley   +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