Results 151 to 160 of about 2,393,674 (352)
Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications [PDF]
Scott Williams, Jyotirmoy V. Deshmukh
openalex +1 more source
Detection of Back Attack based on Interval Temporal Logic
, 2020 Juan Zhang, Fenfei Gu
openalex +1 more source
Temporal Logic and Model Checking for Operator Precedence Languages [PDF]
, 2018 Michele Chiari +2 more
openalex +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
Fuzzy Linear Temporal Logic with Quality Constraints
MathematicsAs an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal logic
Xianfeng Yu, Yongming Li, Shengling Geng
doaj +1 more source
Responsibility and verification: Importance value in temporal logics [PDF]
, 2021 Corto Mascle +4 more
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
Efficient Output Photovoltaic Power Prediction Based on MPPT Fuzzy Logic Technique and Solar Spatio-Temporal Forecasting Approach in a Tropical Insular Region [PDF]
, 2022 Fateh Mehazzem +2 more
openalex +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