The application of informatics to neuroscience goes far beyond ‘traditional’ bioinformatics modalities such as DNA sequences. In this review, we describe how informatics is be...
We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as good as seems possible th...
A fast AAM search algorithm based on canonical correlation analysis (CCA-AAM) is introduced. It efficiently models the dependency between texture residuals and model parameters dur...
Rene Donner, Michael Reiter, Georg Langs, Philipp ...
To be an effective platform for performance-sensitive real-time systems, distributed object computing middleware must support application quality of service (QoS) requirements end...
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...