Essays about: "deduktiv metod"
Showing result 1 - 5 of 43 essays containing the words deduktiv metod.
-
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 institutionenAbstract : 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
-
2. Improving the Synthesis of Annotations for Partially Automated Deductive Verification
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
3. Automated Inference of ACSL Contracts for Programs with Heaps
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
4. Option Expiration Day Impact on Underlying Stock Return- A Study on the Swedish Option Market
University essay from Lunds universitet/Företagsekonomiska institutionenAbstract : 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
-
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 teknikAbstract : 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