Sökning: "Natural kinds."

Visar resultat 1 - 5 av 367 avhandlingar innehållade orden Natural kinds..

  1. 1. Home for future Earth lovers : Foundations of nature-connecting habitats for children

    Författare :Matteo Giusti; Stephan Barthel; Lars Marcus; Louise Chawla; Stockholms universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; NATURVETENSKAP; Human-nature connection; nature-connecting habitat; children; sustainability; human-nature relationship; vetenskap om hållbar utveckling; Sustainability Science;

    Sammanfattning : Modern childhood is increasingly segregated from nature. Yet, children’s nature experiences are first steps for sustainable futures. In this thesis, I research the foundations of habitats that can connect children to nature. I call them nature-connecting habitats. LÄS MER

  2. 2. Analysing normative contracts : On the semantic gap between natural and formal languages

    Författare :John J. Camilleri; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; contract analysis; controlled natural language; formal methods; timed automata; model checking;

    Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER

  3. 3. Contracts and Computation — Formal modelling and analysis for normative natural language

    Författare :John J. Camilleri; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :NATURVETENSKAP; SAMHÄLLSVETENSKAP; NATURAL SCIENCES; SOCIAL SCIENCES; normative texts; contract analysis; controlled natural language; model checking;

    Sammanfattning : Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like these dictate the permissions, obligations, and prohibitions of two or more parties entering into an agreement, including the penalties which must be paid when someone breaks the rules. LÄS MER

  4. 4. Hydrauliskt kalkbruk Produktion och användning i Sverige vid byggande från medeltid till nutid

    Författare :Sölve Johansson; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Limestone; Roman cement; pozzolana; hydraulic lime; alum shale; hydration; natural cement; building conservation; building lime; historic mortar; brickdust;

    Sammanfattning : This dissertation in its entirety, i.e. LÄS MER

  5. 5. Flygbildstolkning av berghällar och blockmark : Metodstudier av tolkningsmöjligheter i olika flygbildsmaterial

    Författare :Leif Wastenson; Stockholms universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER