Essays about: "programvaror"

Showing result 1 - 5 of 50 essays containing the word programvaror.

  1. 1. Does Rust SPARK joy? : Recommendations for safe cross-language bindings between Rust and SPARK

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

    Author : Aïssata Maiga; [2023]
    Keywords : Rust; Ada; SPARK; Foreign Function Interface FFI ; memory safety; type safety; ownership; Rust; Ada; SPARK; Gränssnitt för främmande funktioner FFI ; minnessäkerhet; typsäkerhet; ägarskap;

    Abstract : This thesis aims to provide recommendations for interfacing two memory-safe programming languages, Rust and SPARK. The comparison of Rust and C/C++, as well as SPARK and C/C++, has been thoroughly researched. However, this level of investigation hasn’t been as extensive between memory-safe languages. READ MORE

  3. 2. The path to precision : Comparison analysis of automated neural morphology reconstruction software

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

    Author : Alicia Las Heras Sánchez; Love Lindgren; [2023]
    Keywords : ;

    Abstract : The differences in the shape, form and location of neurons are closely linked to their function. Being able to accurately and efficiently reconstruct neurons digitally in a three-dimensional space is necessary for the acquisition of knowledge in this research field. READ MORE

  4. 3. Automatic Point Cloud Modelling for BIM in AEC Sector

    University essay from KTH/Geodesi och satellitpositionering

    Author : Mohamed Salih Abaker Ishag; [2022]
    Keywords : Point cloud; Laser scanning; BIM; Automatic modeling; Clash analysis; Punktmoln; Laserskanning; BIM; Automatisk modellering; Krockanalys;

    Abstract : In this research, automatic point cloud modeling strategies have been tested to find the best strategies to model walls, floors and ceilings classes in terms of processing time and accuracy. The modeling was applied on a point cloud data related to the Architecture, Engineering, and Construction field which is a point cloud of a building collected by Sweco company in Sweden. READ MORE

  5. 4. Climate declaration 2022 : A study on the impact of the climate declaration on the construction industry

    University essay from KTH/Byggteknik och design

    Author : Jonas Andersson; William Edsman; [2021]
    Keywords : Climate declaration; Boverket; LCA; Climate calculation; Climate impact; Klimatdeklaration; Färdplan 2045; Klimatberäkning; LCA; Klimatkalkyl; Klimatpåverkan; Boverket;

    Abstract : From 2022 the Swedish housing council (Boverket) is requiring that all new production houses,with a few exceptions, calculate their climate impact in a climate declaration. This is the firststep of many in order to reach climate neutrality in 2045. The plan is to set limits for maximumemissions from a building project in 2027. READ MORE

  6. 5. Framework for Project Due Diligence of Solar Photovoltaic Installations : Technical and Economical Assessment from a Lender’s Perspective

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : ALBA FORNS ALBUIXECH; WILLIAM WISEMAN; [2021]
    Keywords : Renewable Energy; Solar Photovoltaics; Due Diligence; Simulation tools; Förnybar Energi; solceller; due diligence; simuleringsverktyg;

    Abstract : Climate change is no longer a problem of the future. Climate change is global, rapid, and intensifying. A reality. READ MORE