Sökning: "Brage Johansson"

Hittade 4 uppsatser innehållade orden Brage Johansson.

  1. 1. Front-end of a Debugger for Compiled Programs in Haskell

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Andreas Olsson; Carl Bergman; Brage Salhus Bunk; Elias Johansson; Krešimir Popovic; [2023-03-03]
    Nyckelord :Haskell; debugger; debug; heap; lazy evaluation; functional programming; GHC;

    Sammanfattning : There are debugging tools available for Haskell programs today, but despite providing help for developers, these tools are not widely used in the Haskell community. Current debugging tools for Haskell have different kinds of limitations. This thesis will discuss the implementation of a new debugger with a graphical interface. LÄS MER

  3. 2. Multi-Robot Motion Planning With Control Barrier Functions for Signal Temporal Logic Tasks

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Cecilia Brage; Johanna Johansson; [2021]
    Nyckelord :autonomous robots; autonomous systems; signal temporal logic; control barrier function; formation control; collision avoidance; formal methods;

    Sammanfattning : Autonomous robots have the potential to accomplisha wide variety of assignments. For this to work in reality, therobots need to be able to perform specific tasks while safety forboth them and their environment is ensured. LÄS MER

  4. 3. Snowy : Visualisering av SNOMED CT:s data

    Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Carl Brage; Simon Hadenius; Daniel Johansson; Billy Krig; Simon Lindblad; Emil Nilsson; Joacim Stålberg; Mattias Ulmstedt; [2016]
    Nyckelord :SNOMED CT; D3; SNOMED CT; D3;

    Sammanfattning : Detta dokument beskriver ett kandidatexamensarbete som genomförts av åtta civilingenjörsstudenter från Linköpings universitet. Examensarbetet bestod av att utveckla en webbapplikation för att möjliggöra navigation och visualisering av element ur den medicinska databasen SNOMED CT samt deras relationer. LÄS MER

  5. 4. Ett brev, oändliga möjligheter? En studie av börsbolags profilering i VD-breven under hög- respektive lågkonjunktur

    C-uppsats, Göteborgs universitet/Institutionen för journalistik, medier och kommunikation

    Författare :Sara Alexandersson; Hanna Brage; [2010-02-26]
    Nyckelord :;

    Sammanfattning : Titel: Ett brev, oändliga möjligheter? En studie av börsbolags profilering i VD-breven under hög- respektive lågkonjunktur. Författare: Sara Alexandersson och Hanna Brage Handledare: Bengt Johansson Uppdragsgivare: Solberg Kurs: Examensarbete i Medie- och kommunikationsvetenskap vid institutionen för journalistik och masskommunikation, Göteborgs universitet. LÄS MER