Results 151 to 160 of about 139,227 (306)

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

A Brain‐Wide Atlas of Astrocytic Oxytocin Receptors Reveals a Glial Basis for Nucleus Accumbens Modulation of Affiliative Behavior

Advanced Science, EarlyView.
The cellular actors of oxytocin signaling are under intense scrutiny. A brain‐wide anatomical and functional analysis in mice and rats reveals widespread expression of oxytocin receptors in astrocytes. These receptors are functionally active and, in the nucleus accumbens, selectively regulate male social affiliation.
Clémence Denis, Stefan Stojilkovic, Kai‐Yi Wang, Cristina Márquez, Annabel C. Kleinwächter, Angel Baudon, Yuval Podpecan, Aurélia Ces, Mélanie Kremer, Isabelle Arnoux, Nathalie Rouach, Jemima Helen, Sophie Trender, Andreas Wallkum, Selina Wunsch, Franziska Schommer, Moritz C. Wimmer, Tim Schubert, Felix Franke, Jabir Aliyu Muhammad, Eva M. Eisemann, Ingrid Camila Possa‐Paranhos, Cassandra Baumann, Pierre‐Alexis Derrien, Quirin Krabichler, Cosmo Garcia, Henning Fröhlich, Matthew K. Kirchner, Valery Grinevich, Pascal Darbon, Javier E. Stern, Ferdinand Althammer, Alexandre Charlet   +32 more
wiley   +1 more source

Photonic Time Crystals and Time‐Varying Electromagnetic Metamatter: A New Direction for Ultrafast Tunable Photonic and Microwave Materials and Devices

Advanced Science, EarlyView.
Photonic time crystals (PTCs) are systems in which electromagnetic parameters are modulated periodically in time, producing momentum bandgaps via temporal scattering rather than spatial Bragg processes. This review examines the theoretical frameworks, modeling, and computational tools for time‐varying media, and summarizes experimental demonstrations ...
Ranjan Kumar Patel, Shriram Ramanathan, Ronald P. Jenkins, Michael J. Carter   +3 more
wiley   +1 more source

Mild Focal Cooling Decouples Dendrites to Reconfigure Cortical Output

Advanced Science, EarlyView.
Mild cooling of the cortical surface selectively modulates apical dendritic excitability, plasticity, and somato‐dendritic coupling, while uncoupling these effects from basal dendrites, and reshapes apical‐driven responses in barrel cortex during whisker touch.
Meisam Habibi Matin, Shulan Xiao, Krishna Jayant   +2 more
wiley   +1 more source

Cis‐ and Trans‐Regulatory Factors Independently Shape Phenotypic Heterogeneity of Retinitis Pigmentosa

Advanced Science, EarlyView.
A zebrafish model carrying an identical human RHO S334X allele reveals two independent genetic layers shaping retinitis pigmentosa (RP) severity: a protective 3‐bp cis‐regulatory insertion that attenuates transgene expression, and a dominant trans‐acting modifier that restores a severe phenotype.
Cong Cui, Kotone Nakagawa, Takumi Tateno, Ayaka Dan, Dexin Meng, Yoshihiro Omori, Soma Tomihara, Suzuri Okamoto, Shigeru Sato, Motokazu Tsujikawa   +9 more
wiley   +1 more source

Study of Free‐Space Optical Quantum Network: Review and Prospectives

Advanced Science, EarlyView.
Free from the constraints of fiber connections, free‐space quantum network enables longer and more flexible quantum network connections. This review summarizes and comparatively analyzes free‐space quantum network experiments based on ground stations, satellites, and mobile platforms.
Hua‐Ying Liu, Zhenda Xie, Shining Zhu
wiley   +1 more source

Eye-XAI: an explainable artificial intelligence approach for eye disease detection using symptom analysis

The early and accurate detection of eye diseases play a pivotal role in preventing vision loss and improving patients’ quality of life. It is therefore important to search for methods for improving this detection.
Rokne, Jon, Alhajj, Reda, Marouf, Ahmed Al, Jafarullah, Omar, Mottalib, Md Mozaharul, Ridi, Sadia Sobhana   +5 more
core   +1 more source

Orbital Magnetic Moment Controlled Converse Magnetoelectric Effect in bcc‐Co3Mn/Fe/V/PMN‐PT Multiferroic Heterostructures

Advanced Science, EarlyView.
Based on orbital magnetic moment control, a material design strategy is proposed for a giant converse magnetoelectric effect in multiferroic heterostructures. This study will pioneer a promising route toward low‐power spintronic devices with an electric field.
Takamasa Usami, Yuichi Murakami, Ryota Watarai, Yu Shiratsuchi, Yoshihiro Gohda, Kohei Hamaya   +5 more
wiley   +1 more source

GHRHR Deficiency Enhances Retinal Ganglion Cell Survival and Visual Functions in Experimental Glaucoma by Inhibiting Ferroptosis

Advanced Science, EarlyView.
Glaucoma, a major cause of blindness, involves retinal ganglion cell (RGC) degeneration. This study shows growth hormone‐releasing hormone receptor (GHRHR) deficiency preserves RGC survival and restores vision, unlike activation which only aids survival.
Yan Tong, Ming Ho Yam, Jiaxin Zhang, Lin Du, Linbin Zhou, Yolanda Wong Ying Yip, Bo Man Ho, Hemlata Bisnauthsing, Jiahui Li, Ivan Kong, Shushu Xu, Changzhen Fu, Karl K.H. So, Joaquim S.L. Vong, Ling‐Ping Cen, Ming‐Ming Yang, Khazeema Yousaf, Mai Har Sham, Sun On Chan, Poemen P. Chan, Chi Pui Pang, Clement C. Tham, Jing Na He, Jian Li, Wai Kit Chu   +24 more
wiley   +1 more source

mGluR5 in ECCCK to BLA Circuit Modulates Depressive‐Like Phenotypes through CCK Signaling

Advanced Science, EarlyView.
Dysregulation of mGluR5 and CCK signaling contributes to major depressive disorder, yet circuit‐level mechanisms remain unclear. Here, the ECCCK→BLA pathway is identified as a critical regulator of affective behavior. mGluR5 modulates synaptic function and CCK signaling within this circuit, controlling stress susceptibility and depressive‐like states ...
Muhammad Asim, Huajie Wang, Gao Qianqian, Abdul Waris, Jufang He   +4 more
wiley   +1 more source