4100 search results - page 349 / 820 » General Linear Cameras |
147
click to vote
AMCS
2008
15 years 7 months ago
2008
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...
159
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
148
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
Abstract. This paper considers Lur’e type descriptor systems (LDS). The concept of strongly absolute stability is defined for LDS and such a notion is a generalization of absolu...
199
click to vote
SIAMDM
2010
15 years 5 months ago
2010
We consider a variation of a problem stated by Erd˝os and Szekeres in 1935 about the existence of a number fES (k) such that any set S of at least fES (k) points in general posit...
189
click to vote
SIAMJO
2010
15 years 5 months ago
2010
The imposition of general disjunctions of the form “πx ≤ π0 ∨ πx ≥ π0 + 1”, where π, π0 are integer valued, is a fundamental operation in both the branch-and-bound...