In this paper we devise a new algorithm for completing surface with missing geometry and topology founded upon the theory and techniques of sparse signal recovery. The key intuiti...
We present a precise contact motion planning algorithm for a deformable robot in a planar environment with stationary obstacles. The robot and obstacles are both represented with ...
This paper studies undefined behavior arising in systems programming languages such as C/C++. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their ...
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Ar...
We present a perspective on the societal accomplishments, recent cultural shifts, challenges, and opportunities in spatial computing based on the discussions at the 2012 Computing...
Every few years a group of database researchers meets to discuss the state of database research, its impact on practice, and important new directions. This report summarizes the d...
Daniel Abadi, Rakesh Agrawal, Anastasia Ailamaki, ...
There is an inexorable trend towards storing and sending immutable data. We need immutability to coordinate at a distance and we can afford immutability, as storage gets cheaper. ...
There has recently been impressive progress –after nearly fifty years of stagnation– in algorithms that find exact solutions for certain hard computational problems, includi...
Background: Transcription of genes coding for xylanolytic and cellulolytic enzymes in Aspergillus niger is controlled by the transactivator XlnR. In this work we analyse and model...
Jimmy Omony, Astrid R. Mach-Aigner, Gerrit van Str...
Background: Flow cytometry is a widespread single-cell measurement technology with a multitude of clinical and research applications. Interpretation of flow cytometry data is hard...