Browsing Department of Informatics by Title
Now showing items 268287 of 586

KCore Decomposition with CUDA
(Master thesis, 20201218) 
Kpacking and Kdomination on tree graphs
(Master thesis, 2004) 
Kernel(s) for Problems with No Kernel: On OutTrees with Many Leaves
(Conference object; Peer reviewed; Journal article, 2009)The {\sc \(k\)Leaf OutBranching} problem is to find an outbranching, that is a rooted oriented spanning tree, with at least \(k\) leaves in a given digraph. The problem has recently received much attention from the ... 
Kernelization of Vertex Cover by Structural Parameters
(Master thesis, 20150803)In the NPcomplete problem Vertex Cover, one is given a graph G and an integer k and are asked whether there exists a vertex set S ⊆ V (G) with size at most k such that every edge of the graph is incident to a vertex in ... 
Kernelization of Whitney Switches
(Journal article; Peer reviewed, 2020)A fundamental theorem of Whitney from 1933 asserts that 2connected graphs G and H are 2isomorphic, or equivalently, their cycle matroids are isomorphic, if and only if G can be transformed into H by a series of operations ... 
Kernels of digraphs with finitely many ends
(Journal article; Peer reviewed, 2019)According to Richardson’s theorem, every digraph without directed odd cycles that is either (a) locally finite or (b) rayless has a kernel (an independent subset with an incoming edge from every vertex in ). We generalize ... 
Largest chordal and interval subgraphs faster than 2n
(Peer reviewed; Journal article, 20150822)We prove that in a graph with n vertices, induced chordal and interval subgraphs with the maximum number of vertices can be found in time O(2λn) for some λ< 1. These are the first algorithms breaking the trivial 2nnO(1) ... 
Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?
(Journal article; Peer reviewed, 2020)The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine ... 
Lex M versus MCSM
(Journal article, 2006) 
Linear dependencies between nonuniform distributions in DES
(Master thesis, 20140530)Davies and Murphy explained some nonuniform distributions of the output from pairs and triplets of Sboxes in DES, and how they are completely dependent on some key bits. There are linear dependencies between these ... 
Lineær kompleksitet til produkter av maksimalsekvenser
(Master thesis, 2000) 
Localizing Cell Towers from Crowdsourced Measurements
(Master thesis, 20150601)Today, several internet sites exist that aim to provide the locations and number of cellular network antennas worldwide. For example [1],[2] and [3]. What makes this task difficult to accomplish is the lack of information ... 
Looking at the Stars
(20060228) 
LowRank Binary Matrix Approximation in ColumnSum Norm
(Journal article; Peer reviewed, 2020)We consider 𝓁₁Rankr Approximation over {GF}(2), where for a binary m× n matrix 𝐀 and a positive integer constant r, one seeks a binary matrix 𝐁 of rank at most r, minimizing the columnsum norm ‖ 𝐀 𝐁‖₁. We show ... 
Lower bounds on the size of spheres of permutations under the Chebychev distance
(Peer reviewed; Journal article, 2010)Lower bounds on the number of permutations p of {1, 2, . . . , n} satisfying pi − i ≤ d for all i are given 
Machine Learning methods for mood disorder decision support
(Master thesis, 20170711) 
Macroscale mesenchymal condensation to study cytokinedriven cellular and matrixrelated changes during cartilage degradation
(Journal article; Peer reviewed, 2020)Understanding the pathophysiological processes of cartilage degradation requires adequate model systems to develop therapeutic strategies towards osteoarthritis (OA). Although different in vitro or in vivo models have been ... 
Making the BKW Algorithm Practical for LWE
(Journal article; Peer reviewed, 2020)The Learning with Errors (LWE) problem is one of the main mathematical foundations of postquantum cryptography. One of the main groups of algorithms for solving LWE is the BlumKalaiWasserman (BKW) algorithm. This paper ... 
The male germ cell gene regulator CTCFL is functionally different from CTCF and binds CTCFlike consensus sites in a nucleosome compositiondependent manner
(Peer reviewed; Journal article, 20120618)Background: CTCF is a highly conserved and essential zinc finger protein expressed in virtually all cell types. In conjunction with cohesin, it organizes chromatin into loops, thereby regulating gene expression and epigenetic ... 
Managing spatial selections with contextual snapshots
(Peer reviewed; Journal article, 201412)Spatial selections are a ubiquitous concept in visualization. By localizing particular features, they can be analysed and compared in different views. However, the semantics of such selections often depend on specific ...