BACKGROUND Improvements in computing power can claim a large share of the credit for
many of the things that we take for granted in our modern lives: cellphones that are more …

Analysing the city through data retrieved from Location Based Social Networks (LBSNs) has
received considerable attention as a promising method for applied research. However, the …

Fast matrix multiplication is one of the most fundamental problems in algorithm research.
The exponent of the optimal time complexity of matrix multiplication is usually denoted by ω …

The cornerstone of neural algorithmic reasoning is the ability to solve algorithmic tasks,
especially in a way that generalises out of distribution. While recent years have seen a surge …

Abstract Computer Science Unplugged has been used for many years as a way to
communicate concepts from computer science to audiences in a variety of settings. Despite …

Learning representations of algorithms is an emerging area of machine learning, seeking to
bridge concepts from neural networks with classical algorithms. Several important works …

Important decisions about people are increasingly made by algorithms: Votes are counted;
voter rolls are purged; financial aid decisions are made; taxpayers are chosen for audits; air …

To instill greater confidence in computations outsourced to the cloud, clients should be able
to verify the correctness of the results returned. To this end, we introduce Pinocchio, a built …

We report the current state of the graph isomorphism problem from the practical point of
view. After describing the general principles of the refinement-individualization paradigm …

The identification of security-critical vulnerabilities is a key for protecting computer systems.
Being able to perform this process at the binary level is very important given that many …