Sökning: "meta-theory"

Visar resultat 1 - 5 av 10 avhandlingar innehållade ordet meta-theory.

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

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

    Sammanfattning : 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. LÄS MER

  3. 2. Nature and the Social Sciences : Examples from the Electricity and Waste Sectors

    Författare :Mikael Klintman; Sociologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; ecology; critical realism; electricity; environment; epistemology; green identity; greening; meta-theory; nature; ontology; social science; public participation; waste; windpower; sociology; Sociologi;

    Sammanfattning : The book has two interrelated objectives. One objective is meta-theoretical and concerns the exploration of theoretical debates connected to issues of studying society and environmental problems; another objective is empirical/analytical, referring to the analysis of "green" public participation in the electricity and waste sectors in Sweden, and partly in the Netherlands as well as the UK. LÄS MER

  4. 3. Pluripotent Circulations: Analyzing Articulations of Stem Cells in the USA, prior to 2001

    Författare :Morten Sager; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Actor-Network Theory; meta-theory; obligatory point of passage; boundary objects; sociotechnical reality; articulations; human embryonic stem cells; spare embryos; pluripotency;

    Sammanfattning : In this thesis, stem cell research and politics in the USA are analyzed by using actor-network theory (ANT). Here ANT is put to work on largely textual materials, often directly from US political settings, such as Congressional debates and national panels. LÄS MER

  5. 4. The Case for Causal Individualism in Social Science

    Författare :Gustav Ramström; Ulf Mörkenstam; Alexandra Segerberg; Raino Malnes; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; social ontology; individualism vs. holism; the micro-macro link; social scientific meta-theory; Political Science; statsvetenskap;

    Sammanfattning : Social science has, from its very beginnings, been characterized by debates over the true nature of society and about how to best understand and explain it. At the heart of these discussions lies the question of the causal structure of the social world. LÄS MER

  7. 5. A Model of Type Theory in Cubical Sets

    Författare :Simon Huber; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Models of dependent type theory; cubical sets; Univalent Foundations;

    Sammanfattning : The intensional identity type is one if the most intricate concepts of dependent type theory. The recently discovered connection between homotopy theory and type theory gives a novel perspective on the identity type. LÄS MER