A spatio-temporal representation for complex optical flow events is developed that generalizes traditional parameterized motion models (e.g. affine). These generative spatio-tempo...
Closed streamlines are a missing part in most visualizations of vector field topology. In this paper, we propose a method which detects closed streamlines in a time-dependent two-...
A finite element method of the penalization type, using higher order shape functions with rectangular elements, is presented for the solution of the Stokes flow. The fluid is visc...
In this paper, we deal with restoring missing information in molecule databases: Some data formats only store the atoms’ configuration but omit bond multiplicities. As this info...
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...