Results 81 to 90 of about 1,680,027 (251)
Wprowadzenie: ERA KOMPUTERYZACJI [PDF]
Filozofia i Nauka, 2020 Małgorzata Czarnocka , Mariusz Mazurek
doaj +1 more source
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
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
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
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
Closing the Empirical Loop: Autonomous AI Agents Conduct End‐to‐end Research With Human Participants
Advanced Science, EarlyView.A multi‐agent AI system autonomously executes the complete scientific workflow, from hypothesis to manuscript, across three psychological studies involving 288 participants. The system designs experiments, collects real world data, develops analysis pipelines, and writes manuscripts with theoretical rigor comparable to experienced researchers.
Gabrielle Wehr +6 more
wiley +1 more source
Eidos. A Journal for Philosophy of Culture, 2018 The aim of this paper is to compare the approaches of Ernst Cassirer and Aurel Kolnai on the idea of the nation state in its most radical form, which consists of identifying national sovereignty with an unrestricted right of the nation to political ...
Andrzej Gniazdowski
doaj +1 more source
Performance Estimation and Ex Vivo Validation of Untethered Magnetic Robots in Soft Tissue
Advanced Science, EarlyView.This study presents an empirical model that quantitatively predicts the step‐out frequency of screw‐type untethered magnetic robots (UMRs) in soft viscoelastic environments, including ex vivo brain tissue. By integrating key parameters into a dimensionless framework, the model enables estimation of robot performance across a range of biological ...
Leendert‐Jan W. Ligtenberg +19 more
wiley +1 more source
Ask, 2018 Whereas economic grievance and the political opportunity structure could be the basis for understanding Ukrainian youth political participation and institutional trust, to date, no one has systematically applied the necessary contextual information to ...
Viktoriia Muliavka
doaj +1 more source