Search for dissertations about: "krook"

Showing result 6 - 10 of 34 swedish dissertations containing the word krook.

  2. 6. Contamination in Swedich waste wood : environmental implications, sources and waste management strategies

    Author : Joakim Krook; Linköpings universitet; []
    Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : Today, bulk materials, e.g. wood, plastic, steel, and concrete, are contaminated by hazardous substances such as heavy metals, causing environmental and resource problems during waste management. READ MORE

  4. 7. Correct-by-Construction Tactical Planners for Automated Cars

    Author : Jonas Krook; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

    Abstract : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. READ MORE

  5. 8. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Author : Jonas Krook; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Abstract : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. READ MORE

  6. 9. Microstructural factors influencing the machinability of nickel-based superalloys

    Author : Maria Krook; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : .... READ MORE

  7. 10. Nature and Metamorphosis: A Study of Carl Adolph Agardh’s Latin Dissertations and Monographs on Botany and Biology

    Author : Magnus Krook; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; Latin;

    Abstract : Carl Adolph Agardh (1785-1859), professor of botany and practical economy at Lund University, published a large corpus of Latin dissertations and monographs on the subjects of plant systematisation and plant physiology which merit a thorough examination both on account of their importance for the then contemporary natural science but also as they in hindsight consitute a corpus of Latin texts from the last period in which Latin was still a viable means of communication in the scientific community. Agardh’s most distinguished contribution to botany and biology is found in his works on algae, their systematisation and their physiology. READ MORE