1526 search results - page 39 / 306 » Computer algebra in systems biology |
131
click to vote
FOCS
1990
IEEE
15 years 6 months ago
1990
IEEE
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
127
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
147
click to vote
EUROPAR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
137
click to vote
FROCOS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
127
click to vote
HOTOS
1997
IEEE
15 years 6 months ago
1997
IEEE
Diversity is an important source of robustness in biological systems. Computers, by contrast, are notable for their lack of diversity. Although homogeneous systems have many advan...