Essays about: "deduktiv metod"

Showing result 1 - 5 of 43 essays containing the words deduktiv metod.

1. 1. From Data to Decisions: Decisive Factors Influencing Swedish IT SMEs Adoption of Business Intelligence Systems

   University essay from Uppsala universitet/Institutionen för informatik och media; Uppsala universitet/Företagsekonomiska institutionen

   Author : Shayan Nilfouroushan; Tarik Almohtasib; [2023]
   Keywords : SME; Adoption; Business Intelligence BI ; Business Intelligence Systems BIS ; Decision-making; Perceived usefulness PU ; Perceived Ease of Use PEU ; Technology Acceptance Model TAM ; The Technology Organisation Environment Framework TOEF ;

   Abstract : Research Question: Which are the decisive factors that impact the adoption of business intelligence systems (BIS) among IT SMEs in Sweden? Purpose: This paper aims to examine Swedish SMEs and understand which decisive factors have an impact on the decision makers and their adoption of BIS. This study aims to study SMEs that have already adopted BIS. READ MORE

3. 2. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

   Author : Hovig Manjikian; [2023]
   Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

   Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE

4. 3. 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

5. 4. Option Expiration Day Impact on Underlying Stock Return- A Study on the Swedish Option Market

   University essay from Lunds universitet/Företagsekonomiska institutionen

   Author : Alisa Penkina; Alan Karaduman Sorsenger; Sirwan Kakai; [2023]
   Keywords : Option Market; Open Interest; Stock Return; Delta Hedging; Option Expiration Day; Business and Economics;

   Abstract : Research questions: Is there significant change in the stock return on option expiration dates in the underlying stock? Does the net open interest have an effect on the return of the underlying stock on option expiration day? Purpose: The purpose of the bachelor's thesis is to study whether there is a significant difference in the stock returns on option expiration dates in relation to the net open interest of the underlying stocks within the OMXS30 index. Methodology: A quantitative study using a deductive approach to statistically describe the relationship between the daily stock return with open interest and traded volume. READ MORE

6. 5. The use of hyperspectral sensors for quality assessment : A quantitative study of moisture content in indoor vertical farming

   University essay from Mälardalens universitet/Akademin för innovation, design och teknik

   Author : Arezo Ahaddi; Zeineb Al-Husseini; [2023]
   Keywords : Hyperspectral Imaging; lettuce; moisture content; NIR; near-infrared spectroscopy; shelf life; quality assessment; vertical farming; MicroNIR;

   Abstract : Purpose: This research will study how hyperspectral sensoring can assess the moisture content of lettuce by monitoring its growth in indoor vertical farming. Research questions: “What accuracy can be achieved when using hyperspectral sensoring for assessing the moisture content of lettuce leaves grown in vertical farming?” “How can vertical farming contribute to sustainability in conjunction with integration of NIR spectroscopy?” Methodology: This study is an experimental study with a deductive approach in which experiments have been performed using the hyperspectral technologies singlespot sensor and the hyperspectral camera Specim FX17 to collect spectral data. READ MORE