Results 61 to 70 of about 320,758 (304)
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
Journal for General Philosophy of Science
, 2020 The Journal for General Philosophy of Science (JGPS) is a forum for original research and discussion in the philosophy of science. Its subject matter encompasses both general philosophy of science and the specialized philosophies of particular areas of ...
core
The Lvov-Warsaw School and Its Future
Axioms, 2016 The Lvov-Warsaw School (L-WS) was the most important movement in the history of Polish philosophy, and certainly prominent in the general history of philosophy, and 20th century logics and mathematics in particular.[...]
Angel Garrido, Piedad Yuste
doaj +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
Whence philosophy of biology? [PDF]
, 2006 A consensus exists among contemporary philosophers of biology about the history of their field. According to the received view, mainstream philosophy of science in the 1930s, 40s, and 50s focused on physics and general epistemology, neglecting analyses ...
Byron (formerly Baker), Jason M.
core
Stories as personal coaching philosophy [PDF]
, 2011 The importance of coaches developing and articulating a personal coaching philosophy which encapsulates their values and beliefs is widely recognised. Yet it is also acknowledged that many coaches resist what appears an abstract task or find it to be of ...
Carless, D +3 more
core +1 more source
RUSSIAN EUROPEAN B.V. YAKOVENKO
RUDN Journal of Philosophy, 2019 The article analyzes the creativity of one of the most famous Russian neokantians Boris V. Yakovenko. Despite the fact that the work of Yakovenko becomes the subject of analysis of an increasing number of researchers both in Russia and abroad, it has not
V. N. Belov
doaj +1 more source
Advanced Science, EarlyView.This review explores how hemoglobin‐based oxygen carriers (HBOCs) combined with nanozymes create multifunctional materials that deliver oxygen while maintaining redox homeostasis. Beyond artificial blood substitutes, these constructs enable wound healing with light‐triggered oxygen release, cancer therapy through enhanced oxygenation and reactive ...
Despoina Douka +4 more
wiley +1 more source
, 2010 A series of lectures delivered by Peter Millican to first-year philosophy students at the University of Oxford. The lectures comprise the 8-week General Philosophy course and were delivered in late 2009.
Peter Millican
core
Sweden. Legal Philosophy in the 20th Century
, 2016 The evolution of legal philosophy in Sweden in the first half of the 20th century basically coincides with the history of the so-called Uppsala School, which will be treated extensively in Tome 2 of this volume, in the part devoted to legal realism. Here
Bindreiter, Uta,, Lund University.
core +1 more source