Now showing items 58-77 of 301

    • Diagram predicate framework: A formal approach to MDE 

      Rutle, Adrian (The University of Bergen, 2010-11-29)
      Model-driven engineering (MDE) is a software engineering discipline which promotes models as first-class entities. It represents a shift of paradigm in software development, from being code-centric to become model-centric. ...
      Doctoral thesis
    • A Diagrammatic Logic for Object-Oriented Visual Modeling 

      Diskin, Zinovy; Wolter, Uwe Egbert (Elsevier, 2008-11-21)
      Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first-order logic, and adapts them to software engineering needs. In the engineering jargon, it ...
      Journal article
    • Differential Fault Analysis of Trivium 

      Hojsík, Michal; Rudolf, Bohuslav (Springer Berlin Heidelberg, 2008)
      Trivium is a hardware-oriented stream cipher designed in 2005 by de Canni`ere and Preneel for the European project eStream, and it has successfully passed the first and the second phase of this project. Its design has ...
      ChapterPeer reviewed
    • Direct data transfer between SOAP web services in Orchestration 

      Subramanian, Sattanathan; Sztromwasser, Paweł; Puntervoll, Pål; Petersen, Kjell (ACM, 2012)
      In scientific data analysis, workflows are used to integrate and coordinate resources such as databases and tools. Workflows are normally executed by an orchestrator that invokes component services and mediates data ...
      Conference object
    • Directed graph representation of half-rate additive codes over GF(4) 

      Danielsen, Lars Eirik; Parker, Matthew G. (Springer, 2010)
      We show that (n, 2n) additive codes over GF(4) can be represented as directed graphs. This generalizes earlier results on self-dual additive codes over GF(4), which correspond to undirected graphs. Graph representation ...
      Peer reviewedJournal article
    • Discrete event simulation in Java with applications in rodent navigation 

      Bergmann, Ørjan (The University of Bergen, 2002)
      Master thesis
    • Domain-Specific Languages for Composable Editor Plugins 

      Kats, Lennart C. L.; Kalleberg, Karl Trygve; Visser, Eelco (Elsevier, 2010-09-17)
      Modern IDEs increase developer productivity by incorporating many different kinds of editor services. These can be purely syntactic, such as syntax highlighting, code folding, and an outline for navigation; or they can be ...
      Journal article
    • Drum Analysis 

      Riskedal, Espen (The University of Bergen, 2002)
      This thesis studies drumloops, and the possibility to separate the different drumsounds from each other. Drum onsets and the detection of these are thoroughly discussed. Different approaches for detection and separation ...
      Master thesis
    • Dynamic Content Manage for E-Learning 

      Tekle, Kidane Mebrahtu (The University of Bergen, 2008-11-18)
      Master thesis
    • Dynamic Content Manager for E-Learning 

      Bottu, Anil Kumar (The University of Bergen, 2008-11-18)
      Dynamic content manager for E-Learning project is developed as the partial fulfillment of master studies under the supervision of yngve lamo Ph.D and Khalid Azim Mughal Ph.D.
      Master thesis
    • Dynamic Presentation Generator 2.0 Utvikling av ny dynamisk presentasjonsgenerator og presentasjonsmønsterspesifikasjon. 

      Sebak, Bjørn Christian (The University of Bergen, 2008-10-13)
      Denne masteroppgaven er en del av JAva FjernUndervisningsprosjektet (JAFU) på Institutt for Informatikk ved Universitetet i Bergen. Formålet med dette prosjektet er først og fremst å kunne tilby nettbasert undervisning ...
      Master thesis
    • EDAM: an ontology of bioinformatics operations, types of data and identifiers, topics and formats 

      Ison, Jon; Kalaš, Matúš; Jonassen, Inge; Bolser, Dan; Uludag, Mahmut; McWilliam, Hamish; Malone, James; Lopez, Rodrigo; Pettifer, Steve; Rice, Peter (Oxford University Press, 2013)
      Motivation: Advancing the search, publication and integration of bioinformatics tools and resources demands consistent machine-understandable descriptions. A comprehensive ontology allowing such descriptions is therefore ...
      Journal article
    • Editing to Eulerian Graphs 

      Dabrowski, Konrad K.; Golovach, Petr; van' t Hof, Pim; Paulusma, Daniël (Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, 2014)
      We investigate the problem of modifying a graph into a connected graph in which the degree of each vertex satisfies a prescribed parity constraint. Let ea, ed and vd denote the operations edge addition, edge deletion and ...
      Conference object
    • Efficient CRISPR-Cas9-mediated generation of knockin human pluripotent stem cells lacking undesired mutations at the targeted locus 

      Merkle, Florian T.; Neuhausser, Werner M.; Santos, David; Valen, Eivind; Gagnon, James A.; Maas, Kristi; Sandoe, Jackson; Schier, Alexander F.; Eggan, Kevin (Elsevier, 2015-05)
      The CRISPR-Cas9 system has the potential to revolutionize genome editing in human pluripotent stem cells (hPSCs), but its advantages and pitfalls are still poorly understood. We systematically tested the ability of CRISPR-Cas9 ...
      Journal article
    • Efficiently Locating Schema Incompatibilities in an eXtensible Markup Language 

      Kaufmann, Roland (The University of Bergen, 2003)
      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
    • Elastic Grid Resources using Cloud Technologies 

      Carlsen, Joachim Christoffer (The University of Bergen, 2014-06-02)
      A Large Ion Collider Experiment (ALICE) is one of four experiments at the Large Hadron Collider (LHC) at CERN. The detectors in the ALICE experiment produce data at a rate of 4 GB/s after being filtered and compressed ...
      Master thesis
    • En studie av mesh-traverseringsmønstre for Sophus-biblioteket og kjøretids variasjoner på SGI Origin 

      Hundvebakke, Hogne (The University of Bergen, 2002)
      Master thesis
    • En visuell tilnærming til simulering av købaserte modeller i Java 

      Ervik, Morten Johannes (The University of Bergen, 2004)
      Master thesis
    • Energy-scale Aware Feature Extraction for Flow Visualization 

      Pobitzer, Armin; Tutkun, Murat; Anreassen, Øyvind; Fuchs, Raphael; Peikert, Ronald; Hauser, Helwig (Blackwell Publishing Ltd., 2011)
      In the visualization of flow simulation data, feature detectors often tend to result in overly rich response, making some sort of filtering or simplification necessary to convey meaningful images. In this paper we present ...
      Peer reviewedJournal article