The Bologna declaration and the European Union (EU) directive 2005/36/EC on the recognition of professional qualifications influence the mobility of pharmacy students and pharmacy professionals, respectively. In addition the Bologna declaration aims at tuning higher education degrees including pharmacy throughout the EU in order to prepare for a harmonised European Higher Education Area. The di...

In this dissertation, we study bisimulations and bisimulation-based comparisons in a uniform way for a large class of description logics that extend ALCreg (a variant of propositional dynamic logic) with an arbitrary set of features among I (inverse roles), O (nominals), Q (qualified number restrictions), U (the universal role), Self (local reflexivity of a role) as well as role axioms. We give...

1 Bataille B, Bertuit M, Mora M, et al. Comparison of esCCO and transthoracic echocardiography for non-invasive measurement of cardiac output intensive care. Br J Anaesth 2012; 109: 879–86 2 Ishihara H, Okawa H, Tanabe K, et al. A new non-invasive continuous cardiac output trend solely utilizing routine cardiovascular monitors. J Clin Monit Comput 2004; 18: 313–20 3 Yamada T, Tsutsui M, Sugo Y,...