Type
Now showing items 120 of 51

Abstractions for LanguageIndependent Program Transformations
(The University of Bergen, 20070627)Doctoral thesis 
Assessing and Mitigating Risks in Computer Systems
(The University of Bergen, 20080926)When it comes to nontrivial 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 ...Doctoral thesis 
Case Studies in Constructive Mathematics
(The University of Bergen, 20160122)The common theme in this thesis is the study of constructive provability: in particular we investigate aspects of ﬁnite sets and Kan simplicial sets from a constructive perspective. There are numerous deﬁnitions of ...Doctoral thesis 
Characteristics of Pyrosequencing Data – Analysis, Methods, and Tools
(The University of Bergen, 20130617)The introduction of this thesis provides background knowledge on the 454 sequencing technology and a detailed review of the most relevant sequencing artifacts. Chapter 1 puts the 454 sequencing technology into a historical ...Doctoral thesis 
Choice of parameter for DPbased FPT algorithms: four case studies
(The University of Bergen, 20150907)This thesis studies dynamic programming algorithms and structural parameters used when solving computationally hard problems. In particular, we look at algorithms that make use of structural decompositions to overcome ...Doctoral thesis 
Coding for passive RFID communication
(The University of Bergen, 20120831)This dissertation elaborates on channel coding for reliable communication in passive RFID systems. RFID applications have been developed and used widely. Since a passive RFID tag has no power requirements, passive RFID ...Doctoral thesis 
Computational analysis of the evolutionary dynamics of proteins on a genomic scale
(The University of Bergen, 20070116)Biology is primarily concerned with the study of all phenotypic aspects of living organisms and evolutionary biology is more specifically interested in elucidating how different phenotypes evolved. Proteins (and RNA ...Doctoral thesis 
Cryptanalysis of Cryptographic Primitives and Related Topics
(The University of Bergen, 20110909)This thesis has focused on the cryptanalysis of cryptographic primitives especially stream ciphers which is an important topic in cryptography. Additionally, the security of network coding is discussed and improved with ...Doctoral thesis 
Designing Subexponential Algorithms: Problems, Techniques & Structures
(The University of Bergen, 20070914)In this thesis we focus on subexponential algorithms for NPhard graph problems: exact and parameterized algorithms that have a truly subexponential running time behavior. For input instances of size n we study exact ...Doctoral thesis 
Development and application of methods for the analysis of microarray gene expression data
(The University of Bergen, 20061020)Doctoral thesis 
Development of Tools for Analyzing and Sharing Proteomics Data
(The University of Bergen, 20100322)Doctoral thesis 
Diagram Predicate Framework meets Model Versioning and Deep Metamodelling
(The University of Bergen, 20111207)Modeldriven engineering (MDE) is a branch of software engineering which aims at improving the productivity, quality and costeffectiveness of software by shifting the paradigm from codecentric to modelcentric. MDE ...Doctoral thesis 
Diagram predicate framework: A formal approach to MDE
(The University of Bergen, 20101129)Modeldriven engineering (MDE) is a software engineering discipline which promotes models as firstclass entities. It represents a shift of paradigm in software development, from being codecentric to become modelcentric. ...Doctoral thesis 
Efforts towards accessible and reliable bioinformatics
(The University of Bergen, 20151119)The aim of the presented work was contributing to making scientific computing more accessible, reliable, and thus more efficient for researchers, primarily computational biologists and molecular biologists. Many approaches ...Doctoral thesis 
Error Detection and Correction for Symmetric and Asymmetric Channels
(The University of Bergen, 20070827)When a message is sent over a channel errors can occur due to noise during the transmission. So it is very important to know the error correction and detection capability of the code, which is used to encode the ...Doctoral thesis 
Exponential time algorithms: Structures, measures, and bounds
(The University of Bergen, 20081205)This thesis studies exponential time algorithms, more precisely, algorithms exactly solving problems for which no polynomial time algorithm is known and likely to exist. Interested in worst–case upper bounds on the running ...Doctoral thesis 
Expressive Visualization and Rapid Interpretation of Seismic Volumes
(The University of Bergen, 20091027)One of the most important resources in the world today is energy. Oil and gas provide two thirds of the world energy consumption, making the world completely dependent on it. Locating and recovering the remaining oil and ...Doctoral thesis 
Feasible Algorithms for Semantics — Employing Automata and Inference Systems
(The University of Bergen, 20101216)Doctoral thesis 
An improved workflow for image and laserbased virtual geological outcrop modelling
(The University of Bergen, 20130315)Photorealistic 3D models, representing an object’s surface geometry textured with conventional photography, are used for visualization, interpretation and spatial measurement in many disparate fields, such as cultural ...Doctoral thesis 
Interactive visual analysis of multifaceted scientific data
(The University of Bergen, 20110527)Visualization plays an important role in exploring, analyzing and presenting large and heterogeneous scientific data that arise in many disciplines of medicine, research, engineering, and others. We can see that model ...Doctoral thesis