Results 101 to 110 of about 7,087,714 (293)
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
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Advanced Science, EarlyView.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
THE TRANSDISCIPLINARY RESEARCH OF POLITICS, OR THE PHILOSOPHY AS THE EXPERIMENTAL ADVENTURE
Вісник Харківського національного університету імені В.Н. Каразіна. Серия: Теорія культури та філософіі наукиThis article offers a philosophical elaboration of the transdisciplinary approach to the study of politics, framing it as a complex cultural and ontological phenomenon that calls for a rethinking of both philosophy itself and the foundations of ...
Mykyta Trachuk
doaj +1 more source
The Need for Empirically-Led Synthetic Philosophy [PDF]
, 2013 The problem of unifying knowledge represents the frontier between science and philosophy. Science approaches the problem analytically bottom-up whereas, prior to the end of the nineteenth century, philosophy approached the problem synthetically top-down.
Scoular, Spencer
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
VISUAL DETECTION OF STATIC OBJECTS AMONG DYNAMIC DISTRACTORS
Primenjena Psihologija, 2016 Though a dynamic object, placed against stationary background, always grabs attention, opposite is not necessarily true. Hence, in this study we placed a stationary target among the dynamic distractors. We investigated whether visual detection depends on
Mirjana Pantić, Sunčica Zdravković
doaj +1 more source
Reporting in Experimental Philosophy: Current Standards and Recommendations for Future Practice. [PDF]
Rev Philos Psychol, 2021 Polonioli A +3 more
europepmc +1 more source
Advanced Science, EarlyView.An origami worm‐inspired robot achieves multimodal locomotion in confined pipelines through mechatronic integration that embeds actuation, control, and communication within each origami module. Large, reversible configuration and dimensional changes enable 25 gaits synthesized by a unified framework across peristaltic, inchworm, and wheel‐rolling modes
Qiwei Zhang +6 more
wiley +1 more source
Workshop: Experimental Philosophy and Philosophical Methodology
, 2016 University of Warwick, 4-5 October 2016 Speakers Guy Kahane (Oxford), Ethical theory, commonsense morality, and empirical moral psychology: the case of utilitarian judgment Antti Kauppinen (Tampere), Varieties of philosophical expertise Edouard Machery ...
Alberto Vanzo
core
Complementarism and Consolationism: Mapping out a 21st-Century African Philosophical Trajectory [PDF]
, 2019 African philosophy has been compelled to constantly define itself in relation to a domineering Western philosophy given the historical circumstances of colonialism and the dual heritage of the professional African philosopher who is at once an African by
Ada Agada; Research Fellow The Conversational School of Philosophy Nigeria
core