Search for student projects

  1. Computer Science, Master
  2. Efficient Model Checking for Probabilistic Timed Automata

    Robert Jørgensgaard Engdahl, Arild Martin Møller Haugstad

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  3. Indexing and Querying Spatiotemporal Raster Data

    Dennis Bak Andersen, Martin L. Kristiansen, Claus H. Poulsen, Thomas Winterberg

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  4. Intelligent IP Camera: An FPGA Motion Detection Implementation

    Nicolas Cothereau, Delaite Guillaume, Edouard Gourdin

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  5. Intelligent IP Camera, An FPGA Motion Detection Implementation

    Nicolas Cothereau, Delaite Guillaume, Edouard Gourdin

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  6. Learning inference friendly Bayesian networks: using incremental compilation

    Søren Pedersen, Martin Karlsen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  7. Learning Inference friendly Bayesian Networks - using incremental compilation

    Martin Karlsen, Søren Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  8. Regular Model Checking and Verification of Cellular Automata

    Joakim Byg, Kenneth Yrke Jørgensen

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  9. Secrecy and Authenticity in Mobile Ad-Hoc Networks

    Willard Rafnsson

    Computer Science, Master, (Master Programme) 2. term, 2008

    Student thesis: Master thesis (including HD thesis)

  10. Secrecy and Authenticity in Mobile Ad-Hoc Networks, Extended Abstract

    Willard Þór Rafnsson

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  11. Secrecy and Authenticity in Mobile Ad-Hoc Networks, Extended Abstract

    Willard Þór Rafnsson

    Computer Science, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)