Blar i Department of Informatics på emneord "VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420"
Viser treff 21-40 av 49
-
Lineær kompleksitet til produkter av maksimalsekvenser
(Master thesis, 2000) -
Machine Learning methods for mood disorder decision support
(Master thesis, 2017-07-11) -
Methods for analysing 2D electrophoretic gel images
(Master thesis, 2002) -
Model Checking with the Sweep-Line Method
(Master thesis, 2017-06-21)Explicit-state model checking is a formal software verification technique that differs from peer review and unit testing, in that model checking does an exhaustive state space search. With model checking one takes a system ... -
A Multilevel scheme for the Travelling Salesman Problem
(Master thesis, 2002) -
Multimedia i dynamisk presentasjons generator 2.0
(Master thesis, 2008-10-01)Oppgaven omhandler en ny implementasjon av innholdshåndteringssystemet Dynamic Presetation Generator DPG, hvor hovedvekten av oppgaven tar for seg integrering av multimediafunksjonalitet i systemet. -
Naturlige nettverk
(Master thesis, 2008)En innføring i naturlige nettverk. Vi forklarer og diskuterer begrepet naturlige nettverk og vurderer hvilke nettverk som bør kalles naturlige. Vi ser på forskjeller og likheter mellom tilfeldige, planlagte og naturlige ... -
New Results on Minimal Triangulations
(Doctoral thesis, 2006-04-25) -
Nye øvre skranker på ytelsen til adaptiv koding og modulasjon i OFDM-ba serte trådløse nettverk
(Master thesis, 2004) -
On Connections Between Graphs, Codes, Quantum States, and Boolean Functions
(Doctoral thesis, 2008-05-28)We study objects that can be represented as graphs, error-correcting codes, quantum states, or Boolean functions. It is known that self-dual additive codes, which can also be interpreted as quantum states, can be represented ... -
On iterative decoding of high-density parity-check codes using edge-local complementation
(Doctoral thesis, 2010-11-24)The overall topic of this work is a graph operation known as edgelocal complementation (ELC) and its applications to iterative decoding of classical codes. Although these legacy codes are arguably not well-suited for ... -
On Self-Dual Quantum Codes, Graphs, and Boolean Functions
(Master thesis, 2005)A short introduction to quantum error correction is given, and it is shown that zero-dimensional quantum codes can be represented as self-dual additive codes over GF(4) and also as graphs. We show that graphs representing ... -
The Ontology Lookup Service: bigger and better
(Peer reviewed; Journal article, 2010-05-11)The Ontology Lookup Service (OLS; http://www.ebi .ac.uk/ols) has been providing several means to query, browse and navigate biomedical ontologies and controlled vocabularies since it first went into production 4 years ago, ... -
Optimization issues in medical imaging and fiber-tracking
(Doctoral thesis, 2008-02-27)Fiber tracking is a relatively recent methodology, made possible by access to new highly advanced MR scanners able to produce high-quality diffusion tensor images (DTI), which promises clinicians a possibility to observe ... -
Randomised Construction and Dynamic Decoding of LDPC Codes
(Master thesis, 2005-11-30) -
Security analysis of electronic voting and online banking systems
(Doctoral thesis, 2007-08-29)The main focus of this dissertation is on security analysis of electronic voting and online banking systems. Six papers form the basis of the thesis and include the following topics: a model for analysis of voting systems, ... -
Self-stabilizing algorithms for the distance-k coloring problem
(Master thesis, 2008-11-10)Many problems of practical interest can be modeled as coloring problems. For example, when you are making a phone call using a mobile phone, it needs to transform the voice signal into an electronic wireless signal. Eachsuch ... -
Selvstabiliserende algoritmer for frekvensallokering
(Master thesis, 2004) -
Simplified Computer Interaction Using Mixed Reality
(Master thesis, 2004)This thesis describes a system for mixing reality, as captured by a camera, with a virtual 3-dimensional world. A system to recognize and track a square pattern of markers is created in order to obtain the extrinsic ...