Essays about: "Oskar Söderberg"

Showing result 1 - 5 of 6 essays containing the words Oskar Söderberg.

  1. 1. Automated Inference of ACSL Contracts for Programs with Heaps

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

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

  3. 2. Ödrift av sportfastigheter : I samarbete med Sportfastigheter AB

    University essay from SLU/Dept. of Energy and Technology

    Author : Waldemar Andersson; Erik Backlund; Johan Maier; Oskar Söderberg; Henrik Traneus; Qiancheng Yu; Maximilian Jatzkowski; [2021]
    Keywords : biobränsle; bränslekvalitet; substansförluster; fukthalt; data analys; lagring;

    Abstract : Self-sufficient energy systems have been established as a local solution to the global increase in energy demand. This project, in collaboration with Sportfastigheter AB, aims to investigate the potential for energy self-sufficiency of sports facilities within Uppsala kommun. READ MORE

  4. 3. Activity Recogniton Using Accelerometer and Gyroscope Data From Pocket-Worn Smartphones

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

    Author : Oskar Söderberg; Oscar Blommegård; [2021]
    Keywords : Activity Recognition; Accelerometer; Gyroscope; Data collection; Data Preprocessing; Feature Selection; ANN; SVM;

    Abstract : Human Activity Recognition (HAR) is a widelyresearched field that has gained importance due to recentadvancements in sensor technology and machine learning. InHAR, sensors are used to identify the activity that a person is performing. READ MORE

  5. 4. The Seeking of a Business-Optimal Transfer Price - In accordance with the Arm's Length Principle

    University essay from Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Author : Oskar Paladini Söderberg; [2019]
    Keywords : Transfer pricing; game theory; skatterätt; international taxation law; Arm s length principle; Law and Political Science;

    Abstract : The search of a business-optimal transfer price has been going on for decades. One interesting solution aimed to, by the use of game theory, bargaining theory and transfer pricing, create a quantitative solution to optimize the global profits of a multinational enterprise. READ MORE

  6. 5. Compensating adjustments - An international perspective

    University essay from Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Author : Oskar Paladini Söderberg; [2018]
    Keywords : Skatterätt; finansrätt; fiscal law; transfer pricing; compensating adjustments; economic double taxation; Law and Political Science;

    Abstract : The purpose of this essay is to investigate if there exist any differences in the handling of compensating adjustments between Sweden and the UK and why these differences exist together with what consequences it may bring. Differences were identified, such as the fact that the UK only allows for compensating adjustments in an upward direction whilst Sweden accepts adjustments in both directions. READ MORE