I don’t think that there is a generically good way of doing a master thesis (nor of doing research in general). Research (like other creative activities) evolves in unpredictable ways, and each research project has its own story. I will tell a few such stories, and naturally I will rely on stories I know from the inside (or close to that). The only lesson that I can offer is maintaining an open...

Various methods have been developed for solving SAT problems, notably resolution, the Davis-Putnam-Logemann-Loveland-Procedure procedure (DPLL) and an extension of it, the conflict-driven clause learning (CDCL). We have formalised these three algorithms in a proof assistant Isabelle/HOL, based on a chapter of Christoph Weidenbach’s upcoming book Automed Reasoning – The Art of Generic Problem So...

In modern day road traffic management, government officials are supported by software to store and visualize traffic signs and their underlying legal intentions (so-called traffic measures) on top of digital street maps. To date, however, methods are missing that help to ensure the correctness of traffic regulations. Driven by the vision of Smart Cities, this lack of tools is becoming increasin...

This study provides a principal component analysis-fuzzy-support vector regression model for stock price prediction. Stocks with similar historical trends are selected using principal component analysis. Fuzzy information granulation is performed to construct a probability density for stock prices. Support vector regression is implemented to generate a regression function for future price predi...

Extract, Transform and Load (ETL) processes are widely used in Data Warehousing in order to extract, cleanse and load data into a centralized location for better analysis and decision-making. As users become more demanding for on-line decision making, ETL processes grow large and more complex. Most processes are deployed at the physical level without any abstraction, thus costs of maintenance a...

Improving the functionality and reducing revision rates are important driving forces in the development of orthopaedic implants. FibMat is a fibrinogen based matrix developed towards commercialisation by the company Optovent AB. This matrix can be coated on implants and act as a local drug delivery system for bisphosphonates (BPs). BPs are drugs inhibiting bone resorption, and applied with FibM...

Physical Unclonable Functions (PUFs) have emerged as a promising alternative to conventional mobile secure authentication devices. Instead of storing a cryptographic key in non-volatile memory, they provide a device specific challenge-response behavior uniquely determined by manufacturing variations. The Arbiter PUF has become a popular PUF representative due to its lightweight design and poten...

We analyse the performance of several clustering algorithms in the digital peerto-peer currency Bitcoin. Clustering in Bitcoin refers to the task of finding addresses that belongs to the same wallet as a given address. In order to assess the effectiveness of clustering strategies we exploit a vulnerability in the implementation of Connection Bloom Filtering to capture ground truth data about 37...

The ability to analyze large amounts of data for the extraction of valuable information presents a competitive advantage for any organization. The technologies of data warehousing, OLAP, and data classification support that ability. The data warehouse is a central data pool which integrates heterogeneous data sources and provides strategic information for analysis and decision support. OnLine A...