Now showing items 1-20 of 373

    • A 43k Kernel for Planar Dominating Set using Computer-Aided Reduction Rule Discovery 

      Halseth, Johan Torås (The University of Bergen, 2016-02-15)
      In this thesis we explore the technique of Region Decomposition for finding kernels for Planar Dominating Set. We redefine some concepts used in earlier work, fixing some ambiguities on the way. From those concepts we ...
      Master thesis
    • Abstractions for Language-Independent Program Transformations 

      Kalleberg, Karl Trygve (The University of Bergen, 2007-06-27)
      Doctoral thesis
    • 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
    • Algebraic Attack on Small Scale Variants of AES using Compressed Right Hand Sides 

      Indrøy, John Petter (The University of Bergen, 2018-04-07)
      The Advanced Encryption Standard is probably the most used symmetric encryption cipher in use today, which makes it particularly interesting for cryptanalysis. This thesis attacks smallscale variants of AES through a ...
      Master thesis
    • Algorithms for Linearly Ordered Boolean Formulas 

      Egeland, Christian (The University of Bergen, 2016-06-30)
      This thesis considers a class of propositional boolean formulas on which various problems related to satisfiability are efficiently solvable by a dynamic programming algorithm. It mainly consists of two larger parts: the ...
      Master thesis
    • Aligning a Splice Graph to a Genomic Sequence 

      Ølberg, Øyvind (The University of Bergen, 2005-06-01)
      Master thesis
    • Analysis of Trivium Using Compressed Right Hand Side Equations 

      Schilling, Thorsten Ernst; Raddum, Håvard (Springer Berlin Heidelberg, 2012)
      We study a new representation of non-linear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a ...
      Peer reviewedChapter
    • Approximating Acyclicity Parameters of Sparse Hypergraphs 

      Fomin, Fedor; Golovach, Petr; Thilikos, Dimitrios (Dagstuhl Publishing, 2009)
      The notions of hypertree width and generalized hypertree width were introduced by Gottlob, Leone, and Scarcello (PODS'99, PODS'01) in order to extend the concept of hypergraph acyclicity. These notions were further generalized ...
      Conference object
    • Assessing and Mitigating Risks in Computer Systems 

      Netland, Lars-Helge (The University of Bergen, 2008-09-26)
      When it comes to non-trivial networked computer systems, bulletproof security is very hard to achieve. Over a system's lifetime new security risks are likely to emerge from e.g. newly discovered classes of vulnerabilities ...
      Doctoral thesis
    • The Atlantic salmon genome provides insights into rediploidization 

      Lien, Sigbjørn; Koop, Ben F; Sandve, Simen Rød; Miller, Jason R.; Kent, Matthew Peter; Nome, Torfinn; Hvidsten, Torgeir Rhoden; Leong, Jong; Minkley, David R.; Zimin, Aleksey; Grammes, Fabian; Grove, Harald; Gjuvsland, Arne Bjørke; Walenz, Brian; Hermansen, Russell A.; von Schalburg, Kristian R.; Rondeau, Eric; Genova, Alex Di; Antony Samy, Jeevan Karloss; Vik, Jon Olav; Vigeland, Magnus Dehli; Caler, Lis; Grimholt, Unni; Jentoft, Sissel; Våge, Dag Inge; de Jong, Pieter J.; Moen, Thomas; Baranski, Matthew; Palti, Yniv; Smith, Douglas W.; Yorke, James A.; Nederbragt, Alexander J.; Tooming-Klunderud, Ave; Jakobsen, Kjetill Sigurd; Jiang, Xuanting; Fan, Dingding; Hu, Yan; Liberles, David A.; Vidal, Rodrigo; Iturra, Patricia; Jones, Steven J.M.; Jonassen, Inge; Maass, Alejandro; Omholt, Stig William; Davidson, William S (Nature Publishing Group, 2016-05)
      The whole-genome duplication 80 million years ago of the common ancestor of salmonids (salmonid-specific fourth vertebrate whole-genome duplication, Ss4R) provides unique opportunities to learn about the evolutionary fate ...
      Journal article
    • Automatic Differentiation of Third Order Derivatives using Forward Mode in C++ 

      Lium, Torbjørn (The University of Bergen, 2009-01-07)
      Automatic differentiation of third order derivatives is implemented in C++. The implementation uses uses object-orientation and operator overloading to perform the differentiation. A short introduction to operator ...
      Master thesis
    • Axiom-Based Transformations: Optimisation and Testing 

      Bagge, Anya Helene; Haveraaen, Magne (Elsevier, 2009-10-10)
      Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code ­ properties that may be very useful for, e.g., compiler optimisation and automated testing. Although ...
      Journal article
    • Axis patterning by BMPs: cnidarian network reveals evolutionary constraints 

      Genikhovich, Grigory; Fried, Patrick; Prünster, M. Mandela; Schinko, Johannes B.; Gilles, Anna F.; Fredman, David; Meier, Karin; Iber, Dagmar; Technau, Ulrich (Elsevier, 2015-03)
      BMP signaling plays a crucial role in the establishment of the dorso-ventral body axis in bilaterally symmetric animals. However, the topologies of the bone morphogenetic protein (BMP) signaling networks vary drastically ...
      Journal article
    • B-chromatic number: Beyond NP-hardness 

      Panolan, Fahad; Philip, Geevarghese; Saurabh, Saket (Dagstuhl Publishing, 2015)
      The b-chromatic number of a graph G, chi_b(G), is the largest integer k such that G has a k-vertex coloring with the property that each color class has a vertex which is adjacent to at least one vertex in each of the other ...
      Conference object
    • Beyond the question of fixed-parameter tractability 

      Dregi, Markus Fanebust (The University of Bergen, 2017-01-06)
      Multivariate complexity is a prominent field that over the last decades has developed a rich toolbox, not only to tackle seemingly intractable problems, but also to describe the boundaries of tractability in a richer and ...
      Doctoral thesis
    • Binding Leverage as a Molecular Basis for Allosteric Regulation 

      Mitternacht, Simon; Berezovsky, Igor N. (Public Library of Science, 2011-09-15)
      Allosteric regulation involves conformational transitions or fluctuations between a few closely related states, caused by the binding of effector molecules. We introduce a quantity called binding leverage that measures ...
      Peer reviewedJournal article
    • BioHackathon series in 2011 and 2012: penetration of ontology and linked data in life science domains 

      Katayama, Toshiaki; Wilkinson, Mark D.; Aoki-Kinoshita, Kiyoko F.; Kawashima, Shuichi; Yamamoto, Yasunori; Yamaguchi, Atsuko; Okamoto, Shinobu; Kawano, Shin; Kim, Jin-Dong; Wang, Yue; Wu, Hongyan; Kano, Yoshinobu; Ono, Hiromasa; Bono, Hidemasa; Kocbek, Simon; Aerts, Jan; Akune, Yukie; Antezana, Erick; Arakawa, Kazuharu; Aranda, Bruno; Baran, Joachim; Bolleman, Jerven; Bonnal, Raoul J. P.; Buttigieg, Pier Luigi; Campbell, Matthew P.; Chen, Yi-an; Chiba, Hirokazu; Cock, Peter J. A.; Cohen, K. Bretonnel; Constantin, Alexandru; Duck, Geraint; Dumontier, Michel; Fujisawa, Takatomo; Fujiwara, Toyofumi; Goto, Naohisa; Hoehndorf, Robert; Igarashi, Yoshinobu; Itaya, Hidetoshi; Ito, Maori; Iwasaki, Wataru; Kalaš, Matúš; Katoda, Takeo; Kim, Taehong; Kokubu, Anna; Komiyama, Yusuke; Kotera, Masaaki; Laibe, Camille; Lapp, Hilmar; Lütteke, Thomas; Marshall, M. Scott; Mori, Takaaki; Mori, Hiroshi; Morita, Mizuki; Murakami, Katsuhiko; Nakao, Mitsuteru; Narimatsu, Hisashi; Nishide, Hiroyo; Nishimura, Yosuke; Nyström-Persson, Johan; Ogishima, Soichi; Okamura, Yasunobu; Okuda, Shujiro; Oshita, Kazuki; Packer, Nicki H; Prins, Pjotr; Ranzinger, Rene; Rocca-Serra, Philippe; Sansone, Susanna; Sawaki, Hiromichi; Shin, Sung-Ho; Splendiani, Andrea; Strozzi, Francesco; Tadaka, Shu; Toukach, Philip; Uchiyama, Ikuo; Umezaki, Masahito; Vos, Rutger; Whetzel, Patricia L.; Yamada, Issaku; Yamasaki, Chisato; Yamashita, Riu; York, William S.; Zmasek, Christian M.; Kawamoto, Shoko; Takagi, Toshihisa (BioMed Central, 2014-02-05)
      Abstract The application of semantic technologies to the integration of biological data and the interoperability of bioinformatics analysis and visualization tools has been the common theme of a series of annual ...
      Journal article
    • BioXSD: the common data-exchange format for everyday bioinformatics web services 

      Kalaš, Matúš; Puntervoll, Pål; Joseph, Alexandre; Bartaševičiūtė, Edita; Töpfer, Armin; Venkataraman, Prabakar; Pettifer, Steve; Bryne, Jan Christian; Ison, Jon; Blanchet, Christophe; Rapacki, Kristoffer; Jonassen, Inge (Oxford University Press, 2010)
      Motivation: The world-wide community of life scientists has access to a large number of public bioinformatics databases and tools, which are developed and deployed using diverse technologies and designs. More and more of ...
      Journal article
    • Blind search for post-translational modifications and amino acid substitutions using peptide mass fingerprints from two proteases 

      Barsnes, Harald; Mikalsen, Svein-Ole; Eidhammer, Ingvar (BioMed Central, 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 ...
      Journal articlePeer reviewed
    • Building Trust in Remote Internet Voting 

      Nestås, Lars Hopland (The University of Bergen, 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 ...
      Master thesis