Results 171 to 180 of about 750 (245)

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

Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface. [PDF]

PeerJ Comput Sci, 2018
Hinsen K.
europepmc   +1 more source

Cross Kingdom Metabolic Engineering Paradigm Elevating Sustainable Protein Production

Advanced Science, EarlyView.
ABSTRACT Confronting the dual crisis of escalating global protein demand and unsustainable agriculture necessitates transformative solutions. Here, we pioneer evolutionary insights from maize nitrogen optimization via asparagine synthetase (ASNS) to rewire metabolism in Pichia pastoris.
Yuanyuan Du, Changyu Pi, Kai Hong, Le Gao, Xin Wu   +4 more
wiley   +1 more source

Multi‐Enzyme Mimetic Molybdenum Nitride Nanozymes Reshape Subgingival Microenvironment for Synergistic Periodontitis Therapy via ROS Regulation and Microbiome Remodeling

Advanced Science, EarlyView.
ABSTRACT Periodontitis, a chronic inflammatory disease initiated and sustained by plaque microorganisms and host immune response, remains an intractable oral disease and a leading cause of tooth loss worldwide. Traditional mechanical debridement and adjunctive antibiotic or antiseptic therapy often shows limited efficacy due to the complex anatomical ...
Weiyu Zhang, Zhongwei Yang, Yunfan Zhang, Longwei Wang, Xiaoyu Zhang, Jiahui Mao, Yizhi Dai, Yifan Yuan, Mingge Wang, Xin Yang, Xin Yu, Jing Liu, Chunying Chen   +12 more
wiley   +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 formal mathematical framework for physiological observations, experiments and analyses. [PDF]

J R Soc Interface, 2012
Nielsen TA, Nilsson H, Matheson T.
europepmc   +1 more source

A Toolkit for Targeted Neuromodulation of Striatal Direct Pathway Neurons Rescues Parkinsonian Motor Deficits in Mice

Advanced Science, EarlyView.
An adeno‐associated virus (AAV) toolkit enables selective anatomical and functional targeting of striatal D1‐MSNs through retrograde transduction. Enhanced capsids and engineered enhancers drive robust transgene expression across murine and primate models.
Zexuan Hong, Yujing Zhang, Junjiao Zhang, Hanhe Liu, Qiwei Liu, Yanglei Li, Lixin Yang, Lixia Li, Zhongjie Liu, Zhen Yuan, Zhonghua Lu, Yefei Chen, Yuantao Li, Yuwu Jiang, Taian Liu   +14 more
wiley   +1 more source

Bayesian inference with Stan: A tutorial on adding custom distributions. [PDF]

Behav Res Methods, 2017
Annis J, Miller BJ, Palmeri TJ.
europepmc   +1 more source