Search for dissertations about: "Cristina Lundqvist"

Found 4 swedish dissertations containing the words Cristina Lundqvist.

  2. 1. The Newborn Infant, capable and vulnerable : An interactional perspective

    Author : Cristina Lundqvist; Institutionen för psykologi; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; attachment; breastfeeding; preterm infant; gender; infant development; screening instrument; Nicu; automatic analysis; Newborn infant; non-nutritive sucking; follow up; infant health; Psychology; Psykologi;

    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

  4. 2. Methods and Tool Support for Analyzing Architectural Models of Embedded Systems

    Author : Stefan Björnander; Paul Pettersson; Kristina Lundqvist; Cristina Seceleanu; Ingo Sander; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    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

  5. 3. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist; Larsen Kim; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    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

  6. 4. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Abstract : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. READ MORE