1526 search results - page 63 / 306 » Computer algebra in systems biology |
152
Voted
ISSAC
2009
Springer
16 years 21 days ago
2009
Springer
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...
147
click to vote
FOSSACS
2010
Springer
16 years 19 days ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
136
Voted
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
171
Voted
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
: Presented is a paradigm of how a design concept can be converted into a system of production rules to generate designs. The rules are expressed by the means of shape grammar form...
164
click to vote
NAR
2011
14 years 9 months ago
2011
Systems pharmacology is an emergent area that studies drug action across multiple scales of complexity, from molecular and cellular to tissue and organism levels. There is a criti...