1526 search results - page 13 / 306 » Computer algebra in systems biology |
108
click to vote
ISSAC
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra ...
ISM
2006
IEEE
15 years 5 months ago
2006
IEEE
Virtual labs enable field specific experiments and open them for collaborative and distributed usage. In order to realize comprehensive laboratory set-ups providing a scientifi...
ICISC
2007
15 years 1 months ago
2007
A simple method for constructing collisions for Shpilrain’s polynomial-based hash function from ICISC 2006 is presented. The attack relies on elementary linear algebra and can be...
ICTCS
2005
Springer
15 years 5 months ago
2005
Springer
