Recent Submissions

  • A model for optimal fleet composition of vessels for offshore wind farm maintenance 

    Gutierrez-Alcoba, Alejandro; Ortega, Gloria; Hendrix, Eligius M.T.; Halvorsen-Weare, Elin Espeland; Haugland, Dag (Elsevier, 2017)
    We present a discrete optimisation model that chooses an optimal fleet of vessels to support maintenance operations at Offshore Wind Farms (OFWs). The model is presented as a bi-level problem. On the first (tactical) level, ...
    Journal article
  • Parameterized complexity of the spanning tree congestion problem 

    Bodlaender, Hans L.; Fomin, Fedor; Golovach, Petr; Otachi, Yota; van Leeuwen, Erik Jan (Springer, 2012-09)
    We study the problem of determining the spanning tree congestion of a graph. We present some sharp contrasts in the parameterized complexity of this problem. First, we show that on apex-minor-free graphs, a general class ...
    Journal article
  • Parallel Matching and Clustering Algorithms on GPUs 

    Naim, Md. (The University of Bergen, 2017-06-17)
    Doctoral thesis
  • On Stable Marriages and Greedy Matchings 

    Manne, Fredrik; Naim, Md.; Lerring, Håkon; Halappanavar, Mahantesh (SIAM, 2016)
    Research on stable marriage problems has a long and mathematically rigorous history, while that of exploiting greedy matchings in combinatorial scientific computing is a younger and less developed research field. We consider ...
    Conference object
  • Community Detection on the GPU 

    Naim, Md.; Manne, Fredrik; Halappanavar, Mahantesh; Tumeo, Antonino (IEEE, 2017)
    We present and evaluate a new GPU algorithm based on the Louvain method for community detection. Our algorithm is the first for this problem that parallelizes the access to individual edges. In this way we can fine tune ...
    Conference object
  • Optimizing Approximate Weighted Matching on Nvidia Kepler K40 

    Naim, Md.; Manne, Fredrik; Halappanavar, Mahantesh; Tumeo, Antonino; Langguth, Johannes (IEEE, 2018)
    Matching is a fundamental graph problem with numerous applications in science and engineering. While algorithms for computing optimal matchings are difficult to parallelize, approximation algorithms on the other hand ...
    Conference object
  • VaulteR - A pipeline for vault associated RNA detection from RNA- sequencing 

    Gao, Yue (The University of Bergen, 2017-10-06)
    Vaults are highly conserved ribonucleoprotein complexes of unknown function. They have so far been found to be present in high numbers among higher eukaryotes including mammals, amphibians, and avians, as well as lower ...
    Master thesis
  • Interactive Exploration of Ligand Transportation through Protein Tunnels 

    Furmanova, Katarina; Jaresova, Miroslava; Byska, Jan; Jurcik, Adam; Parulek, Julius; Hauser, Helwig; Kozlikova, Barbora (BioMed Central, 2017-02-15)
    Background: Protein structures and their interaction with ligands have been in the focus of biochemistry and structural biology research for decades. The transportation of ligand into the protein active site is often complex ...
    Journal article
  • Comparative Visualization of Protein Secondary Structures 

    Kocincova, Lucia; Jaresova, Miroslava; Byska, Jan; Parulek, Julius; Hauser, Helwig; Kozlikova, Barbora (BioMed Central, 2017-02-15)
    Background: Protein function is determined by many factors, namely by its constitution, spatial arrangement, and dynamic behavior. Studying these factors helps the biochemists and biologists to better understand the protein ...
    Journal article
  • A domain-specific dialect for financial-economic calculations using reactive programming 

    Marheim, Christian Lundekvam (The University of Bergen, 2017-08-19)
    This thesis investigates to what extent reactive programming is suited for the implementation of systems that support banks in providing financial-economic advice to their private customers. To this end, we built a small ...
    Master thesis
  • Interactive Dynamic Volume Illumination with Refraction and Caustics 

    Magnus, Jens Gåsemyr (The University of Bergen, 2017-08-15)
    In recent years, significant progress has been made in developing high-quality interactive methods for realistic volume illumination. However, refraction - despite being an important aspect of light propagation in participating ...
    Master thesis
  • Visual Analysis of Protein-Protein Interaction 

    Horne, Marius Tendeland (The University of Bergen, 2017-08-15)
    Over the last decade there has been a steady increase in the focus of research into Protein-Protein docking. The Docking software provides a plausible configuration to a Protein-Protein Interaction. The docking will also ...
    Master thesis
  • Exploring graph parameters similar to tree-width and path-width 

    Nordstrand, Joakim Alme (The University of Bergen, 2017-07-04)
    In a recent paper appearing at IPEC 2015, ”Maximum matching width: new characterization and fast algorithms for dominating set” [12], three similar treelike parameters, tree-width, branch-width and maximum matching-width, ...
    Master thesis
  • Program Transformations in Magnolia 

    Haugsbakk, Kristoffer (The University of Bergen, 2017-07-11)
    We explore program transformations in the context of the Magnolia programming language. We discuss research and implementations of transformation techniques, scenarios to put them to use in Magnolia, interfacing with ...
    Master thesis
  • Using 3D functionality available in current web-browsers to create and visualize geological models. 

    Malt, Øystein Ivar (The University of Bergen, 2017-07-11)
    This thesis investigates the possibility of using modern web technologies to develop accessible applications for interactive covisualization of geological data such as topography, seismic slices and measurements from wells. ...
    Master thesis
  • Machine Learning methods for mood disorder decision support 

    Oleksy, Tomasz Artur (The University of Bergen, 2017-07-11)
    Master thesis
  • Graphical Computing Solution for Industrial Plant Engineering 

    Lima, Marcelo Furtado (The University of Bergen, 2017-06-21)
    When preparing an engineering operation on an industrial plant, reliable and updated models of the plant must be available for correct decisions and planning. However, especially in the case of offshore oil and gas ...
    Master thesis
  • Model Checking with the Sweep-Line Method 

    Lilleskare, Andreas (The University of Bergen, 2017-06-21)
    Explicit-state model checking is a formal software verification technique that differs from peer review and unit testing, in that model checking does an exhaustive state space search. With model checking one takes a system ...
    Master thesis
  • Using Heat and Ceilometer to create an elastic OpenStack grid 

    Trippler, Niklas (The University of Bergen, 2017-06-21)
    Grid computing is a term for connecting computing resources together to solve large computational problems. Computational grids are used for a lot of computations within the high energy physics domain, where the amount of ...
    Master thesis
  • Visualization of Biomolecular Structures: State of the Art Revisited 

    Kozlíková, Barbora; Krone, Michael; Falk, Martin; Lindow, Norbert; Baaden, Marc; Baum, Daniel S.; Viola, Ivan; Parulek, Julius; Hege, Hans-Christian (Wiley, 2016-11-18)
    Structural properties of molecules are of primary concern in many fields. This report provides a comprehensive overview on techniques that have been developed in the fields of molecular graphics and visualization with a ...
    Journal article

View more