Results 71 to 80 of about 143,522 (274)

Adenylyl Cyclase 8 in Dorsal CA1 Neurons Prevents Depressive‐Like Behaviors by Maintaining Neuronal Excitability and Glutamatergic Neurotransmission Through TIP39‐PTH2R Signaling

Advanced Science, EarlyView.
Depression, a prevalent neuropsychiatric disorder with unclear pathogenesis, involves dysfunctional adenylyl cyclase 8 (Adcy8) as a key risk factor. Chronic stress selectively reduces Adcy8 expression in the dorsal CA1 (dCA1) neurons. Depletion of Adcy8 in dCA1 excitatory neurons induces depressive‐like behaviors by impairing neuronal excitability and ...
Zi‐Jie Liu, Jia‐Rui Bi, Zong‐Yan Yu, Meng Tian, Zhi‐Yue Chen, Ran Wei, Miao‐Miao Wang, Hai‐Wei Zha, Yu‐Qing Zhang, Hong‐Jing Wang, Bang‐You Qiang, Shuang‐Shuang Sun, Xiao‐Juan Zhu, Wen‐Bing Chen, Dong Sun   +14 more
wiley   +1 more source

Checking Interval Properties of Computations

, 2015
Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the ...
Molinari, A., Montanari, A., Murano, A., Perelli, G., Peron, A.   +4 more
core   +1 more source

Bottom-up and top-down tree transformations - a comparison [PDF]

, 1975
The top-down and bottom-up tree transducer are incomparable with respect to their transformation power. The difference between them is mainly caused by the different order in which they use the facilities of copying and nondeterminism.
Engelfriet, Joost
core   +2 more sources

Astrocytic PCBP1 Suppresses Ferroptosis to Restore Glutamatergic Homeostasis and Mitigate Stress‐Induced Depression in Male Mice

Advanced Science, EarlyView.
This study demonstrates that polyC‐RNA‐binding protein 1 (PCBP1) in ventral hippocampal astrocytes modulates depressive‐like behaviors by regulating glutathione peroxidase 4‐mediated ferroptosis and synaptic glutamatergic transmission. PCBP1 overexpression intervention in the chronic unpredictable mild stress model rescues behavioral deficits ...
Jinyu Zhang, Binbin Zhao, Min Jia, Yan Zhao, Ye Lu, Wenyu Xi, Ziyu Zhu, Xiaojuan Gong, Qingyan Ma, Yuan Gao, Yijie Guo, Pan Li, Feng Zhu, Shuguang Wei, Xiancang Ma, Yunpeng Wang   +15 more
wiley   +1 more source

Optimizing expected word error rate via sampling for speech recognition

, 2017
State-level minimum Bayes risk (sMBR) training has become the de facto standard for sequence-level training of speech recognition acoustic models. It has an elegant formulation using the expectation semiring, and gives large improvements in word error ...
Shannon, Matt
core   +1 more source

Modern and Ancient Genomes Reveal Neolithic Paternal Expansions of Millet and Rice Farmers and Demic Diffusion from China into Mainland Southeast Asia

Advanced Science, EarlyView.
This study clarifies the genetic patterns of paternal lineages across East Asia and Mainland Southeast Asia. Han populations are relatively homogeneous, whereas southern ethnolinguistic minorities display regional structures. Shared Y‐chromosome lineages indicate Neolithic expansions and extensive north‐south gene flow, supporting demic diffusion ...
Yunhui Liu, Lintao Luo, Yutong Jiang, Minzhu Zhao, Ting Yang, Zhiyong Wang, Lisiteng Luo, Yuhang Feng, Zihao Zhu, Yuzhu Wang, Limei Zhang, Bofeng Zhu, Chao Liu, Renkuan Tang, Mengge Wang, Guanglin He   +15 more
wiley   +1 more source

A Glucose‐Responsive Intelligent Antibacterial and Oxygen‐Producing Hydrogel Promotes the Healing of Diabetic Wounds by Regulating Cellular Heterogeneity

Advanced Science, EarlyView.
We have developed a glucose‐triggered on‐demand drug delivery CF‐CPGaMPN hydrogel based on borate ester bonds. It inactivates microbes, releases oxygen, and enables on‐demand drug release in high‐glucose environments to promote healing of diabetic wounds. Single‐cell sequencing reveals that the CF‐CPGaMPN hydrogel significantly alleviates dysfunctional
Manxuan Liu, Zhongcheng Li, Qian Ren, Ziqian Lu, Yubing Zhang, Yili Guo, Ruomeng Li, Die Hu, Linglin Zhang   +8 more
wiley   +1 more source

Proof assistance for refnement in type theory [PDF]

, 2003
In this paper, we represent in type theory a proof system for refinement of algebraic specifications. . The representation is not adequate but full because the use of proof obligations to represent side-conditions.
Mylonakis Pascual, Nicolás
core   +1 more source

Bubbles Acting as Micro End‐Effectors for Dexterous Manipulation and Sensing in Aqueous Environment

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
Inspired by bubbles, this article proposes a low‐cost method for multifunctional manipulation and sensing using microbubbles in aqueous environments. Bubbles are easily generated in situ, enabling the safe and adaptive handling of microobjects and sensing of microforces and surface textures.
Zichen Xu, Qingsong Xu
wiley   +1 more source

Inspection of Multilayer Pipes Using Longitudinal Guided Waves [PDF]

EPJ Web of Conferences
Currently, Multilayer pipes are increasingly preferred over single-layer alternatives due to their enhanced mechanical and chemical properties. This research establishes governing equations for longitudinal guided wave propagation in multilayered pipes ...
Drissi Azdine, Elallami Mhammed, Tajmouati Abdelali   +2 more
doaj   +1 more source