Results 171 to 180 of about 44,583,896 (209)

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

Education and publications in psychiatry: from strategy to implementation. [PDF]

open access: yesWorld Psychiatry
Skokauskas N   +8 more
europepmc   +1 more source

Integrating Machine Learning With Constant‐Potential Simulation to Unravel Charge‐Transfer Mechanisms in Electrochemical Nitrogen Fixation

open access: yesAdvanced Science, EarlyView.
Integrating interpretable machine learning with the fixed‐potential method reveals a novel mechanism: the catalytic activity of the electrochemical nitrogen reduction reaction is governed by partial charge transfer, induced by variations in the intermediate potential of zero charge under constant potential.
Yufei Xue   +6 more
wiley   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

open access: yesAdvanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram   +4 more
wiley   +1 more source

A Machine Vision‐Guided Microphysiological Platform With Automated Microfluidics Enables Longitudinal Biomarker Monitoring and Emulation of Translationally Relevant Exposure Scenarios

open access: yesAdvanced Science, EarlyView.
A pneumatically actuated multi‐tissue microphysiological system is integrated with AI‐based machine vision and automatic sampling and replenishment systems. The platform allows for the emulation of translationally relevant long‐term pharmacokinetic exposure scenarios for multiple weeks while enabling longitudinal monitoring of response biomarkers ...
Jibbe Keulen   +15 more
wiley   +1 more source

EphB1‐Mediated Transient Blood‐Brain Barrier Opening Facilitates a Ferritin‐Based Nanotherapeutic for Alzheimer's Disease

open access: yesAdvanced Science, EarlyView.
We constructed a brain‐targeted AFn‐DPZ nanodrug delivery system and identified EphB1 as its receptor on the blood‐brain barrier (BBB). This system facilitates drug transport across the BBB and thereby ameliorates cognitive impairment in Alzheimer's disease.
Shilin Wen   +5 more
wiley   +1 more source

Closing the Empirical Loop: Autonomous AI Agents Conduct End‐to‐end Research With Human Participants

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

Mepce Restrains Ferroptosis in Prostate Cancer Through 7SK–P‐TEFb Pause Control

open access: yesAdvanced Science, EarlyView.
Genome‐wide CRISPR screening identifies MEPCE as a pause‐control regulator that restrains ferroptosis in prostate cancer. MEPCE loss releases P‐TEFb/CDK9 from 7SK snRNP control, enhances RNAPII Ser2 phosphorylation, and accelerates NRF2‐HMOX1‐driven labile iron accumulation and lipid peroxidation, revealing a transcriptional kinetic gate that lowers ...
Tongtong Zhang   +9 more
wiley   +1 more source

Home - About - Disclaimer - Privacy