Results 121 to 130 of about 8,918 (283)
Note sur l’intuitionnisme selon Jules Vuillemin
The aim of this paper is to take another look at Jules Vuillemin’s interpretation of the notion of intuitionism. We will attempt to show that he develops the idea that a line of reasoning is intuitionistic if it is impossible to find a realistic ...
Théophile Richard
doaj +1 more source
The material origin of numbers: Insights from the archaeology of the Ancient Near East [PDF]
What are numbers, and where do they come from? A novel answer to these timeless questions is proposed by cognitive archaeologist Karenleigh A. Overmann, based on her groundbreaking study of material devices used for counting in the Ancient Near East ...
Overmann, Karenleigh Anne
core
Phonons‐informed machine‐learning predictive models are propitious for reproducing thermal effects in computational materials science studies. Machine learning (ML) methods have become powerful tools for predicting material properties with near first‐principles accuracy and vastly reduced computational cost.
Pol Benítez +4 more
wiley +1 more source
Logical Pluralism: Where the Conflict Really Lies [PDF]
Recent years have seen a surge of attention to the problem of logical pluralism; most of which has been a reaction to Beall and Restall’s account of logical pluralism as the existence of more than one equally correct semantic relation of logical ...
Haeri, Mohsen, Hosseini, Davood
core
The Interoperability Challenge in DFT Workflows Across Implementations
Interoperability and cross‐validation remain major challenges in the computational materials science. In this work, we introduce a common input/output standard that enables internal translation across multiple workflow managers—AiiDA, PerQueue, Pipeline Pilot, and SimStack—while producing results in a unified schema.
Simon K. Steensen +13 more
wiley +1 more source
What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.
David Charles McCarty, Piotr Urbańczyk
doaj
Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]
Rathjen M.
europepmc +1 more source
Parametric Analysis of Spiking Neurons in 16 nm Fin Field‐Effect Transistor Technology
Energy efficient computing has driven a shift toward brain‐inspired neuromorphic hardware. This study explores the design of three distinct silicon neuron topologies implemented in 16 nm fin field‐Effect transistor technology. While the Axon‐Hillock design achieves gigahertz throughput, its functional fragility persists. The Morris–Lecar model captures
Logan Larsh +3 more
wiley +1 more source

