Now showing items 346-365 of 400

    • 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
    • Tight bounds for parameterized complexity of Cluster Editing 

      Fomin, Fedor; Kratsch, Stefan; Pilipczuk, Marcin; Pilipczuk, Michal Pawel; Villanger, Yngve (Dagstuhl Publishing, 2013)
      In the Correlation Clustering problem, also known as Cluster Editing, we are given an undirected graph G and a positive integer k; the task is to decide whether G can be transformed into a cluster graph, i.e., a disjoint ...
      Conference object
    • 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
    • Tools and data services registry: a community effort to document bioinformatics resources 

      Ison, Jon; Rapacki, Kristoffer; Ménager, Hervé; Kalaš, Matúš; et al., 69 authors (Oxford University Press, 2015-11-03)
      Life sciences are yielding huge data sets that underpin scientific discoveries fundamental to improvement in human health, agriculture and the environment. In support of these discoveries, a plethora of databases ...
      Journal article
    • Tournaments and Optimality: New Results in Parameterized Complexity 

      Pilipczuk, Michal Pawel (The University of Bergen, 2013-11-22)
      Doctoral thesis
    • Towards a multilevel model transformation engine 

      Johnsen, Leif Arne Røyrøy (The University of Bergen, 2017)
      Domain specific modelling languages (DSML) are usually defined through fixed level meta modelling tools such as EMF. While this is sufficient for defining languages that has no overlap with other languages, the approach ...
      Master thesis
    • Towards a Secure Framework for mHealth. A Case Study in Mobile Data Collection Systems 

      Gejibo, Samson Hussien (The University of Bergen, 2015-11-05)
      The rapid growth in the mobile communications technology and wide cellular coverage created an opportunity to satisfy the demand for low-cost health care solutions. Mobile Health (a.k.a. mHealth) is a promising health ...
      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 Correct Modelling and Model Transformation in DPF 

      Wang, Xiaoliang (The University of Bergen, 2016-06-14)
      Model-driven engineering (MDE) is a model-centric software development methodology. It promotes models as first-class entities in software de- velopment. Models are used to represent software along software devel- opment ...
      Doctoral 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