Results 31 to 40 of about 18,393 (195)
Leukocyte Telomere Length Variability as a Potential Biomarker in Patients with PolyQ Diseases
Antioxidants, 2022 SCA1, SCA2, and SCA3 are the most common forms of SCAs among the polyglutamine disorders, which include Huntington’s Disease (HD). We investigated the relationship between leukocyte telomere length (LTL) and the phenotype of SCA1, SCA2, and SCA3 ...
Daniela Scarabino +11 more
doaj +1 more source
Context-bounded model checking of LTL properties for ANSI-C software
, 2011 Context-bounded model checking has successfully been used to verify safety properties in multi-threaded systems automatically, even if they are implemented in low-level programming languages like ANSI-C.
Denis Nicole +8 more
core +1 more source
LTL Model Checking Based on Binary Classification of Machine Learning
IEEE Access, 2019 Linear Temporal Logic (LTL) Model Checking (MC) has been applied to many fields. However, the state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking.
Weijun Zhu, Huanmei Wu, Miaolei Deng
doaj +1 more source
Race, Ethnicity, Psychosocial Factors, and Telomere Length in a Multicenter Setting. [PDF]
PLoS ONE, 2016 BACKGROUND:Leukocyte telomere length(LTL) has been associated with age, self-reported race/ethnicity, gender, education, and psychosocial factors, including perceived stress, and depression.
Shannon M Lynch +11 more
doaj +1 more source
Compositional Safety LTL Synthesis
, 2023 Reactive synthesis holds the promise of generating automatically a verifiably correct program from a high-level specification. A popular such specification language is Linear Temporal Logic (LTL).
De Giacomo, Giuseppe +5 more
core +1 more source
Model checking programs in process-oriented IEC 61131-3 Structured Text
Моделирование и анализ информационных системThe process-oriented programming is a paradigm based on the process concept where each process is a concurrent finite state machine inside. The paradigm is intended for PLC (programmable logic controllers) developers to write Industry 4.0-enabled ...
Natalia O. Garanina +3 more
doaj +1 more source
Telomere length, family history, and paternal age in schizophrenia
Molecular Genetics & Genomic Medicine, 2014 Leukocyte telomere length (LTL) is longer in association with advanced paternal age, but this association has not been examined along with family history (FH) in schizophrenia.
Dolores Malaspina +6 more
doaj +1 more source
О выразительности подхода к построению ПЛК-программ по LTL-спецификации [PDF]
, 2015 The article is devoted to the approach to constructing and verification of discrete PLC-programs by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs by the model checking method.
Д. А. Рябухин +5 more
core +1 more source
AdamMC – A Model Checker for Petri Nets With Transits and Flow-LTL
, 2019 This is an artifact prepared only for the replicability of the experimental results of the following paper accepted for the ATVA2019 conference Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-Rüdiger Olderog Model Checking Data ...
Jesko Hecking-Harbusch (6851474) +1 more
core +1 more source