3337 search results - page 438 / 668 » interactions 2006 |
135
click to vote
CIE
2006
Springer
15 years 9 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
164
click to vote
CIVR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents novel dissimilarity space specially designed for interactive multimedia retrieval. By providing queries made of positive and negative examples, the go...
171
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
We present a game-theoretic foundation for gene regulatory analysis based on the recent formalism of rewriting game theory. Rewriting game theory is discrete and comes with a graph...
156
Voted
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
181
click to vote
COMPLIFE
2006
Springer
15 years 9 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...