Sökning: "Gustav Ung"

Visar resultat 1 - 5 av 7 uppsatser innehållade orden Gustav Ung.

  1. 1. Elitidrottssatsande ungdomars upplevelser av fysioterapeutisk rehabilitering efter skada inom basketboll : En kvalitativ studie

    Uppsats för yrkesexamina på grundnivå, Luleå tekniska universitet/Institutionen för hälsa, lärande och teknik

    Författare :Gustav Denarp; Otto Nygren; [2022]
    Nyckelord :Basket; Elitidrottssatsning; Fysioterapi; Rehabilitering;

    Sammanfattning : Introduktion/bakgrund: Riksidrottsgymnasiet (RIG) gör det möjligt för ungdomar att elitsatsa på idrott varpå basket är en av de idrotter som finns tillgängliga. Basket är en kontaktsport med där det i hög frekvens är personer som drabbas av skador. Vanliga skador är bland annat fotledsstukning samt knäskador. LÄS MER

  3. 2. Implementation and evaluation of bounded invariant model checking for a subset of Stateflow

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

    Författare :Gustav Ung; [2021]
    Nyckelord :Formal methods; Bounded Model Checking; Stateflow; SLDV; Formella metoder; Begränsad modellprovning; Stateflow; SLDV;

    Sammanfattning : Stateflowmodels are used for describing logic and implementing state machines in modern safety-critical software. However, the complete Stateflowmodelling language is hard to formally define, therefore a subset relevant for industrial models has been developed in previous works. LÄS MER

  4. 3. "Vänskap utanför boxen" : -En analys av två barnböcker med vänskap över generationsgränser som motiv

    Uppsats för yrkesexamina på avancerad nivå, Örebro universitet/Institutionen för humaniora, utbildnings- och samhällsvetenskap

    Författare :Emmelie Stålberg; [2019]
    Nyckelord :Motivanalys; vänskap; barnlitteratur; generationer; undervisning;

    Sammanfattning : Emmelie Stålberg: Vänskap utanför boxen: en analys av två barnböcker med vänskap över generationsgränser som motiv (2019). Självständigt arbete, Svenska, inriktning f-3, avancerad nivå, 15 högskolepoäng. Institutionen för humaniora, utbildnings- och samhällsvetenskap. LÄS MER

  5. 4. Comparing Verification of List Functions in LiquidHaskell and Idris

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

    Författare :Adrian Westerberg; Gustav Ung; [2019]
    Nyckelord :;

    Sammanfattning : Formal verification is important for guaranteeing correctness of critical computer programs. LiquidHaskell and Idris are 2 functional programming languages in which formal verification can be performed using the respective type systems. LÄS MER

  7. 5. Jag har cancer! : Barns och ungdomars erfarenheter av livet med cancer

    M1-uppsats, Umeå universitet/Institutionen för omvårdnad

    Författare :Gustav Lindgren; Alexandra Heinonen; [2017]
    Nyckelord :pediatrics; oncology; experiences; nursing; Pediatrik; onkologi; erfarenheter; omvårdnad;

    Sammanfattning : Bakgrund: Årligen insjuknar runt 250-300 barn och unga i Sverige i cancer. Att som ung drabbas av en svår sjukdom är en ny och omvälvande situation som påverkar hela livet för både den drabbade och alla andra i dennes närhet. LÄS MER