Results 61 to 70 of about 2,799,711 (314)
The succinctness of first-order logic on linear orders [PDF]
, 2011 Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of (approximately) the ...
Grohe, Martin, Schweikardt, Nicole
core
Simulation Studies of Nanomagnet-Based Architecture
, 2008 We report a simulation study on interacting ensembles of Co nanomagnets that can perform basic logic operations and propagate logic signals, where the state variable is the magnetization direction.
Behin-Aein B. +9 more
core +1 more source
Material Modeling in Semiconductor Process Applications
Journal of Microelectronic Manufacturing, 2020 During the past decade, significant progress has been achieved in the application of material modeling to aid technology development in semiconductor manufacturing companies such as Intel.
Boris A. Voinov +4 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
On Affine Logic and {\L}ukasiewicz Logic [PDF]
, 2014 The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of {\L}
Arthan, Rob, Oliva, Paulo
core
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
Necessity in the Thought of Avicenna [PDF]
حکمت و فلسفه, 2018 To Avicenna, the relation between the subject and the predicate is of three kinds: possibility, necessity, and impossibility. Impossibility is the same as necessary non-existence. The word ‘modal’ in modal logic refers to these three.
milad omrani, Fereshteh Nabati
doaj +1 more source
$L^p$-$L^q$ Boundedness of Spectral Multipliers of the Anharmonic Oscillator
Comptes Rendus. Mathématique, 2022 In this note we study the $L^p-L^q$ boundedness of Fourier multipliers of anharmonic oscillators, and as a consequence also of spectral multipliers, for the range ...
Chatzakou, Marianna, Kumar, Vishvesh
doaj +1 more source
Advanced Functional Materials, EarlyView.Ab initio calculations using the r2SCAN functional show that biaxial strain does not alter the high spin preference of cobalt‐doped BaTiO3 and PbTiO3; a small compressive uniaxial strain however results in an equally favorable low spin state for BaTiO3 and thus bistable magnetism.
Oliver J. Conquest +3 more
wiley +1 more source
The Logic of Logic Programming
, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential.
Denecker, Marc, Warren, David S.
openaire +2 more sources