Sökning: "verifikation"

Visar resultat 1 - 5 av 70 uppsatser innehållade ordet verifikation.

  1. 1. HasLin - ett DSL för linjär algebra

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Adam Eliasson; Daniel Nikoalev; Filip Nordmark; Sebastian Sjögren; Linus Sundkvist; [2023-03-03]
    Nyckelord :Haskell; DSL; Linjär algebra; Agda; pedagogik; bevis;

    Sammanfattning : Matematik är en viktig del av datavetenskap och ett vanligt förekommande ämne på teknikinriktade program på universitet är linjär algebra. Om matematik tolkas inom kontexten av ett domänspecifikt språk kan klyftan mellan matematik och datavetenskap överbryggas. LÄS MER

  3. 2. Method Development & Analysis of Seals using FEM

    Master-uppsats, KTH/Maskinkonstruktion

    Författare :Lovisa Svanborg Östlin; [2023]
    Nyckelord :FEM; guidelines; hyperelastic materials; hyperelastic material models; method development; seals; FEM; riktlinjer; hyperelastiska material; hyperelastiska materialmodeller; metodutveckling; tätningar;

    Sammanfattning : Hyperelasticity is a significant property of rubber, taken advantage of in engineering applications. A common application is the use of seals to prevent fluid transfer (liquid or gas) between solid regions. Volvo CE is often depending on external supplier when developing seals. LÄS MER

  4. 3. The Pursuit of Less : En kvalitativ multimodal analys av hur modeföretaget Asket använder CSR-kommunikation för att skapa legitimitet

    Kandidat-uppsats, Jönköping University/HLK, Medie- och kommunikationsvetenskap

    Författare :Alva Franzén; Filippa Lindberg; [2023]
    Nyckelord :CSR-kommunikation; Legitimitet; Asket; Modebranschen;

    Sammanfattning : En bransch som associeras med bristande hållbarhet är modebranschen eftersom arbetskraft och naturresurser vanligtvis utnyttjas på ett icke hållbart sätt. Under 2000-talet har medvetenheten angående hållbarhet inom modeindustrin ökat. LÄS MER

  5. 4. Evaluation of probabilistic forecasts in Uppsala and its potential use in winter road maintenance

    Master-uppsats, Uppsala universitet/Luft-, vatten- och landskapslära

    Författare :Elisabet Johansson; [2023]
    Nyckelord :forecast evaluation; ensemble system; MetCoOp; winter road maintenance; snow removal; utvärdering; ensembelprognos; MetCoOp; snöröjning; vinterväghållning;

    Sammanfattning : Efficient winter road maintenance is crucial for safety and societal function during the winter months in Sweden. This report aims to evaluate the MetCoOp ensemble system CMEPS and investigate its potential use as a basis for formulating criteria for snow removal that accounts for forecasted weather. LÄS MER

  7. 5. Users Attitudes on Changing Anonymity on Social Media

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

    Författare :Simon Toblad; [2023]
    Nyckelord :anonymity; social media; moderation; self-moderation; accountability; safety; verification; communication; anonymitet; sociala medier; moderation; självmoderering; ansvarighet; säkerhet; verifikation; kommunikation;

    Sammanfattning : Anonymity on social media is a complex topic that has garnered attention from politicians and legislators alike. However, the opinions of end users on this matter have not been given due consideration. LÄS MER