Blar i Department of Informatics på tittel
Viser treff 578597 av 643

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, 20151105)The rapid growth in the mobile communications technology and wide cellular coverage created an opportunity to satisfy the demand for lowcost 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, 20160614)Modeldriven engineering (MDE) is a modelcentric software development methodology. It promotes models as firstclass entities in software de velopment. Models are used to represent software along software devel opment ... 
Towards Efficient Algorithms in Algebraic Cryptanalysis
(Doctoral thesis, 20120809) 
Towards Optimal Data Transmission by Network Coding
(Doctoral thesis, 20091216)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, 20090602)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 ... 
Transversals of longest paths
(Journal article; Peer reviewed, 202003)Let lpt(G) be the minimum cardinality of a transversal of longest paths in G, that is, a set of vertices that intersects all longest paths in a graph G. There are several results in the literature bounding the value of ... 
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 ... 
Twotensor 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 singletensor 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, 20030902)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 ... 
A Type System for Usage of Software Components
(Lecture Notes in Computer Science, Chapter; Peer reviewed, 2009)The aim of this article is to support componentbased software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ... 
Type Systems for Guaranteeing Resource Bounds of Component Software
(Doctoral thesis, 20060515)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 ... 
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 ... 
Type theoretical databases
(Journal article; Peer reviewed, 2020)We show how the displaymap category of finite (symmetric) simplicial complexes can be seen as representing the totality of database schemas and instances in a single mathematical structure. We give a sound interpretation ... 
Typical Sequences Revisited – Computing Width Parameters of Graphs
(Journal article; Peer reviewed, 2020)In this work, we give a structural lemma on merges of typical sequences, a notion that was introduced in 1991 [Lagergren and Arnborg, Bodlaender and Kloks, both ICALP 1991] to obtain constructive linear time parameterized ... 
The unsuitable neighbourhood inequalities for the fixed cardinality stable set polytope
(Chapter, 2021)Given an undirected graph G = (V, E) and an integer k∈{1,…,V} , we initiate the combinatorial study of stable sets of cardinality exactly k in G. Our aim is to instigate the polyhedral investigation of the convex hull ... 
Userconfigurable, highlevel transformations with CodeBoost
(Master thesis, 2003)Scalable design of large applications requires domainspecific, highlevel abstraction. Classically, there has been a tension between abstraction and good performance. We demonstrate how to overcome this tension by augmenting ...