Now showing items 52-71 of 273

  • 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
  • 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
  • Enhancing Content Management in DPG 

    Pino Arevalo, Ana Gabriela (The University of Bergen, 2013-11-20)
    This thesis analyzes the usability aspects of PCE and implements a new Single Page Application that attempts to solve this issues
    Master thesis
  • Error Detection and Correction for Symmetric and Asymmetric Channels 

    Naydenova, Irina Petkova (The University of Bergen, 2007-08-27)
    When a message is sent over a channel errors can occur due to noise during the transmission. So it is very important to know the error correction and detection capability of the code, which is used to encode the ...
    Doctoral 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