• Firewalls: Enforcement of Security Policy in networks 

      Nordås, Harald (Master thesis, 2014-11-20)
      Firewalls are set up to protect computer networks. Originally, networks were just coupled together, in order to achieve connection. With the ability to reach networks all over the world, one started to denote this the ...
    • Fixed cardinality stable sets 

      Samer, Phillippe; Haugland, Dag (Journal article; Peer reviewed, 2021)
      Given an undirected graph G=(V,E) and a positive integer k in {1, ..., |V|}, we initiate the combinatorial study of stable sets of cardinality exactly k in G. Our aim is to instigate the polyhedral investigation of the ...
    • Fixed Parameter Set Splitting, Linear Kernel and Improved Running Time 

      Lokshtanov, Daniel; Sloper, Christian (Journal article, 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, ...
    • Food preferences throughout the menstrual cycle – A computer-assisted neuro-endocrino-psychological investigation 

      Lefebvre, Marie; Hengartner, Michael P.; Tronci, Enrico; Mancini, Toni; Ille, Fabian; Röblitz, Susanna; Krüger, Tillmann; Leeners, Brigitte (Journal article; Peer reviewed, 2022)
      Background As eating behavior changes in relation to the menstrual cycle and weight changes with menopausal transition, ovarian hormones appear to be involved in regulating eating behavior. However, observations are ...
    • 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 ...
    • FPT Approximation for Fair Minimum-Load Clustering 

      Bandyapadhyay, Sayan; Fomin, Fedor; Golovach, Petr; Purohit, Nidhi; Simonov, Kirill (Journal article; Peer reviewed, 2022)
      In this paper, we consider the Minimum-Load k-Clustering/Facility Location (MLkC) problem where we are given a set P of n points in a metric space that we have to cluster and an integer k > 0 that denotes the number 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å ...
    • Further investigations on permutation based constructions of bent functions 

      Li, Kangquan; Li, Chunlei; Helleseth, Tor; Qu, Longjiang (Journal article; Peer reviewed, 2023)
      Constructing bent functions by composing a Boolean function with a permutation was introduced by Hou and Langevin in 1997. The approach appears simple but heavily depends on the construction of desirable permutations. In ...
    • 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 ...
    • Galaxy: A Decade of Realising CWFR Concepts 

      Serrano-Solano, Beatriz; Fouilloux, Anne; Eguinoa, Ignacio; Kalaš, Matúš; Grüning, Björn; Coppens, Frederik (Journal article; Peer reviewed, 2022)
      Despite recent encouragement to follow the FAIR principles, the day-to-day research practices have not changed substantially. Due to new developments and the increasing pressure to apply best practices, initiatives to ...
    • 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 ...