Results 111 to 120 of about 2,180 (264)
A Perspective on Interactive Theorem Provers in Physics
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
The cysteine redox state of the Hendra virus W (WHeV) protein controls assembly into fibrils or amorphous aggregates, with residues 2–29 required for fibrillation. In cells, WHeV forms different types of nuclear condensates. Impaired ability to form redox‐sensitive, non‐filamentous condensates reduces WHeV inhibition of the NF‐κB pathway, while it ...
Frank Gondelaud +12 more
wiley +1 more source
Ethical Precision in Nanoscale Brain Interfacing
As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley +1 more source
European Warrant for Obtaining Evidence
This paper concerns a general examination of the European legislative act regulating the activity of obtaining evidence for their use in criminal proceedings, its importance resulting from the novelty that it represents.
Minodora-Ioana Balan-Rusu
doaj
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
Dynamic Regulation of Endogenous Transcription Factor Hubs at Single‐Molecule Resolution
This study combines single‐molecule microscopy and genome editing to characterize the dynamic behaviors of endogenous oncofusion transcription factor EWS::FLI1 in Ewing sarcoma cells. EWS::FLI1 forms neomorphic hubs that dynamically assemble and dissolve. The hubs are regulated during mitosis, by RNA, and by specific chemicals.
Shawn Yoshida +4 more
wiley +1 more source
Therapeutic role and mechanism of human urine stem cells (hUSCs) in pulmonary fibrosis. hUSCs alleviated pulmonary fibrosis by selectively inhibiting macrophage‐myofibroblast transition (MMT) in two ways: on one hand, hUSCs inhibited mitochondrial reactive oxygen species (mtROS) production and apoptosis/senescence of epithelial cells in pulmonary ...
Zhou‐Hang Zhang +10 more
wiley +1 more source
Brain‐Computer Interface Training Fosters Perceptual Skills to Detect Errors
Accurate perception of visuomotor errors underpins motor precision and learning, yet conventional behavioral training fails to improve sensitivity to subtle errors. Real‐time EEG‐based brain‐computer interface feedback targeting the error positivity component enhances perceptual learning of small errors.
Deland H. Liu +4 more
wiley +1 more source
Criminal liability for spreading fake news: a study of Jordanian law in light of international standards. [PDF]
Khwaileh KM, Makhadmeh NM.
europepmc +1 more source
Dual‐Module Near‐Infrared Fluorophores Discovery System via Knowledge Transfer
This study presents a dual‐module deep learning system for the design of near‐infrared (NIR) fluorophores. A large molecular library is generated and analyzed, leading to the suggestions of promising candidates. The effectiveness of the system is further validated through the synthesis, characterization, and in vivo imaging, demonstrating its potential
Yixin Zhu +7 more
wiley +1 more source

