Sciweavers

3618 search results - page 335 / 724
» Additive functions for number systems in function fields
Sort
View
FORTE
2004
15 years 8 months ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
WSCG
2004
166views more  WSCG 2004»
15 years 8 months ago
Virtual Environment and Sensori-Motor Activities: Visualization
The levels of immersion and presence felt by users in a Virtual Environment (VE) are very important factors that dictate the quality of the Virtual Reality (VR) experience. Sensor...
Marielle Mokhtari, François Lemieux, Fran&c...
AROBOTS
2004
77views more  AROBOTS 2004»
15 years 6 months ago
Planetary Cliff Descent Using Cooperative Robots
Future robotic planetary exploration will need to traverse geographically diverse and challenging terrain. Cliffs, ravines, and fissures are of great scientific interest because th...
Erik Mumm, Shane Farritor, Paolo Pirjanian, Chris ...
EXACT
2009
15 years 4 months ago
Towards the Explanation of Workflows
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
James Michaelis, Li Ding, Deborah L. McGuinness
BMCBI
2007
109views more  BMCBI 2007»
15 years 6 months ago
Towards a comprehensive structural coverage of completed genomes: a structural genomics viewpoint
Background: Structural genomics initiatives were established with the aim of solving protein structures on a large-scale. For many initiatives, such as the Protein Structure Initi...
Russell L. Marsden, Tony A. Lewis, Christine A. Or...