Now showing items 1-20 of 53

    • Abstractions for Language-Independent Program Transformations 

      Kalleberg, Karl Trygve (The University of Bergen, 2007-06-27)
      Doctoral thesis
    • Assessing and Mitigating Risks in Computer Systems 

      Netland, Lars-Helge (The University of Bergen, 2008-09-26)
      When it comes to non-trivial networked computer systems, bulletproof security is very hard to achieve. Over a system's lifetime new security risks are likely to emerge from e.g. newly discovered classes of vulnerabilities ...
      Doctoral thesis
    • Beyond the question of fixed-parameter tractability 

      Dregi, Markus Fanebust (The University of Bergen, 2017-01-06)
      Multivariate complexity is a prominent field that over the last decades has developed a rich toolbox, not only to tackle seemingly intractable problems, but also to describe the boundaries of tractability in a richer and ...
      Doctoral thesis
    • Case Studies in Constructive Mathematics 

      Parmann, Erik (The University of Bergen, 2016-01-22)
      The common theme in this thesis is the study of constructive provability: in particular we investigate aspects of finite sets and Kan simplicial sets from a constructive perspective. There are numerous definitions of ...
      Doctoral thesis
    • Characteristics of Pyrosequencing Data – Analysis, Methods, and Tools 

      Balzer, Susanne Mignon (The University of Bergen, 2013-06-17)
      The introduction of this thesis provides background knowledge on the 454 sequencing technology and a detailed review of the most relevant sequencing artifacts. Chapter 1 puts the 454 sequencing technology into a historical ...
      Doctoral thesis
    • Choice of parameter for DP-based FPT algorithms: four case studies 

      Sæther, Sigve Hortemo (The University of Bergen, 2015-09-07)
      This thesis studies dynamic programming algorithms and structural parameters used when solving computationally hard problems. In particular, we look at algorithms that make use of structural decompositions to overcome ...
      Doctoral thesis
    • Coding for passive RFID communication 

      Yang, Guang (The University of Bergen, 2012-08-31)
      This dissertation elaborates on channel coding for reliable communication in passive RFID systems. RFID applications have been developed and used widely. Since a passive RFID tag has no power requirements, passive RFID ...
      Doctoral thesis
    • Computational analysis of the evolutionary dynamics of proteins on a genomic scale 

      Hughes, Timothy (The University of Bergen, 2007-01-16)
      Biology is primarily concerned with the study of all phenotypic aspects of living organisms and evolutionary biology is more specifically interested in elucidating how different phenotypes evolved. Proteins (and RNA ...
      Doctoral thesis
    • Cryptanalysis of Cryptographic Primitives and Related Topics 

      Hassanzadeh, Seyed Mehdi Mohammad (The University of Bergen, 2011-09-09)
      This thesis has focused on the cryptanalysis of cryptographic primitives especially stream ciphers which is an important topic in cryptography. Additionally, the security of network coding is discussed and improved with ...
      Doctoral thesis
    • Designing Subexponential Algorithms: Problems, Techniques & Structures 

      Dorn, Frederic (The University of Bergen, 2007-09-14)
      In this thesis we focus on subexponential algorithms for NP-hard graph problems: exact and parameterized algorithms that have a truly subexponential running time behavior. For input instances of size n we study exact ...
      Doctoral thesis
    • Development and application of methods for the analysis of microarray gene expression data 

      Dysvik, Bjarte (The University of Bergen, 2006-10-20)
      Doctoral thesis
    • Development of Tools for Analyzing and Sharing Proteomics Data 

      Barsnes, Harald (The University of Bergen, 2010-03-22)
      Doctoral thesis
    • Diagram Predicate Framework meets Model Versioning and Deep Metamodelling 

      Rossini, Alessandro (The University of Bergen, 2011-12-07)
      Model-driven engineering (MDE) is a branch of software engineering which aims at improving the productivity, quality and cost-effectiveness of software by shifting the paradigm from code-centric to model-centric. MDE ...
      Doctoral thesis
    • Diagram predicate framework: A formal approach to MDE 

      Rutle, Adrian (The University of Bergen, 2010-11-29)
      Model-driven engineering (MDE) is a software engineering discipline which promotes models as first-class entities. It represents a shift of paradigm in software development, from being code-centric to become model-centric. ...
      Doctoral thesis
    • Efforts towards accessible and reliable bioinformatics 

      Kalaš, Matúš (The University of Bergen, 2015-11-19)
      The aim of the presented work was contributing to making scientific computing more accessible, reliable, and thus more efficient for researchers, primarily computational biologists and molecular biologists. Many approaches ...
      Doctoral thesis
    • Error Detection and Correction for Symmetric and Asymmetric Channels 

      Naydenova, Irina Petkova (The University of Bergen, 2007-08-27)
      When a message is sent over a channel errors can occur due to noise during the transmission. So it is very important to know the error correction and detection capability of the code, which is used to encode the ...
      Doctoral thesis
    • Exponential time algorithms: Structures, measures, and bounds 

      Gaspers, Serge (The University of Bergen, 2008-12-05)
      This thesis studies exponential time algorithms, more precisely, algorithms exactly solving problems for which no polynomial time algorithm is known and likely to exist. Interested in worst–case upper bounds on the running ...
      Doctoral thesis
    • Expressive Visualization and Rapid Interpretation of Seismic Volumes 

      Patel, Daniel (The University of Bergen, 2009-10-27)
      One of the most important resources in the world today is energy. Oil and gas provide two thirds of the world energy consumption, making the world completely dependent on it. Locating and recovering the remaining oil and ...
      Doctoral thesis
    • Feasible Algorithms for Semantics — Employing Automata and Inference Systems 

      Hovland, Dag (The University of Bergen, 2010-12-16)
      Doctoral thesis
    • An improved workflow for image- and laser-based virtual geological outcrop modelling 

      Sima, Aleksandra A. (The University of Bergen, 2013-03-15)
      Photorealistic 3D models, representing an object’s surface geometry textured with conventional photography, are used for visualization, interpretation and spatial measurement in many disparate fields, such as cultural ...
      Doctoral thesis