Results 61 to 70 of about 8,631,344 (363)
Kant, Bolzano, and the Formality of Logic [PDF]
In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic ...
Stang, Nicholas
core
A logic road from special relativity to general relativity
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of
A. Tarski +16 more
core +1 more source
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
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 Recent advances in knowledge compilation introduced techniques to compile \emph{positive} logic programs into propositional logic, essentially exploiting the ...
BART BOGAERTS +8 more
core +1 more source
VSECHELOVECHESKOYE AND OBSHECHELOVECHESKOYE: THE WEST, THE ARAB WORLD AND RUSSIA
Vsechelovecheskoye and obshechelovecheskoye are the two Russian words that cannot be rendered into English without distorting their meaning. They both point to universality of human mind, human culture, and human civilization, but there is a fundamental ...
A. V. Smirnov
doaj +1 more source
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
What is the path in Husserl that takes us from formal to transcendental logic? Does it follow Kant’s course from “general logic” to “transcendental logic”, or does the mathematical character of modern logic divest it of the possibility of serving as a ...
James Dodd
doaj +1 more source
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
Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders
This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao +5 more
wiley +1 more source
An Introduction to Ontology [PDF]
Analytical philosophy of the last one hundred years has been heavily influenced by a doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as ...
Smith, Barry
core

