232 search results - page 27 / 47 » Using a logical model to predict the growth of yeast |
CEEMAS
2005
Springer
14 years 9 days ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
ICICIC
2006
IEEE
14 years 24 days ago
2006
IEEE
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
BCB
2010
13 years 1 months ago
2010
Network-based genome-wide association studies (NWAS) utilize the molecular interactions between genes and functional pathways in biomarker identification. This study presents a no...
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
13 years 10 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...