Results 61 to 70 of about 38,385 (299)
Almost Linear Büchi Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA).
Tomáš Babiak +2 more
doaj +1 more source
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 +11 more
wiley +1 more source
Kripke Models and Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1970 In [10], Kripke gave a definition of the semantics of the intuitionistic logic. Fitting [2] showed that Kripke's models are equivalent to algebraic models (i.e., pseudo-Boolean models) in a certain sense. As a corollary of this result, we can show that any partially ordered set is regarded as a (characteristic) model of a intermediate logic ^ We shall ...
openaire +2 more sources
Advanced Functional Materials, EarlyView.Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp +7 more
wiley +1 more source
Al-JabarBackground: The effectiveness of learning strategies plays a pivotal role in enhancing the educational experience, engaging students, and ensuring comprehension of the subject matter.
Kodirun Kodirun, Busnawir Busnawir
doaj +1 more source
Unification types and union splittings in intermediate logics [PDF]
, 2022 W. Dzik, S. Kost, P. Wojtylak
openalex +1 more source
On an Application of Intermediate Logics [PDF]
Nagoya Mathematical Journal, 1960 In [1] I investigated some logics intermediate between intuitionistic and classical predicate logics. The purpose of this paper is to show the possibility of applying some intermediate logics to mathematics namely, to show that some mathematical theorems which are provable in the classical logic but not provable in the intuitionistic logic are provable
openaire +3 more sources
Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures
Advanced Functional Materials, EarlyView.3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina +11 more
wiley +1 more source
Propositional inquisitive logic: a survey [PDF]
Computer Science Journal of Moldova, 2016 This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj
Local and nonlocal spin Seebeck effect in lateral Pt–Cr2O3–Pt devices at low temperatures
APL Materials, 2021 We have studied thermally driven magnon spin transport (spin Seebeck effect, SSE) in heterostructures of antiferromagnetic α-Cr2O3 and Pt at low temperatures. Monitoring the amplitude of the local and nonlocal SSE signals as a function of temperature, we
Prasanta Muduli +6 more
doaj +1 more source