You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Around Thanksgiving (2010) my wife Robin and I were sitting on the sofa watching the 11:00pm late news when they announced it was once again the anniversary of the "D.B. Cooper skyjacking event. On television, they always talk about it...this time they showed the original film footage of the airliner, taken during a stormy night in Seattle around 40 years earlier. In addition, they also displayed the composite sketch of the skyjacker, drawn from the memories of the few passengers and crew members to have observed him on the night of the skyjacking. "Look", I told my wife, "That guy was my father. I swear to God, he's the one who did it." She was astonished. I went on to tell her my Dad's bro...
None
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.
This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of N...