CORR
2010
Springer
13 years 8 months ago
2010
Springer
Services oriented grids will be more prominent among other kinds of grids in the present distributed environments. With the advent of online government services the governmental g...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Orbits of graphs under local complementation (LC) and edge local complementation (ELC) have been studied in several different contexts. For instance, there are connections between...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In a previous paper, we have given an algebraic model to the set of intervals. Here, we apply this model in a linear frame. For example, we define a notion of diagonalization of s...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We have used the Montage image mosaic engine to investigate the cost and performance of processing images on the Amazon EC2 cloud, and to inform the requirements that higher-level...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We present a faster exponential-time algorithm for integer optimization over quasi-convex polynomials. We study the minimization of a quasiconvex polynomial subject to s quasi-con...