Avancerad sökning

Visar resultat 1 - 5 av 1102 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. PLANERING FÖR HÅLLBAR UTVECKLING : Dilemman för kommunala översiktsplanerare

    Författare :Kristina Nilsson; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Planners; Comprehensive planning; Sustainable development; Environmental planning; Communicative planning; Experiental planning; Reflective practitioner;

    Sammanfattning : ABSTRACT Planning for Sustainable Development - Dilemmas for local authority planners This thesis for the degree of licentiate in regional planning at the Royal Institute for Technol-ogy is a study of certain aspects of the profession of comprehensive planners in Sweden. The empirical background of the thesis is an interview study of 15 Swedish local authority plan-ners noted for their professional commitment in working for a more sustainable society. LÄS MER

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

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

    Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER

  4. 3. Constraint-based Methods for Human-aware Planning

    Författare :Uwe Köckemann; Federico Pecora; Lars Karlsson; Paolo Traverso; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Task Planning; Constraint-based Planning; Human-aware Planning; Information technology; Informationsteknologi;

    Sammanfattning : As more robots and sensors are deployed in work and home environments, there is a growing need for these devices to act with some degree of autonomy to fulfill their purpose. Automated planning can be used to synthesize plans of action that achieve this. LÄS MER

  5. 4. Planning Design Automation : A Structured Method and Supporting Tools

    Författare :Mikael Cederfeldt; Jönköping University; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Knowledge; Evaluation; Process; Potential; Methods; Need; Planning; Design automation;

    Sammanfattning : The demand for customised products that meet different markets and different customers is steadily increasing. Also, the demand for shorter lead times for the delivery of these customised products puts strains on design departments whose work tends to become increasingly repetitive. LÄS MER

  7. 5. Admissible Heuristics for Automated Planning

    Författare :Patrik Haslum; Patrick Doherty; Derek Long; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; AI planning; optimal planning; temporal planning; heuristic search; Computer science; Datalogi;

    Sammanfattning : The problem of domain-independent automated planning has been a topic of research in Artificial Intelligence since the very beginnings of the field. Due to the desire not to rely on vast quantities of problem specific knowledge, the most widely adopted approach to automated planning is search. LÄS MER