In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
A new multiscale method in surface processing is presented here which combines the image processing methodology based on nonlinear diffusion equations and the theory of geometric ...
: The purpose of this paper is to examine the current state of open source projects in health care environment and the level of collaboration in this field. We underpinned our disc...
This paper presents some interesting results obtained by the algorithm by Bauer, Der and Hermann (BDH) [1] for magnification control in Self-Organizing Maps. Magnification control ...
: Constructed Narratives is both a human computer interaction research project and interactive art exploration that demonstrates methods by which rigorous research and aesthetic an...