Sökning: "thune"

Visar resultat 1 - 5 av 20 uppsatser innehållade ordet thune.

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

  3. 2. Valpars näringsbehov - vad blir konsekvenserna av felaktig utfodring

    Kandidat-uppsats, SLU/Dept. of Animal Environment and Health

    Författare :Kristina Thune; [2022]
    Nyckelord :Feeding; growth; nutritional requirements; nutrition; pediatric nutrition; improper feeding; skeletal and joint problems;

    Sammanfattning : The nutrient requirement for puppies is affected by the age and size of the dog. The nutritional requirements for growing individuals are higher than for adult dogs. They have a higher requirement of energy, protein, calcium, and phosphorous to be able to grow and develop. LÄS MER

  4. 3. Elevinflytande i musikämnet : Får eleverna vara med och påverka innehållet?

    Uppsats för yrkesexamina på grundnivå, Umeå universitet/Institutionen för tillämpad utbildningsvetenskap

    Författare :Roger Johansson Thuné; [2021]
    Nyckelord :demokratiska värden; delaktighet; motivation;

    Sammanfattning : Skolan har i uppdrag att förbereda eleverna för att delta i vårt gemensamma samhälle. Läroplanen lyfter att ett sätt att jobba mot detta mål är genom att ge eleven inflytande för att motivera eleven att finna viljan att ta ansvar för sina studier. 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. Elektrifiering av utskovsluckor : En fallstudie vid Lilla Ursen

    Uppsats för yrkesexamina på avancerad nivå, Mälardalens högskola/Akademin för ekonomi, samhälle och teknik

    Författare :Felicia Thune; [2019]
    Nyckelord :Off-grid; solceller; Arkimedes skruv; strömkraft; vindkraft; MATLAB; simulering; utskovslucka; dammlucka; regleringsdamm; underhållsbehov;

    Sammanfattning : Stand-alone or micro off-grid systems can be used to electrify remote areas when it is not economically justifiable to connect to the power grid. In Sweden there are several flood gates that are used to regulate the water level in hydropower dams, these dams are not always easily accessible. LÄS MER