3199 search results - page 286 / 640 » Variability in Automation System Models |
219
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
172
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...
180
click to vote
CADE
2004
Springer
15 years 12 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
187
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
166
click to vote
CCE
2010
15 years 4 months ago
2010
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...