BORA - UiB

Bergen Open Research Archive

Browsing Department of Informatics by Title

Bergen Open Research Archive

Browsing Department of Informatics by Title

Sort by: Order: Results:

  • Ølberg, Øyvind (Master thesis, The University of Bergen, 2005-06-01)
  • Schilling, Thorsten Ernst; Raddum, Håvard (Peer reviewed; Chapter, Springer Berlin Heidelberg, 2012)
    We study a new representation of non-linear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a ...
  • Netland, Lars-Helge (Doctoral thesis, 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 ...
  • Lium, Torbjørn (Master thesis, The University of Bergen, 2009-01-07)
    Automatic differentiation of third order derivatives is implemented in C++. The implementation uses uses object-orientation and operator overloading to perform the differentiation. A short introduction to operator ...
  • Mitternacht, Simon; Berezovsky, Igor N. (Peer reviewed; Journal article, Public Library of Science, 2011-09-15)
    Allosteric regulation involves conformational transitions or fluctuations between a few closely related states, caused by the binding of effector molecules. We introduce a quantity called binding leverage that measures ...
  • Barsnes, Harald; Mikalsen, Svein-Ole; Eidhammer, Ingvar (Journal article; Peer reviewed, BioMed Central, 2008-12-19)
    Background: Mass spectrometric analysis of peptides is an essential part of protein identification and characterization, the latter meaning the identification of modifications and amino acid substitutions. There are two ...
  • Nestås, Lars Hopland (Master thesis, The University of Bergen, 2010-05-27)
    During the past decades, a lot of research has been done to create voting protocols and election systems that facilitate voting via the Internet. Many universities and private organizations are now using such systems for ...
  • Budaghyan, Lilya; Carlet, Claude (Peer reviewed; Journal article, Springer, 2011-01-06)
    We observe that the CCZ-equivalence of bent vectorial functions over F2nFn2 (n even) reduces to their EA-equivalence. Then we show that in spite of this fact, CCZ-equivalence can be used for constructing bent functions ...
  • Balzer, Susanne Mignon; Malde, Ketil; Lanzén, Anders; Sharma, Animesh; Jonassen, Inge (Peer reviewed; Journal article, Oxford University Press, 2010)
    Motivation: The commercial launch of 454 pyrosequencing in 2005was a milestone in genome sequencing in terms of performance and cost. Throughout the three available releases, average read lengths have ...
  • Balzer, Susanne Mignon (Doctoral thesis, 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 ...
  • Sætre, Narve (Master thesis, The University of Bergen, 1999-12)
  • Yang, Guang (Doctoral thesis, 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 ...
  • Mitternacht, Simon; Berezovsky, Igor N. (Peer reviewed; Journal article, Public Library of Science, 2011-12-08)
    Conformational changes in allosteric regulation can to a large extent be described as motion along one or a few coherent degrees of freedom. The states involved are inherent to the protein, in the sense that they are ...
  • Abyaneh, Mohammad Reza Sohizadeh (Conference object, The author, 2012)
    Recently, a new privacy-preserving elliptic curve based grouping proof protocol with colluding tag prevention( CTP) has been proposed. The CTP protocol is claimed to be resistant against colluding tags attacks in which ...
  • Sasák, Róbert (Master thesis, The University of Bergen, 2010-08-02)
    Many parametrized problems were decided to be FPT or W-hard. However, there is still thousands of problems and parameters for which we do not know yet whether are FPT or W-hard. In this thesis, we provide a tool for extending ...
  • Alfaki, Mohammed; Haugland, Dag (Chapter; Peer reviewed, Dagstuhl Publishing, 2011)
    The pooling problem is an important global optimization problem which is encountered in many industrial settings. It is traditionally modeled as a bilinear, nonconvex optimization problem, and solved by branch-and-bound ...
  • Schilling, Thorsten Ernst (Master thesis, The University of Bergen, 2008)
    The work on this thesis gives a summary of the Gluing/Agreeing techniques, as well as a reference implementation of this methods. Furthermore widely used SAT-solving techniques are explained and a short insight to the ...
  • Sørnes, Alexander N (Master thesis, The University of Bergen, 2013-12-09)
    This thesis will compare two ways of distributing data for parallel graph algorithms: vertex and edge partitioning, using a distributed memory system. Previous studies on the parallelization of graphs has often been ...
  • Hughes, Timothy (Doctoral thesis, 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 ...
  • Dregi, Markus Sortland (Master thesis, The University of Bergen, 2012-06-14)
    Motivated by a search game, Fomin, Heggernes and Telle [Algorithmica, 2005] defined the graph parameter treespan, a generalization of the well studied parameter bandwidth. Treespan is the maximum number of appearances ...

Search BORA


Browse

My Account