Results 191 to 200 of about 50,884,432 (234)

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

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

Advanced 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, Dushuo Feng, Yuefei Zhang, Yang Zhang, Yalong Jiao, Aijun Du, Guoping Gao   +6 more
wiley   +1 more source

Correction to 'The effects of communicating illness diagnostic and treatment information and C-reactive protein test results on people's antibiotic expectations'. [PDF]

Br J Health Psychol
europepmc   +1 more source

Educational Effects of Electronic Documents and Videos on Parents' Responses to Acute Illness in Young Children: A Randomized Controlled Trial. [PDF]

Jpn J Nurs Sci
Sato Y, Sumiyoshi T, Akazawa K.
europepmc   +1 more source

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

Advanced 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, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

Safety without the counter: transparency of online safety information for women's over-the-counter medicines across markets. [PDF]

J Pharm Policy Pract
Melhem SJ, Al Momani H, Mousa R, Massad E, Al Rashdan Y, Alzubiedi S, Kasabri V, Darwish R, Bulatova N.   +8 more
europepmc   +1 more source

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

Advanced 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, Yi Zhong, Laura Dangel, Sonia Youhanna, Reza Zandi Shafagh, Jinhye Ryu, Domnica‐Gabriela Gurau, Mathias Haag, Thomas E. Mürdter, Yingxin Liang, Iro Beligiani, Nicole Ziegler, Sabine Willems, Nayere Taebnia, Wouter van der Wijngaart, Volker M. Lauschke   +15 more
wiley   +1 more source

'Waiting poorly' for hip and knee arthroplasty - unmet needs and lack of support while waiting for surgery : findings of the multicentre WAIT-DATA study. [PDF]

Bone Jt Open
McCann CJ, Clement ND, Gee C, Clarke J, Walmsley P, Ohly NE, Deehan D, Kader DF, Stevenson C, Hall AJ, WAIT-DATA Collaborative, Akram N, Al Qusous F, Ali A, Archer D, Attarde D, Bates M, Bell S, Bhatt P, Bluck L, Blythe A, Boucher A, Broadbent T, Burt J, Caruana E, Clarke J, Clement N, Coppola A, Crone A, David A, Deehan D, Do Le HP, EwenFraser F, Gee C, Gilmore C, Goodland C, Gunia D, Hall A, Hermena S, Holland G, Holloway N, Hutchinson L, Ikram A, Irvine S, Jimenez A, Kader D, Kay R, Kearney R, Kennedy M, Lindsay E, Loader H, Lunan E, Mastorakos P, Mcauley D, McCafferty C, McCann C, McColm H, McIntyre J, McLaughlin N, Munn D, Nijjher J, Nyobendo E, O'Brien H, Ohly N, Palan J, Patton J, Pendyala S, Peters J, Porter P, Qaddoura B, Qadri MH, Rankin C, Sanalla A, Singh S, Smith K, Smith L, Stevenson C, Toland G, Walmsley P.   +78 more
europepmc   +1 more source

Targeting p21‐High Senescent Kupffer Cells Nanotherapeutically Potentiates Antitumor Immunity in Advanced Hepatocellular Carcinoma with Portal Vein Tumor Thrombus

Advanced Science, EarlyView.
Schematic illustration of a biomimetic SKEV@AAV platform targeting p21‐high senescent Kupffer cells (sKCs) in hepatocellular carcinoma (HCC) with portal vein tumor thrombus (PVTT). p21‐high sKCs accumulate in the PVTT microenvironment and establish an immunosuppressive, SASP‐rich environment that facilitates tumor cell proliferation and immune evasion.
Na Ta, Shuyi Wang, Boyan Zhang, Ning Liu, Yingchen Han, Aoran Liu, Ying Xu, Tingsong Chen, Ye Zhang, Qiuhua Luo, Tao Han   +10 more
wiley   +1 more source

Navigating nutritional information while living with metastatic cancer: a qualitative study of patient experiences and needs. [PDF]

Support Care Cancer
van der Meij BS, van den Berg MG, Nagtegaal IE, van Amstel FKP, Ottevanger PB, de Kruif AJ.   +5 more
europepmc   +1 more source