Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates [PDF]
, 2019 Bhaskar Ramasubramanian +4 more
openalex +1 more source
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers [PDF]
, 2020 Amirhoshang Hoseinpour Dehkordi +2 more
openalex +1 more source
Broadband All‐Optical Memtransistor Based on Organic Cocrystals for Noise‐Robust Motion Recognition
Advanced Science, EarlyView.This work presents an all‐optical synaptic transistor using DTT‐TCNQ organic charge transfer cocrystals, achieving broadband bidirectional modulation (395–808 nm) with highly linear synaptic plasticity (nonlinearity coefficients αp = 0.00191, αd = 0.00305).
Zhaohui Cai +8 more
wiley +1 more source
Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability
Известия Иркутского государственного университета: Серия "Математика"We study intransitive temporal multi-agent logic with agents’ multi-valuations for letters and formulas. In previous wide accepted research the time and knowledge primarily were modeled by Kripke models with structure looking as simply a single time ...
K. V. Grekovich +2 more
doaj +1 more source
Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems. [PDF]
Proc Annu Conf Progn Health Manag Soc, 2015 Heddy G +6 more
europepmc +1 more source
Stimuli‐Responsive Supramolecular Biomaterials for Cancer Theranostics
Advanced Science, EarlyView.The ultimate goal of cancer theranostics is to get imaging agents and therapeutic cargo to tumor sites when and where they are required. “Smart” systems should be developed. This review discusses the characteristics of physiological stimuli, types and action modes of external stimuli, construction approaches and working principles, as well as ...
Wenting Hu +4 more
wiley +1 more source
Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications [PDF]
Scott Williams, Jyotirmoy V. Deshmukh
openalex +1 more source
A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic [PDF]
, 2022 Rui Li, Francesco Belardinelli
openalex +1 more source
Connexin43 Deficiency Leads to Ventricular Arrhythmias by Reprogramming Proline Metabolism
Advanced Science, EarlyView.The study demonstrated that connexin43 (Cx43) knockout caused arrhythmic phenotype and decreased proline content in vitro and in vivo. Mechanistically, Cx43 interacts with the amino acid transporter SNAT2 (sodium‐dependent neutral amino acid transporter), and its deficiency disrupts proline transport and metabolism.
Hangying Ying +8 more
wiley +1 more source
Advanced Science, EarlyView.Donor‐derived tdTomato+ mature hepatocytes were FACS‐isolated and transplanted into Fah−/− host mice. During regeneration, these cells convert into proliferative, unipotent Afp+ rHeps. Their plasticity is governed by a PPARγ/AFP‐dependent metabolic switch, segregating into pro‐proliferative Afplow and pro‐survival Afphigh subpopulations.
Ting Fang +12 more
wiley +1 more source