Now showing items 1-20 of 256

  • Abstractions for Language-Independent Program Transformations 

    Kalleberg, Karl Trygve (The University of Bergen, 2007-06-27)
  • Aligning a Splice Graph to a Genomic Sequence 

    Ølberg, Øyvind (The University of Bergen, 2005-06-01)
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • CCZ-equivalence of bent vectorial functions and related constructions 

    Budaghyan, Lilya; Carlet, Claude (Springer, 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 ...
  • Characteristics of 454 pyrosequencing data—enabling realistic simulation with flowsim 

    Balzer, Susanne Mignon; Malde, Ketil; Lanzén, Anders; Sharma, Animesh; Jonassen, Inge (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 ...
  • Characteristics of Pyrosequencing Data – Analysis, Methods, and Tools 

    Balzer, Susanne Mignon (The University of Bergen, 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 ...
  • Classification of protein structures 

    Sætre, Narve (The University of Bergen, 1999-12)
  • Classifying and Measuring Student Problems and Misconceptions 

    Rosbach, Alexander Hoem; Bagge, Anya Helene (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 ...
  • Coding for passive RFID communication 

    Yang, Guang (The University of Bergen, 2012-08-31)
    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 ...
  • Coherent Conformational Degrees of Freedom as a Structural Basis for Allosteric Communication 

    Mitternacht, Simon; Berezovsky, Igor N. (Public Library of Science, 2011-12-08)
    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 ...
  • Colluding Tags Attack on the ECC-based Grouping Proofs for Rfids 

    Abyaneh, Mohammad Reza Sohizadeh (The author, 2012)
    Recently, a new privacy-preserving 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 ...
  • Combining Aspect-Oriented and Strategic Programming 

    Kalleberg, Karl Trygve; Visser, Eelco (Elsevier, 2006-01)
    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 ...
  • Community Detection in Social Networks 

    Fasmer, Erlend Eindride (The University of Bergen, 2015-05-01)
    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 ...