Results 201 to 210 of about 68,267,154 (314)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced 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

Integrating Genetics With Epidemiological Measurements Identifies Burden QTLs of Inflammatory Bowel Disease across 20 Countries

open access: yesAdvanced Science, EarlyView.
The burden quantitative trait locus (bQTL) analysis integrates epidemiological data from GBD study with genotype of 2 621 978 SNPs from 2414 individuals in 1000 Genomes Project across 20 countries. rs7633471 shows the strongest effect that each increase in centi‐allele frequency of the allele C associated with 10.00 decrease of age‐standardized ...
Chen Sun   +27 more
wiley   +1 more source

Adherence to Protocol Registration Among Systematic Reviews on Photobiomodulation: A Meta-Research Study. [PDF]

open access: yesJ Eval Clin Pract
Santos GM   +7 more
europepmc   +1 more source

Integrating Ecology and Economics in Agent‐Based Models to Support Agricultural Policy

open access: yesAdvanced Science, EarlyView.
Agent‐based models are valuable tools for studying social‐ecological systems in agriculture. This review maps how existing agent‐based models represent the human and natural domains of agriculture, and discusses developments in economic and ecological agent‐based modeling.
Daniel Vedder   +5 more
wiley   +1 more source

Evaluating the Methodological Quality of Artificial Intelligence-Assisted Systematic Reviews: Protocol for a Mixed Methods Meta-Research Study. [PDF]

open access: yesJMIR Res Protoc
Jay M   +9 more
europepmc   +1 more source

Phase Diagrams and Piezoelectric Properties of Wurtzite Al1−x−yScxGdyN Heterostructural Alloys

open access: yesAdvanced Science, EarlyView.
This study demonstrates ferroelectricity and piezoelectric properties improvement of quaternary wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films, guided by density functional theory calculations. Wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films have a high optical bandgap, enhanced piezoelectric ...
Julia L. Martin   +11 more
wiley   +1 more source

Editorial Expression of Concern: BDNF and its signaling in cancer

open access: yesJournal of Cancer Research and Clinical Oncology
Mohammad Malekan   +5 more
doaj   +1 more source

Home - About - Disclaimer - Privacy