Results 61 to 70 of about 18,393 (195)

A causal relationship between leukocyte telomere length and multiple sclerosis: A Mendelian randomization study

Frontiers in Immunology, 2022
ObjectivesMultiple sclerosis (MS) is a chronic inflammatory autoimmune and degenerative disorder of the central nervous system. Telomeres are protective structures located at the ends of linear chromosomes, and leukocyte telomere length (LTL) is closely ...
Qiao Liao, Qiao Liao, Jian He, Fa-Fa Tian, Fa-Fa Tian, Fang-Fang Bi, Fang-Fang Bi, Kun Huang, Kun Huang, Kun Huang   +9 more
doaj   +1 more source

Time and Free Trade Agreements: Implications for the AfCFTA

Journal of International Development, EarlyView.
ABSTRACT This study examines how free trade agreements (FTAs) can boost economic growth by increasing trade, with clear implications for the African Continental Free Trade Agreement (AfCFTA). Our main finding is that in general, the effects of FTAs are delayed by at least 3 years on average for intra‐African trade.
Michael Olabisi, Lenis Saweda O. Liverpool‐Tasie, Evans Osabuohien   +2 more
wiley   +1 more source

Automata Constructions for LTL with Past [PDF]

Linear temporal logic (LTL) is a popular language in formal verification, especially in the domains of model checking and reactive synthesis. Because its semantics is defined in terms of infinite sequences of symbols that can be interpreted as system ...
Lidell, David
core   +1 more source

Higher hair cortisol concentrations associated with shorter leukocyte telomere length in high-risk young adults

Scientific Reports, 2022
Chronic stress is associated with accelerated biological aging as indexed by short age-adjusted leukocyte telomere length (LTL). Exploring links of biological stress responses with LTL has proved challenging due to the lack of biological measures of ...
David Bürgin, Nimmy Varghese, Anne Eckert, Vera Clemens, Eva Unternährer, Cyril Boonmann, Aoife O’Donovan, Marc Schmid   +7 more
doaj   +1 more source

ADAPT: An Autonomous Forklift for Construction Site Operation

Journal of Field Robotics, EarlyView.
ABSTRACT Efficient material logistics are critical in controlling costs and schedules in the construction industry. However, manual material handling remains prone to inefficiencies, delays, and safety risks. Autonomous forklifts offer a solution to streamline on‐site logistics, reducing reliance on human operators and mitigating labor shortages.
Johannes Huemer, Markus Murschitz, Matthias Schörghuber, Lukas Reisinger, Thomas Kadiofsky, Christoph Weidinger, Mario Niedermeyer, Benedikt Widy, Marcel Zeilinger, Csaba Beleznai, Tobias Glück, Andreas Kugi, Patrik Zips   +12 more
wiley   +1 more source

Zonotope-based Controller Synthesis for LTL Specifications

, 2021
This paper studies the controller synthesis problem for Linear Temporal Logic (LTL) specifications using (constrained) zonotope techniques. First, we implement (constrained) zonotope techniques to partition the state space and further to verify whether ...
Raphael Jungers, Wei Ren, Ren, Wei, Calbert, Julien, Jungers, Raphaël M., 2021 60th IEEE Conference on Decision and Control (CDC), Julien Calbert   +6 more
core   +1 more source

Intimate Spaces on the Open Road: Navigating Access, Trust, and Ethical Boundaries during Field Research with Long Haul Truck Drivers

Symbolic Interaction, EarlyView.
Despite its ubiquity, the trucking industry is not well‐understood in social scientific literature. Gathering insight into truckers' worlds is difficult due to the solitary, isolating, and unpredictable nature of the work. An understanding of truckers' work lives and work ideologies is even further limited.
Michael A. Fleming
wiley   +1 more source

Donor telomeres and their magnitude of shortening post-allogeneic haematopoietic cell transplant impact survival for patients with early-stage leukaemia or myelodysplastic syndromeResearch in context

EBioMedicine
Summary: Background: Donor selection is a key success factor in allogeneic haematopoietic cell transplant (HCT). We evaluated the potential impact of donor leucocyte telomere length (LTL) and LTL shortening in recipients at three-month post-HCT (LTL-3MS)
Shahinaz M. Gadalla, Hormuzd A. Katki, Tsung-Po Lai, Paul L. Auer, Casey L. Dagnall, Caitrin Bupp, Amy A. Hutchinson, James J. Anderson, Kyra J.W. Mendez, Stephen R. Spellman, Valerie Stewart, Sharon A. Savage, Stephanie J. Lee, John E. Levine, Wael Saber, Abraham Aviv   +15 more
doaj   +1 more source

Inter‐rater agreement of the canine modified Ashworth scale for assessment of limb tone in dogs presenting with acute myelopathic signs

Veterinary Record, EarlyView.
Abstract Background This study aimed to assess the inter‐rater reliability of a canine adaptation of the modified Ashworth scale (CaMAS) for the assessment of muscle tone in dogs. Methods Dogs presented to the neurology service of a single referral centre between November 2023 and October 2024 underwent a muscle tone evaluation by two independent ...
Albert Aguilera‐Padros, Joao M. De Frias, Megan Madden, Ana Oliveira, Callum Atkins, Ivona Orgonikova, Aran Nagendran   +6 more
wiley   +1 more source

GenSys-LTL: Infinite State Reactive Synthesis using Logical LTL Games

<p>GenSys-LTL is an <em>infinite-state</em> reactive synthesis solver using LTL specifications. GenSys-LTL uses the Z3 theorem prover by Microsoft Research to solve and project SMT formulae.
Samuel, Stanly
core   +1 more source