Essays about: "förfina"

Showing result 1 - 5 of 55 essays containing the word förfina.

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

    University essay from KTH/Hållbar utveckling, miljövetenskap och teknik

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

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

    Abstract : 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. READ MORE

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

    University essay from KTH/Tillämpad fysik

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

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för industriell teknik och management (ITM)

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

    Abstract : 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. READ MORE

  6. 5. Velocity Obstacle method adapted for Dynamic Window Approach

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Florian Coissac; [2023]
    Keywords : Autonomous navigation; Local planning; Dynamic obstacle avoidance; ROS; Autonom navigering; Lokal planering; Dynamiskt undvikande av hinder; ROS;

    Abstract : This thesis project is part of an internship at Visual Behavior. The company aims at producing computer vision models for robotics, helping the machine to better understand the world through the camera eye. The image holds many features that deep learning models are able to extract: navigable area, depth inference and object detection. READ MORE