Now showing items 359-378 of 399

    • Trådløse applikasjoner til hjelp for synshemmede 

      Maldonado, Isabel Chambi (The University of Bergen, 2008)
      Det eksisterer fremdeles grupper i dagens teknologiske samfunn som trenger hjelpemidler for å utføre dagligdagse oppgaver. Det er fremdeles enkelte i dagens teknologiske samfunn som trenger hjelpemidler for å utføre ...
      Master thesis
    • Two-tensor Fiber Tractography 

      Bergmann, Ørjan; Kindlmann, Gordon; Peled, Sharon; Westin, Carl-Fredrik (IEEE, 2007)
      Estimating white matter fiber pathways from a diffusion tensor MRI dataset has many important applications in medical research. However, the standard approach of performing tracking on single-tensor estimates per voxel is ...
      Peer reviewedJournal article
    • A type system for counting instances of software components 

      Bezem, Marcus A.; Hovland, Dag; Truong, Anh Hoang (Elsevier, 2012)
      We identify an abstract language for component software based on process algebra. Besides the usual operators for sequential, alternative and parallel composition, it has primitives for instantiating components and for ...
      Peer reviewedJournal article
    • A Type System for the Safe Instantiation of Components 

      Bezem, Marcus A.; Truong, Anh Hoang (Elsevier B.V., 2003-09-02)
      Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component ...
      Journal article
    • A Type System for Usage of Software Components 

      Hovland, Dag (Springer, 2009)
      The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ...
      ChapterPeer reviewed
    • Type Systems for Guaranteeing Resource Bounds of Component Software 

      Truong, Anh Hoang (The University of Bergen, 2006-05-15)
      Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...
      Doctoral thesis
    • Type Systems for Resource Use in Component Software 

      Hovland, Dag (The University of Bergen, 2006)
      In many situations a programmer must be concerned with resources which are not accounted and controlled completely by the programming language. These could be external physical resources, like a printer or a screen, it ...
      Master thesis
    • User-configurable, high-level transformations with CodeBoost 

      Kalleberg, Karl Trygve (The University of Bergen, 2003)
      Scalable design of large applications requires domain-specific, high-level abstraction. Classically, there has been a tension between abstraction and good performance. We demonstrate how to overcome this tension by ...
      Master thesis
    • Using 3D functionality available in current web-browsers to create and visualize geological models. 

      Malt, Øystein Ivar (The University of Bergen, 2017-07-11)
      This thesis investigates the possibility of using modern web technologies to develop accessible applications for interactive covisualization of geological data such as topography, seismic slices and measurements from wells. ...
      Master thesis
    • Using Heat and Ceilometer to create an elastic OpenStack grid 

      Trippler, Niklas (The University of Bergen, 2017-06-21)
      Grid computing is a term for connecting computing resources together to solve large computational problems. Computational grids are used for a lot of computations within the high energy physics domain, where the amount of ...
      Master thesis
    • Using registries to integrate bioinformatics tools and services into workbench environments 

      Ménager, Hervé; Kalaš, Matúš; Rapacki, Kristoffer; Ison, Jon (Springer, 2015)
      The diversity and complexity of bioinformatics resources presents significant challenges to their localisation, deployment and use, creating a need for reliable systems that address these issues. Meanwhile, users demand ...
      Journal article
    • Using Smart Cards to Mitigate Security Threats on Mobile Devices 

      Sivertsgård, Henrik Mathisen (The University of Bergen, 2016-05-31)
      This master thesis developed and tested the idea that smart cards are able to help mitigate security threats on mobile devices that are handling sensitive data. Investigating the limitations of smart cards is a fundamental ...
      Master thesis
    • Utilizing the HTM algorithms for weather forecasting and anomaly detection 

      Vivmond, Alexandre (The University of Bergen, 2016-11-17)
      Various studies have utilized different artificial neural networks (ANN) for weather forecasting. This thesis examines how well the official implementation of a novel online ANN called the Hierarchical Temporal Memory (HTM) ...
      Master thesis
    • Utvidelse og formell sikkerhetsanalyse av Dynamic Presentation Generator 

      Vines, Aleksander (The University of Bergen, 2013-05-02)
      Oppgaven omhandler sikkerhetsproblematikk i Dynamic Presentation Generator og undersøker muligheten for å bruke en single-sign-on via Mi side.
      Master thesis
    • Utvikling og portering av Java ME applikasjoner 

      Haugen, Thomas Rene Vervik (The University of Bergen, 2008-06-02)
      Ved utvikling av mobilapplikasjoner i Java ME møter man anderledes utfordringer enn ved mer tradisjonell utvikling av skrivebordsapplikasjoner og/eller webbaserte applikasjoner. Denne oppgaven tar for seg disse forskjellene ...
      Master thesis
    • Variants of plane diameter completion 

      Golovach, Petr; Requile, Clement; Thilikos, Dimitrios M. (Dagstuhl Publishing, 2015)
      The Plane Diameter Completion problem asks, given a plane graph G and a positive integer d, if it is a spanning subgraph of a plane graph H that has diameter at most d. We examine two variants of this problem where the ...
      Conference object
    • VaulteR - A pipeline for vault associated RNA detection from RNA- sequencing 

      Gao, Yue (The University of Bergen, 2017-10-06)
      Vaults are highly conserved ribonucleoprotein complexes of unknown function. They have so far been found to be present in high numbers among higher eukaryotes including mammals, amphibians, and avians, as well as lower ...
      Master thesis
    • Vekthierarkiet for nokre kodeklassar 

      Winjum, Eli (The University of Bergen, 1995)
      Master thesis
    • A Vertex Incremental Approach for Maintening Chordiality 

      Berry, Anne; Heggernes, Pinar; Villanger, Yngve (Elsevier, 2006)
      Journal article
    • View-Dependent Peel-Away Visualization for Volumetric Data 

      Birkeland, Åsmund Rognerud (The University of Bergen, 2008-11-19)
      Traditional illustration of three-dimensional structures, has developed techniques to provide clear view on internal features that are otherwise hidden underneath other outer structures. Many techniques attempt to create ...
      Master thesis