Over the past decade, there has been a growing interaction between researchers in theoretical computer science, networking and security, economics, mathematics, sociology,...

Some TIME ago a group of mathematicians and computer scientists (including the editors of this volume) thought of making a scientific pilgrimage to the birthplace of al-Khw&rizmf, the outstanding ninth-century mathematician who gave his name to the word "algorithm". As his name indicates, al-Khwarizmi came from the Khorezm...

A variety of problems m machine learning and digital communication deal with complex but structured natural or artificial systems. Natural patterns mat we wish to automatically classify' are a consequence of a hierarchical causal physical process. Learning about the world m which we live requires mat we extract useful sensor)'...

This book introduces programmers to objects at a gradual pace. The syntax boxes are revised to show typical code examples rather than abstract notation. This includes optional example modules using Alice and Greenfoot. The examples feature annotations with dos and don'ts along with cross references to more detailed explanations in the...

Up until the mid-1950s President Dwight D. Eisenhower believed that waging all-out war against an enemy threatening to end your national existence was right, natural, and necessary. In the wake of World War Two this was hardly a controversial position, as memories of Munich, Pearl Harbor, and Adolf Hitler had made the notion of just...

Despite means of fault prevention such as extensive testing or formal verification, errors inevitably occur during system operation. To avoid subsequent system failures, critical distributed systems, therefore, require engineering of means for fault tolerance. Achieving fault tolerance requires some redundancy, which, unfortunately,...

This volume constitutes the proceedings of the 9th International Workshop on Groupware (CRIWG 2003). The conference was held in the city of Autrans, on the spectacular Vercors plateau in the foothills of the French Alps. The organizing committee could not have thought of a better setting to inspire lively discussions and reflection on...

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions....

The title says "for Absolute Beginners." By that, I mean absolute beginners at programming. My original audience was teenagers whom I hope will go to college, get degrees in Mathematics, Computer Science, or Electrical Engineering (or perhaps Technical Communication or Graphic Design), and then enter the software industry. However,...