Now showing items 21-40 of 366

    • 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
    • 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
    • Precrec: fast and accurate precision-recall and ROC curve calculations in R 

      Saito, Takaya; Rehmsmeier, Marc (Oxford University Press, 2017)
      The precision–recall plot is more informative than the ROC plot when evaluating classifiers on imbalanced datasets, but fast and accurate curve calculation tools for precision–recall plots are currently not available. We ...
      Journal article
    • 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
    • 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
    • Nonlinear feedback shift registers and generating of binary de Bruijn sequences 

      Vivelid, Christian Ebne (The University of Bergen, 2016-11-21)
      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
    • Utilizing the HTM algorithms for weather forecasting and anomaly detection 

      Vivmond, Alexandre (The University of Bergen, 2016-11-17)
      Various studies have utilized different artificial neural networks (ANN) for weather forecasting. This thesis examines how well the official implementation of a novel online ANN called the Hierarchical Temporal Memory (HTM) ...
      Master thesis
    • The Role of Humans in Complex ICT Systems 

      Kazymyrova, Valentyna (The University of Bergen, 2016-10-16)
      In the modern world, companies, regardless of their type of business, rely on information and communications technology (ICT) systems to carry out their everyday operations. The ICT systems have been developed over time ...
      Master thesis
    • Exact methods for solving the small scale single vehicle pickup and delivery problem with time windows 

      Lakel, Yacine Mohamed (The University of Bergen, 2016-08-15)
      The single vehicle pickup and delivery problem with time windows (1-PDPTW) is a wellknown problem in transportation and combinatorics. In practice, these routes are relatively small with less then 30 stops. In this ...
      Master thesis
    • Algorithms for Linearly Ordered Boolean Formulas 

      Egeland, Christian (The University of Bergen, 2016-06-30)
      This thesis considers a class of propositional boolean formulas on which various problems related to satisfiability are efficiently solvable by a dynamic programming algorithm. It mainly consists of two larger parts: the ...
      Master thesis
    • Towards Correct Modelling and Model Transformation in DPF 

      Wang, Xiaoliang (The University of Bergen, 2016-06-14)
      Model-driven engineering (MDE) is a model-centric software development methodology. It promotes models as first-class entities in software de- velopment. Models are used to represent software along software devel- opment ...
      Doctoral thesis
    • MultiPath TCP-communication (in NorNet Core) 

      Ingebretsen, Kristian Bøckmann; Selvik, Daniel (The University of Bergen, 2016-05-31)
      Technology is constantly evolving, and we are currently witnessing a digital revolution with a tremendous growth of interconnected devices. The scale of the Internet and the amount of transported data is constantly ...
      Master thesis
    • Using Smart Cards to Mitigate Security Threats on Mobile Devices 

      Sivertsgård, Henrik Mathisen (The University of Bergen, 2016-05-31)
      This master thesis developed and tested the idea that smart cards are able to help mitigate security threats on mobile devices that are handling sensitive data. Investigating the limitations of smart cards is a fundamental ...
      Master thesis
    • SelGenes: a tool for selecting marker genes in heterogeneous samples 

      Samdal, Kristian Brakstad (The University of Bergen, 2016-05-31)
      SelGenes is a tool for selecting marker genes for the dominating cell type in heterogeneous samples. Based on a framework from an existing algorithm, SelGenes selects cell-type specific marker genes for the dominating ...
      Master thesis
    • Incompleteness of the Inference System BNeg 

      Golid, Kjetil Midtgarden (The University of Bergen, 2016-05-31)
      Any propositional discourse can be represented as a propositional theory in a specific form in such a way that the theory is inconsistent if and only if the discourse is paradoxical. Propositional theories in this form ...
      Master thesis
    • A 43k Kernel for Planar Dominating Set using Computer-Aided Reduction Rule Discovery 

      Halseth, Johan Torås (The University of Bergen, 2016-02-15)
      In this thesis we explore the technique of Region Decomposition for finding kernels for Planar Dominating Set. We redefine some concepts used in earlier work, fixing some ambiguities on the way. From those concepts we ...
      Master thesis
    • Output-Sensitive Filtering of Streaming Volume Data 

      Šoltészová, Veronika; Birkeland, Åsmund; Stoppel, Sergej; Viola, Ivan; Bruckner, Stefan (John Wiley & Sons Ltd, 2016-02)
      Real-time volume data acquisition poses substantial challenges for the traditional visualization pipeline where data enhancement is typically seen as a pre-processing step. In the case of 4D ultrasound data, for instance, ...
      Journal article
    • 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