Results 51 to 60 of about 18,393 (195)
CTL* synthesis via LTL synthesis [PDF]
, 2017 We reduce synthesis for CTL∗ properties to synthesis for LTL. In the context of model checking this is impossible-CTL∗ is more expressive than LTL. Yet, in synthesis we have knowledge of the system structure and we can add new outputs.
Sven Schewe +5 more
core +1 more source
Distributed embedded control systems design with verification support
Моделирование и анализ информационных систем, 2010 We consider a problem of integrating a formal method of verification (model checking) into the process of designing complex distributed software systems to improve the quality of software. We use an approach based on the Model-Driven Engineering.
I. V. Shoshmina
doaj
Temporal Logic for Programmable Logic Controllers
Моделирование и анализ информационных систем, 2020 We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements.
Natalia Olegovna Garanina +6 more
doaj +1 more source
Frontiers in Endocrinology, 2023 BackgroundEndometriosis (EMs) is a common gynecological disorder. Observational studies on the relationship between leukocyte telomere length (LTL) and EMs have shown conflicting results.
Chenxue Bai +3 more
doaj +1 more source
iMeta, EarlyView.The Human Biomarker Navigator integrates the disease continuum, biomarker dynamics, cross‐organ biomarker networks, biomarker classification, and technology‐driven paradigms. It maps how biomarkers link multi‐system physiology and pathology across the nervous, respiratory, endocrine, circulatory, immune, digestive, urinary, reproductive, and ...
Meng‐Yao Li +29 more
wiley +1 more source
The application of adaptive symmetry reduction for LTL model checking
Моделирование и анализ информационных систем, 2010 Adaptive symmetry reduction is a technique which exploits the similarity of com- ponents in systems of regular structure. It helps to reduce the effect of state explosion when exploring reachable states of a system.
I. V. Konnov, V. A. Zakharov
doaj
Toxics, 2023 Higher air pollution exposure and shorter leukocyte telomere length (LTL) are both associated with increased risk of coronary heart disease (CHD), and share plausible mechanisms, including inflammation.
Chia-Ling Kuo +5 more
doaj +1 more source
Mixed lineage kinase 3 mediates SARS‐CoV‐2‐induced kidney injury via the Hsp70‐IL‐17A axis
Interdisciplinary Medicine, EarlyView.Kidney samples from patients infected with severe acute respiratory syndrome coronavirus 2 (SARS‑CoV‑2) showed upregulated expression and activity of Mixed Lineage Kinase (MLK3). Based on the mechanistic studies, we identified MLK3 as a critical player in promoting SARS‐CoV‐2‐induced kidney injury.
Sandeep Kumar +18 more
wiley +1 more source
Association of leukocyte telomere length with metabolic syndrome in type 2 diabetes mellitus
Journal of Research in Medical Sciences, 2021 Background: Leukocyte telomere length (LTL) has been revealed to be associated with aging-related diseases such as metabolic syndrome (MetS) and Type 2 diabetes mellitus (T2DM).
Xuemin Peng +4 more
doaj +1 more source
Journal of International Development, EarlyView.ABSTRACT Coordinated marketing activities can be an important mechanism for negotiating prices and reducing transaction and transportation costs in food supply chains. Yet there are few studies on the prevalence and drivers of the choice of undertaking coordinated marketing by food wholesale markets.
Daniel A. Babalola +4 more
wiley +1 more source