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:

  • Eichner, Christiane; Frost, Petter; Dysvik, Bjarte; Jonassen, Inge; Kristiansen, Bjørn; Nilsen, Frank (Peer reviewed; Journal article, BioMed Central, 2008-03-10)
    Background Lepeophtheirus salmonis is an ectoparasitic copepod feeding on skin, mucus and blood from salmonid hosts. Initial analysis of EST sequences from pre adult and adult stages of L. salmonis revealed a large ...
  • Tjøstheim, Thomas (Doctoral thesis, The University of Bergen, 2007-08-29)
    The main focus of this dissertation is on security analysis of electronic voting and online banking systems. Six papers form the basis of the thesis and include the following topics: a model for analysis of voting systems, ...
  • Abyaneh, Mohammad Reza Sohizadeh (Doctoral thesis, The University of Bergen, 2012-08-08)
    This thesis mainly examines the security analysis of lightweight protocols proposed for providing security and privacy for RFID systems. To achieve this goal, first we give a brief introduction of RFID systems. The ...
  • Abyaneh, Mohammad Reza Sohizadeh (Conference object, The author, 2012)
    In this paper, we analyze the security of two recently proposed distance bounding protocols called the “Hitomi” and the “NUS” protocols. Our results show that the claimed security of both protocols has been overestima ...
  • Valvik, Remi André Bognøy (Master thesis, The University of Bergen, 2012-02-24)
    The usage of mobile phones, PDAs and other mobile communication devices in the context of health is an emerging part of eHealth. In 2010 the American National Institutes of Health defined mHealth as "The delivery of ...
  • Patel, Daniel; Giertsen, Christopher; Thurmond, John; Gjelberg, John; Gröller, M. Eduard (Journal article; Peer reviewed, IEEE Computer Society, 2008)
    We present a toolbox for quickly interpreting and illustrating 2D slices of seismic volumetric reflection data. Searching for oil and gas involves creating a structural overview of seismic reflection data to identify ...
  • Wang, Shuang (Master thesis, The University of Bergen, 2008-11-10)
    Many problems of practical interest can be modeled as coloring problems. For example, when you are making a phone call using a mobile phone, it needs to transform the voice signal into an electronic wireless signal. Eachsuch ...
  • Solem, Tom Martens Meyer (Master thesis, The University of Bergen, 2004)
  • Mancini, Federico; Hovland, Dag; Mughal, Khalid A. (Peer reviewed; Conference object, IEEE, 2010)
    In this paper, we investigate the use of Java annotations for software security purposes. In particular, we implement a framework for content validation where the validation tests are specified by annotations. This ...
  • Ruiz, Marc; Viola, Ivan; Boada, Imma; Bruckner, Stefan; Feixas, Miquel; Sbert, Mateu (Chapter; Peer reviewed, Springer, 2008)
    Exploded views are often used in illustration to overcome the problem of occlusion when depicting complex structures. In this paper, we propose a volume visualization technique inspired by exploded views that partitions ...
  • Balabanian, Jean-Paul (Master thesis, The University of Bergen, 2004)
    This thesis describes a system for mixing reality, as captured by a camera, with a virtual 3-dimensional world. A system to recognize and track a square pattern of markers is created in order to obtain the extrinsic ...
  • Lidal, Endre Mølster (Doctoral thesis, The University of Bergen, 2013-06-25)
    PROBLEM solving is an important part of all engineering and scientific activities. It is present, for instance, when experts want to develop more fuel-efficient cars or when they are searching for oil and gas in the ...
  • Schilling, Thorsten Ernst; Raddum, Håvard (Peer reviewed; Chapter, Springer Berlin Heidelberg, 2012)
    In this paper we describe an approach for solving complex multivariate equation systems related to algebraic cryptanalysis. The work uses the newly introduced Compressed Right Hand Sides (CRHS) representation, where ...
  • Schilling, Thorsten Ernst; Raddum, Håvard (Peer reviewed; Chapter, Springer Berlin Heidelberg, 2010)
    We study sparse non-linear equation systems defined over a finite field. Representing the equations as symbols and using the Agreeing algorithm we show how to learn and store new knowledge about the system when a ...
  • Suleiman, Sara Tagelsir Mohamed (Master thesis, The University of Bergen, 2009-05-26)
    In this thesis a new iterative frame work to solve the nonlinear system of equations $F(x)=0$ in n-dimensional real space is established. This iterative frame work is based on a quadratic model of the function $F(x)$ ...
  • Frimannslund, Lennart; El Ghami, Mohamed; Alfaki, Mohammed; Haugland, Dag (Peer reviewed; Chapter, The authors, 2012)
    We consider the standard pooling problem with a single quality parameter, which is a polynomial global optimization problem occurring among other places in the oil industry. In this paper, we show that if the feasible ...
  • Semaev, Igor (Peer reviewed; Journal article, Springer, 2010)
    A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard problem in the cryptanalysis of modern ciphers. In ...
  • Pobitzer, Armin; Peikert, Ronald; Fuchs, Raphael; Schindler, Benjamin; Kuhn, Alexander; Theisel, Holger; Matković, Krešimir; Hauser, Helwig (Peer reviewed; Journal article, Blackwell Publishing Ltd., 2011)
    Vector fields are a common concept for the representation of many different kinds of flow phenomena in science and engineering. Methods based on vector field topology are known for their convenience for visualizing and ...
  • Pobitzer, Armin; Lež, Alan; Matković, Krešimir; Hauser, Helwig (Peer reviewed; Journal article, IEEE, 2012)
    Recent work has shown the great potential of interactive flow analysis by the analysis of path lines. The choice of suitable attributes, describing the path lines, is, however, still an open question. This paper addresses ...
  • Waage, Aleksander Vatle (Master thesis, The University of Bergen, 2012-01-27)

Search BORA


Browse

My Account