Sökning: "Till Horn"

Visar resultat 21 - 25 av 118 uppsatser innehållade orden Till Horn.

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

  3. 22. Antibiotic resistance in Streptococcus agalactiae isolates from dairy camels in Kenya

    Uppsats för yrkesexamina på avancerad nivå, SLU/Dept. of Clinical Sciences

    Författare :Emelie Lejon Flodin; [2021]
    Nyckelord :GBS; Camelus dromedarius; tetracycline resistance; mastitis; milk; pastoralist;

    Sammanfattning : Camels (Camelus dromedarius) are the most valuable livestock species in the arid and semi-arid lands in the Horn of Africa where the majority of the human population adopts a pastoralist lifestyle with extensive animal husbandry. Camels provide an important food source, milk, which is considered to be the most important commodity, and a source of income for the pastoralists. LÄS MER

  4. 23. Beethovens valthorn : En undersökning av valthornets utveckling

    Kandidat-uppsats, Kungl. Musikhögskolan/Institutionen för klassisk musik

    Författare :Joel Jaakkola; [2021]
    Nyckelord :valthorn; naturhorn; Beethoven; Giovanni Punto; Horn sonat;

    Sammanfattning : Ludwig van Beethoven (1770-1827) skrev 1800 sin sonat för valthorn op. 17 åt den legendariske hornisten Giovanni Punto (1746-1803). Vi har länge vetat att stycket egentligen är skrivet för naturhorn men vad det egentligen innebär har för många hornister inklusive mig själv länge varit relativt oklart. LÄS MER

  5. 24. Geodesic Lens Antenna for sub-THz Imaging

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

    Författare :Joan Mitjans i Blasco; [2021]
    Nyckelord :;

    Sammanfattning : The Millimiter Wave (mmW) frequency band, characterized by a high atmospheric attenuation and wide available bandwidth has become of big interest for high accuracy radar imaging applications. The continuous development of the Monolithic Microwave Integrated Circuit (MMIC) technology yields to the appearance of different commercial-off-the-shelf (COTS) radar transceivers at that frequency band, where the antennas are fully integrated into the chip. LÄS MER

  7. 25. Optiskt flöde som verktyg för att kvantifiera rörelse hos mitokondrier

    Kandidat-uppsats, KTH/Skolan för teknikvetenskap (SCI)

    Författare :Ebba Eliasson; Karin Larsson; [2021]
    Nyckelord :;

    Sammanfattning : Mitokondrier ligger till grund för cellandningen och därmed cellernas energiproduktion. De befinner sig i ständig rörelse, vilket utifrån en energisynpunkt är ineffektivt om rörelsen helt skulle sakna funktion. LÄS MER