• Fixed Parameter Set Splitting, Linear Kernel and Improved Running Time 

      Lokshtanov, Daniel; Sloper, Christian (2005)
    • A Fixed-Parameter Perspective on #BIS 

      Curticapean, Radu; Dell, Holger; Fomin, Fedor; Goldberg, Leslie Ann; Lapinskas, John (Peer reviewed; Journal article, 2019-07-18)
      The problem of (approximately) counting the independent sets of a bipartite graph (#BIS) is the canonical approximate counting problem that is complete in the intermediate complexity class #RHΠ1. It is believed that #BIS ...
    • Floating Fault Analysis of Trivium 

      Hojsík, Michal; Rudolf, Bohuslav (Lecture Notes in Computer Science; 5365, Chapter; Peer reviewed, 2008)
      One of the eSTREAM final portfolio ciphers is the hardwareoriented stream cipher Trivium. It is based on 3 nonlinear feedback shift registers with a linear output function. Although Trivium has attached a lot of interest, ...
    • Formulas as programs 

      Burrows, Eva (Master thesis, 2003)
      Alma-0 is a programming language supporting declarative programming, which combines the advantages of imperative and logic programming paradigms. This work explores declarative programming by extending the interpretation ...
    • FPT Algorithms for Diverse Collections of Hitting Sets 

      Baste, Julien; Jaffke, Lars; Masařík, Tomáš; Philip, Geevarghese; Rote, Günter (Peer reviewed; Journal article, 2019-11-27)
      In this work, we study the d-Hitting Set and Feedback Vertex Set problems through the paradigm of finding diverse collections of r solutions of size at most k each, which has recently been introduced to the field of ...
    • A framework for integrating data, models and visualisation tools to understand fish migration pattern 

      Frøyen, Sebastian; Nes, Torkel Kårstad (Master thesis, 2019-06-29)
    • FreeContact: Fast and free software for protein contact prediction from residue co-evolution 

      Kaján, László; Hopf, Thomas A.; Kalaš, Matúš; Marks, Debora S.; Rost, Burkhard (Peer reviewed; Journal article, 2014-03-26)
      Background: 20 years of improved technology and growing sequences now renders residue-residue contact constraints in large protein families through correlated mutations accurate enough to drive de novo predictions of protein ...
    • FreeContact: fast and free software for protein contact prediction from residue co-evolution 

      Kaján, László; Hopf, Thomas A.; Kalaš, Matúš; Marks, Debora S.; Rost, Burkhard (Peer reviewed; Journal article, 2014-03-26)
      Background: 20 years of improved technology and growing sequences now renders residue-residue contact constraints in large protein families through correlated mutations accurate enough to drive de novo predictions of protein ...
    • From Molecules to the Masses : Visual Exploration, Analysis, and Communication of Human Physiology 

      Garrison, Laura (Doctoral thesis, 2022-09-16)
      Det overordnede målet med denne avhandlingen er tverrfaglig anvendelse av medisinske illustrasjons- og visualiseringsteknikker for å utforske, analysere og formidle aspekter ved fysiologi til publikum med ulik faglig nivå ...
    • Fusing a Transformation Language with an Open Compiler 

      Kalleberg, Karl Trygve; Visser, Eelco (Peer reviewed; Journal article, 2008-04-01)
      Program transformation systems provide powerful analysis and transformation frameworks as well as concise languages for language processing, but instantiating them for every subject language is an arduous task, most often ...
    • Fusion structure from exchange symmetry in (2+1)-dimensions 

      Valera, Sachin Jayesh (Journal article; Peer reviewed, 2021)
      Until recently, a careful derivation of the fusion structure of anyons from some underlying physical principles has been lacking. In Shi et al. (2020), the authors achieved this goal by starting from a conjectured form of ...
    • Gamification To Promote Guideline Training In Health Care 

      Ebbesvik, Ben-Richard Sletten (Master thesis, 2019-06-29)
      Clinical practice guidelines are recipes for how clinician can identify a specific medical condition in a patient, how to manage and provide treatment for such a patient. These are evidence based statements, which includes ...
    • GAPGOM—an R package for gene annotation prediction using GO metrics 

      van Mourik, Casper; Ehsani, Rezvan; Drabløs, Finn (Journal article; Peer reviewed, 2021)
      Objective Properties of gene products can be described or annotated with Gene Ontology (GO) terms. But for many genes we have limited information about their products, for example with respect to function. This is ...
    • A General Methodology for Internalising Multi-level Model Typing 

      König, Harald; Wolter, Uwe Egbert (Chapter, 2021)
      Multilevel Modelling approaches allow for an arbitrary number of abstraction levels in typing chains. In this paper, a transformation of a multi-level typing chain into a single all-covering representing model is proposed. ...
    • Generalization of a class of APN binomials to Gold-like functions 

      Davidova, Diana; Kaleyski, Nikolay Stoyanov (Journal article; Peer reviewed, 2021)
      In 2008 Budaghyan, Carlet and Leander generalized a known instance of an APN function over the finite field F212 and constructed two new infinite families of APN binomials over the finite field F2n , one for n divisible ...
    • Generalized Bent and/or Negabent Constructions 

      Ådlandsvik, Yngve (Master thesis, 2012-04-27)
      In this thesis, we generalize the Maiorana-McFarland construction for bent, negabent and bent-negabent Boolean functions and describe a way to computationally search for constructions using these generalizations. We present ...
    • Generalized isotopic shift construction for APN functions 

      Budaghyan, Lilya; Calderini, Marco; Carlet, Claude Michael; Coulter, Robert; Villa, Irene (Journal article; Peer reviewed, 2021)
      In this work we give several generalizations of the isotopic shift construction, introduced recently by Budaghyan et al. (IEEE Trans Inform Theory 66:5299–5309, 2020), when the initial function is a Gold function. In ...
    • Generating a synthetic diffusion tensor dataset 

      Bergmann, Ørjan; Lundervold, Arvid; Steihaug, Trond (Peer reviewed; Journal article, 2005)
      During the last years, many techniques for de-noising, segmentation and fiber-tracking have been applied to diffusion tensor MR image data (DTI) from human and animal brains. However, evaluating such methods may be difficult ...
    • Generating software for MUB complementary sequence constructions 

      Roodashty, Hanieh (Master thesis, 2015-11-18)
      This master thesis has been performed at the Department of Informatics, University of Bergen between February and November 2015. The work has been supervised by Professor Matthew G. Parker as a part of the research interest ...