Search results for "Stubb"
showing 5 items of 15 documents
Angiotensin-Converting Enzyme Inhibitor Use and Incident Frailty: A Longitudinal Cohort Study
2019
Introduction: Angiotensin-converting enzyme inhibitors (ACEI) may have several pleiotropic effects, but the literature regarding a possible relationship between ACEI use and frailty is limited. We investigated whether ACEI use is associated with lower risk of frailty in a cohort of North American individuals. Methods: Data from the Osteoarthritis Initiative, a cohort study with 8 years of follow-up including community-dwelling adults with knee osteoarthritis or at high risk for this condition, were analyzed. ACEI use was defined through self-reported information and confirmed by a trained interviewer. Frailty was defined using the Study of Osteoporotic Fracture (SOF) index as the presence o…
Human Immunodeficiency Virus Infection and Diverse Physical Health Outcomes: An Umbrella Review of Meta-analyses of Observational Studies.
2019
Abstract Background Our aim was to assess both the credibility and strength of evidence arising from systematic reviews with meta-analyses of observational studies and physical health outcomes associated with human immunodeficiency virus (HIV) but not acquired immunodeficiency syndrome. Methods We performed an umbrella review of observational studies. Evidence was graded as convincing, highly suggestive, suggestive, weak, or nonsignificant. Results From 3413 studies returned, 20 were included, covering 55 health outcomes. Median number of participants was 18 743 (range 403–225 000 000). Overall, 45 (81.8%) of the 55 unique outcomes reported nominally significant summary results (P < .05). O…
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2021
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…
Pääministeri Alexander Stubb Twitterissä : henkilökuva ja itsensä esittämisen strategiat
2016
Tämän tieteellisen tutkielman tarkoituksena oli kuvata ja ymmärtää pääministeri Alexander Stubbin henkilökuvan hallintaa Twitterissä. Tavoitteena oli vastata siihen, millainen henkilökuva Alexander Stubbista hänen twiittiensä perusteella muodostuu, ja mitä itsensä esittämisen strategioita Alexander Stubbin twiiteistä voidaan tunnistaa. Tutkimusaineisto koostui Alexander Stubbin käyttäjätililtä loka- ja joulukuussa 2014 julkaistuista twiiteistä, joita oli 312 kappaletta. Tutkimusaineiston analysoinnissa on käytetty laadullista, aineistolähtöistä sisällönanalyysiä sekä teoriasidonnaista analyysiä. Teoriasidonnaisen analyysin käytöllä pyrittiin ohjaamaan vastausten etsimistä tutkimustehtävää a…
Partial-order reduction for parity games and parameterised Boolean equation systems
2022
AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…