Science involves descriptions of the world we live in. It also depends on nature exhibiting what ...

Contingent on funding being available, a Festschrift will be held in honor of Dr. John Yuille's c...

This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applic...

Plenary Lectures.- Detecting Sharp Drops in PageRank and a Simplified Local Partitioning Algorith...

This book constitutes the refereed proceedings of the 6th International Conference on Theory and ...

Shifting and Lifting of Cellular Automata.- Learning as Data Compression.- Reachability Problems:...

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Con...

Plenary Lectures.- On-Line Algorithms, Real Time, the Virtue of Laziness, and the Power of Clairv...

Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It.- Computably Enumerable Se...

This book questions the relevance of computation to the physical universe. Our theories deliver c...

Together, Sets and Proofs and its sister volume Models and Computability will provide readers wit...

Social work has laboured too long under a 'deficit' model that focuses on failings and problems o...