Search for dissertations about: "Cristina Lundqvist"
Found 4 swedish dissertations containing the words Cristina Lundqvist.
-
1. The Newborn Infant, capable and vulnerable : An interactional perspective
Abstract : The overall aim of this work was to increase our knowledge of newborn infants and their mothers, gain a better understanding of attachment and the infants' development and identify infants at risk for poorer emotional, social and cognitive development. An interdisciplinary approach was used. Six studies are included in the thesis. READ MORE
-
2. Methods and Tool Support for Analyzing Architectural Models of Embedded Systems
Abstract : Embedded systems are ubiquitous in the modern world. They are microcomputers most often included incomplete devices consisting of software and hardware. Embedded systems range from small devices to large systems monitoring and controlling complex processes. READ MORE
-
3. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance
Abstract : Autonomous vehicles such as mobile driver-less construction equipment bear the promise of increased safety and industrial productivity by automating repetitive tasks and reducing manual labor costs. These systems are usually involved in safety- or mission-critical scenarios, therefore they require thorough analysis and verification. READ MORE
-
4. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance
Abstract : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. READ MORE