Results 141 to 150 of about 92,710 (270)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees [PDF]

Jun Wang, David Smith Sundarsingh, Jyotirmoy V. Deshmukh, Yiannis Kantaros   +3 more
openalex   +1 more source

Single‐Cell Mitochondrial Lineage Tracing Decodes Fate Decision and Spatial Clonal Architecture in Human Hematopoietic Organoids

Advanced Science, EarlyView.
This study repurposes mitochondrial DNA mutations as endogenous barcodes for lineage tracing in human pluripotent stem cell‐derived organoids. Integrated with transcriptomic and spatial data, it reveals NOTCH‐mediated stromal‐progenitor crosstalk orchestrates clonal dynamics and spatial zonation during early hematopoietic development, offering a non ...
Yan Xue, Junhao Su, Yiming Chao, Lu Liu, Xinyi Lin, Yang Xiang, Mun Kay Ho, Zezhuo Su, Junyi Chen, Zhuojuan Luo, Chengqi Lin, Ruibang Luo, Theo Aurich, Jianfeng Wu, Kelvin Sin Chi Cheung, Yuanhua Huang, Joshua W. K. Ho, Ryohichi Sugimura   +17 more
wiley   +1 more source

Pan2‐Pan3 Complex‐Mediated Deadenylation Enforces mRNA Quality Control for Infection of the Rice Blast Fungus

Advanced Science, EarlyView.
Discovery that deadenylation, rather than transcription, acts as the rate‐limiting step for developmental timing in a plant pathogen. Evidence that P‐body integrity and mRNA decay are mechanistically coupled to rapid cellular differentiation under environmental stress. Identification of Pan2‐Pan3 as a pathogen‐specific “meta‐virulence factor” absent in
Ziwei Lv, Junting Feng, Shenxian Zhou, Zhiguang Qu, Jun Peng, Xiao‐Lin Chen, Deng Chen   +6 more
wiley   +1 more source

Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification

, 2019
Charles Lesire, Stéphanie Roussel, David Doose, Christophe Grand   +3 more
openalex   +2 more sources

Metric Temporal Logic with Counting [PDF]

, 2015
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya   +2 more
openalex   +1 more source

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives [PDF]

, 2022
Navid Hashemi, Qin Xin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil Prokhorov, Tomoya Yamaguchi   +6 more
openalex   +1 more source

A Van der Waals Material Exhibiting Room Temperature Broken Inversion Symmetry with Ferroelectricity

Advanced Science, EarlyView.
This study reports a βp$\ubeta^{\text{p}}$ phase of indium selenide showing ferroelectricity over large areas at room temperature in a low‐dimensional limit. It is found that indium selenide films with βp$\ubeta^{\text{p}}$ layers display electric field‐induced switchable polarization characteristic of ferroelectric materials, suggesting the breaking ...
Fabia F. Athena, Cooper A. Voigt, Mengkun Tian, Anjan Goswami, Emily Toph, Moses Nnaji, Fanuel Mammo, Brent K. Wagner, Sungho Jeon, Wenshan Cai, Eric M. Vogel   +10 more
wiley   +1 more source

A temporal logic for reasoning about processes and plans [PDF]

, 1982
Drew McDermott
openalex   +1 more source

CD147/Basigin: From Integrative Molecular Hub to Translational Therapeutic Target

Advanced Science, EarlyView.
This review conceptualizes CD147 as a fundamental “Energy‐Structure Coupler,” physically bridging metabolic flux (via MCTs) with morphogenetic plasticity (via integrins/MMPs) to drive cancer, infection, and autoimmunity. Addressing the “specificity paradox” that limits current translation, the authors chart a strategic roadmap—spanning logic‐gated ...
Xiang‐Min Yang, Huijie Bian, Zhi‐Nan Chen   +2 more
wiley   +1 more source

Traceless Regulation of Genetic Circuitry

Advanced Science, EarlyView.
Energy‐based, as opposed to molecular, control offers unprecedented improvements in key circuit parameters. This review summarizes the fundamentals of such traceless switches, categorizes them by trigger modalities, and compares and contrasts distinct advantages as well as shortcomings of each kind.
Gokberk Unal, Martin Fussenegger
wiley   +1 more source