Now showing items 2419-2438 of 2520

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Floeng, Sander Kopstad (Master thesis / Masteroppgave, 2016)
  • 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 ...
  • 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 ...
  • Din, Crystal Chang (Doctoral thesis / Doktoravhandling, 2014)
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Huseby, Sverre H. (Master thesis / Hovedoppgave, 1997)
  • Ruud, Bjørn Olav (Master thesis / Masteroppgave, 2006)
    Video streams in general do not adapt to changes in the network environment, causing image quality to suffer. Graceful video scaling requires fine granular adaption, and scalable video codecs like SPEG and MPEG-4 FGS provide ...