Essays about: "functional annotation"

Showing result 1 - 5 of 16 essays containing the words functional annotation.

  1. 1. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

    Author : Hovig Manjikian; [2023]
    Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE

  3. 2. Comparative genomics of Central Arctic Ocean microbiota for observation of Alternative Carbon Fixation Pathways

    University essay from Uppsala universitet/Institutionen för biologisk grundutbildning

    Author : Kaavya Venkateswaran; [2023]
    Keywords : comparative genomics; microbial ecology; bioinformatics; carbon fixation; pangenomics;

    Abstract : The Central Arctic Ocean is a repository of rich and diverse biota, whose major portion is one of the most important drivers of global biogeochemical cycles, including carbon cycling. In this study, the functional potential of the microbiota to fix carbon with alternative carbon fixation pathways were investigated along with their chemolithotrophic characteristics. READ MORE

  4. 3. Automatic Generation Of Graphical Editors From Graphical Notation Specifications

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Joakim Korhonen; Gloria Ninsiima; [2023]
    Keywords : ;

    Abstract : The use of graphical editors in model-driven engineering has increased as they simplify the design of domain systems by allowing users to manipulate elements using diagrams. This helps developers by elaborating systems and making them easier to analyze with visual representations and with less coding. READ MORE

  5. 4. Structural variation identification in non-reference cattle breed genomes

    University essay from Uppsala universitet/Institutionen för biologisk grundutbildning

    Author : Jenny Jakobsson; [2021]
    Keywords : ;

    Abstract : Cattle are essential for the global food industry through the meat and milk production. It is from an economical point of view in our best interest to make cattle as efficient as possible, whether it is milk or beef production, without negatively influencing their health and welfare. READ MORE

  6. 5. Identification of novel loss of heterozygosity collateral lethality genes for potential applications in cancer

    University essay from Uppsala universitet/Institutionen för biologisk grundutbildning

    Author : Margus Veanes; [2021]
    Keywords : biology; oncology; structural; genetics; bioinformatics; cancer;

    Abstract : Over the course of this project, I demonstrate the utility of a 4-phase analysis pipeline in the context of cancer therapy and the associated search for antineoplastic drug candidates. I showcase a repeatable means for generating lists of potential targets which may be used in conjunction with methods like small molecule screening as part of a search for broadly effective antineoplastic agents. READ MORE