Results 181 to 190 of about 6,594 (258)

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

Duplicate Submission, Zero Consequences: A Reviewer's First-Person Case Study. [PDF]

Cureus
Emanuele E.
europepmc   +1 more source

Formal Argumentation Theory

, 2017
openaire   +9 more sources

Non‐Targeting shRNA‐Encoded Plasmid DNA Enhances Protective Immunity Through RIDD‐RIG‐I Signaling Pathway in the Zika Virus Animal Model

Advanced Science, EarlyView.
We present a novel DNA vaccine platform featuring intrinsic, non‐targeting dsRNA that significantly enhances immune responses by activating the regulated IRE1‐dependent decay‐RIG‐I signaling pathway. This research elucidates a previously uncharacterized mechanism for dsRNA‐mediated innate immune activation.
Min‐Syuan Huang, Hung‐Chun Liao, Po Peng, Wan‐Ling Wu, Kit Man Chai, Mei‐Yu Chen, Guann‐Yi Yu, Tsung‐Hsien Chuang, Hsin‐Wei Chen, Chuang‐Rung Chang, Shih‐Jen Liu   +10 more
wiley   +1 more source

A Missing Link: The Double-Slit Experiment and Quantum Entanglement. [PDF]

Entropy (Basel)
Plotnitsky A.
europepmc   +1 more source

Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths

Advanced Science, EarlyView.
Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears, Kerrianne Harrington, Jonathan C. Knight, William J. Wadsworth, James M. Stone, Tim A. Birks   +5 more
wiley   +1 more source

Critical Thinking and Teacher Training in Secondary Education. [PDF]

J Intell
Loaiza YE, Zona JR, Rios MF.
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

Navigating the boundary between 'normative' and 'non-normative' collective action: A British case study of the removal of a public statue associated with racism. [PDF]

Br J Soc Psychol
Dixon J, Young M, McKeown S, Stenner P, Stathi S, Di Bernardo GA, Vezzali L.   +6 more
europepmc   +1 more source

Generating Dynamic Structures Through Physics‐Based Sampling of Predicted Inter‐Residue Geometries

Advanced Science, EarlyView.
While static structure prediction has been revolutionized, modeling protein dynamics remains elusive. trRosettaX2‐Dynamics is presented to address this challenge. This framework leverages a Transformer‐based network to predict inter‐residue geometric constraints, guiding conformation generation via physics‐based iterative sampling. The resulting method
Chenxiao Xiang, Wenkai Wang, Zhenling Peng, Jianyi Yang   +3 more
wiley   +1 more source