Essays about: "Garrett Thomas"

Found 2 essays containing the words Garrett Thomas.

  1. 1. A Discrete Büchi Automata Distance for Formal Methods Based Control

    University essay from KTH/Reglerteknik

    Author : Garrett Thomas; [2017]
    Keywords : ;

    Abstract : Formal methods are valuable design validation techniques which ensure thecorrectness of hardware and software design. Recently, the formal methodstechnique of model checking using temporal logics has shown great promisein the field of control and task planning synthesis, as it allows for the formulationof complex tasks and provides an automatic and exhaustive search of allpossible paths. READ MORE

  3. 2. Trädgårdsdesign i södra Kalifornien

    University essay from SLU/Dept. of Landscape Architecture, Planning and Management (from 130101)

    Author : Daniel Nilsson; [2013]
    Keywords : Kalifornien; Trädgårdsdesign; Modernismen; Thomas Church; Garrett Eckbo;

    Abstract : Trädgårdar är inte bara till för den visuella upplevelsen utan handlar även om den fysiska användningen. Det kulturella sättet att se på trädgård utvecklas över tid i Kalifornien. READ MORE