Now showing items 86-105 of 273

  • Formulas as programs 

    Burrows, Eva (2003)
    Alma-0 is a programming language supporting declarative programming, which combines the advantages of imperative and logic programming paradigms. This work explores declarative programming by extending the interpretation ...
    Master thesis
  • FreeContact: fast and free software for protein contact prediction from residue co-evolution 

    Kaján, László; Hopf, Thomas A.; Kalaš, Matúš; Marks, Debora S.; Rost, Burkhard (BioMed Central, 2014-03-26)
    Background: 20 years of improved technology and growing sequences now renders residue-residue contact constraints in large protein families through correlated mutations accurate enough to drive de novo predictions of protein ...
    Journal article
  • Fusing a Transformation Language with an Open Compiler 

    Kalleberg, Karl Trygve; Visser, Eelco (Elsevier, 2008-04-01)
    Program transformation systems provide powerful analysis and transformation frameworks as well as concise languages for language processing, but instantiating them for every subject language is an arduous task, most often ...
    Journal article
  • Generalized Bent and/or Negabent Constructions 

    Ådlandsvik, Yngve (The University of Bergen, 2012-04-27)
    In this thesis, we generalize the Maiorana-McFarland construction for bent, negabent and bent-negabent Boolean functions and describe a way to computationally search for constructions using these generalizations. We present ...
    Master thesis
  • Generating a synthetic diffusion tensor dataset 

    Bergmann, Ørjan; Lundervold, Arvid; Steihaug, Trond (IEEE, 2005)
    During the last years, many techniques for de-noising, segmentation and fiber-tracking have been applied to diffusion tensor MR image data (DTI) from human and animal brains. However, evaluating such methods may be difficult ...
    Peer reviewedJournal article
  • Generating tree-like graphs 

    Moldeklev, Elisabeth (The University of Bergen, 2008-11-18)
    Implementation of an algorithm that interactively generates k-graphs, a superclass of k-branches.
    Master thesis
  • The genome sequence of Atlantic cod reveals a unique immune system 

    Star, Bastiaan; Nederbragt, Alexander Johan; Jentoft, Sissel; Grimholt, Unni; Malmstrøm, Martin; Gregers, Tone Fredsvik; Rounge, Trine Ballestad; Paulsen, Jonas; Solbakken, Monica Hongrø; Sharma, Animesh; Wetten, Ola Frang; Lanzén, Anders; Winer, Roger; Knight, James; Vogel, Jan-Hinnerk; Aken, Bronwen; Andersen, Øivind; Lagesen, Karin; Tooming-Klunderud, Ave; Edvardsen, Rolf; Kirubakaran, G. Tina; Espelund, Mari; Nepal, Chirag; Previti, A. Christopher; Karlsen, Bård Ove; Moum, Truls; Skage, Morten; Berg, Paul Ragnar; Gjøen, Tor; Kuhl, Heiner; Thorsen, Jim; Malde, Ketil; Reinhardt, Richard; Du, Lei; Johansen, Steinar Daae; Searle, Steve; Lien, Sigbjørn; Nilsen, Frank; Jonassen, Inge; Omholt, Stig W; Stenseth, Nils Christian; Jakobsen, Kjetill Sigurd (Nature Publishing Group, 2011-09)
    Atlantic cod (Gadus morhua) is a large, cold-adapted teleost that sustains long-standing commercial fisheries and incipient aquaculture. Here we present the genome sequence of Atlantic cod, showing evidence for complex ...
    Journal article
  • A geometry-based generic predictor for catalytic and allosteric sites 

    Mitternacht, Simon; Berezovsky, Igor N. (Oxford University Press, 2011)
    An important aspect of understanding protein allostery, and of artificial effector design, is the characterization and prediction of substrate- and effector-binding sites. To find binding sites in allosteric enzymes, many ...
    Journal articlePeer reviewed
  • Grein. A New Non-Linear Cryptoprimitive 

    Thorsen, Ole Rydland (The University of Bergen, 2013-12-10)
    In this thesis, we will study a new stream cipher, Grein, and a new cryptoprimitive used in this cipher. The second chapter gives a brief introduction to cryptography in general. The third chapter looks at stream ciphers ...
    Master thesis
  • Guaranteeing Resource Bounds for Component Software 

    Truong, Anh Hoang (Springer Berlin Heidelberg, 2005-06-15)
    Component software is software that has been assembled from various pieces of standardized, reusable computer programs, so-called components. Executing component software creates instances of these components. For several ...
    Journal article
  • Hash functions in Cryptography 

    Grah, Joseph Sterling (The University of Bergen, 2008)
    This thesis is concerned with giving both an overview of the application of hash functions in cryptography and a presentation of today's standard cryptographic hash functions. Cryptographic hash functions are a valuable ...
    Master thesis
  • Hashfunksjoner for bruk i Digitale Signaturer 

    Solvik, Jan Anders (The University of Bergen, 1995)
    Master thesis
  • A Hierarchical Splitting Scheme to Reveal Insight into Highly Self-Occluded Integral Surfaces 

    Brambilla, Andrea; Viola, Ivan; Hauser, Helwig (Václav Skala - UNION Agency, 2012)
    In flow visualization, integral surfaces are of particular interest for their ability to describe trajectories of massless particles. In areas of swirling motion, integral surfaces can become very complex and difficult ...
    Journal article
  • Highlights from the Eighth International Society for Computational Biology (ISCB) Student Council Symposium 2012 

    Goncearenco, Alexander; Grynberg, Priscila; Botvinnik, Olga B.; Macintyre, Geoff; Abeel, Thomas (BioMed Central, 2012-12-14)
    Abstract The report summarizes the scientific content of the annual symposium organized by the Student Council of the International Society for Computational Biology (ISCB) held in conjunction ...
    Journal article
  • How to cope with incorrect HTML 

    Parnas, Dagfinn (The University of Bergen, 2001)
    Master thesis
  • Hybrid visibility compositing and masking for illustrative rendering 

    Bruckner, Stefan; Rautek, Peter; Viola, Ivan; Roberts, Mike; Sousa, Mario Costa; Gröller, M. Eduard (Elsevier, 2010-08)
    In this paper, we introduce a novel framework for the compositing of interactively rendered 3D layers tailored to the needs of scientific illustration. Currently, traditional scientific illustrations are produced in a ...
    Journal article
  • Identifying elemental genomic track types and representing them uniformly 

    Gundersen, Sveinung; Kalaš, Matúš; Abul, Osman; Frigessi, Arnoldo; Hovig, Eivind; Sandve, Geir Kjetil (BioMed Central, 2011-12-30)
    Background: With the recent advances and availability of various high-throughput sequencing technologies, data on many molecular aspects, such as gene regulation, chromatin dynamics, and the three-dimensional organization ...
    Journal article
  • Illustrative Flow Visualization: State of the Art, Trends and Challenges 

    Brambilla, Andrea; Carnecky, Robert; Peikert, Robert; Viola, Ivan; Hauser, Helwig (The Eurographics Association, 2012)
    Flow visualization is a well established branch of scientific visualization and it currently represents an invaluable resource to many fields, like automotive design, meteorology and medical imaging. Thanks to the ...
    Journal article
  • 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
  • An implementation of a Feedback Vertex Set algorithm. 

    Sivertsen, Arvid Soldal (The University of Bergen, 2013-06-03)
    An implementation, improvements to implementation and empirical results. Feedback Vertex Set on undirected and unweighted graphs.
    Master thesis