Sökning: "constructor"

Visar resultat 6 - 10 av 95 uppsatser innehållade ordet constructor.

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

  3. 7. Avbeställningsrätt i entreprenader reglerade av AB 04

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

    Författare :Hilda Jeppsson; [2022]
    Nyckelord :Avtalsrätt; entreprenadrätt; avbeställning; Law and Political Science;

    Sammanfattning : I en entreprenad reglerad av AB 04 har beställaren rätt att förändra entreprenörens kontraktsåtagande. Beställaren kan förändra kontraktsåtagandet på två sätt: genom föreskrivna ÄTA-arbeten samt genom avbeställning. Avbeställningsrätten är inte reglerad i AB 04. LÄS MER

  4. 8. From Champagne showers to the back of the grid: A case study of Williams Racing

    Magister-uppsats, Lunds universitet/Företagsekonomiska institutionen

    Författare :Mirza Bander; Yasmine Hartvig; Caoimhe O'Sullivan; [2021]
    Nyckelord :Brand heritage; Heritage brand; Brand identity; Brand reputation; Formula 1; Brand Management; Sponsorship; Business and Economics;

    Sammanfattning : Williams is a long standing, family owned and operated Formula 1 team. Their track record of success is closely tied to their status as a skilled and independent constructor in a highly competitive and monetized sport. When founder Frank Williams steps aside and his daughter Claire takes over, the team struggles to produce the glory of yesteryear. LÄS MER

  5. 9. Förbättringsmöjligheter underprojekteringen med avseende på kommunikation : med avseende på kommunikation

    Master-uppsats, Luleå tekniska universitet/Institutionen för samhällsbyggnad och naturresurser

    Författare :Ellen Göransson; [2021]
    Nyckelord :communication; construction design; Big room; Integrated Concurrent Engineering; collaboration; kommunikation; projektering; Big room; Integrated Concurrent Engineering; samarbete;

    Sammanfattning : I en projektering är det många aktörer som behöver samarbeta och tillsammans med att ta fram handlingar för att producera en byggnad. Det är en komplicerad process med många infallsvinklar och åsikter som behövs ta med i beaktning innan ett välfungerande resultat kan nås. LÄS MER

  7. 10. Hampa som isoleringsmaterial : En studie av hampas isolerande egenskaper och materialets framtida möjligheter

    M1-uppsats, Linnéuniversitetet/Institutionen för byggteknik (BY)

    Författare :Kelly Lundholm; Emma Hillerbratt; [2021]
    Nyckelord :insulation; hemp; cellulose; mineral wool; turn-key contract; thermal conductivity; sound proofing; moisture resistance; fire resistance; isolering; hampa; cellulosa; mineralull; totalentreprenad; värmekonduktivitet; ljudisolering; fuktresistens; brandresistens;

    Sammanfattning : Historically, energy use in the operational phase has accounted for most of a building’s climate impact. This has been changed in recent decades because there has been a focus on developing energy-efficient buildings. A larger part of a building’s climate impact is caused by material manufacturing and production. LÄS MER