Essays about: "statiskt analys"

Showing result 1 - 5 of 16 essays containing the words statiskt analys.

  1. 1. UCov : A Static Analysis Tool for API Usage Coverage Validation

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

    Author : Thomas Couturou; [2023]
    Keywords : Compatibility coverage; Static analysis; API; Usage pattern; Breaking changes; Kompatibilitetstäckning; Statisk analys; API; Användningsmönster; Förändringar;

    Abstract : Nowadays, all software projects are based on a large number of libraries, so they do not have to start from scratch. These libraries evolve over time, whether to add functionality or to simplify their use. These updates are necessary to improve their libraries, but can lead to errors in their clients’ code. READ MORE

  3. 2. Modelling Gas Flow Behaviour in Gas Atomizer

    University essay from KTH/Materialvetenskap

    Author : Aravind Senan Vasanthasenan Reji; [2022]
    Keywords : Gas atomization; Nozzle; Velocity; Static pressure; Discrete phase model; Gasatomisering; Munstycke; Hastighet; Statiskt tryck; Diskret fasmodell;

    Abstract : Gas atomization is regarded as a reliable method for creating high-quality metal powders from molten metal. The liquid metal is fed into the chamber as a free-falling stream through a nozzle, where it is impinged by high-velocity gas jets, causing degeneration and production of metal droplets, which solidify to create metal powders. READ MORE

  4. 3. Polarizability and Orientation Dynamics of Small Proteins

    University essay from Uppsala universitet/Materialteori

    Author : Ebba Koerfer; [2022]
    Keywords : Protein orientation; single-particle imaging; polarizability; orientation dynamics; rigid rotor model;

    Abstract : Proteins often carry an intrinsic electric dipole moment, which can interact with external electric fields and cause protein motion. Previous research has found that the orientation of small proteins in gas phase can be controlled in a static electric field. READ MORE

  5. 4. Contributions to the usability of Sorald for repairing static analysis violations

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

    Author : Henry Luong Phu; [2021]
    Keywords : Software quality; static analysis; rule violation; automated repair; Kvalitetssäkring; statiskt analys; regelbrott; automatisk reparation;

    Abstract : Automated static analysis tools are important in modern software quality assurance. These tools scan the input source or binary code for a set of rules to detect functional or maintainability problems and then warn developers about the found rule violations. READ MORE

  6. 5. Analysis of the effect of latent dimensions on disentanglement in Variational Autoencoders

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

    Author : Joakim Dahl; [2021]
    Keywords : ;

    Abstract : Disentanglement is a subcategory to Representaton learning where we, apart from believing that useful properties can be extracted from the data in a more compact form, also envision that the data itself is constituted from a lower-dimensional subset of explanatory factors. Explanatory factors are an ambiguous concept and what they portray varies with the dataset. READ MORE