Now showing items 237-256 of 268

  • Techniques in parameterized algorithm design 

    Sloper, Christian (The University of Bergen, 2006-03-06)
    In this thesis we give a novel classification of techniques for designing parameterized algorithms, together with research publications applying these techniques, in particular Crown Decompositions, to various problems. In ...
    Doctoral thesis
  • Testing with Concepts and Axioms in C++ 

    Bagge, Anya Helene; David, Valentin; Haveraaen, Magne (University of Bergen, Department of Informatics, 2008-10)
    Modern development practices encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation. Such tests are typically case-based, checking a likely ...
    Research report
  • Throughput and robustness of bioinformatics pipelines for genome-scale data analysis 

    Sztromwasser, Paweł (The University of Bergen, 2014-02-19)
    The post-genomic era has been heavily influenced by the rapid development of highthroughput molecular-screening technologies, which has enabled genome-wide analysis approaches on an unprecedented scale. The constantly ...
    Doctoral thesis
  • TMM@: a web application for the analysis of transmembrane helix mobility 

    Skjærven, Lars; Jonassen, Inge; Reuter, Nathalie (BioMed Central, 2007-07-02)
    Background: To understand the mechanism by which a protein transmits a signal through the cell membrane, an understanding of the flexibility of its transmembrane (TM) region is essential. Normal Mode Analysis (NMA) has ...
    Journal article
  • Tournaments and Optimality: New Results in Parameterized Complexity 

    Pilipczuk, Michal Pawel (The University of Bergen, 2013-11-22)
    Doctoral thesis
  • (Towards an) Implementation of a Graphical Editor for Diagrammatic Predicate Logic in the Eclipse Platform 

    Skjerveggen, Stian (The University of Bergen, 2008)
    The primary goal of this master's thesis is to explore how the Eclipse Platform can be beneficial for the Generic Diagrammatic Software Specification project, and how a graphical editor in the Eclipse Platform can be put ...
    Master thesis
  • Towards Efficient Algorithms in Algebraic Cryptanalysis 

    Schilling, Thorsten Ernst (The University of Bergen, 2012-08-09)
    Doctoral thesis
  • Towards Optimal Data Transmission by Network Coding 

    Ravanbakhsh, Mohammad (The University of Bergen, 2009-12-16)
    Communication protocols based on coded schemes and, in particular, network coding promise increased efficiency for future networks. The field is still young. Nevertheless, many important results have been already obtained. ...
    Doctoral thesis
  • Towards Privacy Managment of Information Systems 

    Drageide, Vidar (The University of Bergen, 2009-06-02)
    This masters thesis provides insight into the concept of privacy. It argues why privacy is important, and why developers and system owners should keep privacy in mind when developing and maintaining systems containing ...
    Master thesis
  • Trådløse applikasjoner til hjelp for synshemmede 

    Maldonado, Isabel Chambi (The University of Bergen, 2008)
    Det eksisterer fremdeles grupper i dagens teknologiske samfunn som trenger hjelpemidler for å utføre dagligdagse oppgaver. Det er fremdeles enkelte i dagens teknologiske samfunn som trenger hjelpemidler for å utføre ...
    Master thesis
  • Two-tensor Fiber Tractography 

    Bergmann, Ørjan; Kindlmann, Gordon; Peled, Sharon; Westin, Carl-Fredrik (IEEE, 2007)
    Estimating white matter fiber pathways from a diffusion tensor MRI dataset has many important applications in medical research. However, the standard approach of performing tracking on single-tensor estimates per voxel is ...
    Peer reviewedJournal article
  • A type system for counting instances of software components 

    Bezem, Marcus A.; Hovland, Dag; Truong, Anh Hoang (Elsevier, 2012)
    We identify an abstract language for component software based on process algebra. Besides the usual operators for sequential, alternative and parallel composition, it has primitives for instantiating components and for ...
    Peer reviewedJournal article
  • A Type System for the Safe Instantiation of Components 

    Bezem, Marcus A.; Truong, Anh Hoang (Elsevier B.V., 2003-09-02)
    Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component ...
    Journal article
  • A Type System for Usage of Software Components 

    Hovland, Dag (Springer, 2009)
    The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ...
    ChapterPeer reviewed
  • Type Systems for Guaranteeing Resource Bounds of Component Software 

    Truong, Anh Hoang (The University of Bergen, 2006-05-15)
    Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...
    Doctoral thesis
  • Type Systems for Resource Use in Component Software 

    Hovland, Dag (The University of Bergen, 2006)
    In many situations a programmer must be concerned with resources which are not accounted and controlled completely by the programming language. These could be external physical resources, like a printer or a screen, it ...
    Master thesis
  • User-configurable, high-level transformations with CodeBoost 

    Kalleberg, Karl Trygve (The University of Bergen, 2003)
    Scalable design of large applications requires domain-specific, high-level abstraction. Classically, there has been a tension between abstraction and good performance. We demonstrate how to overcome this tension by ...
    Master thesis
  • Utvidelse og formell sikkerhetsanalyse av Dynamic Presentation Generator 

    Vines, Aleksander (The University of Bergen, 2013-05-02)
    Oppgaven omhandler sikkerhetsproblematikk i Dynamic Presentation Generator og undersøker muligheten for å bruke en single-sign-on via Mi side.
    Master thesis
  • Vekthierarkiet for nokre kodeklassar 

    Winjum, Eli (The University of Bergen, 1995)
    Master thesis
  • A Vertex Incremental Approach for Maintening Chordiality 

    Berry, Anne; Heggernes, Pinar; Villanger, Yngve (Elsevier, 2006)
    Journal article