3454 search results - page 126 / 691 » Modern computer algebra |
151
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
201
click to vote
CSDA
2004
15 years 6 months ago
2004
We present an algorithm for computing the probability density function of the product of two independent random variables, along with an implementation of the algorithm in a compu...
149
click to vote
UC
2005
Springer
15 years 12 months ago
2005
Springer
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...
134
click to vote
IJBC
2007
15 years 6 months ago
2007
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
165
click to vote
EWC
2000
15 years 6 months ago
2000
A set of object oriented tools is presented which, when combined, yield an efficient parallel finite element program. Special emphasis is given to details within the concept of the...