Now showing items 299-318 of 378

• #### The SHIP Validator: An Annotation-based Content-Validation 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
• #### Similarity-based 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 spreadsheet-based, MIAME-supportive format for microarray data: MAGE-TAB ﻿

(BioMed Central, 2006-11-06)
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 3-dimensional 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, 2015-05-04)
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
• #### Sketch-based Modelling and Conceptual Visualization of Geomorphological Processes for Interactive Scientific Communication ﻿

(The University of Bergen, 2014-09-19)
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
• #### Sketch-based Storytelling for Cognitive Problem Solving: Externalization, Evaluation, and Communication in Geology ﻿

(The University of Bergen, 2013-06-25)
PROBLEM solving is an important part of all engineering and scientific activities. It is present, for instance, when experts want to develop more fuel-efficient cars or when they are searching for oil and gas in the ...
Doctoral thesis
• #### SMS One-Time Passwords, Security in Two-Factor Authentication ﻿

(The University of Bergen, 2015-05-29)
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, 2014-05-29)
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, 2014-06-02)
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 non-linear 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, 2009-05-26)
In this thesis a new iterative frame work to solve the nonlinear system of equations $F(x)=0$ in n-dimensional real space is established. This iterative frame work is based on a quadratic model of the function $F(x)$ ...
Master thesis
• #### Solving the 2-disjoint connected subgraphs problem faster than 2ⁿ ﻿

(Springer, 2014-10)
The 2-DISJOINT 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 Topology-based 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 S-boxes after 16 rounds of DES. In this paper it is shown that there are only 72 different ...
Chapter
• #### A Statistics-based 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