Devices that convert information from one form into another according to a definite procedure
are known as automata. One such hypothetical device is the universal Turing machine 1 , …

Early biomolecular computer research focused on laboratory-scale, human-operated computers
for complex computational problems 1 , 2 , 3 , 4 , 5 , 6 , 7 . Recently, simple molecular-…

Concurrent logic languages are high-level programming languages for parallel and
distributed systems that offer a wide range of both known and novel concurrent programming …

The unabated progress in next-generation sequencing technologies is fostering a wave of
new genomics, epigenomics, transcriptomics and proteomics technologies. These sequencing…

… Part of this research was carried out while Ehud Shapiro was visiting ICOT, the Institute for
New Generation Computer Technology. Ehud Shapiro is a recipient of the Sir Charles Clore …

This paper is concerned with model inference problems and algorithms. A model inference
problem is an abstraction of the problem faced by a scientist, working in some domain under …

This new edition of The Art of Prolog contains a number of important changes. Most background
sections at the end of each chapter have been updated to take account of important …

The thesis lays a theoretical framework for program debugging, with the goal of partly
mechanizing this activity. In particular, we formalize and develop algorithmic solutions to the …

10.7554/eLife.27041.001 The recent advent of methods for high-throughput single-cell
molecular profiling has catalyzed a growing sense in the scientific community that the time is ripe …

Despite the rapidly accumulating body of knowledge about protein networks, there is currently
no convenient way of sharing and manipulation of such information. We suggest that a …