Results 61 to 70 of about 1,338,665 (291)

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

The Constructibility Principle

Философия и космология
The issue with current scientific models is that many models are speculative or paradoxical constructions central to Philosophy and Cosmology. The Constructibility Principle in this paper introduces a demarcation criterion.
Michael Aaron Cody
doaj   +1 more source

Speculation and praxis.

Studia z Historii Filozofii
The paper addresses the journal Jahrbücher für speculative Philosophie, published between 1846 and 1848 in Darmstadt. The paper focuses on the forewords of the journal written by the sole editor Ludwig Noack (1819–1885). In these forewords, Noack elaborates the current situation of philosophy. He outlines his vision for the future philosophy.
openaire   +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

Fault Tolerance Using Whole-Process Migration and Speculative Execution [PDF]

, 2003
This thesis examines programming language concepts that facilitate fault-tolerant distributed programming. New language primitives are introduced for whole-process migration, which allows an active process to be transferred from one machine to another ...
Smith, Justin David
core   +1 more source

Multidimensional and Multifunctional Laser‐Induced Graphene (LIG) for Point‐of‐Care and Wearable Biosensing, Theranostics, and Bioactive Interfaces Toward Personalized Healthcare and Regenerative Medicine

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, Yurou Yuan, Xiaohong Ding, Wing Cheung Mak   +3 more
wiley   +1 more source

The New Forms of Speculative Philosophy

, 2012
info:eu-repo/semantics ...
Debaise, Didier
core  

Data‐Driven Modeling of Composition–Processing–Microstructure Relations for Recycled Aluminum Cast Alloys

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, Waleed Mohammed, Dierk Raabe   +2 more
wiley   +1 more source

Whole‐Genome Sequencing Pilot of the Central Asian Genomic Diversity Project Reveals Distinct Histories, Adaptation, and Introgression

Advanced Science, EarlyView.
As a pilot phase of the Central Asian Genomic Diversity Project, whole‐genome sequencing of 166 individuals from 20 Central Asian and Afghan Hazara populations reveals fine‐scale substructure shaped by repeated trans‐Eurasian migration and admixture. Integrated analyses uncover post‐admixture adaptation, archaic introgression, and medically relevant ...
Mengge Wang, Shuhan Duan, Qiuxia Sun, Renkuan Tang, Lintao Luo, Jie Zhong, Zhaxylyk Sabitov, CAGDP Consortium†, Lan‐Hai Wei, Chao Liu, Maxat Zhabagin, Guanglin He   +11 more
wiley   +1 more source

Introducing Borsantrazole: A Trifunctional Boron‐Based Pyrazole That Extends the Lifespan of Amyotrophic Lateral Sclerosis Mice

Advanced Science, EarlyView.
Herein we report a boron‐based pyrazole, (Borsantrazole ‐ a small molecule that selectively targets oxidative stress) that significantly increases survival, reduces weight loss, delays disease onset, and affects global protein changes in the SOD1‐G37R mouse model of ALS.
Nitesh Sanghai, Rhonda Kelley, Ying Lao, M. Immanuel Reyes Madlangsakay, Prasanta Paul, M. Alejandra Llanes‐Cuesta, Jun‐Feng Wang, René P. Zahedi, Jiming Kong, Geoffrey K. Tranmer   +9 more
wiley   +1 more source