Search for dissertations about: "is"

Showing result 16 - 20 of 65339 swedish dissertations containing the word is.

  2. 16. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE

  4. 17. Austerity Politics : Is the Electorate Responsible?

    Author : Pär Nyman; Karl-Oskar Lindgren; Kåre Vernby; Johannes Lindvall; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Deficit bias; Fiscal policy; Perceptions; Political economy; Responsibility; Retrospective voting; Statskunskap; Political Science;

    Abstract : This thesis contributes to the public finance literature concerned with fiscal sustainability, and consists of an introduction and four stand-alone essays. The first three essays analyse the reasons why governments accumulate large levels of debt. READ MORE

  5. 18. “Life is for living” : exploring thriving for older people living in nursing homes

    Author : Rebecca Baxter; David Edvardsson; Hugo Lövheim; Anders Sköldunger; Sabine Björk; Lisbeth Fagerström; Umeå universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Thriving; well-being; nursing home; older people; nursing; phenomenological hermeneutics; psychometric evaluation; cross-sectional; longitudinal; personcentred care; omvårdnadsforskning med medicinsk inriktning; Caring Sciences;

    Abstract : Background: Demand for formal care in nursing homes has steadily increased in recent decades, prompting calls for exploration of health-promoting and salutogenic concepts that support people not only to survive in older age, but to thrive. The concept of thriving has been described as a holistic experience of place-related well-being resulting from interactions between the person and their lived-environment. READ MORE

  6. 19. ‘How good is good?’ : Studies of facility-based childbirth care in southern Mozambique, from the perspectives of women and health providers

    Author : Sibone Mocumbi; Claudia Hanson; Ulf Högberg; Anna Bergström; Esperança Sevene; Khátia Munguambe; Albrecht Jahn; Uppsala universitet; []
    Keywords : Facility-based childbirth; Obstetric fistula; Satisfaction with care; Health providers; Context assessment; Mozambique; Medicinsk vetenskap; Medical Science;

    Abstract : Despite the large shift toward facility-based childbirths occurred during the last 15 years in several low resource settings, including in Mozambique, the burden of maternal mortality and morbidity remain considerable. Obstetric fistula is one of the most devastating of all maternal morbidities which still prevalent and is entirely avoidable. READ MORE

  7. 20. The Best There Is? : An Inquiry into Best Execution Rules

    Author : Thomas Ordeberg; Gustaf Sjöberg; Lars Pehrson; Howell Jackson; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; best execution; securities regulation; securities markets; MiFID; europeisk integrationsrätt; European Law;

    Abstract : Best execution obligations weigh on brokers when they execute orders to trade in shares for clients. These obligations have been seen as an outflow of general agency duties, and have been complemented by regulatory requirements related to best execution, dissemination of trading data, the handling of client orders and – in the United States – an obligation to execute at the best publicly available price or better (price protection). READ MORE