Over the last decade Internet has grown by orders of magnitude in size. Many of the protocols that were designed several years ago are still in use. It is not clear if the assumpt...
Dheeraj Sanghi, Ashok K. Agrawala, Olafur Gudmunds...
When a rendering algorithm has created a pixel array of radiance values the task of producing an image is not yet completed. In fact, to visualize the result the radiance values s...
Annette Scheel, Marc Stamminger, Hans-Peter Seidel
In the past decade there has been an explosion in the use of system dynamics modeling in healthcare. Despite this, the approach is still far less well known than discreteevent sim...
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...