Life is evolving fast (at least in the first world) and the latest technological gadget becomes outdated even before we have learnt how to use it. In this respect, science is no exception. The new buzzword ‘Systems Biology’ entered the vocabulary of the scientific community only a few years ago. Now that every biologist is aware of it and almost everyone seems to be doing it, an even newer buzz...

This is a survey paper on various weak systems of Feferman’s explicit mathematics and their proof theory. The strength of the systems considered in measured in terms of their provably terminating operations typically belonging to some natural classes of computational time or space complexity.

You need not look far to find a slew of articles, white papers, and research reports describing the vulnerability of voice over IP systems. VoIP systems are vulnerable, but currently, the threat of actual attack to these systems is moderate. New vulnerabilities are being reported at an accelerating rate, such as the one that recently affected Cisco’s Call Manager (http://www.techweb.com/wire/ s...