Sökning: "uttrycksfull"

Visar resultat 1 - 5 av 18 uppsatser innehållade ordet uttrycksfull.

  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

  2. 2. Secure Self-Reconfiguring Services to Mitigate DoS Attacks

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

    Författare :Silvan Zeller; [2019]
    Nyckelord :Rule-Based IDS; Runtime Verification; Domain Attacks; Self-Reconfiguring Systems;

    Sammanfattning : Protecting web services from cyber attacks is a complex problem requiring many layers of defense and mitigation strategies. Out of the diverse range of attacks, denial of service (DoS) attacks on the business logic – or the domain – are poorly studied and no widely accepted general-purpose software product to prevent these attacks exists today. LÄS MER

  3. 3. ”Timing - Vad är det och hur blir jag bra på det?" - En intervjustudie om begreppet timing i afroamerikanska musikstilar

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Musikhögskolan i Malmö

    Författare :Erik Stenlund; [2019]
    Nyckelord :Afroamerikansk musik; Musikalisk timing; Musikpedagogik; Sväng; Musikalisk utveckling; Afro-American music; Musical timing; Timing; Time; Groove; Utbildningsvetenskap; Educational Science; Music Education; Performing arts; Social Sciences; Social Sciences; Performing Arts;

    Sammanfattning : Timing är ett begrepp som är vanligt förekommande och högt värdesatt inom den afroamerikanska musiken. Trots det tycks det inte finnas en klar gemensam uppfattning kring vad begreppet egentligen innebär och i jämförelse med andra musikaliska element tycks även undervisningsmetodik i ämnet vara eftersatt. LÄS MER

  4. 4. Hybrid Semantics in Equation-Based Modeling

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

    Författare :Oscar Eriksson; [2018]
    Nyckelord :;

    Sammanfattning : Equation-based object-oriented modeling languages represent a highly composable class of modeling languages. In these languages models are expressed as differential-algebraic equations with no explicit causal relation between variables. LÄS MER

  5. 5. PAWMOJI: Emotionally Expressive Avatar for the Quantified Pet Users

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

    Författare :Mehmet Faik Marasligil; [2018]
    Nyckelord :Avatar Interfaces; Quantified Pet; Activity Tracker; Human- Pet-Computer Interaction;

    Sammanfattning : The primary aim of this study is to investigate the impact of an avatar to dog’s daily pet care for the quantified pet users. Furthermore, it explores the design challenges of creating a dog-like avatar for Human-Pet-Computer Interaction. LÄS MER