Sökning: "equivalence types"

Visar resultat 1 - 5 av 25 uppsatser innehållade orden equivalence types.

  1. 1. Polymer gel dosimetry - Using MRI-readout, simplified relatively non-toxic mixing procedure tested on FLASH

    Master-uppsats, Lunds universitet/Sjukhusfysikerutbildningen

    Författare :Maria Blomstedt; [2022]
    Nyckelord :Medicine and Health Sciences;

    Sammanfattning : Background: One of the polymer gel dosimeters available today is the N-isopropylamide (NIPAM) polymer gel dosimeter which has a less toxic monomer compared to other polymer gels and the advantage of being able to be manufactured under normal oxygen levels. Polymer gel dosimeters in general are advantageous independent dosimeters to use for verification of new radiation treatment techniques due to its favorable qualities such as very high resolution, 3D coverage, tissue equivalence and independence of energy and incident direction of the radiation beam. LÄS MER

  3. 2. Formalisation of Polynomials in Cubical Type Theory Using Cubical Agda

    Kandidat-uppsats, Stockholms universitet/Matematiska institutionen

    Författare :Carl Åkerman Rydbeck; [2022]
    Nyckelord :;

    Sammanfattning : We formalise polynomials over commutative rings in cubical type theory using Cubical Agda as proof assistant. On the basis of a formalisation of polynomials as number sequences with only a finite number of non-zero values, we use higher inductive types to formulate a list-based definition using two point constructors and two path constructors. LÄS MER

  4. 3. Brunnars påverkan på cyklisters körbeteende : En kvantitativ undersökning kring cyklisters körbeteende vid passage av brunnslock på dubbelriktade cykelbanor

    Kandidat-uppsats, KTH/Transportplanering

    Författare :Simon Jändel; Albin Kvarnefalk; [2021]
    Nyckelord :available width; bicycle; bicycle path; bi-directional bicycle path; chi-2 test; comfort; edge; lateral position; level difference; logistic regression; manhole cover; pavement; smoothness; beläggning; brunnslock; chi-2 test; cykel; cykelbana; dubbelriktad cykelbana; jämnhet; kabelbrunn; kant; komfort; manhålsbrunn; logistisk regression; nivåskillnad; sidledsposition; tillgänglig bredd;

    Sammanfattning : För att uppnå ett hållbart samhälle krävs en omställning av transportsystemet. Region Stockholmsmålsättning är att andelen cykelresor ska mer än dubbleras till år 2030 och stå för 20% av alla resor ilänet. Bristande underhåll och dålig utformning på cykelbanor står för ca 60% av allvarligasingelolyckor på cykel. LÄS MER

  5. 4. Metametaprogramming for Java with Spoon

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

    Författare :Andrew Bwogi; [2021]
    Nyckelord :;

    Sammanfattning : Metaprogramming is used to abstract away complicated code by o˙ering a more intuitive interface that automatically generates it. Spoon and ASM are two metaprogram libraries for Java that operate on programs at source code and bytecode level respectively. LÄS MER

  7. 5. Can things be defective products? - An analysis of the Product Liability Directive applied to IoT

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Felicia Johansson; [2021]
    Nyckelord :EU law; EU-rätt; IT law; IT-rätt; Internet of Things; Product Liability; Law and Political Science;

    Sammanfattning : The number of products equipped with sensor and network capabilities has risen in recent years and continues to increase. These products, part of the Internet of Things (IoT), bring about new ways for products intended for private use to malfunction and cause personal injury and property damage. LÄS MER