Search for dissertations about: "automatic"

Showing result 1 - 5 of 1082 swedish dissertations containing the word automatic.

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

    Author : Victor Kardeby; Theo Kanter; Mittuniversitetet; []

    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

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

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

    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

  3. 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 : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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

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

    Author : Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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

  5. 5. Design for automatic assembly

    Author : Stephan Eskilander; KTH; []
    Keywords : ;

    Abstract : .... READ MORE