Results 71 to 80 of about 14,819 (237)
A Perspective on Interactive Theorem Provers in Physics
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
The Role of People in Mohammad Ali Foroughi's Thought [PDF]
Addressing people in a new sense, which implies determining their position and role in the political, economic, cultural, and social arenas, emerged and manifested differently in the face of the new Western civilization.
Mehdi Hesampur, Hadi Bashad jahromi
doaj +1 more source
Philosophy for girls : an invitation to the life of thought /
"This revolutionary book empowers its readers intellectually by providing a snapshot of perennial and timely philosophical topics. Written by twenty expert women in philosophy and representing a diverse and pluralistic approach to philosophy as a ...
Shew, Melissa M.,(viaf)6158855523944140412 +1 more
core
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
Six Phases of Cosmic Chemistry [PDF]
The article presents a conceptually unified, quantitative account of the development of chemical phenomena throughout the cosmic history, with a detailed discussion of the cosmological, astrophysical, geological, biological and anthropological context ...
Lamza, Lukasz
core
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
The Tuskegee syphilis study’s most enduring figure is also one of its most intriguing. Nurse Eunice Rivers was instrumental to the study for both procuring its members and then keeping them involved in it.
Lisa Kearns
doaj +1 more source
CFP : Comparative History of Philosophy (Juin 2017, Milan)
Call for Abstract Comparative History of Philosophy 9th June 2017 Doctoral School in Philosophy and Human Sciences, University of Milan Confirmed Keynote: Prof.
Olivier Renaut
core
Photonic‐Enabled Energy‐Efficient Transparent Neuromorphic Computing Devices: A Review
Transparent photonic neuromorphic computing devices merge optics and brain‐inspired computing to overcome von Neumann bottlenecks with ultrafast, low‐energy processing. By exploiting transparent oxides, 2D materials, phase‐change materials, and hybrid heterostructures, these platforms enable photonic synapses, memory, and logic for see‐through edge ...
Shuvaraj Ghosh +8 more
wiley +1 more source
Introduction. Over the past twenty years, the terms “thanatopolitics”, “necropolitics”, “necroeconomics”, etc. have been actively used in socio-political discourse. But the definitions of these meanings remain blurred.
I. M. Rotov
doaj +1 more source

