Results 51 to 60 of about 108,354 (301)

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

Measurement characteristics and genome-wide correlates of lifetime brain atrophy estimated from a single MRI

Nature Communications
As a cardinal marker of brain ageing, lifetime brain atrophy obtained from a cross-sectional magnetic resonance image promises to boost statistical power to uncover novel genetic mechanisms of neurodegeneration.
Anna E. Fürtjes, Isabelle F. Foote, Charley Xia, Gail Davies, Joanna Moodie, Adele Taylor, David C. Liewald, Paul Redmond, Janie Corley, Andrew M. McIntosh, Heather C. Whalley, Susana Muñoz Maniega, Maria Valdés Hernández, Ellen Backhouse, Karen Ferguson, Mark E. Bastin, Joanna Wardlaw, Javier de la Fuente, Andrew D. Grotzinger, Michelle Luciano, W. David Hill, Ian J. Deary, Elliot M. Tucker-Drob, Simon R. Cox   +23 more
doaj   +1 more source

Factography and fiction: Mirroring in the novel a time of death by Dobrica Ćosić [PDF]

Zbornik Radova Filozofskog Fakulteta u Prištini
The subject of this paper is the analysis of Dobrica Ćosić's novel A Time of Death I-IV (1972-1979), primarily from the perspective of possible worlds theory.
Božić Snežana V., Jovanović Jelena V.   +1 more
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

The Linguistic and Cognitive Effects of a One-Week Online Italian Language Course: A Pilot Study

Journal of the European Second Language Association
This pilot study examined whether one week of intensive online Italian instruction could yield significant changes in bilinguals’ verbal fluency skills in their second language (L2) (Italian) and first language (L1) (English), as well as in attentional ...
Mattia Zingaretti, Roberta Spelorzi, Taranjit K. Sohanpaul, Antonella Sorace   +3 more
doaj   +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

Sociodemographic predictors of parenting stress among mothers in socio-economically deprived settings in rural and urban Kenya and Zambia

Scientific Reports
Parental stress occurs when parenting demands exceed the resources available to cope with parenting. Previous research has identified household wealth, educational level, marital status, age, and number of dependent children as predictors of parental ...
Kenneth Odhiambo Okelo, Patricia Kitsao-Wekulo, Silas Onyango, Elizabeth Wambui, Iain Hardie, Josiah King, Aja Louise Murray, Bonnie Auyeung   +7 more
doaj   +1 more source

Project-based learning in English for specific purposes instruction in higher education: Opportunities and challenges [PDF]

Zbornik Radova Filozofskog Fakulteta u Prištini
Project-based learning (PBL) is increasingly recognized as a pedagogically effective approach in English for Specific Purposes (ESP) instruction at the tertiary level of education.
Zečević Snežana M., Dilparić Branislava M., Andrejević Ana M.   +2 more
doaj   +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

Information Retrieval and the Philosophy of Language [PDF]

The Computer Journal, 1992
L'A. met en avant les implications de la philosophie du langage pour la recherche d'information, notamment en ce qui concerne les difficultes de la description des contenus intellectuels. Les echecs du processus de recherche d'information sur le plan linguistique se situent aux niveaux de la description et de la discrimination, et dans l'equilibre ...
openaire   +3 more sources