Results 51 to 60 of about 92,710 (270)
Reasoning about Data Repetitions with Counter Systems [PDF]
, 2016 We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions and to repetitions of attribute values in the future or past.
Demri, Stephane +2 more
core +1 more source
Advanced Functional Materials, EarlyView.Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam +14 more
wiley +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
Steep‐Switching Memory FET for Noise‐Resistant Reservoir Computing System
Advanced Functional Materials, EarlyView.We demonstrate the steep‐switching memory FET with CuInP2S6/h‐BN/α‐In2Se3 heterostructure for application in noise‐resistant reservoir computing systems. The proposed device achieves steep switching characteristics (SSPGM = 19 mV/dec and SSERS = 23 mV/dec) through stabilization between CuInP2S6 and h‐BN.
Seongkweon Kang +6 more
wiley +1 more source
Complementary Logic Driven by Dielectrophoretic Assembly of 2D Semiconductors
Advanced Functional Materials, EarlyView.Scalable, parallel fabrication of complementary logic gates is demonstrated using electric‐field‐driven deterministic assembly of electrochemically exfoliated 2D n‐type MoS2 and p‐type WSe2 nanosheets. This strategy yields MoS2 and WSe2 transistors featuring average mobilities of 4.3 and 3.0 cm2 V−1 s−1, respectively, and on/off ratios of > 104 ...
Dongjoon Rhee +10 more
wiley +1 more source
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models [PDF]
, 2014 We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time temporal logics (QATL/QATLs) in which the value of a counter can be compared to constants using equality, inequality and modulo ...
Vester, Steen
core +1 more source
, 2019 We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an ...
A David +30 more
core +1 more source
Advanced Functional Materials, EarlyView.Thermoelectric temperature sensors are developed that directly measure heat changes during optical‐based neural stimulation with millisecond precision. The sensors reveal the temperature windows for safe reversible neural modulation: 1.4–4.5 °C enables reversible neural inhibition, while temperatures above 6.1 °C cause permanent thermal damage.
Junhee Lee +9 more
wiley +1 more source
A Probabilistic Temporal Epistemic Logic [PDF]
, 2021 Zoran Ognjanović +2 more
openalex +1 more source
Criminal law as a security project [PDF]
, 2014 This paper asks how criminal might be understood as a security project. Following Valverde’s lead, it does this not by trying to define the concept of security, but by looking at the operation of the temporal and spatial logics of the criminal law.
Christodoulidis E +8 more
core +1 more source