Sökning: "Anders Enkel"

Visar resultat 1 - 5 av 22 uppsatser innehållade orden Anders Enkel.

  1. 1. Vart är jag på väg, hur är jag på väg & vad är mitt nästa steg?

    Uppsats för yrkesexamina på avancerad nivå, Malmö universitet/Institutionen för samhälle, kultur och identitet (SKI)

    Författare :Batol Alawieh; Emil Hansen; [2023]
    Nyckelord :Bedömning; formativ bedömning; kamratbedömning; prestation; summativ bedömning; återkoppling.;

    Sammanfattning : Examensarbetets syfte är att belysa lärande bedömning i pedagogiska miljöer, såsom i bildklassrummet. Detta undersöker vi genom en kvalitativ gruppintervju med fyra elever och två bildlärare, om hur bedömning upplevs och vilka svårigheter elever samt lärare bemöter. LÄS MER

  3. 2. An Arrow Metalanguage for Partially Invertible Computation

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

    Författare :Anders Ågren Thuné; [2023]
    Nyckelord :Reversible computation; Domain-specific languages; Arrows; Partial invertibility; Reversibel beräkning; Domänspecifika språk; Arrows; Partiell inverterbarhet;

    Sammanfattning : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. LÄS MER

  4. 3. Galactic Dynamics and the spread of Galactic Civilisations

    Kandidat-uppsats, Lunds universitet/Astronomi - Genomgår omorganisation

    Författare :Markus Strickert; [2020]
    Nyckelord :Physics and Astronomy;

    Sammanfattning : Abstract The idea of the spread of life through the galaxy is, in most minds, considered science fiction. Yet, scientists argue that most galaxies have had more than enough time for civilisation development and space travel. LÄS MER

  5. 4. Extracting scalable program models for TLA model checking

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

    Författare :Anders Ågren Thuné; Theo Puranen Åhfeldt; [2020]
    Nyckelord :;

    Sammanfattning : Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number of systems and program verification tools for dealing with temporal logic have been developed. LÄS MER

  7. 5. Påverkan av bergstunnel på ovanförliggande jordlager : Modellering av geologi, grundvattenmagasin och Kista Science City VA-tunnel

    Uppsats för yrkesexamina på avancerad nivå,

    Författare :Anders Thufvesson Retzner; [2019]
    Nyckelord :MODFLOW-USG; tunnel leakage; groundwater modeling; MODFLOW-USG; tunnelläckage; grundvattenmodellering;

    Sammanfattning : För att uppskatta inläckage till en bergförlagd tunnel finns ett antal analytiska modeller som tar hänsyn till parametrar som hydraulisk konduktivitet, storlek på tunnel och hur djupt tunneln är förlagd. Ett antagande i samtliga analytiska modeller är en homogen och isotrop geologi. LÄS MER