10910 search results - page 1835 / 2182 » Input modeling using a computer algebra system |
178
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
193
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
215
click to vote
TLCA
1995
Springer
15 years 10 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
185
click to vote
DAC
1989
ACM
15 years 10 months ago
1989
ACM
We present an accurate and efficient method for extraction of parasitic capacitances in submicron integrated circuits. The method uses a 3-D finite element model in which the cond...
198
click to vote
ISMB
1998
15 years 8 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...