In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
In designing a Bayesian network for an actual problem, developers need to bridge the gap between ematical abstractions offered by the Bayesian-network formalism and the features o...
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new i...
Abstract Wikis are a website technology for mass collaborative authoring. Today, wikis are increasingly used for educational purposes. Basically, the most important asset of wikis ...
Martin Ebner, Michael D. Kickmeier-Rust, Andreas H...
Abstract—Functional magnetic resonance images (fMRI’s) provide high-resolution datasets which allow researchers to obtain accurate delineation and sensitive detection of activa...
Xavier Descombes, Frithjof Kruggel, D. Yves von Cr...