Results 141 to 150 of about 18,393 (195)

Robust Reinforcement Learning for Linear Temporal Logic Specifications with Finite Trajectory Duration

open access: yes
Linear Temporal Logic (LTL) is a formal behavioral specification language that offers a mathematically unambiguous and succinct way to represent operating requirements for a wide variety of systems, including autonomous and robotic systems.
MortazaviMoghaddam, SeyyedSoroush
core  

Telomere length and clonal hematopoiesis interact to influence outcomes in hematopoietic stem cell transplantation. [PDF]

open access: yesBlood Adv
Tobin J   +10 more
europepmc   +1 more source

Integrated phenotyping identifies reproducible prognostic subgroups in idiopathic pleuroparenchymal fibroelastosis. [PDF]

open access: yesRespir Res
Otoshi R   +11 more
europepmc   +1 more source

A Complete Fragment of LTL(EB)

open access: yes
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment $\square$LTL of the logic LTL(EB), the integration of the UNTIL-fragment of Pnueli's linear time temporal
Ameur, Yamine Aït   +4 more
core  

Relative Leukocyte Telomere Length Is Shorter in Children and Adolescents with Type 1 Diabetes: Screening of Basic Psychosocial Aspects. [PDF]

open access: yesInt J Mol Sci
Papavasileiou G   +7 more
europepmc   +1 more source

Genomic, phenomic and geographic associations of leukocyte telomere length in the United States. [PDF]

open access: yesNat Genet
Nakao T   +15 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy