Results 121 to 130 of about 1,881,310 (251)
On the characterization of rectangular duals [PDF]
A rectangular partition is a partition of a rectangle into a finite number of rectangles. A rectangular partition is generic if no four of its rectangles meet at the same point.
Vinod Kumar, Krishnendra Shekhawat
doaj +1 more source
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
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
Soybean employs its circadian clock, governed by GmCCA1, to rhythmically defend against soybean cyst nematodes. The pathogen retaliates by secreting the effector Hg4E02, which hijacks the clock to suppress defense and co‐opt the host's translation machinery for nutrient acquisition.
Xingwei Wang +21 more
wiley +1 more source
Malebranche’s approach to God’s existence
In this paper, the author reproduces one of Nicolas Malebranche’s arguments for God’s existence. The text offers (I) a logical formalization of the argument, (II) a formal proof of validity of the argument and, finally, some philosophical reflections ...
Juan Diego M. Moya Bedoya
doaj +1 more source
Human‐relevant methods are essential for modern chemical safety assessment. This study helps define the capabilities and boundaries of an in vitro testing battery for developmental neurotoxicity by exploring its biological applicability domain. By linking neurodevelopmental disease‐related pathways to key neurodevelopmental processes, the work enhances
Eliska Kuchovska +14 more
wiley +1 more source
Autologous tumor‐infiltrating lymphocyte (TIL) therapy shows promising efficacy in acral melanoma, yet determinants of durable response remain unclear. By integrating single‐cell transcriptomics and TCR sequencing, this study reveals that TIL products enriched for T follicular helper and intermediate exhausted T cells establish persistent clonal ...
Chao Zhang +12 more
wiley +1 more source
Selective Inhibition of Integrin β3 Topology Provides a Safer Antithrombotic Strategy
Current integrin αIIbβ3 inhibitors effectively reduce thrombosis but also increase bleeding risk. During thrombosis, high shear blood flow can directly activate the integrin αIIbβ3 via a distinct topological change in the β3 transmembrane domain, independent of hemostatic platelet signaling.
Joonha Lee +11 more
wiley +1 more source
Personalized Network‐Guided Neuromodulation Enhances Human Working Memory
A personalized neuromodulation framework combining individualized functional brain network targeting with real‐time neural decoding is introduced. Using concurrent TMS–fMRI, participant‐specific stimulation targets and optimal frequencies are identified. Only optimal‐frequency stimulation improves working memory across sessions.
Ahsan Khan +13 more
wiley +1 more source
Bone cancer pain and depression share a common origin: astrocytic A2‐to‐A1 transition in the posterior piriform cortex. This phenotypic shift disrupts the ATP–adenosine–A2AR–norepinephrine axis, simultaneously driving nociceptive and affective dysfunction.
Jiang‐Ping Liu +14 more
wiley +1 more source

