Search for dissertations about: "safety device"

Showing result 6 - 10 of 81 swedish dissertations containing the words safety device.

  2. 6. Computer Vision for Automated Traffic Safety Assessment : A Machine Learning Approach

    Author : Martin Ahrnbom; Mathematical Imaging Group; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer vision; Deep learning; Machine learning; Traffic Surveillance; Traffic Safety; Object detection; Camera Calibration; Multi-Target Tracking; Convolutional Neural Networks; Smart cities;

    Abstract : Traffic safety is a complex and important research area with the potential to save many lives in the future. Two key problems are considered, namely the gathering of reliable and detailed road user statistics which can be used to estimate the safety of a traffic environment and taking advantage of surveillance infrastructure to guide and assist vehicles in real time, primarily autonomous ones. READ MORE

  4. 7. Proving Safety and Security of Binary Programs

    Author : Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Abstract : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. READ MORE

  5. 8. Feasibility, safety, and diagnostic potential of endomyocardial micro-biopsies

    Author : Arvin Chireh; Karolinska Institutet; Karolinska Institutet; []
    Keywords : ;

    Abstract : Endomyocardial biopsy (EMB) is considered a reference method for diagnosis of several cardiac diseases, but the method is limited by significant complication risks and relatively poor sensitivity. Although attempts have been made to improve the tissue analysis with modern molecular methods, the safety and accuracy issues of EMB sampling remain unaddressed. READ MORE

  6. 9. A Measurement Approach to some Robot Related Issues : Robot Safety, Robot Control Tool and Robot Object Recognition

    Author : Nils Karlsson; Jouko Suokas; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The research of the measurement group at Linköping university has for some time been focused on the role of measurements in robotics. The main objective of the group's research work has been to provide the robot with sensor information in order to increase its autonomy. READ MORE

  7. 10. Compliance Control of Robot Manipulator for Safe Physical Human Robot Interaction

    Author : Muhammad Rehan Ahmed; Ivan Kalaykov; Kystof Kozlowksi; Örebro universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Physical human robot interaction; collision safety; variable stiffness actuators; compliance control; TECHNOLOGY; TEKNIKVETENSKAP; Automatic control; Reglerteknik; Reglerteknik; Automatic Control;

    Abstract : Inspiration from biological systems suggests that robots should demonstrate same level of capabilities that are embedded in biological systems in performing safe and successful interaction with the humans. The major challenge in physical human robot interaction tasks in anthropic environment is the safe sharing of robot work space such that robot will not cause harm or injury to the human under any operating condition. READ MORE