Sökning: "manuelt"

Visar resultat 1 - 5 av 6 uppsatser innehållade ordet manuelt.

  1. 1. 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

  3. 2. Den pedagogiska måltiden som lärandetillfälle för barn med invandrarbakgrund i förskolan : En observationsstudie om pedagogers interaktion med barnen under lunchen

    Uppsats för yrkesexamina på grundnivå, Karlstads universitet

    Författare :Therese Strömberg; [2021]
    Nyckelord :matsituationer; förskola; flerspråkighet; sociokulturellt perspektiv;

    Sammanfattning : Det här arbetet jämför två förskolor inom samma stad under sammanlagt fem observationer som utförts under matsituationerna i vardera förskola. Syftet är att undersöka huruvida barn med ett annat modersmål än det svenska uppmuntras och ges utrymme i skolan för sina egna modersmål, eller om det är en situation i förskolansom inte används som en lärandesituation. LÄS MER

  4. 3. Utvärderingsprogram för radomer

    Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Olov Eklund; [2019]
    Nyckelord :;

    Sammanfattning : Under 1930-talet utvecklades RADAR (Radio Detection and Ranging) av många länder samtidigt och oberoende av varandra. Radarn utvecklades för att kunna upptäcka fientliga objekt, till exempel flygplan. Ett problem var att radarantennen utsätts för väder, vind och andra miljörelaterade påfrestningar. LÄS MER

  5. 4. Automated Take-ups : The effects of replacing a manual operation for  anautomated financial system within Clearing Services

    Master-uppsats, KTH/Industriell ekonomi och organisation (Inst.)

    Författare :Anders Bea; [2016]
    Nyckelord :automatiska take-ups; automatisering; manuelt; clearing; bank; projekt analys;

    Sammanfattning : Within the banking industry many tasks, that previousrelied upon by manual labour is continuously being exchangedfor automated solutions. With the update in themethod of performing services through advanced software,benefits such as decrease in cost, increase in handling capacityor decrease in management delay come into focus. LÄS MER

  7. 5. Genetic Algorithms in the Brill Tagger : Moving towards language independence

    Magister-uppsats, Avdelningen för datorlingvistik

    Författare :Johannes Bjerva; [2013]
    Nyckelord :Genetic Algorithms; Language Independent Part-of-Speech Tagging; Transformation-Based Learning; Genetiska Algoritmer; Språkoberoende Ordklasstaggning; Transformationsbaserad Inlärning; Genetiske Algoritmer; Språkuavhengig Ordklasstagging; Transformasjonsbasert Innlæring;

    Sammanfattning : The viability of using rule-based systems for part-of-speech tagging was revitalised when a simple rule-based tagger was presented by Brill (1992). This tagger is based on an algorithm which automatically derives transformation rules from a corpus, using an error-driven approach. LÄS MER