1526 search results - page 93 / 306 » Computer algebra in systems biology |
183
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
118
click to vote
FSE
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we define small scale variants of the AES. These variants inherit the design features of the AES and provide a suitable framework for comparing different cryptanaly...
162
click to vote
RTA
1997
Springer
15 years 10 months ago
1997
Springer
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...
174
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
160
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
We describe parallel implementations of LU factorization with pivoting for multicore architectures. Implementations that differ in two different dimensions are discussed: (1) usin...