Sökning: "lidström"

Visar resultat 1 - 5 av 30 avhandlingar innehållade ordet lidström.

  1. 1. Discretion : an art of the possible : education committees in the Swedish system of government

    Författare :Anders Lidström; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Discretion; autonomy; central-local government relations; local government; education policies; Education Committees; actors perspective;

    Sammanfattning : Discretion is commonly analyzed as the scope for choice set by formal superiors. This study aims at developing an alternative theory of discretion which also takes into account the assumptions of the actors in implementing positions. LÄS MER

  2. 2. Redesign Foundations

    Författare :Anna Lidström; Kirsti Bræin; Högskolan i Borås; []
    Nyckelord :HUMANIORA; HUMANITIES; waste; surplus; redesign; remake; design; method; clothing; Textiles and Fashion Design ; Textil och mode konstnärlig ;

    Sammanfattning : In relation to waste hierarchies, activities such as redesign, reuse, and remanufacturing are often promoted because they can recover more resources than other activities. For example, studies have repeatedly shown that reuse and remanufacturing have more beneficial effects for the environment than recycling on the fibre level. LÄS MER

  3. 3. Remake: Design Foundations

    Författare :Anna Lidström; Lars Hallnäs; Högskolan i Borås; []
    Nyckelord :HUMANIORA; HUMANITIES; waste; surplus; redesign; remake; design; method; clothing;

    Sammanfattning : leftovers, waste, and surplus generated by increasing production and consumption of material goods. Their problem is not new, and over the last decade the search for a solution has given rise to various theories about and technologies for resource recovery and waste management. LÄS MER

  4. 4. Automated Deductive Verification of Safety-Critical Embedded Software

    Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

    Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER

  5. 5. On Scalable H-infinity Control

    Författare :Carolina Lidström; Institutionen för reglerteknik; []
    Nyckelord :;

    Sammanfattning : Many of the classical approaches to controller synthesis do not scale well for large and complex systems. This is mainly due to computational complexity and the lack of distributed structure in the resulting controllers. LÄS MER