Browsing Institutt for informatikk by Title

Now showing items 3035-3054 of 3161

  • Valid Time in a Model Driven Framework 
    Myrind, Geir (Master thesis / Hovedoppgave, 2002)
    This thesis presents a framework for modeling and developing temporal information systems. The framework defines a model driven development process which automatically transforms temporal system models into executable ...
  • Validation of Contract Decomposition by Testing 
    Lund, Mass Soldal (Master thesis / Hovedoppgave, 2002)
    In this cand.scient. thesis we propose a strategy for testing validity of decomposition of contract oriented specifications. The strategy is based on Abadi and Lamport's Composition Theorem for the Temporal Logic of Actions ...
  • Validation of oligoarrays for quantitative exploration of the transcriptome 
    Nygaard, Vigdis; Liu, Fang; Holden, Marit; Kuo, Winston P; Trimarchi, Jeff; Ohno-Machado, Lucila; Cepko, Connie L; Frigessi, Arnoldo; Glad, Ingrid K; van de Wiel, A M; Hovig, Eivind; Lyng, Heidi (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2008)
    Background Oligoarrays have become an accessible technique for exploring the transcriptome, but it is presently unclear how absolute transcript data from this technique compare to the data achieved with ...
  • A Value Development Framework For Service Innovation 
    Lew Yaw Fung, Yannick Lit How (Master thesis / Masteroppgave, 2014)
    It is an undeniable fact nowadays that services have become a vital catalyst for economic growth worldwide. Innovation in services is regarded as being a key pillar in order to sustain the growth momentum of the service ...
  • Value Matrix and Domain Map - Boundary Objects for Systemic Innovation 
    Johansson, Benjamin Bjønnes (Master thesis / Masteroppgave, 2012)
    Information overload is a complex and growing problem that many systems have tried to remedy. Recognizing that technology alone will probably not be enough to solve this problem, and that conventional knowledge work practices ...
  • Var det alt? En studie av brukeropplevelser i TV-studio på INSPIRIA science center 
    Castro, Rebekka Bjørneberg (Master thesis / Masteroppgave, 2014)
    Tema for denne masteroppgaven er brukeropplevelser i interaktive utstillinger i museer. Forskning på brukeropplevelser og sosial interaksjon er utbredt innen Human Computer Interaction-feltet (HCI), men ikke innen det mer ...
  • A Variable Word-Width Content Addressable Memory (CAM) for Fast String Matching 
    Nilsen, Geir (Master thesis / Hovedoppgave, 2004)
    Abstract This work deals with off-loading some critical parts in the process of performing intrusion detection from software to reconfigurable hardware (FPGA). Signatures of known attacks must typically be compared to ...
  • Variably sized filter kernels for GPU Accelerated Photon Mapping 
    Bjønnes, Erik Wilhelm (Master thesis / Masteroppgave, 2010)
    In this thesis we give a quick overview of Photon Mapping, and two articles on how this can be accelerated on the GPU. We then explore how the solution from one of the articles can be extended to find a variably sized ...
  • Variational Autoencoders with Mixture Density Networks for Sequence Prediction in Algorithmic Composition - A Musical World Model 
    Røsjø, Viktoria (Master thesis / Masteroppgave, 2018)
  • Variational based smoke removal in laparoscopic images 
    Wang, Congcong; Alaya Cheikh, Faouzi; Kaaniche, Mounir; Beghdadi, Azeddine; Elle, Ole J (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2018)
    Background In laparoscopic surgery, image quality can be severely degraded by surgical smoke, which not only introduces errors for the image processing algorithms (used in image guided surgery), but also ...
  • «Vellykket brukerinvolvering i systemutvikling i Forsvaret» – en casestudie i utviklingen av SpesialsoldatRestricted Access 
    Floeng, Sander Kopstad (Master thesis / Masteroppgave, 2016)
  • Verbal Inference: A Study of Semantic Entailment 
    Ljosland, Ole Johan (Master thesis / Masteroppgave, 2014)
    In the field of lexical semantics, there have been many suggestions as to how the meaning of sentences and utterances should be represented. Such theories typically make use of traditional logic frameworks, and the various ...
  • Verification of Assertions in Creol Programs 
    Blanchette, Jasmin Christian (Master thesis / Hovedoppgave, 2008)
    Open distributed systems are composed of geographically dispersed components that may be modified at run-time. Such systems are becoming increasingly important, particularly when they are part of the infrastructure used ...
  • Verification of Asynchronously Communicating Objects 
    Din, Crystal Chang (Doctoral thesis / Doktoravhandling, 2014)
  • Verification of modal truncation as a tool for modeling nonlinear MEMS 
    Grinde, Christopher (Master thesis / Hovedoppgave, 2003)
    Keywords:Nonlinear modes, modal truncation, MicroElectroMechanical Systems, MEMS, macro-modeling. This paper reviews and verifies a methodology for nonlinear modal truncation especially suited for extraction of quasi-analytic ...
  • Verification of Network Simulators : The good, the bad and the ugly 
    Rosbach, Mats Holm (Master thesis / Masteroppgave, 2012)
    The purpose of a simulation is to try to get an indication on how a given system will behave in a range of different scenarios. For this kind of research to have any value, it is important that the simulator models reality ...
  • Verktøy for konstruksjon og simulering av digitale kretserRestricted Access 
    Hoseth, Arne Gunnar (Master thesis / Masteroppgave, 2008)
    Oppgaven gikk ut på å nyutvikle en plattformuavhengig løsning av et konstruksjons- og simuleringsverktøy for digitale kretser i Java. CAD-verktøyet er beregnet for studenter i undervisningssammenheng. Per i dag finnes ...
  • Vertically integrated models of CO2 migration: GPU accelerated simulations 
    Ertsås, Martin (Master thesis / Masteroppgave, 2011)
    Storage of CO2 in geological formations, such as oil and gas reservoirs, is considered an import means to reduce emissions of CO2 into the atmosphere. Accurate modeling of the CO2 migration is an important tool to analyse ...
  • VHDL implementasjon av to laveffekts prosessorarkitekturer på FPGA 
    Myhre, Andreas (Master thesis / Masteroppgave, 2009)
    Fokuset på laveffekts design av prosessorer til trådløse sensor nettverk har økt betraktelig de siste årene. Det har blitt designet prosessorkjerner som bruker ned mot 1 picoJoule per instruksjon, og anveldelsene ligger i ...
  • Video analysis of music-related body motion in Matlab 
    Zhou, Bo (Master thesis / Masteroppgave, 2016)
    Today, there are several toolboxes which can work on audio, motion, or other sensor data. These toolboxes are very useful to provide characteristic analysis of audio and motion. Unfortunately, the analysis is done separately ...