• norsk
    • English
  • norsk 
    • norsk
    • English
  • Logg inn
Blar i Department of Informatics på tittel 
  •   Hjem
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • Blar i Department of Informatics på tittel
  •   Hjem
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • Blar i Department of Informatics på tittel
JavaScript is disabled for your browser. Some features of this site may not work without it.

Blar i Department of Informatics på tittel

  • 0-9
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z
  • Æ
  • Ø
  • Å

Sorter på:

Rekkefølge:

Resultater:

Viser treff 1-20 av 541

  • Tittel
  • Utgivelsesdato
  • Registreringsdato
  • Forfatter
  • stigende
  • synkende
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • A 43k Kernel for Planar Dominating Set using Computer-Aided Reduction Rule Discovery 

      Halseth, Johan Torås (Master thesis, 2016-02-15)
      In this thesis we explore the technique of Region Decomposition for finding kernels for Planar Dominating Set. We redefine some concepts used in earlier work, fixing some ambiguities on the way. From those concepts we end ...
    • A Domain-Specific Language for the Development of Heterogeneous Multi-Robot Systems 

      Losvik, Daniel Steen (Master thesis, 2019-06-28)
      Robots are becoming more advanced each year and will increasingly become a bigger part of our lives. This thesis explores how model-driven software engineering can be used in the development of heterogeneous multi-robot ...
    • A Modular Approach for Creating Web Applications with 3D Geology Using React and X3DOM 

      Eriksen, Tomas Fjugstad (Master thesis, 2019-06-29)
      The thesis details the work for creating a web application that allows a user to see a visualization for geological data like topography, seismic data and well measurements from the subsurface. This application uses the ...
    • A Visual Analytics Dashboard for Mental Health Therapists 

      Grieg, Nikolai Alexander (Master thesis, 2019-06-29)
      Mental health disorders are a significant problem throughout the western world. Cognitive Behavioral Therapy (CBT) is a common treatment form for these disorders. Internet-based Cognitive Behavioral Therapy (iCBT) provides ...
    • Abstractions for Language-Independent Program Transformations 

      Kalleberg, Karl Trygve (Doctoral thesis, 2007-06-27)
    • Accurate analysis of genuine CRISPR editing events with ampliCan 

      Labun, Kornel; Guo, Xiaoge; Chavez, Alejandro; Church, George M.; Gagnon, James A.; Valen, Eivind (Peer reviewed; Journal article, 2019)
      We present ampliCan, an analysis tool for genome editing that unites highly precise quantification and visualization of genuine genome editing events. ampliCan features nuclease-optimized alignments, filtering of experimental ...
    • Additive Schwarz preconditioner for the finite volume element discretization of symmetric elliptic problems 

      Marcinkowski, Leszek; Rahman, Talal; Loneland, Atle; Valdman, Jan (Peer reviewed; Journal article, 2015-09-25)
      A symmetric and a nonsymmetric variant of the additive Schwarz preconditioner are proposed for the solution of a class of finite volume element discretization of the symmetric elliptic problem in two dimensions, with large ...
    • Algebraic Attack on Small Scale Variants of AES using Compressed Right Hand Sides 

      Indrøy, John Petter (Master thesis, 2018-04-07)
      The Advanced Encryption Standard is probably the most used symmetric encryption cipher in use today, which makes it particularly interesting for cryptanalysis. This thesis attacks smallscale variants of AES through a ...
    • Algorithms for Linearly Ordered Boolean Formulas 

      Egeland, Christian (Master thesis, 2016-06-30)
      This thesis considers a class of propositional boolean formulas on which various problems related to satisfiability are efficiently solvable by a dynamic programming algorithm. It mainly consists of two larger parts: the ...
    • Aligning a Splice Graph to a Genomic Sequence 

      Ølberg, Øyvind (Master thesis, 2005-06-01)
    • An Automated Method for Converting 3D Meshes into Editable 2D Vector Graphics 

      Ure, Vidar Hartveit (Master thesis, 2019-06-29)
    • An Indoor/Outdoor Air Quality Relationship Analysis Using Internet of Things 

      Haug, Lars Henrik (Master thesis, 2019-06-29)
      Exposure to high levels of air pollution is a significant cause of premature mortality. In Norway, people spend about 90% of their time indoors. Therefore, the relationship between indoor and outdoor concentrations of air ...
    • Analysis of Trivium Using Compressed Right Hand Side Equations 

      Schilling, Thorsten Ernst; Raddum, Håvard (Chapter; Peer reviewed, 2012)
      We study a new representation of non-linear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a very ...
    • Analysis, classification and construction of optimal cryptographic Boolean functions 

      Villa, Irene (Doctoral thesis, 2021-01-04)
      Modern cryptography is deeply founded on mathematical theory and vectorial Boolean functions play an important role in it. In this context, some cryptographic properties of Boolean functions are defined. In simple terms, ...
    • An Approach to Flexible Multilevel Modelling 

      Macias, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto; Wolter, Uwe Egbert (Peer reviewed; Journal article, 2018-07-12)
      Multilevel modelling approaches tackle issues related to lack of flexibility and mixed levels of abstraction by providing features like deep modelling and linguistic extension. However, the lack of a clear consensus on ...
    • Approximating Acyclicity Parameters of Sparse Hypergraphs 

      Fomin, Fedor; Golovach, Petr; Thilikos, Dimitrios (Conference object; Peer reviewed; Journal article, 2009)
      The notions of hypertree width and generalized hypertree width were introduced by Gottlob, Leone, and Scarcello (PODS'99, PODS'01) in order to extend the concept of hypergraph acyclicity. These notions were further generalized ...
    • Approximating cube roots of integers, after Heron’s Metrica III.20 

      Steihaug, Trond; Rogers, D. G. (Peer reviewed; Journal article, 2013)
    • Approximation algorithms in combinatorial scientific computing 

      Pothen, Alex; Ferdous, SM; Manne, Fredrik (Journal article; Peer reviewed, 2019)
      We survey recent work on approximation algorithms for computing degreeconstrained subgraphs in graphs and their applications in combinatorial scientific computing. The problems we consider include maximization versions of ...
    • Arrangement Problems Parameterized by Neighbourhood Diversity 

      Bakken, Olav Røthe (Master thesis, 2018-12-19)
      We show that the arrangement problems BANDWIDTH, DISTORTION and IMBALANCE is FPT when parameterized by neighbourhood diversity, and establish some structural results for CUTWIDTH parameterized by neighbourhood diversity.
    • Assessing and Mitigating Risks in Computer Systems 

      Netland, Lars-Helge (Doctoral thesis, 2008-09-26)
      When it comes to non-trivial networked computer systems, bulletproof security is very hard to achieve. Over a system's lifetime new security risks are likely to emerge from e.g. newly discovered classes of vulnerabilities ...

      Kontakt oss | Gi tilbakemelding

      Personvernerklæring
      DSpace software copyright © 2002-2019  DuraSpace

      Levert av  Unit
       

       

      Bla i

      Hele arkivetDelarkiv og samlingerUtgivelsesdatoForfattereTitlerEmneordDokumenttyperTidsskrifterDenne samlingenUtgivelsesdatoForfattereTitlerEmneordDokumenttyperTidsskrifter

      Min side

      Logg inn

      Kontakt oss | Gi tilbakemelding

      Personvernerklæring
      DSpace software copyright © 2002-2019  DuraSpace

      Levert av  Unit