Results 121 to 130 of about 279,735 (266)

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

Data on student perceptions of blended learning, engagement, and academic achievement in engineering-related universities in Vietnam. [PDF]

Data Brief
Le HT, Le HH, Pham THT.
europepmc   +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

The research of the correlations between psychological factors and students' learning engagement: a systematic review and meta-analysis. [PDF]

Front Psychol
Liang S, Peng Q, Xu Q, Li S.
europepmc   +1 more source

Functional Mapping of Neurodevelopmental Disease Pathways to Key Neurodevelopmental Processes Represented in the Developmental Neurotoxicity In Vitro Testing Battery

Advanced Science, EarlyView.
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, Kristina Bartmann, Georgea Raad, Mats Schade, Luiz Ladeira, Arif Dönmez, Jördis Klose, Nicolai Görts, Denis Polozij, Lynn‐Christin Saborowski, Farina Bendt, Bernard Staumont, Liesbet Geris, Katharina Koch, Ellen Fritsche   +14 more
wiley   +1 more source

Unpacking the mediating effects of language mindset on the relationship between ideal L2 self and learning engagement. [PDF]

Front Psychol
Zhou X, Luo Y, Huang M, Chow TU, Riget PN.   +4 more
europepmc   +1 more source

Enzymatic DNA Reaction Networks for Orchestrating Stimuli‐Dependent Temporal Molecular Pulse

Advanced Science, EarlyView.
We present an enzymatic DNA reaction network (EDRN) that encodes nucleic‐acid targets in time, converting inputs into a universal strand and then into programmable transient fluorescence pulses. With time‐color multiplexing, EDRN enables single‐tube high‐plex nucleic acid detection and shows strong agreement with clinical sequencing across 32 specimens.
Jiayu Yang, Yali Chang, Zibin Chu, Linghao Zhang, Tengfang Zhang, Dai Erhei, Xin Su, Zhe Yin   +7 more
wiley   +1 more source

The impact of developmental feedback on international students' learning engagement: a mixed-methods study based on self-determination theory. [PDF]

Front Psychol
Cai L, Wu H.
europepmc   +1 more source

An Activity‐Dependent NEPAS–PTX3 Axis Links Neurovascular and Myelin Deficits to Cognitive Impairment

Advanced Science, EarlyView.
An activity‐dependent pathway links prefrontal circuit hypoactivity to cognitive impairment. Reduced PVA–mPFC activity upregulates NEPAS, which suppresses PTX3 secretion, leading to impaired angiogenesis, myelin deficits, and memory decline. Rescue is achieved by NEPAS knockdown or chemogenetic circuit activation.
Boya Hu, Zifei Chen, Bingmei Sun, Jiale Gao, Jiale Xu, Xiaochun Guo, Fenfei Gao, Zhongsi Wang, Jie Wu, Xiaoyu Ji, Peipei Liu, Bing Huang   +11 more
wiley   +1 more source

Machine‐Learning Microfluidic Minute‐Scale Microorganism Metrics Monitoring(M6)

Advanced Science, EarlyView.
ABSTRACT On‐site monitoring of microorganisms remains challenging because of low concentrations, strong background interference, and dynamic aerosol diffusion, particularly for aerosol‐transmitted pathogens. Here, we report a rapid detection platform that integrates a Puri‐focusing microfluidic chip, electrochemical impedance spectroscopy (EIS), and ...
Ning Yang, Jiahao Ding, Si Chen, Lijie Yan, Shichao Ding, Lavonda Li, Junyi Sun, Haodong Liu, Tongge Li, Ning Liu, Mingji Wei, Xiaoyong Zhu, Xiaobo Zou, Shouqi Yuan, Xingcai Zhang   +14 more
wiley   +1 more source