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:

  • Sloper, Christian (Doctoral thesis, 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 ...
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne (Research report, Department of Informatics, University of Bergen, 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 ...
  • Sztromwasser, Paweł (Doctoral thesis, 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 ...
  • Pilipczuk, Michal (Doctoral thesis, The University of Bergen, 2013-11-22)
  • Skjerveggen, Stian (Master thesis, 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 ...
  • Schilling, Thorsten Ernst (Doctoral thesis, The University of Bergen, 2012-08-09)
  • Ravanbakhsh, Mohammad (Doctoral thesis, 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. ...
  • Drageide, Vidar (Master thesis, 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 ...
  • Maldonado, Isabel Chambi (Master thesis, 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 ...
  • Bergmann, Ørjan; Kindlmann, Gordon; Peled, Sharon; Westin, Carl-Fredrik (Peer reviewed; Journal article, 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 ...
  • Bezem, Marcus A.; Hovland, Dag; Truong, Anh Hoang (Peer reviewed; Journal article, 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 ...
  • Bezem, Marcus A.; Truong, Anh Hoang (Journal article, 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 ...
  • Hovland, Dag (Chapter; Peer reviewed, 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 ...
  • Truong, Anh Hoang (Doctoral thesis, 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 ...
  • Hovland, Dag (Master thesis, 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 ...
  • Kalleberg, Karl Trygve (Master thesis, 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 ...
  • Vines, Aleksander (Master thesis, 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.
  • Winjum, Eli (Master thesis, The University of Bergen, 1995)
  • Berry, Anne; Heggernes, Pinar; Villanger, Yngve (Journal article, Elsevier, 2006)
  • Birkeland, Åsmund Rognerud (Master thesis, The University of Bergen, 2008-11-19)
    Traditional illustration of three-dimensional structures, has developed techniques to provide clear view on internal features that are otherwise hidden underneath other outer structures. Many techniques attempt to create ...

Search BORA


Browse

My Account