Sökning: "Rydbeck"

Visar resultat 1 - 5 av 21 uppsatser innehållade ordet Rydbeck.

  1. 1. Vilka faktorer i försvarsbeslutsprocessen 2020 påverkade det militära förmågebyggandet av Infanteriregemente 13 och hur kan det bidra till vår förståelse gällande implementering av beslut om försvarsförmåga?

    Magister-uppsats, Försvarshögskolan

    Författare :Björn Rydbeck; [2022]
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 2. Formalisation of Polynomials in Cubical Type Theory Using Cubical Agda

    Kandidat-uppsats, Stockholms universitet/Matematiska institutionen

    Författare :Carl Åkerman Rydbeck; [2022]
    Nyckelord :;

    Sammanfattning : We formalise polynomials over commutative rings in cubical type theory using Cubical Agda as proof assistant. On the basis of a formalisation of polynomials as number sequences with only a finite number of non-zero values, we use higher inductive types to formulate a list-based definition using two point constructors and two path constructors. LÄS MER

  4. 3. IVO och Icke överklagbara myndighetsbeslut

    Kandidat-uppsats, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Sten Rydbeck; [2021]
    Nyckelord :förvaltningsrätt en. administrative law ; processrätt en. civil procedure ; socialrätt en. social and welfare law ; Law and Political Science;

    Sammanfattning : Certain decisions of the government ministry known as IVO or inspektionen för vård och omsorg (loosely translated: The inspection for health and care) leave the individuals affected without legal recourse. This is justified by the decisions classification as mere criticisms without serious effect on the people being criticised, however many of the government bodies responsible for the hiring of health and care professionals use registries of these criticisms in their hiring process. LÄS MER

  5. 4. Jakten på den ultimata stabsstrukturen : En kvalitativ studie om två olika militära stabsstrukturer

    Kandidat-uppsats, Högskolan i Halmstad

    Författare :Björn Rydbeck; Rickard Segerdahl; [2021]
    Nyckelord :Försvarsmakten; organisationsteori; stabsstruktur;

    Sammanfattning : Jakten på den ultimata stabsstrukturen är en kvalitativ och induktiv studie som undersöker fenomenet att flera staber i Försvarsmakten lämnar Nato-modellen som struktur för att indela sin stab. Namnet på uppsatsen är inspirerad av ett citat som vi fick från en av våra respondenter. LÄS MER

  7. 5. Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction

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

    Författare :Carl Åkerman Rydbeck; [2021]
    Nyckelord :;

    Sammanfattning : We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. LÄS MER