Search for dissertations about: "Sten Lindström"

Found 5 swedish dissertations containing the words Sten Lindström.

  2. 1. Testability of Dynamic Real-Time Systems

    Author : Birgitta Lindström; Sten F. Andler; Jeff Offutt; Paul Pettersson; Zebo Peng; Lionel Briand; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testability; Software testing; Real-time systems; Timeliness; Model-based testing; Computer science; Datalogi; Teknik;

    Abstract : This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. READ MORE

  4. 2. From Conceivability to Possibility : An Essay in Modal Epistemology

    Author : Anders Berglund; Sten Lindström; Joseph Almog; Umeå universitet; []
    Keywords : HUMANIORA; HUMANITIES; Theoretical philosophy; Modal Epistemology; Teoretisk filosofi; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

    Abstract : This study deals with the thesis that conceivability implies possibility. Confronted with alleged counterexamples to this thesis, some philosophers have turned to what may be called “idealized” or “more demanding” notions of conceivability. READ MORE

  5. 3. Objects and objectivity : Alternatives to mathematical realism

    Author : Ebba Gullberg; Sten Lindström; John Cantwell; Umeå universitet; []
    Keywords : HUMANIORA; HUMANITIES; Philosophy of mathematics; mathematical realism; ontological realism; semantic realism; platonism; the semantic argument; the indispensability argument; the non-uniqueness problem; Benacerraf s dilemma; the irrelevance challenge; Field; Carnap; Balaguer; Yablo; the internal external distinction; fictionalism; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

    Abstract : This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. READ MORE

  6. 4. In Virtue Of : Determination, Dependence, and Metaphysically Opaque Grounding

    Author : Henrik Rydéhn; Matti Eklund; Sten Lindström; Dan López de Sa; Uppsala universitet; []
    Keywords : HUMANIORA; HUMANITIES; grounding; metaphysical grounding; dependence; ontological dependence; determination; explanation; metaphysical explanation; essence; modality; fundamentality; metaphysical laws; reduction; supervenience; metaphysical structure; Theoretical Philosophy; Teoretisk filosofi;

    Abstract : This dissertation investigates grounding, the relation of non-causal determination whereby one fact obtains in virtue of some other fact or facts. Although considerations of grounding have been central throughout Western philosophy, the last 15-20 years have seen a renaissance of systematic work on grounding in analytic philosophy. READ MORE

  7. 5. Multidimensional Aspects of Dystonia : Description and Physiotherapy Management

    Author : Lena Zetterberg; Birgitta Lindmark; Sten-Magnus Aquilonius; Britta Lindström; Uppsala universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; disability; dystonia; health; movement analysis; physiotherapy; quality of life; Physiotherapy; Sjukgymnastik fysioterapi;

    Abstract : Aims: The overall aim of this research was to increase the knowledge about dystonia by identifying factors that influence self-reported quality of life and health in this disorder and to determine what factors predict disability. A further aim was to develop an objective outcome measure for quantifying the movement dysfunction in cervical dystonia (CD) and evaluate effects of physiotherapy. READ MORE