Browsing Department of Informatics by Title
Now showing items 1433 of 287

Case Studies in Constructive Mathematics
(The University of Bergen, 20160122)The common theme in this thesis is the study of constructive provability: in particular we investigate aspects of ﬁnite sets and Kan simplicial sets from a constructive perspective. There are numerous deﬁnitions of ...Doctoral thesis 
CCZequivalence of bent vectorial functions and related constructions
(Springer, 20110106)We observe that the CCZequivalence of bent vectorial functions over F2nFn2 (n even) reduces to their EAequivalence. Then we show that in spite of this fact, CCZequivalence can be used for constructing bent functions ...Peer reviewedJournal article 
Characteristics of 454 pyrosequencing data—enabling realistic simulation with flowsim
(Oxford University Press, 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 ...Peer reviewedJournal article 
Characteristics of Pyrosequencing Data – Analysis, Methods, and Tools
(The University of Bergen, 20130617)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 ...Doctoral thesis 
Choice of parameter for DPbased FPT algorithms: four case studies
(The University of Bergen, 20150907)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 ...Doctoral thesis 

Classifying and Measuring Student Problems and Misconceptions
(Akademika forlag, 2013)In this paper we report on an attempt to classify student problems and mistakes, and measuring the frequency of particular problems in a firstsemester programming course. We also propose a scheme for annotating student ...Chapter 
Coding for passive RFID communication
(The University of Bergen, 20120831)This dissertation elaborates on channel coding for reliable communication in passive RFID systems. RFID applications have been developed and used widely. Since a passive RFID tag has no power requirements, passive RFID ...Doctoral thesis 
Coherent Conformational Degrees of Freedom as a Structural Basis for Allosteric Communication
(Public Library of Science, 20111208)Conformational changes in allosteric regulation can to a large extent be described as motion along one or a few coherent degrees of freedom. The states involved are inherent to the protein, in the sense that they are ...Peer reviewedJournal article 
Colluding Tags Attack on the ECCbased Grouping Proofs for Rfids
(The author, 2012)Recently, a new privacypreserving elliptic curve based grouping proof protocol with colluding tag prevention( CTP) has been proposed. The CTP protocol is claimed to be resistant against colluding tags attacks in which ...Conference object 
Combining AspectOriented and Strategic Programming
(Elsevier, 200601)Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very difficult or even impossible to modularizewith ...Journal article 
Community Detection in Social Networks
(The University of Bergen, 20150501)Social networks usually display a hierarchy of communities and it is the task of community detection algorithms to detect these communities and preferably also their hierarchical relationships. One common class of ...Master thesis 
Communitydriven development for computational biology at Sprints, Hackathons and Codefests
(BioMed Central, 20141127)Background: Computational biology comprises a wide range of technologies and approaches. Multiple technologies can be combined to create more powerful workflows if the individuals contributing the data or providing tools ...Journal article 
Comparing 17 graph parameters
(The University of Bergen, 20100802)Many parametrized problems were decided to be FPT or Whard. However, there is still thousands of problems and parameters for which we do not know yet whether are FPT or Whard. In this thesis, we provide a tool for extending ...Master thesis 
Comparison of Discrete and Continuous Models for the Pooling Problem
(Dagstuhl Publishing, 2011)The pooling problem is an important global optimization problem which is encountered in many industrial settings. It is traditionally modeled as a bilinear, nonconvex optimization problem, and solved by branchandbound ...ChapterPeer reviewed 
Comparison of Solving Techniques for Nonlinear Sparse Equations over Finite Fields with Application in Cryptanalysis
(The University of Bergen, 2008)The work on this thesis gives a summary of the Gluing/Agreeing techniques, as well as a reference implementation of this methods. Furthermore widely used SATsolving techniques are explained and a short insight to the ...Master thesis 
A Comparison of Vertex and Edge Partitioning Approaches for Parallel Maximal Matching
(The University of Bergen, 20131209)This thesis will compare two ways of distributing data for parallel graph algorithms: vertex and edge partitioning, using a distributed memory system. Previous studies on the parallelization of graphs has often been ...Master thesis 
Computation of Treespan. A Generalization of Bandwidth to Treelike Structures
(The University of Bergen, 20120614)Motivated by a search game, Fomin, Heggernes and Telle [Algorithmica, 2005] defined the graph parameter treespan, a generalization of the well studied parameter bandwidth. Treespan is the maximum number of appearances ...Master thesis 
Computational analysis of the evolutionary dynamics of proteins on a genomic scale
(The University of Bergen, 20070116)Biology is primarily concerned with the study of all phenotypic aspects of living organisms and evolutionary biology is more specifically interested in elucidating how different phenotypes evolved. Proteins (and RNA ...Doctoral thesis 