Blar i Department of Informatics på tittel
Viser treff 1012-1031 av 1124
-
Three problems on well-partitioned chordal graphs
(Journal article; Peer reviewed, 2021)In this work, we solve three problems on well-partitioned chordal graphs. First, we show that every connected (resp., 2-connected) well-partitioned chordal graph has a vertex that intersects all longest paths (resp., longest ... -
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
(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 ... -
TimeBender: Interactive Authoring of 3D Space-Time Narratives
(Master thesis, 2022-09-12)Communication of scientific results and discoveries to, for example, fellow domain experts, business partners, students, or the general public, is an important part of research. Communication through visualization has been ... -
The timing of pregnancies after bariatric surgery has no impact on children’s health—a nationwide population-based registry analysis
(Journal article; Peer reviewed, 2023)Purpose Bariatric surgery has a favorable effect on fertility in women. However, due to a lack of data regarding children’s outcomes, the ideal time for conception following bariatric surgery is unknown. Current guidelines ... -
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 ... -
Tool support for specifying multi-way dataflow constraint systems
(Master thesis, 2022-11-21) -
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 ... -
Topological Quantum and Skein-Theoretic Aspects of Braided Fusion Categories
(Doctoral thesis, 2021-08-27)The first part of this thesis is dedicated to the study of anyons and exchange symmetry. We discuss the theory of identical particles and recap the standard algebraic framework for describing the exchange statistics of ... -
Topological Regularization of Support Vector Machines
(Master thesis, 2023-11-21)The unique functioning of Support Vector Machines (SVMs) can create undesirable behaviour, however this unique functioning in turn also allow for exploration of novel topological regularization methods. SVMs are a common ... -
Total dominator chromatic number of k-subdivision of graphs
(Journal article, 2023)Let G be a simple graph. A total dominator coloring of G, is a proper coloring of the vertices of G in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic (TDC) ... -
Tournaments and Optimality: New Results in Parameterized Complexity
(Doctoral thesis, 2013-11-22) -
Towards a deeper understanding of APN functions and related longstanding problems
(Doctoral thesis, 2021-08-24)This dissertation is dedicated to the properties, construction and analysis of APN and AB functions. Being cryptographically optimal, these functions lack any general structure or patterns, which makes their study very ... -
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 Polynomial Kernel for Directed Feedback Vertex Set
(Journal article; Peer reviewed, 2020)In the DIRECTED FEEDBACK VERTEX SET (DFVS) problem, the input is a directed graph D and an integer k. The objective is to determine whether there exists a set of at most k vertices intersecting every directed cycle of D. ... -
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 a Spreadsheet-Based Language Workbench
(Chapter, 2021)Spreadsheets are widely used across industries for various purposes, including for storing and manipulating data in a structured form. Such structured forms—expressed using tabular notation—have found their way in language ... -
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 ...