265 search results - page 37 / 53 » Modelling series of studies with a common structure |
BMCBI
2010
13 years 8 months ago
2010
Background: Prostaglandin H2 (PGH2) is a common precursor for the synthesis of five different Prostanoids via specific Prostanoid Synthases. The binding of this substrate with the...
IPMI
2009
Springer
14 years 9 months ago
2009
Springer
In this paper, we study the recognition of about 60 sulcal structures over a new T1 MRI database of 62 subjects. It continues our previous work [7] and more specifically extends th...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
SDM
2010
SIAM
13 years 10 months ago
2010
SIAM
Many sorts of structured data are commonly stored in a multi-relational format of interrelated tables. Under this relational model, exploratory data analysis can be done by using ...
DFG
2004
Springer
14 years 5 days ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...