Search for dissertations about: "terminate"

Showing result 1 - 5 of 55 swedish dissertations containing the word terminate.

  2. 1. Exploration of polygonal environments

    Author : Anders Ekman; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Databehandling;

    Abstract : Several robotic problems involve the systematic traversal of environments, commonly called exploration. This thesis presents a strategy for exploration of finite polygonal environments, assuming a point robot that has 1) no positional uncertainty and 2) an ideal range sensor that measures range in N uniformly distributed directions in the plane. READ MORE

  4. 2. Perfect simulation of some spatial point processes

    Author : Kajsa Larson; Olle Häggström; Chalmers University of Technology and Göteborg University Department of Mathematical Statistics; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Perfect simulering; coupling from the past; Markov shain Monte Carlo; point process; Widom-Rowlinson model; Mathematical statistics; Matematisk statistik; Mathematical Statistics; matematisk statistik;

    Abstract : Coupling from the past (CFTP) algorithms are presented that generate perfectly distributed samples from the multi-type Widom--Rowlinson (W--R) model and some generalizations of it. The classical W--R model is a point process in the plane or the  space consisting of points of several different types. READ MORE

  5. 3. Human mononuclear phagocytes : Production of reactive oxygen species generated by the NADPH oxidase

    Author : Agneta Johansson; Roger Sundler; Linköpings universitet; []
    Keywords : MEDICINE; MEDICIN;

    Abstract : Human professional phagocytes constitute the first line of defence against invading microorganisms. With a membrane-bound enzyme system, the NADPH oxidase, these cells generate bactericidal metabolites. Activation of NADPH oxidase results in a generation of reactive oxygen species, e.g. READ MORE

  6. 4. General Recursion in Type Theory

    Author : Ana Bove; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis deals with the use of constructive type theory as a programming language. In particular, it presents a method to translate general recursive functional programs into their type-theoretic equivalents. A key notion in functional programming is recursion, which allows that the object being defined refers to itself. READ MORE

  7. 5. Parameterized Verification of Synchronized Concurrent Programs

    Author : Zeinab Ganjei; Ahmed Rezine; Petru Ion Eles; Zebo Peng; Alastair Donaldson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems. READ MORE