Essays about: "Plugin"

Showing result 1 - 5 of 104 essays containing the word Plugin.

  1. 1. Investigating Methods to Accelerate the Solving Process of Errors and Warnings Generated by Kotlin Compilers

    University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Author : Ege KAYIHAN; [2023]
    Keywords : Kotlin; Compiler; Error Messages; Warning Messages Enhancement; Plugin;

    Abstract : The efficiency of error messages that are generated from compilers is up to a debate by a lot of programmers. Some believe that by enhancing the error messages, it would be easier to handle errors faster. READ MORE

  3. 2. A Novel Method for Finding Overlap Depth : Development of ArtiaX, a ChimeraX plugin

    University essay from Linköpings universitet/Tillämpad matematik; Linköpings universitet/Tekniska fakulteten

    Author : Gunnar Arctaedius; [2023]
    Keywords : Cryo-electron tomography; image processing; surface visualization; overlap measurement; normal projection method; Kryoelektrontomografi; bildbehandling; ytvisualisering; överlapsmätning; normalprojektionsmetoden;

    Abstract : Visualization and image filtering are important parts of cryo-electron tomography analysis. ArtiaX, a plugin developed for UCSF ChimeraX, has been extended to improve the functionality of these two parts. For the visualization, a method of moving 3D surfaces to remove overlap between them has been developed and implemented. READ MORE

  4. 3. Triggering Ideas With Generative AI : Integrating generative AI within the early stages of the UX design process

    University essay from Uppsala universitet/Institutionen för informatik och media

    Author : Daniel Peña López; [2023]
    Keywords : ;

    Abstract : This thesis aims to investigate the potential integration of generative AI into the UX design process, particularly in its early stages, to enhance structured ideation sessions. The research-through-design methodology was employed, utilizing qualitative semi-structured interviews and contextual inquiries to inform design decisions. READ MORE

  5. 4. Automated Inference of ACSL Contracts for Programs with Heaps

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

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

  6. 5. Automatic icon placement approach for improved association & walkability on city wayfinding maps

    University essay from Lunds universitet/Institutionen för naturgeografi och ekosystemvetenskap

    Author : Sofia Apostolidou; [2023]
    Keywords : Physical Geography; Ecosystem Analysis; Cartography; Icon placement; High density; City wayfinding maps; Quality metrics; Association; Disturbance; Legibility; Cartographic guidelines; Grid algorithm; Evaluation; Multi-objective optimization; NSGA-II; Pareto front; Walkability; Geomatics; Earth and Environmental Sciences;

    Abstract : With the evolution of cartography from hand-drawn to digital maps, the task of icon placement has become increasingly complex. Nowadays there is a need to automate this process to produce high quality results in less time. READ MORE