Incrementally encoding cardinality and pseudo-boolean constraints in SAT

Satisfiability solvers have been shown to be a powerful tool for solving constraint problems. These problems often contain pseudo-boolean and cardinality constraints. These constraints can either be encoded into SAT or handled by extending the solver with special propagators. Which method will perform better is often not known in advance. It has...

Exploring the Limits of Query Pushdown for SQL Acceleration on FPGAs

There has been an increasing interest in moving computation closer to storage in recent years due to significant improvements in memory technology. FPGAs were proven to be an exciting candidate for accelerating database workloads since they provide an energy-efficient, reconfigurable and high-performance computation platform. Therefore, FPGAs...

Leveraging graphical user interfaces to facilitate selection of elements in web-pages

Web-based interaction logging is an important concept for understanding user behavior on web-pages. LogUI is a powerful modern framework for logging a user's interactions. Integrating such a framework in web-pages requires the construction of configuration objects to define selectors that indicate which elements on a web-page should be under...

Examining Cross Browser Inconsistencies with Web Based Event Loggers

Cross Browser Inconsistencies (XBI) were created when different browser vendors implemented their products without deciding upon common protocols for interoperability. It is hard to pinpoint these inconsistencies with precision because of a lack of a good tool. Here we show how to use a web-based event logger (LogUI) to find XBI at a granular...

The Relation Between Words and Definitions in Combined Word-Sentence Space

Methods for learning vector space representations of words have yielded spaces which contain semantic and syntactic regularities. These regularities mean that vector arithmetic operations in the latent space represent meaningful and interpretable relations between words. These word vectors have been so successful in capturing such relations, as...

Learning Off-By-One Mistakes: An Empirical Study on Different Deep Learning Models

Mistakes in binary conditions are a source of error in many software systems. They happen when developers use < or > instead of <= or >=. These boundary mistakes are hard to find for developers and pose a manual labor-intensive work. While researches have been proposing solutions to identify errors in boundary conditions, the problem...

Accuracy-Diversity Trade-off in Recommender Systems Via Graph Convolutions

Recommender Systems assist the user by suggesting items to be consumed based on the user's history. The topic of diversity in recommendation gained momentum in recent years as additional criterion besides recommendation accuracy, to improve user satisfaction. Accuracy and diversity in recommender systems coexist in a delicate trade-off due to...

Machine Learning of Synthetic Lethality: Data Integration, Generalisation, and Selection Bias

Synthetic lethality (SL) arises between two genes when loss of function of both genes would lead cells to become inviable. This can be exploited for therapy, where a drug is used to selectively kill diseased cells by perturbing one gene of an SL pair where the other gene is inactive (e.g. through naturally occurring mutation). Computational...

Transparently Accelerating Spark SQL Code on Computing Hardware

Through new digital business models, the importance of big data analytics continuously grows. Initially, data analytics clusters were mainly bounded by the throughput of network links and the performance of I/O operations. With current hardware development, this has changed, and often the performance of CPUs and memory access became the new...

Relationship between payments made to physicians by healthcare companies and their returns

Healthcare industry is an ever-emerging field in the 21st century. The statistics from Centers for Medicare services (CMS) [15] website shows that in 2017, in USA, the healthcare industry has invested USD 7.4 billion for research collaborations with physicians. These research collaborations in CMS is spread across multiple facets ranging from...

LoRa Localisation in Cities with Neural Networks

Billions of wireless devices are interconnected to provide services to many<br/>aspects of life and form The Internet of Things. These devices which are<br/>often battery-powered and energy efficient can benefit greatly from an ac-<br/>curate localisation service that does not consume extra energy. Several loc-<br/>alisation methods have been...

Credit Mining: An Incentive and Boosting System in a Peer-to-Peer File-sharing Network

Since the dawn of BitTorrent technology, free-riding has always been a critical<br/>issue restricting the performance and availability of the BitTorrent network. To solve this problem, BitTorrent involves a tit-for-tat mechanism which does not function satisfactorily against free-riding. Private trackers implement credit systems to eliminate...

A Case for Deep Learning in Mining Software Repositories

Repository mining researchers have successfully applied machine learning in a variety of<br/>scenarios.  However, the use of deep learning in repository mining tasks is still in its infancy.<br/>In this thesis, we describe the advantages and disadvantages of using deep learning in mining software repository research and demonstrate these by...