Sciweavers

232 search results - page 19 / 47
» Using a logical model to predict the growth of yeast
Sort
View
CADE
2007
Springer
14 years 7 months ago
Predictive Labeling with Dependency Pairs Using SAT
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
Adam Koprowski, Aart Middeldorp
WSCG
2004
158views more  WSCG 2004»
13 years 8 months ago
Robot Hand Visual Tracking Using an Adaptive Fuzzy Logic Controller
This paper presents an algorithm to track an industrial robot hand during its movement. Based on acquired image and knowing the robot hand model, the pose is obtained. This inform...
Carlos Pérez, Óscar Reinoso, Maria A...
MICAI
2005
Springer
14 years 7 days ago
Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
Alejandra Duenas, Dobrila Petrovic, Sanja Petrovic
EUROPAR
2006
Springer
13 years 10 months ago
Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
Sadaf R. Alam, Jeffrey S. Vetter
BIBE
2007
IEEE
129views Bioinformatics» more  BIBE 2007»
13 years 10 months ago
Statistial Analysis of nucleosome occupancy and histone modification data
Abstract-- In eukaryotic cells, genomic DNAs wrap around beadlike molecules, called nucleosomes, so as to pack more compactly in the nucleus of the cell. The nucleosome is made up ...
Guo-Cheng Yuan, Jun S. Liu