Sökning: "program synthesis"

Visar resultat 1 - 5 av 57 uppsatser innehållade orden program synthesis.

  1. 1. Nanoparticle synthesis analysis : Program for data visualization and cluster analysis of nanoparticle synthesis protocols

    Kandidat-uppsats, Uppsala universitet/Institutionen för elektroteknik

    Författare :Emil Juviken Hultman; Jacob Signeul; Lucas Lindborg; Eskil Silfur; [2023]
    Nyckelord :Dataanalysverktyg;

    Sammanfattning : As energy demands rise across the globe, new clean energy solutions must be developed. Peafowl Plasmonics is developing a direct solar harvesting device using plasmonic technology. To expand their business and increase manufacturing scalability, nanoparticle synthesis protocols must be made. LÄS MER

  3. 2. The Wealth of Moral Sentiments : En studie av Adam Smiths syn på lönearbete

    Magister-uppsats, Malmö universitet/Fakulteten för lärande och samhälle (LS)

    Författare :Richard Jönsson; [2023]
    Nyckelord :;

    Sammanfattning : My ambition in the midst of the myriad of conflicting views in Smith scholarship has been to examine Smith’s perspective on wage labour, as formulated in The Wealth of Nations, in light of previous research, the historical context, his moral psychology described in The Theory of Moral Sentiments, and his presentation of rights developed in Lectures on Jurisprudence. Therefore, the central question has been, “How did Adam Smith perceive wage labour?” Since The Wealth of Nations was formulated in a specific historical context - which has come to be known as the Scottish Enlightenment -, it is necessary to approach the text with an understanding of these historical conditions in order to grasp Smith's economic theory. LÄS MER

  4. 3. Strategy Synthesis for Multi-Agent Games of Imperfect Information

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

    Författare :Andres Guerrero Rodriguez; Rahnama Safdari; [2023]
    Nyckelord :;

    Sammanfattning : This project focuses on strategy synthesis for multi-agent games of imperfect information. The aim ofthis project is to identify strategies for two games of interest. We utilize a program from a previousbachelor thesis to transform the games. LÄS MER

  5. 4. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

    Författare :Hovig Manjikian; [2023]
    Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Sammanfattning : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. LÄS MER

  7. 5. Grönska i stadens små rum : omgestaltning av en lastgata till gröna vistelseytor på Norrmalm, Stockholm

    Uppsats för yrkesexamina på avancerad nivå, SLU/Dept. of Urban and Rural Development

    Författare :Elsa Drettner; [2023]
    Nyckelord :fickparker; förtätning; urban grönska; sociala mötesplatser; stockholms arkitekturpolicy;

    Sammanfattning : Sverige är ett av Europas mest glesbefolkade länder. Samtidigt står delar av Stockholm för de absolut mest tätbefolkade områdena i Europa. Stockholms innerstad har en genomsnittlig befolkningstäthet på över 9000 invånare per kvadratkilometer, och en del av Södermalm utgör den sjätte mest tätbefolkade kvadratkilometern i hela Europa. LÄS MER