6960 search results - page 1044 / 1392 » Continuity Analysis of Programs |
144
click to vote
RECOMB
2009
Springer
16 years 5 months ago
2009
Springer
Collective behavior involving distally separate regions in a protein is known to widely affect its function. In this paper, we present an online approach to study and characterize ...
171
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
The BioJournalMonitor is a decision support system for the analysis of trends and topics in the biomedical literature. Its main goal is to identify potential diagnostic and therap...
157
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
137
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
As the number of transistors integrated on a chip continues to increase, a growing challenge is accurately modeling performance in the early stages of processor design. Analytical...
169
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a framework for a wireless health monitoring system within a smart home using ZigBee technology. Vital signals are collected and processed using a 3-tiered architecture...