• Building a finite state automaton for physical processes using queries and counterexamples on long short-term memory models 

      Skarstein, Eivind Anton Sætre (Master thesis, 2023-06-01)
      Most neural networks (NN) are commonly used as black-box functions. A network takes an input and produces an output, without the user knowing what rules and system dynamics have produced the specific output. In some ...
    • Building a flexible CBT model based on structured data for the COPE app 

      Salimath, Spurti Prashant (Master thesis, 2020-10-07)
    • 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 ...
    • CHOPCHOP v3: expanding the CRISPR web toolbox beyond genome editing 

      Labun, Kornel; Montague, Tessa G.; Krause, Maximilian; Torres Cleuren, Yamila Nicole; Tjeldnes, Håkon; Valen, Eivind (Peer reviewed; Journal article, 2019-07-02)
      The CRISPR–Cas system is a powerful genome editing tool that functions in a diverse array of organisms and cell types. The technology was initially developed to induce targeted mutations in DNA, but CRISPR–Cas has now been ...
    • Chromatin accessibility established by Pou5f3, Sox19b and Nanog primes genes for activity during zebrafish genome activation 

      Pálfy, Máté; Schulze, Gunnar; Valen, Eivind; Vastenhouw, Nadine L. (Journal article; Peer reviewed, 2020-01)
      In many organisms, early embryonic development is driven by maternally provided factors until the controlled onset of transcription during zygotic genome activation. The regulation of chromatin accessibility and its ...
    • Chromatin and epigenetic features of long-range gene regulation 

      Harmston, Nathan; Lenhard, Boris (Peer reviewed; Journal article, 2013-06-13)
      The precise regulation of gene transcription during metazoan development is controlled by a complex system of interactions between transcription factors, histone modifications and modifying enzymes and chromatin conformation. ...
    • Classes of Intersection Digraphs with Good Algorithmic Properties 

      Jaffke, Lars; Kwon, O-joung; Telle, Jan Arne (Journal article; Peer reviewed, 2022)
      While intersection graphs play a central role in the algorithmic analysis of hard problems on undirected graphs, the role of intersection digraphs in algorithms is much less understood. We present several contributions ...