1852 search results - page 186 / 371 » Structured Ontology Format |
BMCBI
2010
13 years 8 months ago
2010
Background: Comprehensively understanding corticosteroid pharmacogenomic effects is an essential step towards an insight into the underlying molecular mechanisms for both benefici...
BMCBI
2006
13 years 8 months ago
2006
Background: An alternative to standard approaches to uncover biologically meaningful structures in micro array data is to treat the data as a blind source separation (BSS) problem...
EVOW
2009
Springer
14 years 2 months ago
2009
Springer
This paper introduces a novel approach to generating audio or visual heterogeneity by simulating multi-level habitat formation by ecosystemengineer organisms. Ecosystem engineers g...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
FORMATS
2007
Springer
14 years 2 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...