Search for dissertations about: "object monitoring systems"

Showing result 1 - 5 of 27 swedish dissertations containing the words object monitoring systems.

  1. 1. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs

    Author : Mauricio Chimento; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : When verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. Static verification deals with the analysis of either concrete source code, or a model of it. READ MORE

  2. 2. Programming Memory-Constrained Networked Embedded Systems

    Author : Adam Dunkels; Mats Björkman; Thiemo Voigt; Kay Römer; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Wireless sensor networks; embedded systems; operating systems; programming; networking; TCP IP; Computer science; Datavetenskap; Datavetenskap;

    Abstract : Ten years after the Internet revolution are we standing on the brink of another revolution: networked embedded systems that connect the physical world with the computers, enabling new applications ranging from environmental monitoring and wildlife tracking to improvements in health care and medicine. 98% of all microprocessors sold today are used in embedded systems. READ MORE

  3. 3. Change Detection of the Unexpected : Enhancing change detection of the unexpected in a complex and high risk context – guiding visual attention in a digital display environment

    Author : Ulrik Spak; Else Nygren; Patrik Sörqvist; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; awareness; change blindness; change detection; command and control; display; feedback; human-computer interaction; inattentional blindness; monitoring; surveillance; visual cue; Människa-dator interaktion; Human-Computer Interaction; Ledningsvetenskap;

    Abstract : Change detection of objects and events in our visual surroundings is sometimes severely difficult, especially if these changes are unexpected. Such failures in change detection may cause huge malicious outcomes in contexts characterized by high levels of complexity and risk. READ MORE

  4. 4. Zoom in on the precision livestock farming

    Author : Keni Ren; Johannes Karlsson; Hibo Li; Matti Pastell; Umeå universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; precision livestock farming; computer vision; sensor fusion; object tracking; real-time location system; animal behaviour; machine learning;

    Abstract : Global attention to the welfare of zoo animals and livestock results in stronger legislation and higher pressure for achieving higher standards of animal welfare. Monitoring and understanding animal behaviour can assist in optimising the welfare of zoo and livestock animals. READ MORE

  5. 5. Cost Optimization of Volumetric Surveillance for Sky Monitoring : Towards Flying Object Detection and Positioning

    Author : Hiba Alqaysi; Mattias O'Nils; Najeem Lawal; Faisal Qureshi; Fabio Poiesi; Mittuniversitetet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electronics; image processing; deep learning; YOLOv4; smart cameras;

    Abstract : Unlike surface surveillance, volumetric monitoring deals with three-dimensional target space and moving objects within it. In sky monitoring, objects fly within outdoor and often remote volumes, such as wind farms and airport runways. Therefore, multiple cameras should be implemented to monitor these volumes and analyze flying activities. READ MORE