Browsing Department of Informatics by Title
Now showing items 299318 of 378

The SHIP Validator: An Annotationbased ContentValidation Framework for Java Applications
(IEEE, 2010)In this paper, we investigate the use of Java annotations for software security purposes. In particular, we implement a framework for content validation where the validation tests are specified by annotations. This ...Peer reviewedConference object 
Similaritybased Exploded Views
(Springer, 2008)Exploded views are often used in illustration to overcome the problem of occlusion when depicting complex structures. In this paper, we propose a volume visualization technique inspired by exploded views that partitions ...ChapterPeer reviewed 
A simple spreadsheetbased, MIAMEsupportive format for microarray data: MAGETAB
(BioMed Central, 20061106)Background: Sharing of microarray data within the research community has been greatly facilitated by the development of the disclosure and communication standards MIAME and MAGEML by the MGED Society. However, the ...Journal article 
Simplified Computer Interaction Using Mixed Reality
(The University of Bergen, 2004)This thesis describes a system for mixing reality, as captured by a camera, with a virtual 3dimensional world. A system to recognize and track a square pattern of markers is created in order to obtain the extrinsic ...Master thesis 
Skaping av meirverdi gjennom opne data om kollektivtrafikk
(The University of Bergen, 20150504)Tema i denne oppgåva er opne data, med ei avgrensing mot kollektivtrafikkdata. Djupnestudien er retta mot verksemda til Skyss, det fylkeskommunale kollektivtrafikkselskapet i Hordaland. Omgrepet opne data" inneber ...Master thesis 
Sketchbased Modelling and Conceptual Visualization of Geomorphological Processes for Interactive Scientific Communication
(The University of Bergen, 20140919)Throughout this dissertation, solutions for rapid digitalization of ideas will be defined. More precisely, the focus is on interactive scientific sketching and communication of geology, where the result is a digital ...Doctoral thesis 
Sketchbased Storytelling for Cognitive Problem Solving: Externalization, Evaluation, and Communication in Geology
(The University of Bergen, 20130625)PROBLEM solving is an important part of all engineering and scientific activities. It is present, for instance, when experts want to develop more fuelefficient cars or when they are searching for oil and gas in the ...Doctoral thesis 
SMS OneTime Passwords, Security in TwoFactor Authentication
(The University of Bergen, 20150529)In the past decade, the low price and ease of generating and sending large amounts of SMS have made it possible for many online services to create strong and affordable authentication systems. With the growth of smartphones ...Master thesis 
So you've got IPv6 address space. Can you defend it?
(The University of Bergen, 20140529)Internet Protocol version 6 (IPv6) is the successor of Internet Protocol version 4 (IPv4). IPv6 will become the next standard networking protocol on the Internet. It brings with it a great increase in address space, changes ...Master thesis 
Software modeling of the propagation of electromagnetic beams through different media
(The University of Bergen and Bergen University College, 20140602)Propagation and focusing of electromagnetic beams through layered anisotropic medium is of interest in the field of optical data storage, where thin layers are mounted on glass substrates, display technology, where polarised ...Master thesis 
Solving Compressed Right Hand Side Equation Systems with Linear Absorption
(Springer Berlin Heidelberg, 2012)In this paper we describe an approach for solving complex multivariate equation systems related to algebraic cryptanalysis. The work uses the newly introduced Compressed Right Hand Sides (CRHS) representation, where ...Peer reviewedChapter 
Solving Equation Systems by Agreeing and Learning
(Springer Berlin Heidelberg, 2010)We study sparse nonlinear equation systems defined over a finite field. Representing the equations as symbols and using the Agreeing algorithm we show how to learn and store new knowledge about the system when a ...Peer reviewedChapter 
Solving System of Nonlinear Equations Using Methods in the Halley Class
(The University of Bergen, 20090526)In this thesis a new iterative frame work to solve the nonlinear system of equations $F(x)=0$ in ndimensional real space is established. This iterative frame work is based on a quadratic model of the function $F(x)$ ...Master thesis 
Solving the 2disjoint connected subgraphs problem faster than 2ⁿ
(Springer, 201410)The 2DISJOINT CONNECTED SUBGRAPHS problem, given a graph along with two disjoint sets of terminals Z1,Z2, asks whether it is possible to find disjoint sets A1,A2, such that Z1 ⊆ A1, Z2 ⊆ A2 and A1,A2 induce connected ...Journal article 
Solving the pooling problem with LMI relaxations
(The authors, 2012)We consider the standard pooling problem with a single quality parameter, which is a polynomial global optimization problem occurring among other places in the oil industry. In this paper, we show that if the feasible ...Peer reviewedChapter 
Sparse Boolean equations and circuit lattices
(Springer, 2010)A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard problem in the cryptanalysis of modern ciphers. In ...Peer reviewedJournal article 
Spiking Neural Networks for Pattern Recognition
(The University of Bergen, 2017)We have investigated an existing theoretical model for spiking neural networks, and based on this model we have implemented our own network. Then we have carried out experiments with this network, and compared its performance ...Master thesis 
The State of the Art in Topologybased Visualization of Unsteady Flow
(Blackwell Publishing Ltd., 2011)Vector fields are a common concept for the representation of many different kinds of flow phenomena in science and engineering. Methods based on vector field topology are known for their convenience for visualizing and ...Peer reviewedJournal article 
Statistical and Algebraic Properties of DES
(Springer, 2016)D. Davies and S. Murphy found that there are at most 660 different probability distributions on the output from any three adjacent Sboxes after 16 rounds of DES. In this paper it is shown that there are only 72 different ...Chapter 
A Statisticsbased Dimension Reduction of the Space of Path Line Attributes for Interactive Visual Flow Analysis
(IEEE, 2012)Recent work has shown the great potential of interactive flow analysis by the analysis of path lines. The choice of suitable attributes, describing the path lines, is, however, still an open question. This paper addresses ...Peer reviewedJournal article