A Zenonian supertask involving an infinite number of identical colliding balls is generalized to include balls with different masses. Under the restriction that the total mass of a...
Imaged-based rendering is a well-known method in computer graphics to achieve photo-realistic images. In this paper we show how conventional image-based rendering algorithms can b...
This paper describes a novel rendering technique for special relativistic visualization. It is an image-based method which allows to render high speed flights through real-world ...
Abstract— This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish...
``Church's thesis'' is at the foundation of computer science. We point out that with any particular set of physical laws, Church's thesis need not merely be po...