Essays about: "thesis for automata"

Showing result 1 - 5 of 31 essays containing the words thesis for automata.

  1. 1. Simulated molecular adder circuits on a surface of DNA : Studying the scalability of surface chemical reaction network digital logic circuits

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Jakob Arvidsson; [2023]
    Keywords : Surface chemical reaction networks; Molecular computing; DNA computing; Circuit simulation; Adders; Ytbundna kemiska reaktionsnätverk; Molekylär beräkning; DNA-beräkning; Kretssimulering; Additionskretsar;

    Abstract : The behavior of the Deoxyribonucleic Acid (DNA) molecule can be exploited to perform useful computation. It can also be ”programmed” using the language of Chemical Reaction Networks (CRNs). One specialized CRN construct is the Surface Chemical Reaction Network (SCRN). READ MORE

  3. 2. 3D Texture Synthesis Using Graph Neural Cellular Automata

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Yitao Xu; [2023]
    Keywords : 3D Texture Synthesis; Graph Neural Cellular Automata; Image-guided Synthesis; Text-guided Manipulation; Canvas Lärplattform; Dockerbehållare; Prestandajustering 3D-textursyntes; Graf Neurala Cellulära Automater; Bildledd Syntes; Textledd Manipulation;

    Abstract : In recent years, texture synthesis has been a heated topic in computer graphics, and the development of advanced algorithms for generating high-quality 3D textures is an area of active research. A recently proposed model, Neural Cellular Automata, can synthesize realistic 2D texture images or videos. READ MORE

  4. 3. The Psycho Mantis Effect : Redefining Immersion in Conjunction with the Fourth Wall

    University essay from Uppsala universitet/Institutionen för speldesign

    Author : Thérèse Lundqvist; Nora Ekeblad; [2023]
    Keywords : Diegesis; fourth wall manipulation; immersion; ludonarratology; Metal Gear Solid; NieR: Automata; the Magic Circle; video game;

    Abstract : This thesis broadens the discussion surrounding the fourth wall and immersion in games; the hypothesis being that there are more ways to manipulate the fourth wall other than breaking it, and that manipulation of the fourth wall does not necessarily break immersion. Four types of fourth wall manipulation have been labeled in this body of work: breaking, expansion, contraction, and grazing. READ MORE

  5. 4. Model Checked Reinforcement Learning For Multi-Agent Planning

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Erik Wetterholm; [2023]
    Keywords : MALTA; UPPAAL; UPPAAL STRATEGO; TImed Games; Q-Learning; Timed Automata; Timed Games;

    Abstract : Autonomous systems, or agents as they sometimes are called can be anything from drones, self-driving cars, or autonomous construction equipment. The systems are often given tasks of accomplishing missions in a group or more. This may require that they can work within the same area without colliding or disturbing other agents' tasks. READ MORE

  6. 5. Automatically Learning Register Automata from MATLAB Code : A case study in autonomous driving

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Marco Dei Rossi; [2021]
    Keywords : Automata learning; SL*; Register automata; RALib; Lateral State Manager; Automata learning; SL*; Register automata; RALib; LSM; Automata learning; SL*; Register automata; RALib; LSM;

    Abstract : The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. READ MORE