Search for dissertations about: "Marcus Jonsson"

Showing result 1 - 5 of 6 swedish dissertations containing the words Marcus Jonsson.

  2. 1. Resistive FET frequency multipliers for micro- and millimetre waves

    Author : Marcus Jonsson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; frequacy multiplier; frequency doubler; FET multiplier; resistive multiplier;

    Abstract : .... READ MORE

  4. 2. Physiotherapy and physical activity in patients undergoing cardiac or lung cancer surgery

    Author : Marcus Jonsson; Elisabeth Westerdahl; Anita Hurtig-Wennlöf; Anders Ahlsson; Maria Hagströmer; Örebro universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Physiotherapy; Physical Activity; Cardiac surgery; Lung Cancer; Randomized Controlled Trial; Thoracic surgery; Physical Function; Lung Function;

    Abstract : Cardiovascular diseases are the leading cause of death worldwide. Cardiac surgery is performed to improve prognosis, relieve symptoms and increase functional capacity in patients with cardiac disease. Postoperative pulmonary complications are common after cardiac surgery and a reduced lung function can persist a long time after surgery. READ MORE

  5. 3. Regular model checking

    Author : Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. READ MORE

  6. 4. Methods to Improve V2V Communications in Platoons of Heavy Duty Vehicles

    Author : Marcus Larsson; Magnus Jonsson; Tony Larsson; Elad Schiller; Högskolan i Halmstad; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : In the coming years V2V communications will probably be mandated and vehicle OEMs strive to find business opportunities to finance its investments in V2V communications technology. For heavy vehicles, platooning can be this business opportunity, with the motivation for the fleet owners that platooning can decrease the fuel consumption by up to 15 % when driving in platoons. READ MORE

  7. 5. 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