Search for dissertations about: "analysing"

Showing result 1 - 5 of 1175 swedish dissertations containing the word analysing.

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

    Author : John J. Camilleri; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; contract analysis; controlled natural language; formal methods; timed automata; model checking;

    Abstract : 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. READ MORE

  4. 2. Analysing normative contracts

    Author : John J. Camilleri; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; timed automata; model checking; contract analysis; formal methods; controlled natural language;

    Abstract : 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. READ MORE

  5. 3. Resilience in High Risk Work : Analysing Adaptive Performance

    Author : Amy Rankin; Henrik Eriksson; Margareta Lützhöft; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Resilience Engineering; Safety Management; Adaptive Capacity; Improvisation;

    Abstract : In today’s complexsocio-technical systems it is not possible to foresee and prepare for allfuture events. To cope with the intricacy and coupling between people,technical systems and the dynamic environment people are required tocontinuously adapt. READ MORE

  6. 4. Unwarping and Analysing Electrophoresis Gels

    Author : John Gustafsson; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Classification; Curved field lines; Gel matching; Image alignment; Image warping; Proteomics; Pulse-field gel electrophoresis; Two-dimensional electrophoresis; Variation; Yeast; Gel matching;

    Abstract : Gel electrophoresis is a technology in molecular biology that is used to separate and quantify biomolecules, for example DNA and proteins. Ideally the position in a gel image corresponds to one or several properties of the molecules, such as size and net charge, but in practise the separation pattern is often warped, that is, geometrically distorted. READ MORE

  7. 5. Analysing hybrid drive system topologies

    Author : Karin Jonasson; Industriell elektroteknik och automation; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : In this thesis a simulation model is presented that enables a comparison of different hybrid topologies, with respect to fuel consumption, emissions and performance. The obtained results stress the properties of the different topologies and form a foundation for the choice of hybrid topology. READ MORE