Search for dissertations about: "Kim Larsen"

Found 4 swedish dissertations containing the words Kim Larsen.

2. 1. Event Pattern Detection for Embedded Systems

   Author : Jan Carlson; Björn Lisper; Christer Norström; Kim Larsen; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; event pattern detection; event algebra; event monitoring; composite events; embedded systems; Computer science; Datavetenskap; Datavetenskap;

   Abstract : Events play an important role in many computer systems, from small reactive embedded applications to large distributed systems. Many applications react to events generated by a graphical user interface or by external sensors that monitor the system environment, and other systems use events for communication and synchronisation between independent subsystems. READ MORE

4. 2. Gender and physiology in ice hockey : a multidimensional study

   Author : Kajsa Gilenstam; Karin Henriksson-Larsén; Kim Thorsen; Staffan Karp; Carl Johan Sundberg; Umeå universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; physiology; gender; sports medicine; ice hockey; women s sport; athletic performance; social conditions; qualitative method; quantitative method; exercise tests; Sports; Idrott; Gender studies; Genus; Physiology; fysiologi;

   Abstract : Background That men are prioritised over women has been called the “gender regime in sport”, and has in part been explained by the gender difference in performance. However, gender differences in physical performance between women and men can be debated to depend on how comparisons are made and on the fact that there are many different confounders that may influence the results. 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. Regular Model Checking

   Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

   Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE