Results 81 to 90 of about 480 (227)

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

Characteristics and trends in acceptance and commitment therapy research: A bibliometric analysis. [PDF]

Front Psychol, 2022
Li Z, Shang W, Wang C, Yang K, Guo J.
europepmc   +1 more source

Disorder‐Induced Extremely Low Thermal Conductivity of Graphite Fluoride

Advanced Science, EarlyView.
This article investigates the effect of fluorination on the thermal conductivity of graphite fluoride, demonstrating the relationship between structural modification and thermal conductivity in an extreme case. The record‐low through‐plane thermal conductivity measured in exfoliated graphite fluoride flakes was found to correlate with the wide ...
Wonsik Lee, Donghoon Moon, Ziyan Qian, Jinwoo Kim, Changheon Kim, Yeojin Lee, Hyobin Yoo, Richard B. Wilson, Qiye Zheng, Gwan‐Hyoung Lee, Hyejin Jang   +10 more
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

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

Special issue: The function of contextual modulation

Vision Research, 2014
Frederick A A, Kingdom, Alessandra, Angelucci, Colin W G, Clifford   +2 more
openaire   +2 more sources

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

Covalent Inhibition of SHMT2 by Gambogic Acid Induces Ferroptosis Through Mitochondrial Collapse in Triple‐Negative Breast Cancer

Advanced Science, EarlyView.
In this study, chemoproteomics combined with genetic and functional analyses was integrated to identify SHMT2 as a covalent and functional target of gambogic acid (GA) in triple‐negative breast cancer (TNBC). Further validation demonstrated that GA selectively modifies the Cys241 site of SHMT2, triggering mitochondrial dysfunction, activating the Nrf2 ...
Tong Yang, Chong Qiu, Yulei Li, Ying Zhang, Chen Wang, Jie Zhou, Zheng Chu, Ang Ma, Ling Huang, Yin Kwan Wong, Junzhe Zhang, Peng Gao, Cui Liu, Junhua Zhang, Huan Tang, Jigang Wang   +15 more
wiley   +1 more source

Integration of Spatiotemporal Multi‐Omics in Peach Fruit Unravels a Metabolic Niche and the Genetic Basis of Trichome‐Mediated Stress Adaptation

Advanced Science, EarlyView.
This study constructed the first spatiotemporal multi‐omics map of peach fruit and discovered a key candidate gene that synergistically regulates trichome development and drought tolerance through the jasmonic acid signaling pathway, providing insights into the coupling mechanism between development and stress resistance.
Zhixin Liu, Ke Cao, Liping Guan, Aizhi Qin, Yong Li, Zihao Zhao, Yinpeng Zhang, Yaping Zhou, Lirong Wang, Xuwu Sun   +9 more
wiley   +1 more source

Graphical modelling using contextually implied functions [PDF]

The Computer Journal, 1971
Carlo J. Evangelisti, Stephen P. Morse
openaire   +1 more source