1415 search results - page 28 / 283 » Verified systems by composition from verified components |
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
BMCBI
2006
13 years 7 months ago
2006
Background: Independent Component Analysis (ICA) proves to be useful in the analysis of neural activity, as it allows for identification of distinct sources of activity. Applied t...
ESAW
2000
Springer
13 years 11 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
BMCBI
2007
13 years 7 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
SERVICES
2008
13 years 9 months ago
2008
Where services are offered on a commercial basis, the manner in which charges for service usage are calculated is of key importance. Services typically have associated with them a...