Advanced search

Showing result 1 - 5 of 61 swedish dissertations matching the above criteria.

  2. 1. Integrating the Z notation and behavioural formalisms

    Author : Kenji Taguchi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Informatics; computer and systems science; Integrated Formal Methods; CCS; Z; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; datorteknik; Computer Systems;

    Abstract : The last several years have witnessed an increasing interest in integrating different formalisms in the formal methods research community. Particularly a number of notations have been proposed by different authors which integrate existing state-based formalisms such as Z, VDM and B and behavioural formalisms such as CCS, CSP and Statecharts. READ MORE

  4. 2. User-Defined Constructions in Unification-Based Formalisms

    Author : Lena Strömbäck; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Unification-based formalisms have been part of the state-of-the-art within linguistics and natural language processing for the past fifteen years. A number of such formalisms have been developed, all providing partially different constructions for representing linguistic knowledge. READ MORE

  5. 3. Algorithms and Complexity for Temporal and Spatial Formalisms

    Author : Thomas Drakengren; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The problem of computing with temporal information was early recognised within the area of artificial intelligence, most notably the temporal interval algebra by Allen has become a widely used formalism for representing and computing with qualitative knowledge about relations between temporal intervals. However, the computational properties of the algebra and related-formalisms are known to be bad: most problems (like satisfiability) are NP-hard. READ MORE

  6. 4. A Study in the Computational Complexity of Temporal Reasoning

    Author : Mathias Broxvall; Peter Jonsson; Ulf Nilsson; Anders Haraldsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; temporal and spatial information; artificiell intelligens; algebra; tractable fragments; temporal formalisms; formalism STP; Computer science; Datavetenskap;

    Abstract : Reasoning about temporal and spatial information is a common task in computer science, especially in the field of artificial intelligence. The topic of this thesis is the study of such reasoning from a computational perspective. READ MORE

  7. 5. Perspectives on the role of digital tools in students' open-ended physics inquiry

    Author : Elias Euler; Bor Gregorcic; Cedric Linder; Konrad Schönborn; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; digital learning environments; modeling; semi-formalisms; microworlds; social semiotics; embodied cognition; disciplinary-relevant aspects; Physics with specialization in Physics Education; Fysik med inriktning mot fysikens didaktik;

    Abstract : In this licentiate thesis, I present detailed case studies of students as they make use of simulated digital learning environments to engage with physics phenomena. In doing so, I reveal the moment-to-moment minutiae of physics students’ open-ended inquiry in the presence of two digital tools, namely the sandbox software Algodoo and the PhET simulation My Solar System (both running on an interactive whiteboard). READ MORE