Browsing Department of Informatics by Issue Date
Now showing items 41-60 of 927
-
A wide-range algorithm for minimal triangulation from an arbitrary ordering
(Journal article, 2006) -
A Vertex Incremental Approach for Maintening Chordiality
(Journal article, 2006) -
Exact algorithms for treewidth and minimum fill-in
(Journal article, 2006) -
Type Systems for Resource Use in Component Software
(Master thesis, 2006)In many situations a programmer must be concerned with resources which are not accounted and controlled completely by the programming language. These could be external physical resources, like a printer or a screen, it ... -
Combining Aspect-Oriented and Strategic Programming
(Peer reviewed; Journal article, 2006-01)Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very difficult or even impossible to modularizewith ... -
MassSorter: a tool for administrating and analyzing data from mass spectrometry experiments on proteins with known amino acid sequences
(Peer reviewed; Journal article, 2006-01-26)Background: Proteomics is the study of the proteome, and is critical to the understanding of cellular processes. Two central and related tasks of proteomics are protein identification and protein characterization. Many ... -
Looking at the Stars
(Journal article, 2006-02-28)The problem of packing k vertex-disjoint copies of a graph H into another graph G is NP-complete if H has more than two vertices in some connected component. In the framework of parameterized complexity we analyze a ... -
Techniques in parameterized algorithm design
(Doctoral thesis, 2006-03-06)In this thesis we give a novel classification of techniques for designing parameterized algorithms, together with research publications applying these techniques, in particular Crown Decompositions, to various problems. ... -
New Results on Minimal Triangulations
(Doctoral thesis, 2006-04-25) -
Type Systems for Guaranteeing Resource Bounds of Component Software
(Doctoral thesis, 2006-05-15)Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ... -
On Curvature and Separability in Unconstrained Optimisation
(Doctoral thesis, 2006-06-16) -
Vulnerabilities in distributed computer systems
(Doctoral thesis, 2006-10-04)The society relies more and more on interconnected computers systems and distributed applications. This dissertation considers security in such systems, focusing on how to break the security. Online banking, wireless systems ... -
Development and application of methods for the analysis of microarray gene expression data
(Doctoral thesis, 2006-10-20) -
A simple spreadsheet-based, MIAME-supportive format for microarray data: MAGE-TAB
(Peer reviewed; Journal article, 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 complexity ... -
Improvements and extensions to the configuration tools of the TaskManager HLT software in the ALICE experiment at CERN
(Master thesis, 2007)This thesis concerns work done to improve andextend software that is used to configure nodesand trigger software in HLT under the ALICEexperiment at CERN. HLT is a large computercluster that will be used to reduce data ... -
Two-tensor Fiber Tractography
(Peer reviewed; Journal article, 2007)Estimating white matter fiber pathways from a diffusion tensor MRI dataset has many important applications in medical research. However, the standard approach of performing tracking on single-tensor estimates per voxel is ... -
Computational analysis of the evolutionary dynamics of proteins on a genomic scale
(Doctoral thesis, 2007-01-16)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 ... -
Abstractions for Language-Independent Program Transformations
(Doctoral thesis, 2007-06-27) -
TMM@: a web application for the analysis of transmembrane helix mobility
(Peer reviewed; Journal article, 2007-07-02)Background: To understand the mechanism by which a protein transmits a signal through the cell membrane, an understanding of the flexibility of its transmembrane (TM) region is essential. Normal Mode Analysis (NMA) has ... -
Error Detection and Correction for Symmetric and Asymmetric Channels
(Doctoral thesis, 2007-08-27)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 message. ...