2062 search results - page 197 / 413 » Derivatives of Logical Formulas |
117
click to vote
ADBIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we study data replication in a mirrored disk system. Free disk space is exploited by keeping replicas of specific cylinders at appropriate disk locations. A...
112
click to vote
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
158
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This article proposes a new capture basin algorithm for computing the numerical solution of a class of Hamilton-Jacobi-Bellman (HJB) partial differential equations (PDEs)...
126
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
109
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper investigates string stability issues in homogeneous strings of strictly proper feedback control systems with unidirectional nearest neighbour communications, using o...