Results 91 to 100 of about 89,288 (287)
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
Intervention effects in German : a contiguity approach [PDF]
, 2019 Thesis: S.M., Massachusetts Institute of Technology, Department of Linguistics and Philosophy, 2019Cataloged from PDF version of thesis.Includes bibliographical references (pages 63-66).This paper explores to what extent Richards' Contiguity Theory can ...
Hehl, Verena,S.M.Massachusetts Institute of Technology.
core
Does Temperature have a Metric Structure? [PDF]
, 2011 Is there anything more to temperature than the ordering of things from colder to hotter? Are there also facts, for example, about how much hotter (twice as hot, three times as hot...) one thing is than another?
Bradford Skow, Skow, Bradford
core +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
Scientific DataIsolated Sign Language Recognition (ISLR), which seeks to automatically align sign videos with corresponding glosses, has recently gained considerable attention from the artificial intelligence community.
Peng Jin +9 more
doaj +1 more source
Advanced Science, EarlyView.Multidimensional laser‐induced graphene (LIG) spanning from 0D to 3D architectures is comprehensively reviewed for multifunctional biomedical platforms, including biosensing, theranostics, and bioactive interface applications, which highlights its potentials for point‐of‐care diagnostics, wearable health monitoring, smart drug delivery, and tissue ...
Li Zhang +3 more
wiley +1 more source
Ortega: a philosophy of technology pioneer [PDF]
, 2020 In this paper, I will present the philosophy of technology of the 20th century Spanish philosopher José Ortega y Gasset. As I will show, Ortega’s reflections upon technology (or technique, the term he preferred) are some of the very first we can find in ...
Alonso Fernández, Marcos
core
It’s getting personal: The ethical and educational implications of personalized learning technology [PDF]
, 2019 Personalized learning systems, systems that predict learning needs to tailor education to the unique learning needs of individual students, are gaining rapid popularity.
Nagenborg, Michael; id_orcid +3 more
core +1 more source
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
Proseminar in Philosophy II [PDF]
, 2023 This course is an advanced study of the basic problems of philosophy and is intended for first-year graduate students in philosophy. It is an intensive seminar on selected highlights of analytic philosophy from roughly 1960 to the present.
Byrne, Alex, White, Roger
core