Results 51 to 60 of about 28,600 (294)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Can Spacetime Help Settle Any Issues in Modern Philosophy? [PDF]
, 2006 This paper has two goals. (i) I explore the limits of the mathematical theory of spacetime (more generally, differential geometry) as an analytical tool for interpreting early modern thought.
Huggett, Nick
core
Nóema, 2012 Moving by a theoretic approach, the paper intends to think through the connections between the Indian philosophy of Śaṃkara (the greater thinker of the Vedanta school, lived in the VIII century b. C.) and the thought of H. Bergson. By such a prospective,
Giacomo Foglietta, Paolo Taroni
doaj +1 more source
Advanced Science, EarlyView.We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua +6 more
wiley +1 more source
Some Background to the Absolute-Relational Debate [PDF]
, 2007 Some notes discussing some of the ancient and medieval background to the absolute-relational ...
Belot, Gordon
core
Advanced Science, EarlyView.Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang +2 more
wiley +1 more source
Advanced Science, EarlyView.A mechanically adaptive polyimide interface dynamically stabilizes single‐crystal cathodes in sulfide all‐solid‐state batteries. By integrating robust chemical coordination with viscoelastic compliance, this smart coating suppresses parasitic reactions and accommodates cyclic volume expansion.
Jiatao Wu +8 more
wiley +1 more source
Eduard von Hartmann: post-Christian religion and German idealism
RUDN Journal of Philosophy, 2017 This paper is devoted to the consideration of Eduard von Hartmann’s philosophy of religion. The author examines his critic of the liberal theology. E.v.Hartmann thinks that the Christian religion is dying.
V V Zolotukhin
doaj +1 more source
An Embodied Paper‐Based Microfluidic Al‐Air Battery for Enduring Untethered Insect‐Scale Robots
Advanced Science, EarlyView.This work presents a centimeter‐scale microfluidic aluminum–air battery (MFAAB) with dual‐surface anode and F−‐mediated byproduct decomposition. The design enables a high capacity of 2697.05 mAh/g Al and delivers tens of milliwatts to power LEDs, motors, and a toy car.
Yun Yang +5 more
wiley +1 more source
F1000ResearchJapanese philosopher Tanabe Hajime (1885–1962) not only discussed religion in ways that were rooted in the fundamental claims of his writings, such as Shinran in Philosophy as Metanoetics (1946), but he also made proposals on religion, as in ...
Hiroto Doi
doaj +1 more source