234 search results - page 11 / 47 » QuARS Express - A Tool Demonstration |
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
HICSS
2002
IEEE
14 years 10 days ago
2002
IEEE
Currently, the cDNA and genomic sequence projects are processing at such a rapid rate that more and more gene data become available. New methods are needed to efficiently and eff...
ICCS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
ADMA
2006
Springer
14 years 1 months ago
2006
Springer
Gene Expression Programming (GEP) aims at discovering essential rules hidden in observed data and expressing them mathematically. GEP has been proved to be a powerful tool for cons...
BMCBI
2005
13 years 7 months ago
2005
Background: Genome wide microarray studies have the potential to unveil novel disease entities. Clinically homogeneous groups of patients can have diverse gene expression profiles...