Essays about: "guarantees"

Showing result 1 - 5 of 271 essays containing the word guarantees.

  1. 1. Sweden's relationship to NATO - How the government legitimizes its foreign security policy

    University essay from Lunds universitet/Statsvetenskapliga institutionen

    Author : Victoria Karlsson; [2024]
    Keywords : NATO; securitization; legitimization; non-alignment; NATO-membership; speech acts.; Law and Political Science;

    Abstract : The purpose of this thesis is to study how different political orientations in Swedish foreign security policy have been legitimized. After having pursued a policy of neutrality and non-alignment for 200 years, Sweden made a decision to apply for membership in the military alliance NATO. READ MORE

  3. 2. Sports and Business in a Swedish Football Club A case study on Örebro SK

    University essay from Handelshögskolan i Stockholm/Institutionen för redovisning och finansiering

    Author : Gabriel Bekassy Fritzson; Clara Bascuas; [2024]
    Keywords : Institutional logics; Football; PMS; Compromising; ; Commercialization;

    Abstract : One must not forget that we are working with people, we cannot simply purchase a more powerful engine. The quote from an employee in our case organization emphasizes the human aspect in football operations, cautioning against the belief that acquiring superior resources guarantees better performance. READ MORE

  4. 3. The State of Stateful Serverless Systems

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Ashmitha Ambastha; [2023]
    Keywords : Stateful Serverless Systems; Azure Durable Functions; Apache Flink StateFun; Kalix; Cloudburst; Function-as-a-Service; Serverlösa system utan tillstånd; Azure Durable Functions; Apache Flink StateFun; Kalix; Cloudburst; funktion som tjänst;

    Abstract : Serverless computing and Function-as-a-service are popular paradigms that simplify application development by abstracting the development layer from the underlying infrastructure components. These systems work in a pay-as-you-go model and provide an efficient environment for developers to focus entirely on developing their business logic. READ MORE

  5. 4. Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes : Reducing the Conservativeness in Data-Driven Pedestrian Predictions by Incorporating Their Behavior

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : August Söderlund; [2023]
    Keywords : Data-driven reachability analysis; Autonomous vehicles; Automated safety; Autonomous situational awareness; Datadriven nåbarhetsanalys; Autonoma fordon; Automatiserad säkerhet; Autonom situationsmedvetenhet;

    Abstract : Predicting the future state occupancies of pedestrians in urban scenarios is a challenging task, especially considering that conventional methods need an explicit model of the system, hence introducing data-driven reachability analysis. Data-driven reachability analysis uses data, inherently produced by an unknown system, to perform future state predictions using sets, generally represented by zonotopes. READ MORE

  6. 5. Probabilistic guarantees in model-checking with Time Petri Nets

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Manon Lecart; [2023]
    Keywords : Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Abstract : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. READ MORE