Sökning: "Förfina"

Visar resultat 1 - 5 av 98 uppsatser innehållade ordet Förfina.

  1. 1. Digital Dashboard for Enhanced Waste Management in the Stockholm Municipality : Bridging Data Insights and Sustainable Practices

    Master-uppsats, KTH/Hållbar utveckling, miljövetenskap och teknik

    Författare :Youssef Ramy Farouk Fam; [2024]
    Nyckelord :Waste management; Dashboard; Design; Digitalisation; Data visualization; Waste sorting behavior; Avfallshantering; Dashboard; Design; Digitalisering; Datavisualisering; Källsorteringsbeteende;

    Sammanfattning : The surging global trend in waste generation, currently surpassing 2 billion tons annually in cities,stands as a pressing concern amid escalating climate change threats. This master's thesis aims todesign a digital dashboard tailored to the needs of the Stockholm Municipality's waste managementsystem and its different stakeholders. LÄS MER

  3. 2. Korrelationer mellan lärares matematiklärarkunskaper och klassrumspraktiker

    Magister-uppsats, Mälardalens universitet/Akademin för utbildning, kultur och kommunikation

    Författare :Linda Wickström; [2023]
    Nyckelord :MKT; matematiklärarkunskap; kommunikativa drag; matematiska samtal; produktiva samtal;

    Sammanfattning : Studiens syfte var att utforska sambanden mellan lärares matematikkunskaper och hur de leder det matematiska samtalet i klassrummet. En kvalitativmetod användes där fyra klassrumsfilmer observerades. LÄS MER

  4. 3. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

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

    Författare :Zelin Yu; [2023]
    Nyckelord :Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Sammanfattning : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. LÄS MER

  5. 4. Determining Protein Conformational Ensembles by Combining Machine Learning and SAXS

    Master-uppsats, KTH/Tillämpad fysik

    Författare :Samuel Eriksson Lidbrink; [2023]
    Nyckelord :AlphaFold; AlphaFold2; SAXS; protein conformational ensembles; machine learning; protein conformations; reweighting; SAXS; AlphaFold; AlphaFold2; proteinkonformationsensembler; maskininlärning; proteinkonformationer; omviktning;

    Sammanfattning : In structural biology, immense effort has been put into discovering functionally relevant atomic resolution protein structures. Still, most experimental, computational and machine learning-based methods alone struggle to capture all the functionally relevant states of many proteins without very involved and system-specific techniques. LÄS MER

  7. 5. Optimal Gait Control of Soft Quadruped Robot by Model-based Reinforcement Learning

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

    Författare :Niu Xuezhi; [2023]
    Nyckelord :Quadruped Robots; Soft Robotics; Reinforcement Learning; Gait Control; Model-Based Control Optimization; Kvadrupedroboter; Mjukrobotik; Förstärkningsinlärning; Gångkontroll; Optimering av robotkontroll;

    Sammanfattning : Quadruped robots offer distinct advantages in navigating challenging terrains due to their flexible and shock-absorbing characteristics. This flexibility allows them to adapt to uneven surfaces, enhancing their maneuverability. LÄS MER