Sciweavers

2272 search results - page 47 / 455
» Validity Invariants and Effects
Sort
View
CBMS
2008
IEEE
14 years 2 months ago
ProtCV: A Tool for Extracting, Visualizing and Validating Protein Clusters Using Mass Spectra Peak-Lists
We present ProtCV (Protein Clustering and Visualization) a new software tool for grouping samples (mass spectra peak-lists) emanating from a high throughput proteomics analysis ba...
Stavroula Ventoura, Eugenia G. Giannopoulou, Elias...
ITNG
2008
IEEE
14 years 2 months ago
Implementing and Validating an Environmental and Health Monitoring System
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
Marco Messina, Yen Yang Lim, Elaine Lawrence, Don ...
IPC
2007
IEEE
14 years 1 months ago
Design and Validation of a Low-Power Network Node for Pervasive Applications
Pervasive computing refers to making many computing devices available throughout the physical environment, while making them effectively invisible to the user. To further increase...
Juan-Carlos Cano, Carlos Miguel Tavares Calafate, ...
SMC
2007
IEEE
136views Control Systems» more  SMC 2007»
14 years 1 months ago
Experimental implementation and validation of consensus algorithms on a mobile actuator and sensor network platform
— In this paper, we experimentally implement and validate distributed consensus algorithms on a mobile actuator and sensor network platform under directed, possibly switching int...
Wei Ren, Haiyang Chao, William Bourgeous, Nathan S...
CIARP
2005
Springer
14 years 1 months ago
Development and Validation of an Algorithm for Cardiomyocyte Beating Frequency Determination
The Chagas disease or Tripanosomiasis Americana affects between 16 and 18 million people in endemic areas. This disease affects the beating rate of infected patients’ cardiomyocy...
Demian Wassermann, Marta Mejail