Results 21 to 30 of about 266,648 (159)
Neo-Logicism and Russell’s Logicism [PDF]
Russell: The Journal of Bertrand Russell Studies, 2012 Certain advocates of the so-called "neo-logicist" movement in the philosophy of mathematics identify themselves as "neo-Fregeans" (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at ...
openaire +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
A Multi-Bit Neuromorphic Weight Cell Using Ferroelectric FETs, suitable for SoC Integration
IEEE Journal of the Electron Devices Society, 2018 A multi-bit digital weight cell for high-performance, inference-only non-GPU-like neuromorphic accelerators is presented. The cell is designed with simplicity of peripheral circuitry in mind.
Borna Obradovic +6 more
doaj +1 more source
Journal of Electrochemical Science and Engineering, 2020 When performing electrochemical impedance spectroscopy (EIS) measurements on a system, we must make sure it fulfills certain conditions. One of them is that it should be stationary that is to say, steady-state and time-invariant. Commonly studied systems
Nicolas Murer +2 more
doaj +1 more source
Logic, damned logic, and statistics [PDF]
Electronic Workshops in Computing, 2006 In this paper we present the results of a statistical analysis undertaken upon the performance of students within the Software Engineering Programme at Oxford. The Software Engineering Programme is aimed at part-time students, most of whom are professional software engineers.
openaire +2 more sources
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
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +3 more sources
Logical Concepts and Logical Inferences
Dialectica, 2004 Some philosophers find the following thesis attractive: for every logical constant C there is a set of logical rules of inference R such that a subject knows the meaning of C if and only if she accepts the rules in R. I point out some obvious but, apparently, easily forgotten difficulties concerning this thesis.
openaire +2 more sources
A Temporal Logic for Programmable Logic Controllers
Automatic Control and Computer Sciences, 2020 We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programmable Logic Controllers (PLCs).
Natalia Olegovna Garanina +6 more
openaire +4 more sources