Essays about: "Correctness"

Showing result 6 - 10 of 351 essays containing the word Correctness.

  1. 6. Generating an Interpretable Ranking Model: Exploring the Power of Local Model-Agnostic Interpretability for Ranking Analysis

    University essay from Stockholms universitet/Institutionen för data- och systemvetenskap

    Author : Laura Galera Alfaro; [2023]
    Keywords : Explainable Artificial Intelligence; Learning To Rank; Local ModelAgnostic Interpretability; Ranking Generalized Additive Models;

    Abstract : Machine learning has revolutionized recommendation systems by employing ranking models for personalized item suggestions. However, the complexity of learning-to-rank (LTR) models poses challenges in understanding the underlying reasons contributing to the ranking outcomes. READ MORE

  3. 7. Customizable Contraction Hierarchies for Mixed Fleet Vehicle Routing : Fast weight customization when not adhering to triangle inequality

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

    Author : Martin Larsson; [2023]
    Keywords : Contraction Hierarchies; Customizable Contraction Hierarchies; Vehicle Routing Problem; Battery Electric Vehicles; Mixed Fleet; Kontraktionshierarkier; Anpassningsbara Kontraktionshierarkier; Ruttplanering; Batteridrivna elfordon; Blandad fordonsflotta;

    Abstract : As the transport industry shifts towards Battery Electric Vehicles (BEVs) the need for accurate route planning rises. BEVs have reduced range compared to traditional fuel based vehicles, and the range can vary greatly depending on ambient conditions and vehicle load. READ MORE

  4. 8. Code Synthesis for Heterogeneous Platforms

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

    Author : Zhouxiang Fu; [2023]
    Keywords : Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE

  5. 9. Construction and Evaluation of a Numerical Model for Heat Transfer in a Ladle During Pre-heating : A Finite Volume Approach to the Diffusion Equation using Julia

    University essay from KTH/Materialvetenskap

    Author : Gustaf Bjurstam; [2023]
    Keywords : Finite Volume Method; FVM; Diffusion equation; Ladle; Pre-heating; Baking; Heat equation; Heat transfer; Finita Volymmetoden; FVM; Diffusionsekvationen; Skänk; Förvärmning; Värmeledningsekvationen; Värmeledning;

    Abstract : Heat transfer is key to understanding many processes in engineering. At a steel mill heat transfer is absolutely crucial to understanding most of the processes. One such a process is the pre-heating of a freshly relined ladle. READ MORE

  6. 10. Volumetric Rendering of the Inner Coma of a Theoretically Modelled Comet for Comet Interceptor Mission

    University essay from Luleå tekniska universitet/Rymdteknik

    Author : Amal Vinod; [2023]
    Keywords : Volumetric rendering; rendering; Comet; Coma; Dust Coma; Gas Coma; Blender; Comet Interceptor;

    Abstract : The Comet Interceptor is a joint mission by European Space Agency (ESA) and Japan Aerospace Exploration Agency (JAXA) which seeks to perform a flyby over a Long Period Comet using a multi-element spacecraft. The Comet Interceptor comprises three spacecrafts- A, B1 and B2. READ MORE