Results 191 to 200 of about 20,533 (265)

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

Combining contextuality and causality: a game semantics approach. [PDF]

Philos Trans A Math Phys Eng Sci
Abramsky S, Barbosa RS, Searle A.
europepmc   +1 more source

Transparent Transfer‐Free Ultrasmall Multilayer Graphene Microelectrodes Enable High Quality Recordings in Brain Slices

Advanced Science, EarlyView.
A transfer‐free fabrication method enables multilayer graphene microelectrodes as small as 10 µm, eliminating reliability issues of manual graphene transfer. These electrodes record neural activity in brain slices with exceptional signal‐to‐noise ratios (up to 25–40 dB) while maintaining optical transparency for multimodal applications.
Nerea de Alvarez de Eulate, Christos Pavlou, Gonzalo León González, María Camarena Pérez, Lukas Holzapfel, Zhenyu Gao, Sten Vollebregt, Vasiliki Giagka   +7 more
wiley   +1 more source

Quantum contextuality, causality and freedom of choice. [PDF]

Philos Trans A Math Phys Eng Sci
Abramsky S, Cabello A, Dzhafarov EN, Kurzyński P.   +3 more
europepmc   +1 more source

Spectral Decomposition of Chemical Semantics for Activity Cliffs‐Aware Molecular Property Prediction

Advanced Science, EarlyView.
PrismNet mimics chemical intuition by functioning as a computational prism, refracting molecular graphs into complementary semantic views and spectral frequencies. This dual‐decomposition strategy effectively captures both global topologies and subtle “activity cliff” perturbations.
Chaoyang Xie, Junhu Xu, Guangyi Huang, Shihang Wang, Mutian He, Xinyu Dong, Huiyang Hong, Xiaojun Yao, Qi Wang, Yuquan Li   +9 more
wiley   +1 more source

Hidden variables, free choice, context-independence and all that. [PDF]

Philos Trans A Math Phys Eng Sci
Dzhafarov EN.
europepmc   +1 more source

A Non‐Mitophagy Activity of BNIP3L/NIX in Amygdala Glutamatergic Neurons is Essential for Contextual Fear Memory Formation

Advanced Science, EarlyView.
Contextual fear conditioning induces BNIP3L‐dependent mitochondrial fission in glutamatergic neurons of the BLA, independently of mitophagy. Loss of BNIP3L elevates Drp1Ser637 phosphorylation, thereby suppressing mitochondrial fission, compromising ATP production, and attenuating excitatory synaptic transmission.
Xingxian Zhang, Xinlei Mo, Xinyu Zhou, Xiaoliang Liu, Guizhi Li, Songhui Hu, Yangyang Lu, Chenze Zhu, Jinxi Feng, Zhitong Chen, Weiwei Hu, Yihui Cui, Zhong Chen, Xiangnan Zhang   +13 more
wiley   +1 more source

Correction: Pavičić, M. Non-Kochen-Specker Contextuality. Entropy 2023, 25, 1117. [PDF]

Entropy (Basel)
Pavičić M.
europepmc   +1 more source

Inferring Gene Regulatory Networks From Single‐Cell RNA Sequencing Data by Dual‐Role Graph Contrastive Learning

Advanced Science, EarlyView.
RegGAIN is a novel and powerful deep learning framework for inferring gene regulatory networks (GRNs) from single‐cell RNA sequencing data. By integrating self‐supervised contrastive learning with dual‐role gene representations, it consistently outperforms existing methods in both accuracy and robustness.
Qiyuan Guan, Jiating Yu, Jieyi Pan, Fan Yuan, Jiadong Ji, Rusong Zhao, Zhi‐Ping Liu, Bingqiang Liu, Ling‐Yun Wu, Duanchen Sun   +9 more
wiley   +1 more source

Causality and signalling of garden-path sentences. [PDF]

Philos Trans A Math Phys Eng Sci
Wang D, Sadrzadeh M.
europepmc   +1 more source