Results 61 to 70 of about 37,011 (230)

Detection of Protein–Protein Interactions in Escherichia coli With Single Molecule Sensitivity

Advanced Science, EarlyView.
This article describes a regulatory circuit in Escherichia coli able to detect protein–protein interactions with exquisite sensitivity. The interaction between two hybrid proteins fused to Bordetella pertussis adenylate cyclase and its activator calmodulin triggers a potent cyclic AMP signaling cascade.
Marilyne Davi, Daniel Ladant
wiley   +1 more source

Automated theorem proving in first-order logic modulo: on the difference between type theory and set theory

, 2023
Resolution modulo is a first-order theorem proving method that can be applied both to first-order presentations of simple type theory (also called higher-order logic) and to set theory. When it is applied to some first-order presentations of type theory,
Dowek, Gilles
core  

Pholidota‐Inspired Electronic Skin Possessing Terahertz‐Wave Reflection–Absorption–Transmission Switchability

Advanced Science, EarlyView.
The pholidota‐inspired electronic skin is successfully constructed, originally realized four‐state reversible switching of terahertz‐wave reflection, absorption, transmission, and secondary reflection. In response to external demands, it issues deformation instructions, verifies the deformation state after the equipment executes the action, and thus ...
Shangjing Li, Jiangsong Hou, Yifeng Ruan, Jiang Du, Jun Qiu   +4 more
wiley   +1 more source

CD4+ Tregs Drive Post‐Ischemic Sprouting Angiogenesis via Endothelial YY1/MAML1 Reactivation

Advanced Science, EarlyView.
ABSTRACT Microvascular complications of diabetes are chronic diseases of small vessels. We previously found that CD4+ regulatory T‐cells (Tregs) are markedly reduced in type 2 diabetes (T2D) after ischemic injury in both mice and humans, and that Treg deficiency in immunodeficient mice impairs vascular regeneration.
Hang Qu, Cheng Kiu Ho, Jitao Liu, Lei Cui, Yangfeng Hou, Cai Liang, Wenchu Ye, Randolph H. L. Wong, Shohei Hori, Bin Zhou, Kathy O. Lui   +10 more
wiley   +1 more source

Activation of ERBB4 Pathway Inhibits Pathological Transdifferentiation of Lung Epithelial Progenitors into CD66c+ Basal Cells in Severe Lung Injury

Advanced Science, EarlyView.
In fibrotic distal lung regions, CD66c+ basal cells emerge as a pathological state. Using human distal lung organoids, this study identifies CD66c+ basal cells as a pro‐fibrotic state arising through transdifferentiation from secretory, AT2, and basal cells.
Kaijun Lin, Xinran Deng, Haonan Wang, Yamei Jiang, Jian Sun, Hailin Ding, Ming Ye, Xiaoting Wang, Yu Wang, Li Yuan, Zhenju Song, Xinhua Lin, Shenfei Sun, Ning Jiang   +13 more
wiley   +1 more source

Church's Type Theory

, 2019
peer reviewedChurch’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense.
BENZMÜLLER, Christoph, Andrews, Peter
core  

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

Topological Completeness for Higher-Order Logic

, 1997
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''.
Butz, Carsten, Awodey, Steve
core   +2 more sources

Syntax for free: representing syntax with binding using parametricity

, 2009
We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation.
Robert Atkey, Atkey, Robert
core   +1 more source

Full‐Body AI Agent: A Perspective on Multi‐Scale Collaborative AI for Systemic Biology and Precision Medicine

Advanced Science, EarlyView.
We propose the Full‐Body AI Agent, a multi‐scale collaborative framework with 7 biological‐layer agents. It unifies multi‐omics/clinical data via standardized protocols, enabling phenotype‐guided closed‐loop reasoning, quantitative evaluation, and LLM safeguards, with promising applications in tumor metastasis modeling and precision drug development ...
Aoqi Wang, Jiajia Liu, Jianguo Wen, Yangyang Luo, Zhiwei Fan, Liren Yang, Xi Hu, Ruihan Luo, Yankai Yu, Sophia Li, Weiling Zhao, Xiaobo Zhou   +11 more
wiley   +1 more source