Browsing Department of Informatics by Title
Now showing items 477-496 of 543
-
TailFindR: Alignment-free poly(A) length measurement for Oxford Nanopore RNA and DNA sequencing
(Peer reviewed; Journal article, 2019-07-02)Polyadenylation at the 3′-end is a major regulator of messenger RNA and its length is known to affect nuclear export, stability, and translation, among others. Only recently have strategies emerged that allow for genome-wide ... -
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. ... -
Testing with Concepts and Axioms in C++
(Reports in Informatics: 368, Research report, 2008-10)Modern development practices encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation. Such tests are typically case-based, checking a likely ... -
Throughput and robustness of bioinformatics pipelines for genome-scale data analysis
(Doctoral thesis, 2014-02-19)The post-genomic era has been heavily influenced by the rapid development of highthroughput molecular-screening technologies, which has enabled genome-wide analysis approaches on an unprecedented scale. The constantly ... -
Tight bounds for parameterized complexity of Cluster Editing
(Conference object; Peer reviewed; Journal article, 2013)In the Correlation Clustering problem, also known as Cluster Editing, we are given an undirected graph G and a positive integer k; the task is to decide whether G can be transformed into a cluster graph, i.e., a disjoint ... -
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 ... -
Tools and data services registry: a community effort to document bioinformatics resources
(Peer reviewed; Journal article, 2015-11-03)Life sciences are yielding huge data sets that underpin scientific discoveries fundamental to improvement in human health, agriculture and the environment. In support of these discoveries, a plethora of databases and tools ... -
Tournaments and Optimality: New Results in Parameterized Complexity
(Doctoral thesis; Peer reviewed, 2013-11-22) -
Towards a multilevel model transformation engine
(Master thesis, 2017)Domain specific modelling languages (DSML) are usually defined through fixed level meta modelling tools such as EMF. While this is sufficient for defining languages that has no overlap with other languages, the approach ... -
Towards a Secure Framework for mHealth. A Case Study in Mobile Data Collection Systems
(Doctoral thesis, 2015-11-05)The rapid growth in the mobile communications technology and wide cellular coverage created an opportunity to satisfy the demand for low-cost health care solutions. Mobile Health (a.k.a. mHealth) is a promising health ... -
Towards Advanced Interactive Visualization for Virtual Atlases
(Advances in Experimental Medicine and Biology, Chapter; Peer reviewed, 2019)An atlas is generally defined as a bound collection of tables, charts or illustrations describing a phenomenon. In an anatomical atlas for example, a collection of representative illustrations and text describes anatomy ... -
(Towards an) Implementation of a Graphical Editor for Diagrammatic Predicate Logic in the Eclipse Platform
(Master thesis, 2008)The primary goal of this master's thesis is to explore how the Eclipse Platform can be beneficial for the Generic Diagrammatic Software Specification project, and how a graphical editor in the Eclipse Platform can be put ... -
Towards Correct Modelling and Model Transformation in DPF
(Doctoral thesis, 2016-06-14)Model-driven engineering (MDE) is a model-centric software development methodology. It promotes models as first-class entities in software de- velopment. Models are used to represent software along software devel- opment ... -
Towards Efficient Algorithms in Algebraic Cryptanalysis
(Doctoral thesis, 2012-08-09) -
Towards Optimal Data Transmission by Network Coding
(Doctoral thesis, 2009-12-16)Communication protocols based on coded schemes and, in particular, network coding promise increased efficiency for future networks. The field is still young. Nevertheless, many important results have been already obtained. ... -
Towards Privacy Managment of Information Systems
(Master thesis, 2009-06-02)This masters thesis provides insight into the concept of privacy. It argues why privacy is important, and why developers and system owners should keep privacy in mind when developing and maintaining systems containing ... -
Trådløse applikasjoner til hjelp for synshemmede
(Master thesis, 2008)Det eksisterer fremdeles grupper i dagens teknologiske samfunn som trenger hjelpemidler for å utføre dagligdagse oppgaver. Det er fremdeles enkelte i dagens teknologiske samfunn som trenger hjelpemidler for å utføre ... -
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 ... -
A type system for counting instances of software components
(Peer reviewed; Journal article, 2012)We identify an abstract language for component software based on process algebra. Besides the usual operators for sequential, alternative and parallel composition, it has primitives for instantiating components and for ... -
A Type System for the Safe Instantiation of Components
(Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, Journal article, 2003-09-02)Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component ...