Sökning: "nada"

Visar resultat 11 - 15 av 217 avhandlingar innehållade ordet nada.

  1. 11. State space representation for verification of open systems

    Författare :Irem Aktug; Mads Dam; Parosh Abdulla; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi;

    Sammanfattning : When designing an open system, there might be no implementation available for cer- tain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. In this thesis, we present a framework for the verification of open systems through explicit state space representation. LÄS MER

  3. 12. Indoor Navigation for Mobile Robots : Control and Representations

    Författare :Philipp Althaus; KTH; []
    Nyckelord :mobile robots; robot navigation; indoor navigation; behaviour based robotics; hybrid deliberative systems; dynamical systems approach; topological maps; symbol anchoring; autonomous mapping; human-robot interaction;

    Sammanfattning : This thesis deals with various aspects of indoor navigationfor mobile robots. For a system that moves around in ahousehold or office environment,two major problems must betackled. First, an appropriate control scheme has to bedesigned in order to navigate the platform. Second, the form ofrepresentations of the environment must be chosen. LÄS MER

  4. 13. Numerical simulation of dendritic solidification using a phase field model

    Författare :Christer Andersson; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 14. Phase-field Simulation of Dendritic Solidification

    Författare :Christer Andersson; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  7. 15. Some new randomized approximation algorithms

    Författare :Gunnar Andersson; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER