Search for dissertations about: "developing theory"

Showing result 1 - 5 of 598 swedish dissertations containing the words developing theory.

  2. 1. Caring and uncaring encounters in nursing and health care : Developing a theory

    Author : Sigiridur Halldorsdottir; Marit Kirkevold; Linköpings universitet; []
    Keywords : Nursing Theory; Nursing Care - psychological aspects; Patient Satifaction; Nurse-Patient Relations; Nursing Methodology Research Phenomenology; MEDICINE; MEDICIN;

    Abstract : The general aim of the present thesis was to develop a theory on caring and uncaring encounters within nursing and health care from the patient's perspective.Results of an analysis of two phenomenological studies (paper I), as well as research findings from five other phenomenological studies (papers II-VI), were used to develop the theory. READ MORE

  4. 2. The Common Good in Common Goods - The Decommodification of Fundamental Resources through Law

    Author : Saki Bailey; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; commons; common goods; shareable goods; legal theory; social theory; socio-legal theory; property theory; critical legal theory; critical approaches to law; post-capitalist approaches to law; post-marxist approaches to law; post-liberal approaches to law; legal foundations of the market; embedding the market; strategic decommodification; decommodification; democratization of the economy; equitable access to resources; social property relations; housing policy; housing law; third-sector housing; shared limited equity; community land trusts; housing cooperatives; baugruppen; bostadsrätt; resource specific analysis; economic analysis of resources; neoliberalism.;

    Abstract : This dissertation is divided into three parts. Part I analyzes the Commons as a post-capitalist strategy accomplished through law by developing an alternative social theory of the market as a social institution. READ MORE

  5. 3. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results

    Author : Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. READ MORE

  6. 4. Plato's Republic on Democracy : Freedom, Fear and Tyrants Everywhere

    Author : Oda E. Wiese Tvedt; Pauliina Remes; Hallvard Fossheim; Patricia Mindus; Josiah Ober; Uppsala universitet; []
    Keywords : HUMANIORA; HUMANITIES; Plato; Socrates; democratic theory; democratic philosophy; political phi-losophy; political theory; Ancient political theory; action theory; ration-ality; social choice theory; autonomy; epistemic vulnerabilities; akrasia; moral psychology; Ancient political institutions; Ancient social institu-tions; Athens; tyranny; oligarchy; democracy; simultaneous vote; Kal-lipolis; guardians; kings; kingship; decision-making; city; soul; polis; self-knowledge; judgement; freedom; power; fear; The Republic; oikos; private; public; History of Philosophy; demos; collectives; Philosophy; with specialization in history of philosophy; Filosofi med filosofihistorisk inriktning; Filosofi; Philosophy;

    Abstract : This thesis poses the question ‘What is the critique of democracy in Plato’s Republic?’ It is not the first to do so. But contrary to standard readings, this thesis does not assume neither epistemological nor elitist explanations. Rather, it sees the Kallipolis, ‘the beautiful city in words’ as predicated on a particular anthropology. READ MORE

  7. 5. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    Author : Paul Pettersson; Wang Yi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. READ MORE