Results 61 to 70 of about 3,198 (250)

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

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

Wprowadzenie: ERA KOMPUTERYZACJI [PDF]

Filozofia i Nauka, 2020
Małgorzata Czarnocka , Mariusz Mazurek
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

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

A Worm‐Inspired Origami Robot with Multimodal Locomotion for Adaptive Mobility in Complex Pipeline Environments

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, Kangning Tan, Zihan He, Hongsen Pang, Yanjie Wang, Hongbin Fang, Jian Xu   +6 more
wiley   +1 more source

On the Polish Roots of the Analytic Philosophy of Religion

European Journal for Philosophy of Religion, 2011
Philosophers of religion of the Cracow Circle (1934-1944) are the principal precursors of what is now called the analytic philosophy of religion. The widespread claim that the analytic philosophy of religion was from the beginning an Anglo-American affair is an ill-informed one.
openaire   +3 more sources

The Reception of Graham Harman’s Philosophy in Polish and Ukrainian Scholarship

Kyiv-Mohyla Humanities Journal, 2022
The article aims to explore the ways in which scholars from Poland and Ukraine engage with Graham Harman’s philosophical work1 . The introductory part briefly describes Harman’s ontology and demonstrates the link connecting Harman with Polish and Ukrainian intellectual environments.
openaire   +4 more sources

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

From Devices to Systems: Integration Strategies for Micro‐Supercapacitors in Microsystems

Advanced Science, EarlyView.
Micro‐supercapacitors are evolving from device‐level energy storage toward system‐level functional units in integrated microsystems. This Review presents a system‐oriented design framework in which integration serves as the key link between application requirements, system constraints, device architectures, and material selection. Monolithic and hybrid
Zhuohao Liu, Gang Li, Kaiying Wang
wiley   +1 more source