• Bisection of Bounded Treewidth Graphs by Convolutions 

      Eiben, Eduard; Lokshtanov, Daniel; Mouawad, Amer E. (Journal article; Peer reviewed, 2019)
      In the Bisection problem, we are given as input an edge-weighted graph G. The task is to find a partition of V(G) into two parts A and B such that ||A| - |B|| <= 1 and the sum of the weights of the edges with one endpoint ...
    • A Bit-Vector Differential Model for the Modular Addition by a Constant 

      Azimi, Seyyed Arash; Ranea, Adrián; Salmasizadeh, Mahmoud; Mohajeri, Javad; Aref, Mohammad Reza; Rijmen, Vincent Stefaan (Journal article; Peer reviewed, 2020)
      ARX algorithms are a class of symmetric-key algorithms constructed by Addition, Rotation, and XOR, which achieve the best software performances in low-end microcontrollers. To evaluate the resistance of an ARX cipher against ...
    • Blind search for post-translational modifications and amino acid substitutions using peptide mass fingerprints from two proteases 

      Barsnes, Harald; Mikalsen, Svein-Ole; Eidhammer, Ingvar (Peer reviewed; Journal article, 2008-12-19)
      Background: Mass spectrometric analysis of peptides is an essential part of protein identification and characterization, the latter meaning the identification of modifications and amino acid substitutions. There are two ...
    • Block-Diagonal and LT Codes for Distributed Computing with Straggling Servers 

      Severinson, Albin; Graell i Amat, Alexandre; Rosnes, Eirik (Peer reviewed; Journal article, 2019-03)
      We propose two coded schemes for the distributed computing problem of multiplying a matrix by a set of vectors. The first scheme is based on partitioning the matrix into submatrices and applying maximum distance separable ...
    • Blockchain as a Technology to Facilitate Privacy and Better Health Record Management 

      Gebremedhin, Tsigab Angosom (Master thesis, 2018-09-01)
      Fear of stigmatization and discrimination from colleagues, friends and family drives patients with various type of mental health problems away from a traditional face-to-face therapy and enforces them to look for an ...
    • BlockDiploma – Decentralizing the Norwegian Diploma Registry using Blockchain Technology 

      Reite, Thomas Mårstøl (Master thesis, 2020-06-03)
      Academic diplomas are being falsified and potentially resulting in unqualified individuals getting the job, or a better candidate being bypassed by a forger. Secure and reliable verification mechanisms for academic diplomas ...
    • Bounds on the nonlinearity of differentially uniform functions by means of their image set size, and on their distance to affine functions 

      Carlet, Claude Michael (Journal article; Peer reviewed, 2021)
      We revisit and take a closer look at a (not so well known) result of a 2017 paper, showing that the differential uniformity of any vectorial function is bounded from below by an expression depending on the size of its image ...
    • Building large k-cores from sparse graphs 

      Fomin, Fedor; Sagunov, Danil; Simonov, Kirill (Journal article; Peer reviewed, 2020)
      A popular model to measure network stability is the k-core, that is the maximal induced subgraph in which every vertex has degree at least k. For example, k-cores are commonly used to model the unraveling phenomena in ...
    • Building Trust in Remote Internet Voting 

      Nestås, Lars Hopland (Master thesis, 2010-05-27)
      During the past decades, a lot of research has been done to create voting protocols and election systems that facilitate voting via the Internet. Many universities and private organizations are now using such systems for ...
    • Caligus rogercresseyi acetylcholinesterase types and variants: a potential marker for organophosphate resistance 

      Agusti-Ridaura, Celia; Dondrup, Michael; Horsberg, Tor Einar; Leong, Jong S; Koop, Ben F; Bravo, Sandra; Mendoza, Julio; Kaur, Kiranpreet (Peer reviewed; Journal article, 2018-10-30)
      Background Control of the sea louse Caligus rogercresseyi in the Chilean salmonid industry is reliant on chemical treatments. Azamethiphos was introduced in 2013, although other organophosphates were previously used. In ...
    • Case Studies in Constructive Mathematics 

      Parmann, Erik (Doctoral thesis, 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 finiteness ...
    • Causal inference in drug discovery and development 

      Michoel, Tom; Zhang, Jitao David (Journal article; Peer reviewed, 2023)
      To discover new drugs is to seek and to prove causality. As an emerging approach leveraging human knowledge and creativity, data, and machine intelligence, causal inference holds the promise of reducing cognitive bias and ...
    • CCZ-equivalence of bent vectorial functions and related constructions 

      Budaghyan, Lilya; Carlet, Claude (Peer reviewed; Journal article, 2011-01-06)
      We observe that the CCZ-equivalence of bent vectorial functions over F2nFn2 (n even) reduces to their EA-equivalence. Then we show that in spite of this fact, CCZ-equivalence can be used for constructing bent functions ...
    • CFlat : An Intermediate Representation Language for the Purpose of Software Migration to Java and C#. 

      Yousif, Hussam Samir (Master thesis, 2018-06-29)
      In this thesis we will present the design and implementation of an intermediate representation language created for the purpose of software migration to Java and C#. Furthermore we will examine a set of transformations ...
    • Changes in the gene expression profile during spontaneous migraine attacks 

      Kogelman, Lisette J.A.; Falkenberg, Katrine; Buil, Alfonso; Erola, Pau; Courraud, Julie; Laursen, Susan Svane; Michoel, Tom Luk Robert; Olesen, Jes; Hansen, Thomas F. (Journal article; Peer reviewed, 2021)
      Migraine attacks are delimited, allowing investigation of changes during and outside attack. Gene expression fluctuates according to environmental and endogenous events and therefore, we hypothesized that changes in RNA ...
    • Characteristics of 454 pyrosequencing data—enabling realistic simulation with flowsim 

      Balzer, Susanne Mignon; Malde, Ketil; Lanzén, Anders; Sharma, Animesh; Jonassen, Inge (Peer reviewed; Journal article, 2010)
      Motivation: The commercial launch of 454 pyrosequencing in 2005was a milestone in genome sequencing in terms of performance and cost. Throughout the three available releases, average read lengths have increased to ∼500 ...
    • Characteristics of Pyrosequencing Data – Analysis, Methods, and Tools 

      Balzer, Susanne Mignon (Doctoral thesis, 2013-06-17)
      The introduction of this thesis provides background knowledge on the 454 sequencing technology and a detailed review of the most relevant sequencing artifacts. Chapter 1 puts the 454 sequencing technology into a historical ...
    • Chatbot Generation for Open Data Accessibility 

      Heldal, Julie Marie Schnell; Hermansen, Kathrine (Master thesis, 2023-11-20)
      Open data, despite its availability, often remains inaccessible to the average person due to complex data formats and technical barriers. This challenge hinders the realization of open data’s transformative potential. ...
    • Choice of parameter for DP-based FPT algorithms: four case studies 

      Sæther, Sigve Hortemo (Doctoral thesis, 2015-09-07)
      This thesis studies dynamic programming algorithms and structural parameters used when solving computationally hard problems. In particular, we look at algorithms that make use of structural decompositions to overcome ...
    • CHOPCHOP v2: a web tool for the next generation of CRISPR genome engineering 

      Valen, Eivind; Labun, Kornel; Montague, Tessa G.; Gagnon, James A.; Thyme, Summer B. (Journal article; Peer reviewed, 2016)
      In just 3 years CRISPR genome editing has transformed biology, and its popularity and potency continue to grow. New CRISPR effectors and rules for locating optimum targets continue to be reported, highlighting the need for ...