Now showing items 54-73 of 323

    • A database for boolean functions and constructions of generalized pairs 

      Abdelraheem, Mohamed Ahmed Awadelkareem M.A (The University of Bergen, 2009-03-26)
      In this thesis, we study spectral measures of Boolean functions. In the first half of thesis, we study the Walsh spectrum and the periodic autocorrelation spectrum of a Boolean function. A database of Boolean functions is ...
      Master thesis
    • Datainnsamling med XForms i Dynamic Presentation Generator 

      Høiland, Morten (The University of Bergen, 2011-06-01)
      Master thesis
    • Dependencies: No Software is an Island 

      Tellnes, Jørgen (The University of Bergen, 2013-10-15)
      In the past years, package managers, application frameworks and open-source libraries have made it vastly simpler and faster to get functioning software up and running, while cloud providers and external service providers ...
      Master thesis
    • Designing Subexponential Algorithms: Problems, Techniques & Structures 

      Dorn, Frederic (The University of Bergen, 2007-09-14)
      In this thesis we focus on subexponential algorithms for NP-hard graph problems: exact and parameterized algorithms that have a truly subexponential running time behavior. For input instances of size n we study exact ...
      Doctoral thesis
    • Development and application of methods for the analysis of microarray gene expression data 

      Dysvik, Bjarte (The University of Bergen, 2006-10-20)
      Doctoral thesis
    • Development of Tools for Analyzing and Sharing Proteomics Data 

      Barsnes, Harald (The University of Bergen, 2010-03-22)
      Doctoral thesis
    • Diagram Predicate Framework meets Model Versioning and Deep Metamodelling 

      Rossini, Alessandro (The University of Bergen, 2011-12-07)
      Model-driven engineering (MDE) is a branch of software engineering which aims at improving the productivity, quality and cost-effectiveness of software by shifting the paradigm from code-centric to model-centric. MDE ...
      Doctoral thesis
    • 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