Sciweavers

1022 search results - page 165 / 205
» Logspace Complexity of Functions and Structures
Sort
View
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 18 days ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
97
Voted
CTW
2006
88views more  CTW 2006»
15 years 18 days ago
Using multiple cognitive task analysis methods for supervisory control interface design in high-throughput biological screening
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
David B. Kaber, Noa Segall, Rebecca S. Green, K. E...
EC
2006
136views ECommerce» more  EC 2006»
15 years 18 days ago
Error Thresholds in Genetic Algorithms
The error threshold of replication is an important notion of the quasispecies evolution model; it is a critical mutation rate (error rate) beyond which structures obtained by an e...
Gabriela Ochoa
104
Voted
ESWA
2006
103views more  ESWA 2006»
15 years 18 days ago
Model gene network by semi-fixed Bayesian network
Gene networks describe functional pathways in a given cell or tissue, representing processes such as metabolism, gene expression regulation, and protein or RNA transport. Thus, le...
Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal
CCE
2007
15 years 17 days ago
A systematic approach to plant-wide control based on thermodynamics
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
Luis T. Antelo, Irene Otero-Muras, Julio R. Banga,...