Sökning: "formell rapport"

Visar resultat 1 - 5 av 17 uppsatser innehållade orden formell rapport.

  1. 1. A Formally Motivated Algorithm for Synthesis of Strategies in Multi-Agent Games of Imperfect Information Against Nature

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

    Författare :Jakob Alfredsson; Jakob Carlsson; [2023]
    Nyckelord :;

    Sammanfattning : In this project we study games where multiple agents cooperate to reach some common team objective. The agents do not have perfect information about the game state, and they cannot communicate during the course of the game. LÄS MER

  3. 2. Planeringens inverkan på produktutvecklingstiden : Utmaningar vid hög komplexitet

    Kandidat-uppsats, KTH/Integrerad produktutveckling

    Författare :Isabella Davéus; Edvin Ramberg; Sofia Charlotta Holm Öste; [2021]
    Nyckelord :Complexity; Formal methods; Interdependence of activities; MEMS; Planning; Planning methods; Product development; Product development process; Project planning; Timeplan; Beroende aktiviteter; Formella metoder; Komplexitet; MEMS; Målsättning; Planering; Produktutveckling; Produktutvecklingsprocess; Projektplanering; Tidplan;

    Sammanfattning : Företag som utvecklar produkter strävar mot att korta ner sin utvecklingstid för att kunna bibehålla konkurrenskraft samt snabbare realisera vinster. Parallellt har den tekniska utvecklingen resulterat iatt produkters komplexitet ökat. Det har medfört att osäkerheten i början av projekt och beroendet mellan utvecklingsaktiviteter ökat. LÄS MER

  4. 3. Distansarbetets påverkan på samordningsmekanismerna : Och dess effekter på målkongruens och graden av måluppfyllelse

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för ekonomistyrning och logistik (ELO)

    Författare :Elsa Johansson; Sofie Karlsson; Emma Tigerström; [2021]
    Nyckelord :Teleworking; goal management; coordination mechanisms; formal management; informal management; goal congruence; goal fulfillment; Distansarbete; målstyrning; samordningsmekanismer; formell styrning; informell styrning; målkongruens; måluppfyllelse;

    Sammanfattning : Inledning: Rekommendationerna om distansarbete under pandemin har haftstor påverkan på arbetsmiljön. Kommunikationskanalerna och de naturligamötesplatserna har förändrats, vilket i sin tur har påverkan påsamordningsmekanismerna inom målstyrningen. LÄS MER

  5. 4. "Make Orwell Fiction Again" - Den nya lagen om hemlig dataavläsning i förhållande till rättssäkerhet samt rätt till integritet och privatliv.

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Anton Ramazanzadeh Darabad; [2020]
    Nyckelord :straffrätt; criminal law; Law and Political Science;

    Sammanfattning : I år trädde lag (2020:62) om hemlig dataavläsning i kraft, vilket gav de brottsbekämpande myndigheterna befogenhet att i hemlighet avlyssna och läsa data. Denna uppsats kommer att försöka ge läsaren en förståelse av själva lagen och dess innebörd, för att sedan analysera lagen. LÄS MER

  7. 5. Verifying Temporal Properties Using Deductive Verifiers

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

    Författare :Jesper Amilon; Axel Lindeberg; [2019]
    Nyckelord :;

    Sammanfattning : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. LÄS MER