Results 141 to 150 of about 9,243 (252)

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

Equivariant spherical CNNs for accurate fiber orientation distribution estimation in neonatal diffusion MRI with reduced acquisition time. [PDF]

Front Neurosci
Snoussi H, Karimi D.
europepmc   +1 more source

Can AI Mitigate Bias in Writing Letters of Recommendation?

JMIR Med Educ, 2023
Leung TI, Sagar A, Shroff S, Henry TL.
europepmc   +1 more source

Dataset of TPACK in teaching practice: Adversity quotient, attitude computer technology and self-efficacy among Indonesian teachers. [PDF]

Data Brief, 2022
Prasetiyo WH, Sari BI, Naidu NBM, Sa'diyah H, Saputri RN, Dewantara JA, Patmisari.   +6 more
europepmc   +1 more source

Intracellular Aβ42 Sequestration by a Serine Protease Mitigates Neurotoxicity in a Drosophila Alzheimer's Disease Model

Advanced Science, EarlyView.
Emerging evidence suggests that intraneuronal Aβ accumulation represents an early pathogenic event in Alzheimer's disease (AD). Using Drosophila AD model, this study shows that a nonsecreted serine protease Yip7 physically interacts with Aβ. This causes intraneuronal Aβ accumulation but surprisingly reduces the associated neurotoxicity, arguing that ...
Jingyun Su, Meng Yang, Xinfeng Wang, Pa Wu, Zongzhao Zhai   +4 more
wiley   +1 more source

Impact of COVID-19 pandemic on elective care backlog trends, recovery efforts, and capacity needs to address backlogs in Scotland (2013-2023): a descriptive analysis and modelling study. [PDF]

Lancet Reg Health Eur
Shah SA, Jeffrey K, Robertson C, Sheikh A.   +3 more
europepmc   +1 more source

The utilization of artificial intelligence applications to improve breast cancer detection and prognosis. [PDF]

Saudi Med J, 2023
Alsharif WM.
europepmc   +1 more source

Localized NF‐κB Inhibition Reduces Lipid Nanoparticle‐Associated Inflammation

Advanced Science, EarlyView.
Lipid nanoparticles (LNPs) activate NF‐κB and provoke inflammation that limits therapeutic delivery. By encapsulating selective NF‐κB inhibitors within LNPs, localized suppression of inflammatory signaling is achieved without compromising mRNA expression.
Carolann L. Espy, Jichuan Wu, Serena Omo‐Lamai, Liuqian Wang, Fengyi Dong, Aleksa Milosavljevic, Sarah O'Neill, Taylor Brysgel, Yufei Wang, Michael Zaleski, Emily Wolfe, Rhea Maheshwari, Manthan Patel, Dirk Trauner, Jia Nong, Zhicheng Wang, Jacob S. Brenner   +16 more
wiley   +1 more source

Reconnection with nature through empathy: rewiring people and animals by assessing zoo visitors' connection to species and the need for their conservation. [PDF]

Front Psychol
Costa R, Xu S, Brandão A, Hayashi M.
europepmc   +1 more source

A BioLiving Periosteum Evokes Centripetal Regeneration in Challenging Bone Defects

Advanced Science, EarlyView.
Large bone defects often suffer from insufficient central healing. This study engineers a BioLiving periosteum that mimics the native structure. It sequentially delivers remote chemical cues and contact physical cues in a signaling‐relay manner, effectively recruiting and guiding endogenous cells toward the defect center.
Yang Shi, Nian Liu, Jingyi Gu, Yinling Wang, Weiye Wang, Zhiwei Ke, Mingjun Xie, Wenjing Jin, Weicheng Kong, Jue Shi, Hui Pan, Yong He, Zhijian Xie   +12 more
wiley   +1 more source