Sökning: "semantik exempel"

Visar resultat 1 - 5 av 13 uppsatser innehållade orden semantik exempel.

  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. Laag och rätt styrer Herre och Knecht. En undersökning inom kognitiv semantik av flerordslemman i ordspråkslexikonet Penu proverbiale (1665)

    Magister-uppsats, Göteborgs universitet/Institutionen för svenska, flerspråkighet och språkteknologi

    Författare :Katarina Albrektson; [2022-09-15]
    Nyckelord :ordspråkslexikon; Christopher Larsson Grubb; ordspråk; kognitiv semantik;

    Sammanfattning : Ordspråkslexikonet Penu proverbiale (1665) skrevs av ämbetsmannen och språkforskaren Christopher Larsson Grubb. Verket innehåller sammanlagt 3915 artiklar. Alla artiklar börjar med ett flerordslemma i form av ett ordspråksliknande uttryck. LÄS MER

  4. 3. Automated inference of ACSL function contracts using TriCera

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

    Författare :Jesper Amilon; [2021]
    Nyckelord :Formal Verification; Contract inference; Hoare Logic; Model Checking; Horn clauses; Formell verifikation; Kontraktgenerering; Formell semantik; Hoare logik; Modellprovning; Horn clauses;

    Sammanfattning : This thesis explores synergies between deductive verification and model checking, by using the existing model checker TriCera to automatically infer specifications for the deductive verifier Frama-C. To accomplish this, a formal semantics is defined for a subset of ANSI C, extended with assume statements, called Csmall. LÄS MER

  5. 4. A Heuristic Approach based on Prioritized Quality Attributes for the Evolutionary Architecting of Automotive Embedded Systems

    Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :Harikrishnan Radhakrishnan; [2019]
    Nyckelord :;

    Sammanfattning : Over the years, vehicles have become very complex systems involving multiple domains of engineering. This is mainly due to the advent of electronics and its use in the automotive industry. Electronically controlled systems offer much more flexibility and reliability compared to conventional mechanical systems. LÄS MER

  7. 5. Recognizing Semantics in Human Actions with Object Detection

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Oscar Friberg; [2017]
    Nyckelord :Convolutional; Neural Networks; Artificial; Computer; Vision; Human; Action; Recognition; Faltnings; Neurala nätverk; Artificiell; Dator; Seende; Mänsklig; Aktivitet; Igänkänning;

    Sammanfattning : Two-stream convolutional neural networks are currently one of the most successful approaches for human action recognition. The two-stream convolutional networks separates spatial and temporal information into a spatial stream and a temporal stream. LÄS MER