|
Dear Readers,
Here is the latest issue of J.UCS, with four very interesting
papers. The first one deals with on-line monitoring of metric temporal
logic, the second one with efficient multi-precision arithmetic
extending of Karatsuba's algorithm, the third one is a break-through
paper on algorithmical tilings {p,q} of the hyperbolic plane,
and the fourth one is a nice survey of completeness in the boolean
hierarchy.
Hope you enjoy the papers! Please continue to contribute to J.UCS
and spread the word, and you may as well spread an interesting rumor:
as of January 2007 access to J.UCS will be free of charge, thanks to
the support of a number of research and university organisations in
Graz!
With best wishes for a good summer (or winter, whichever may apply!),
Hermann Maurer

Hermann Maurer, Managing Editor
Graz University of Technology, Graz / Austria
email: hmaurer@iicm.edu
|