Results 21 to 30 of about 18,393 (195)

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL

, 2020
The correctness of networks is often described in terms of the individual data flow of components instead of their global behavior. In software-defined networks, it is far more convenient to specify the correct behavior of packets than the global ...
Jesko Hecking-Harbusch (17433369), Bernd Finkbeiner (17288470), Manuel Gieseking (17433363), Ernst-Rüdiger Olderog (17433366)   +3 more
core   +1 more source

Leukocyte telomere length is associated with aggressive prostate cancer in localized prostate cancer patients

EBioMedicine, 2020
Background: Telomeres play important roles in cancer initiation and progression. The aim of this study is to investigate whether leukocyte telomere length (LTL) is associated with aggressive prostate cancer (PCa).
Junfeng Xu, Wen-Shin Chang, Chia-Wen Tsai, Da-Tian Bau, Yifan Xu, John W. Davis, Timothy C. Thompson, Christopher J. Logothetis, Jian Gu   +8 more
doaj   +1 more source

Identifying effects of genetic obesity exposure on leukocyte telomere length using Mendelian randomization [PDF]

PeerJ, 2023
Background Observational studies have shown that obesity is closely associated with leukocyte telomere length (LTL). However, the causal relationship between obesity and LTL remains unclear. This study investigated the causal relationship between obesity
Bangbei Wan, Ning Ma, Cai Lv
doaj   +2 more sources

Построение CFC-программ ПЛК по LTL-спецификации [PDF]

, 2016
This article continues a cycle of papers, which describe an approach to construction and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC-program correctness analysis by the model checking method ...
Д. А. Рябухин, E. V. Kuzmin, В. А. Соколов, D. A. Ryabukhin, V. A. Sokolov, Е. В. Кузьмин   +5 more
core   +1 more source

LTL Goal Specifications Revisited [PDF]

, 2015
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the semantics of LTL is defined wrt.
Haslum, Patrik, Bauer, Andreas
core   +1 more source

Leukocyte Telomere Length in Young Adults Born Preterm: Support for Accelerated Biological Ageing.

PLoS ONE, 2015
BackgroundSubjects born preterm have an increased risk for age-associated diseases, such as cardiovascular disease in later life, but the underlying causes are largely unknown.
Carolina C J Smeets, Veryan Codd, Nilesh J Samani, Anita C S Hokken-Koelega   +3 more
doaj   +1 more source

The Association Between Leukocyte Telomere Length and Cognitive Performance Among the American Elderly

Frontiers in Aging Neuroscience, 2020
BackgroundAge-related cognitive decline begins in middle age and persists with age. Leukocyte telomere length (LTL) decreases with age and is enhanced by inflammation and oxidative stress.
Deng Linghui, Qiu Shi, Qiu Shi, Chen Chi, Liu Xiaolei, Zhou Lixing, Zuo Zhiliang, Dong Birong   +7 more
doaj   +1 more source

Effects of size at birth, childhood growth patterns and growth hormone treatment on leukocyte telomere length.

PLoS ONE, 2017
BackgroundSmall size at birth and rapid growth in early life are associated with increased risk of cardiovascular disease in later life. Short children born small for gestational age (SGA) are treated with growth hormone (GH), inducing catch-up in length.
Carolina C J Smeets, Veryan Codd, Matthew Denniff, Nilesh J Samani, Anita C S Hokken-Koelega   +4 more
doaj   +1 more source

Построение и верификация LD-программ ПЛК по LTL-спецификации [PDF]

, 2013
An approach to construction and verification of PLC LD-programs for discrete problems is proposed. For the specification of the program behavior, we use the linear-time temporal logic LTL.
E. V. Kuzmin, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, D. A. Ryabukhin, V. A. Sokolov   +5 more
core   +1 more source

Early emergence of sexual dimorphism in offspring leukocyte telomere length was associated with maternal and children’s glucose metabolism—a longitudinal study

BMC Medicine, 2022
Background Leukocyte telomere length (LTL) is suggested to be a biomarker of biological age and reported to be associated with metabolic diseases such as type 2 diabetes. Glucose metabolic traits including glucose and insulin levels have been reported to
Kwun Kiu Wong, Feifei Cheng, Cadmon K. P. Lim, Claudia H. T. Tam, Greg Tutino, Lai Yuk Yuen, Chi Chiu Wang, Yong Hou, Michael H. M. Chan, Chung Shun Ho, Mugdha V. Joglekar, Anandwardhan A. Hardikar, Alicia J. Jenkins, Boyd E. Metzger, William L. Lowe, Wing Hung Tam, Ronald C. W. Ma   +16 more
doaj   +1 more source