Now showing items 21-40 of 345

    • Case Studies in Constructive Mathematics 

      Parmann, Erik (The University of Bergen, 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 ...
      Doctoral thesis
    • Statistical and Algebraic Properties of DES 

      Fauskanger, Stian; Semaev, Igor A. (Springer, 2016)
      D. Davies and S. Murphy found that there are at most 660 different probability distributions on the output from any three adjacent S-boxes after 16 rounds of DES. In this paper it is shown that there are only 72 different ...
      Chapter
    • Parameterized Graph Modification Algorithms 

      Drange, Pål Grønås (The University of Bergen, 2015-12-10)
      Graph modification problems form an important class of algorithmic problems in computer science. In this thesis, we study edge modification problems towards classes related to chordal graphs, with the main focus on trivially ...
      Doctoral thesis
    • Independent Set on P5-free graphs, an empirical study 

      Haug, Håvard Karim (The University of Bergen, 2015-11-20)
      We implement the recent polynomial time algorithm for the independent set problem on P5-free graphs, and study the performance of this algorithm on graphs of size up to 50. Our empirical results show that the algorithm ...
      Master thesis
    • Efforts towards accessible and reliable bioinformatics 

      Kalaš, Matúš (The University of Bergen, 2015-11-19)
      The aim of the presented work was contributing to making scientific computing more accessible, reliable, and thus more efficient for researchers, primarily computational biologists and molecular biologists. Many approaches ...
      Doctoral thesis
    • Generating software for MUB complementary sequence constructions 

      Roodashty, Hanieh (The University of Bergen, 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 ...
      Master thesis
    • Towards a Secure Framework for mHealth. A Case Study in Mobile Data Collection Systems 

      Gejibo, Samson Hussien (The University of Bergen, 2015-11-05)
      The rapid growth in the mobile communications technology and wide cellular coverage created an opportunity to satisfy the demand for low-cost health care solutions. Mobile Health (a.k.a. mHealth) is a promising health ...
      Doctoral thesis
    • Tools and data services registry: a community effort to document bioinformatics resources 

      Ison, Jon; Rapacki, Kristoffer; Ménager, Hervé; Kalaš, Matúš; et al., 69 authors (Oxford University Press, 2015-11-03)
      Life sciences are yielding huge data sets that underpin scientific discoveries fundamental to improvement in human health, agriculture and the environment. In support of these discoveries, a plethora of databases ...
      Journal article
    • Additive Schwarz preconditioner for the finite volume element discretization of symmetric elliptic problems 

      Marcinkowski, Leszek; Rahman, Talal; Loneland, Atle; Valdman, Jan (Springer Netherlands, 2015-09-25)
      A symmetric and a nonsymmetric variant of the additive Schwarz preconditioner are proposed for the solution of a class of finite volume element discretization of the symmetric elliptic problem in two dimensions, with large ...
      Journal article
    • Security in cloud computing and virtual environments 

      Aarseth, Raymond (The University of Bergen, 2015-09-14)
      Cloud computing is a big buzzwords today. Just watch the commercials on TV and I can promise that you will hear the word cloud service at least once. With the growth of cloud technology steadily rising, and everything ...
      Master thesis
    • Choice of parameter for DP-based FPT algorithms: four case studies 

      Sæther, Sigve Hortemo (The University of Bergen, 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 ...
      Doctoral thesis
    • Largest chordal and interval subgraphs faster than 2n 

      Bliznets, Ivan; Fomin, Fedor; Pilipczuk, Michal Pawel; Villanger, Yngve (Springer, 2015-08-22)
      We prove that in a graph with n vertices, induced chordal and interval subgraphs with the maximum number of vertices can be found in time O(2λn) for some λ< 1. These are the first algorithms breaking the trivial 2nnO(1) ...
      Journal article
    • Kernelization of Vertex Cover by Structural Parameters 

      Strømme, Torstein Jarl Fagerbakke (The University of Bergen, 2015-08-03)
      In the NP-complete problem Vertex Cover, one is given a graph G and an integer k and are asked whether there exists a vertex set S ⊆ V (G) with size at most k such that every edge of the graph is incident to a vertex in ...
      Master thesis
    • Projective Simulation compared to reinforcement learning 

      Bjerland, Øystein Førsund (The University of Bergen, 2015-06-01)
      This thesis explores the model of projective simulation (PS), a novel approach for an artificial intelligence (AI) agent. The model of PS learns by interacting with the environment it is situated in, and allows for ...
      Master thesis
    • A Survey of Linear-Programming Guided Branching Parameterized Algorithms for Vertex Cover, with Experimental Results 

      Urhaug, Tobias Sørensen (The University of Bergen, 2015-06-01)
      A survey of FPT algorithms for Vertex Cover, parameterized by an above guarantee parameter.
      Master thesis
    • Localizing Cell Towers from Crowdsourced Measurements 

      Rusvik, Johan Alexander Nordstrand (The University of Bergen, 2015-06-01)
      Today, several internet sites exist that aim to provide the locations and number of cellular network antennas worldwide. For example [1],[2] and [3]. What makes this task difficult to accomplish is the lack of information ...
      Master thesis
    • Exact algorithms for MAX-2SAT and MAX-3SAT via multidimensional matrix multiplication 

      Petkevich, Yevgheni (The University of Bergen, 2015-06-01)
      In this thesis it is showed how an $O(n^{4-\epsilon})$ algorithm for the cube multiplication problem (that is defined in the thesis) would imply a faster than naive $O^{*}(2^{n(1-\frac{\epsilon}{4})})$ algorithm for the ...
      Master thesis
    • Maximum number of objects in graph classes. 

      Hellestø, Marit Kristine Astad (The University of Bergen, 2015-05-31)
      The focus of this thesis is the study and implementation of two exact exponential time algorihms. These algorihms finds and lists the number of minimal dominating sets and the number of minimal subset feedback vertex ...
      Master thesis
    • SMS One-Time Passwords, Security in Two-Factor Authentication 

      Eide, Jan-Erik Lothe (The University of Bergen, 2015-05-29)
      In the past decade, the low price and ease of generating and sending large amounts of SMS have made it possible for many online services to create strong and affordable authentication systems. With the growth of smartphones ...
      Master thesis
    • Implementasjon av attributtbasert tilgangskontroll i elektroniske helsesystemer 

      Kristensen, André Sæ (The University of Bergen, 2015-05-28)
      Tilgangskontroll er et av de viktigste temaene innenfor informasjonssikkerhet[10]. Sensitiv data bør bare kunne aksesseres av autoriserte brukere eller programmer. Denne oppgaven har som hovedmål å undersøke den nåværende ...
      Master thesis