Department of Informatics: Recent submissions
Now showing items 201-220 of 1130
-
Prediction of Hyper-Congestion in Transport Systems
(Master thesis, 2022-12-01) -
Exploring Ways of Creating an AI Drawing Assistant
(Master thesis, 2022-07-01)Making a digital drawing assistant is a complicated problem for the simple reason that we are trying to make a computer program understand and create something that are as abstract as a drawing. Thus, there have been many ... -
Vaccination strategies based on graph centrality
(Master thesis, 2022-11-15) -
Communicating Electroconvulsive Therapy Information via Web-based Narrative Medical Visualization
(Master thesis, 2022-10-13)The essence of this project is to create an accessible, comprehensive and engaging information resource about electroconvulsive therapy in the form of a scroll-based website. Frequently abbreviated to just ECT, electroconvulsive ... -
Tool support for specifying multi-way dataflow constraint systems
(Master thesis, 2022-11-21) -
Generating sample code snippets from Lark grammar specifications
(Master thesis, 2022-10-25)Programming languages are the basis of computer science and are extensively used in computer science education. Many educational materials, such as tutorials, constantly appear on the market with the goal of targeting ... -
Features impacting the mesopelagic layer in the ocean: a machine learning-based approach
(Master thesis, 2022-09-01)Context: Recently the United Nations proclaimed a Decade of Ocean Science for Sustainable Development (2021–2030) due to threats to the productivity and health of the ocean due to human impact. The One Ocean Expedition ... -
Overlapping Community Detection using Cluster Editing with Vertex Splitting
(Master thesis, 2022-11-21)The problem Cluster Editing with Vertex Splitting models the task of overlapping community detection by yielding a cluster graph wherein a vertex of the input graph may be split so that it is present in several clusters. ... -
TappyBeatsXR: Using a modern mixed reality approach to develop a virtual music creation environment for non-musicians
(Master thesis, 2022-09-01) -
Phosphatidylcholine Cation—Tyrosine π Complexes: Motifs for Membrane Binding by a Bacterial Phospholipase C
(Journal article; Peer reviewed, 2022-09-21)Phosphatidylinositol-specific phospholipase C (PI-PLC) enzymes are a virulence factor in many Gram-positive organisms. The specific activity of the Bacillus thuringiensis PI-PLC is significantly increased by adding ... -
A Story of Computational Science: Colonel Titus’ Problem from the 17th Century
(Journal article, 2022-06-14)Experimentation and the evaluation of algorithms have a long history in algebra. In this paper we follow a single test example over more than 250 years. In 1685, John Wallis published A treatise of algebra, both historical ... -
Emerging Era of Biomolecular Membrane Simulations: Automated Physically-Justified Force Field Development and Quality-Evaluated Databanks
(Journal article; Peer reviewed, 2022)Molecular simulations of biological membranes and proxies thereof are entering a new era characterized by several key aspects. Progress starts with the realization that the outcome of the simulations can only be as good ... -
Efficient Minimum Weight Vertex Cover Heuristics Using Graph Neural Networks
(Journal article; Peer reviewed, 2022)Minimum weighted vertex cover is the NP-hard graph problem of choosing a subset of vertices incident to all edges such that the sum of the weights of the chosen vertices is minimum. Previous efforts for solving this in ... -
Narrative Medical Visualization to Communicate Disease Data
(Journal article; Peer reviewed, 2022)This paper explores narrative techniques combined with medical visualizations to tell data-driven stories about diseases for a general audience. The field of medical illustration uses narrative visualization through ... -
Is there a Tornado in Alex's Blood Flow? A Case Study for Narrative Medical Visualization
(Journal article; Peer reviewed, 2022)Narrative visualization advantageously combines storytelling with new media formats and techniques, like interactivity, to create improved learning experiences. In medicine, it has the potential to improve patient understanding ... -
Considering Best Practices in Color Palettes for Molecular Visualizations
(Journal article; Peer reviewed, 2022)Biomedical illustration and visualization techniques provide a window into complex molecular worlds that are difficult to capture through experimental means alone. Biomedical illustrators frequently employ color to help ... -
Trends & Opportunities in Visualization for Physiology: A Multiscale Overview
(Journal article; Peer reviewed, 2022)Combining elements of biology, chemistry, physics, and medicine, the science of human physiology is complex and multifaceted. In this report, we offer a broad and multiscale perspective on key developments and challenges ... -
Relative NAND-clause growth in Neg refutations
(Master thesis, 2022-01-18)Any given propositional discourse can be expressed as a NAND-OR theory – a set of OR-clauses (disjunctions of literals) and NAND-clauses (negated conjunctions e.g. ¬(x∧y)) – making NAND-OR theories similar to traditional ... -
Longest Cycle Above Erdös-Gallai Bound
(Journal article; Peer reviewed, 2022)In 1959, Erdős and Gallai proved that every graph G with average vertex degree ad(G) ≥ 2 contains a cycle of length at least ad(G). We provide an algorithm that for k ≥ 0 in time 2^𝒪(k)⋅n^𝒪(1) decides whether a 2-connected ... -
Cyclability in graph classes
(Journal article; Peer reviewed, 2022)A subset T ⊆ V(G) of vertices of a graph G is said to be cyclable if G has a cycle C containing every vertex of T, and for a positive integer k, a graph G is k-cyclable if every set of vertices of size at most k is cyclable. ...