Sciweavers

Share
693 search results - page 138 / 139
» Life Sciences
Sort
View
ARTMED
2006
158views more  ARTMED 2006»
10 years 4 months ago
CareVis: Integrated visualization of computerized protocols and temporal patient data
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
Wolfgang Aigner, Silvia Miksch
ENTCS
2006
138views more  ENTCS 2006»
10 years 4 months ago
Variables as Resource in Separation Logic
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...
Richard Bornat, Cristiano Calcagno, Hongseok Yang
ENTCS
2002
84views more  ENTCS 2002»
10 years 4 months ago
Programming Autonomous Robots in Curry
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...
Michael Hanus, Klaus Höppner
TELE
1998
71views more  TELE 1998»
10 years 3 months ago
Anti-politics or the triumph of postmodern populism in promotional cultures?
Promotional cultures, to use Wernick’s expression, have transformed communication, as the ideology of the market seeps into every facet of social life. Promotional texts, whether...
Barrie Axford, Richard Huggins
AVI
2010
10 years 1 months ago
An infrastructure for creating graphical indicators of the learner profile by mashing up different sources
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 ...
Luca Mazzola, Riccardo Mazza
books