3710 search results - page 147 / 742 » A new calculus of contexts |
148
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper two highly innovative digital editions will be presented. For the creation and the implementation of these editions the latest developments within corpus research ha...
159
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: There is accumulating evidence that the milieu of repeat elements and other nongenic sequence features at a given chromosomal locus, here defined as the genome environ...
202
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
143
click to vote
ISSAC
2005
Springer
16 years 18 days ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
150
click to vote
IMA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The key agreement protocol are either based on some computational infeasability, such as the calculus of the discrete logarithm in [1], or on theoretical impossibility un...