Advanced search

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

  2. 1. Automatic sensor clustering : connectivity for the internet of things

    Author : Victor Kardeby; Theo Kanter; Mittuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Current predictions from industry envision that within a decade, the Internet will bepopulated by tens of billion of devices. Already today, smart Internet devices havesensors that provide an enormous potential for creating new applications. READ MORE

  4. 2. Automatic parallel parking : park assist systems for passenger vehicles

    Author : Pär Degerman; Linköpings universitet; []
    Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : This thesis discusses how the problem of parking a passenger car can be solved. There ane numerous obstacles when creating a fully or semi automated system for assisting the parking maneuver. The obstacles range from unobtrusive Man Machine Interface issues to robust algorithms for finding features in sensor data. READ MORE

  5. 3. Blood flow assessment in cerebral arteries with 4D flow magnetic resonance imaging : an automatic atlas-based approach

    Author : Tora Dunås; Anders Eklund; Anders Wåhlin; Jan Malm; Einar Heiberg; Umeå universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Circle of Willis; 4D flow MRI; Cerebral arteries; Vascular disease; Stroke; Automatic labeling; Probabilistic atlas; Cerebral blood flow; Neuroimaging; Magnetic Resonance Imaging;

    Abstract : Background: Disturbed blood flow to the brain has been associated with several neurological diseases, from stroke and vascular diseases to Alzheimer’s and cognitive decline. To determine the cerebral arterial blood flow distribution, measurements are needed in both distal and proximal arteries. READ MORE

  6. 4. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Author : Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Abstract : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. READ MORE

  7. 5. Automatic Adaptation of Swedish Text for Increased Inclusion

    Author : Evelina Rennes; Arne Jönsson; Marina Santini; Thomas François; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automatic text adaptation; Automatic text simplification; Easy language; Automatisk textanpassning; Automatisk textförenkling; Lättläst text;

    Abstract : Imagine what life would be if words did not make any sense to you. If you had to use a dictionary, or Google Translate, to check the meaning of each word. If you forgot the first part of the sentence when you got to the last word. Working would be hard, studying perhaps even more difficult. READ MORE