Sökning: "Spark Man"

Visar resultat 1 - 5 av 25 uppsatser innehållade orden Spark Man.

  1. 1. Historiska källor på mellanstadiet : En studie om hur historielärare samtalar om och arbetar med källor i historieundervisningen

    Uppsats för yrkesexamina på avancerad nivå, Karlstads universitet/Institutionen för samhälls- och kulturvetenskap (from 2013)

    Författare :Robert Lorentzen; [2023]
    Nyckelord :Historiska källor; historiskt källmaterial; källkritik; historisk tänkande; historieundervisning; historielärare; absolut källkritik.;

    Sammanfattning : The encounter with historical artifacts can spark historical questions and create a connection to the past, arousing curiosity and a desire to understand the historical context. This power can be harnessed in history education, where learning to question, interpret, and use historical sources is essential to developing historical literacy. LÄS MER

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

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Aïssata Maiga; [2023]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. Tool to assess the cost of hydrogen considering its supply chain : A case study of Germany, France and Spain until 2030

    Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :Afonso Canha; Pietro Dogliani; [2023]
    Nyckelord :Hydrogen; Hydrogen supply chain; LCOH; Hydrogen production; Hydrogen storage; Hydrogen transportation; Vätgas; Vätgas försörjningskedjan; LCOH; Vätgasproduktion; Vätgaslagring; Vätgastransport;

    Sammanfattning : Hydrogen is envisioned to become a fundamental energy vector within the decarbonization of the energy systems. Despite already being employed in several industries, its production comes almost completely from processes based on fossil fuels. LÄS MER

  5. 4. Nyfikenhet, uppmärksamhet och displayer : Hur man med hjälp av en interaktiv offentlig display väcker människors intresse till att fortsätta interagera med en tjänst

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för informationsteknologi

    Författare :Miriam Kalicinski; Sofie Bilberg; [2022]
    Nyckelord :Intresseväckande; uppmärksamhet; interaktiva offentliga displayer; User Experience Design;

    Sammanfattning : Många saker i människans vardag konkurrerar om att fånga våran uppmärksamhet. På grund av detta kan det tillkomma svårigheter i att upprätthålla både den medvetna samt omedvetna uppmärksamheten. Uppmärksamheten är dock nära sammankopplad till känslan av intresse och kan öka när människan upplever något som intressant. LÄS MER

  7. 5. Hur vi skapar en mer ekologiskt hållbar trädgård : med inspiration från skogen

    Kandidat-uppsats, SLU/Dept. of Biosystems and Technology (from 130101)

    Författare :Elin Granstrand; Evelina Lund; [2022]
    Nyckelord :Skogsträdgård; biologisk mångfald; ekologisk hållbarhet; ekosystem; ekosystemtjänster; trädgård;

    Sammanfattning : Syftet med denna studie var att upplysa trädgårdsägare om den potential som trädgårdsytorna har att öka den biologiska mångfalden. Vi hoppas detta ska väcka intresse, kanske också en känsla av ansvar, för att själv skapa en mer hållbar trädgård. LÄS MER