3909 search results - page 662 / 782 » Extreme Model Checking |
106
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Knowledge-based potentials have been widely used in the last 20 years for fold recognition, protein structure prediction from amino acid sequence, ligand binding, prot...
114
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: In the last decade, biochemical studies have revealed that epigenetic modifications including histone modifications, histone variants and DNA methylation form a comple...
140
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
131
click to vote
VTC
2010
IEEE
15 years 12 days ago
2010
IEEE
Abstract--In this paper we analyze the energy-efficiency of distributed compression and its dependence on the node deployment strategies for Wireless Sensor Networks (WSNs). Reduce...
147
click to vote
BCB
2010
14 years 9 months ago
2010
Analyzing metabolic pathways by means of their steady states has proven to be accurate and efficient for practical purposes. The models such as elementary flux modes (EFMs) and ex...