Query-based verification of qualitative trends and oscillations in biochemical systems.

Paolo Ballarini Maria Luisa Guerriero

Published in: Theor. Comput. Sci. (2010)

Keyphrases

retrieval systems
database
formal methods
data sources
management system
response time
databases
query processing
retrieval method
quantitative and qualitative
user queries
automated verification
query formulation
complex systems
distributed systems
relevance feedback
expert systems
data structure