Most of existing ontologies construction tools support construction of ontological relations (e.g. taxonomy, equivalence, etc.) but they do not support construction of domain rela...
Mohamed Yehia Dahab, Hesham A. Hassan, Ahmed A. Ra...
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
Clinical reports often include descriptions of events in the patient’s medical history, as well as explicit or implicit temporal information about these events. We are working t...
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
— One of the potential benefits of robotic systems in cardiac surgery is that their use can increase the number of possible off-pump (beating heart) coronary artery bypass graft...