Sökning: "Lasse From"

Visar resultat 16 - 20 av 30 uppsatser innehållade orden Lasse From.

  1. 16. Executive Summaries in Software Model Checking

    Master-uppsats, KTH/Teoretisk datalogi, TCS

    Författare :Lasse Berglund; [2018]
    Nyckelord :program verification; software engineering; concurrent programming; model checking; software model checking;

    Sammanfattning : Model checking is a technique used to verify whether a model meets a given specification by exhaustively and automatically checking each reachable state in the model. It is a well-developed technique, but it suffers from some issues, perhaps most importantly the state space explosion problem. LÄS MER

  3. 17. Upplevelser och effekter av kulturaktiviteter i arbetet beskrivet ur ett medarbetarperspektiv. : En kvalitativ studie kring upplevelser och effekter av kulturaktiviteter kopplat till arbetet som kontext.

    Kandidat-uppsats, Karlstads universitet

    Författare :Lasse Magnell; [2017]
    Nyckelord :Culture activities related to work; social effects; effects from mere content of culture; valuable communication at work; time resources; Kulturaktiviteter i arbetet; sociala effekter av kultur; innehållsmässiga effekter av kultur; kommunikation.;

    Sammanfattning : I takt med ett allt hårdare klimat på arbetsmarknaden och ett ökat tryck på individen i arbetslivet har forskningen börjat titta närmare på positiva och hälsofrämjande effekter av kultur- och fritidsrelaterade effekter kopplat till arbetet. Föreliggande kvalitativa studie undersöker upplevelser och erfarenheter av kulturaktiviteter ur ett medarbetarperspektiv inom två större organisationer, samt försöker synliggöra effekter av kultur kopplat till arbetet både för individen och organisationen. LÄS MER

  4. 18. "Föräldrar har aldrig varit så pålästa...men heller aldrig så osäkra"

    Kandidat-uppsats, Högskolan i Jönköping/HHJ, Avd. för beteendevetenskap och socialt arbete

    Författare :Christer Lundahl; Lasse Behrens; [2017]
    Nyckelord :Mental illness among youth; Familycenters; General parental support; Bronfenbrenners Ecological systems theory; Preventive work; Psykisk ohälsa bland barn och unga; familjecentraler; generellt föräldrastöd; Brenfenbrenners utvecklingsekologiska modell; förebyggande arbete;

    Sammanfattning : Abstract Title: ”Parents have never been so knowledgeable…but at the same time, so doubtful” To become a parent is for the most parents a wonderful experience in life. Happy times follows by challenges that puts the parenthood on its peak. Sweden has a widely-spread parent support through the government. LÄS MER

  5. 19. Design of spacecraft attitude determination system using MEMS sensors

    Master-uppsats, KTH/Skolan för elektro- och systemteknik (EES)

    Författare :Lasse Larsson; [2016]
    Nyckelord :;

    Sammanfattning : The CubeProp module is a propulsion module developed by NanoSpace AB that will fly on-board the MIST CubeSat in 2017. NanoSpace is interested in developing an attitude determination system for the Cube-Prop module that also can be used to measure the performance of the thrusters in space. LÄS MER

  7. 20. Implementation of machine learning to model losses from icing of wind turbines

    Master-uppsats, KTH/Kraft- och värmeteknologi

    Författare :Johan Ihlis; [2015]
    Nyckelord :;

    Sammanfattning : This thesis investigates the possibility to use machine learning algorithms to predict the losses due to icing in the Stor-Rotliten wind farm that is situated in the north of Sweden and operated by Vattenfall. The inputs for the machine learning are historical mesoscale modelled variables that are derived from a Weather Research and Forecasting Model code that is tuned for icing (WRF-model). LÄS MER