199 search results - page 16 / 40 » Denotations for Classical Proofs - Preliminary Results |
SCL
2010
13 years 6 months ago
2010
Abstract. In this paper we consider a boundary stabilization problem for the wave equation with interior delay. We prove an exponential stability result under some Lions geometric ...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper, we show the optimality of a certain class of disturbance-affine control policies in the context of one-dimensional, constrained, multi-stage robust optimization. Ou...
ASIACRYPT
2006
Springer
13 years 11 months ago
2006
Springer
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...
AMAI
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
SIAMDM
2010
13 years 6 months ago
2010
For a fixed graph H, let Ret(H) denote the problem of deciding whether a given input graph is retractable to H. We classify the complexity of Ret(H) when H is a graph (with loops ...