Developing the ability to comprehensively study infections in small populations enables us to improve epidemic models and better advise individuals about potential risks to their h...
In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
This paper presents two classification systems for medical images based on association rule mining. The system we propose consists of: a pre-processing phase, a phase for mining th...
Alexandru Coman, Maria-Luiza Antonie, Osmar R. Za&...
In this paper, we introduce a new approach for content-based similarity search for brain images. Based on the keyblock representation, our framework employs the Principal Componen...