Sciweavers

1033 search results - page 3 / 207
» hybrid 2007
Sort
View
HYBRID
2007
Springer
13 years 11 months ago
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...
HYBRID
2007
Springer
13 years 11 months ago
Foundations of a Compositional Interchange Format for Hybrid Systems
D. A. van Beek, Michel A. Reniers, Ramon R. H. Sch...
HYBRID
2007
Springer
13 years 11 months ago
Learning Cycle-Linear Hybrid Automata for Excitable Cells
Radu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. ...
TREC
2007
13 years 6 months ago
Exegy at TREC 2007 Million Query Track
Exegy’s submission for the TREC 2007 million query track consisted of results obtained by running the queries against the raw data, i.e., the data was not indexed. The hardwarea...
Naveen Singla, Ronald S. Indeck
NAR
2007
113views more  NAR 2007»
13 years 4 months ago
The UCSC genome browser database: update 2007
The University of California, Santa Cruz Genome Browser Database contains, as of September 2006, sequence and annotation data for the genomes of 13 vertebrate and 19 invertebrate ...
Robert M. Kuhn, Donna Karolchik, Ann S. Zweig, Hea...