Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
Promotional cultures, to use Wernicks expression, have transformed communication, as the ideology of the market seeps into every facet of social life. Promotional texts, whether...
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...