Results 221 to 230 of about 1,758 (282)

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

Gross-Pitaevskii systems of fractional order with respect to multicomponent solitary wave dynamics. [PDF]

Sci Rep
Bilal M, Alawaideh YM, Rehman SU, Yousif MA, Younas U, Baleanu D, Mohammed PO.   +6 more
europepmc   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Exact wave structures with stochastic effects in birefringent optical fibers modeled by cubic-quintic-septic nonlinear Schrödinger equation. [PDF]

Sci Rep
Rabie WB, Almotairi ES, Ahmed HM, Ali MH.   +3 more
europepmc   +1 more source

Prior Expectations Bias Confidence Judgments Through Parietal Alpha‐Band Modulation

Advanced Science, EarlyView.
ABSTRACT Humans possess the metacognitive ability to estimate the likely accuracy of their own decisions through confidence judgments. Yet, whether prior information shapes confidence and the neural mechanisms mediating such influence, remain to be determined.
Luca Tarasi, Anna Pasini, Domenico Romanazzi, Margherita Covelli, Vincenzo Romei   +4 more
wiley   +1 more source

Additive Association of <i>ABCG2</i> rs4148155 and <i>SLC22A12</i> rs75786299 Polymorphisms with Hyperuricemia, Gout, and Nephrolithiasis: A Hospital-Based, Case-Control Study. [PDF]

Kidney Dis (Basel)
Lin CT, Chen IC, Chen YJ, Lin YC, Chang JC, Wang TJ, Huang WN, Chen YH, Wei CY, Lin CH, Chen YM.   +10 more
europepmc   +1 more source

A Toolkit for Targeted Neuromodulation of Striatal Direct Pathway Neurons Rescues Parkinsonian Motor Deficits in Mice

Advanced Science, EarlyView.
An adeno‐associated virus (AAV) toolkit enables selective anatomical and functional targeting of striatal D1‐MSNs through retrograde transduction. Enhanced capsids and engineered enhancers drive robust transgene expression across murine and primate models.
Zexuan Hong, Yujing Zhang, Junjiao Zhang, Hanhe Liu, Qiwei Liu, Yanglei Li, Lixin Yang, Lixia Li, Zhongjie Liu, Zhen Yuan, Zhonghua Lu, Yefei Chen, Yuantao Li, Yuwu Jiang, Taian Liu   +14 more
wiley   +1 more source

Fluctuation Relations Associated to an Arbitrary Bijection in Path Space. [PDF]

Math Phys Anal Geom
Chétrite R, Marcantoni S.
europepmc   +1 more source

3D Large‐Scale Subwavelength‐Resolution Sound Sheet Tomography Based on an Active and Programmable Circular Meta‐Array

Advanced Science, EarlyView.
A programmable 2048‐element circular ultrasound array combined with a compact acoustic lens produces a thin “sound sheet” over a large field of view, and records echoes with wide angular diversity across the ring aperture. Coherence‐enhanced beamforming converts full‐matrix data into high‐contrast tomographic slices, delivering near‐diffraction‐limited
Qiu‐De Zhang, Zi‐Bin Lin, Zhuo Chen, Zhao‐Hui Liu, Jin‐Lian He, Jun‐Jie Song, Long‐Sheng Zeng, Liang Zhou, Ming‐Yue Ding, Yu‐Gui Peng, Ming Yuchi, Xue‐Feng Zhu   +11 more
wiley   +1 more source

Association of Interdental Cleaning Frequency With Tooth Loss and Self-Rated Oral Health: A Cross-Sectional Study. [PDF]

Int Dent J
Zhou W, Liu Y, Yin T, He M, Fang C, Peng S, Liu Y.   +6 more
europepmc   +1 more source