Sciweavers

1096 search results - page 18 / 220
» Abstract Canonical Inference
Sort
View
CDC
2010
IEEE
14 years 4 months ago
Stokes-Dirac structures through reduction of infinite-dimensional Dirac structures
Abstract-- We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and ...
Joris Vankerschaver, Hiroaki Yoshimura, Melvin Leo...
TCAD
2010
94views more  TCAD 2010»
14 years 4 months ago
An Efficient Projector-Based Passivity Test for Descriptor Systems
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
Zheng Zhang, Ngai Wong
HYBRID
1999
Springer
15 years 1 months ago
Orthogonal Polyhedra: Representation and Computation
Abstract. In this paper we investigate orthogonal polyhedra, i.e. polyhedra which are finite unions of full-dimensional hyper-rectangles. We define representation schemes for the...
Olivier Bournez, Oded Maler, Amir Pnueli
70
Voted
SIAMJO
2000
56views more  SIAMJO 2000»
14 years 9 months ago
Reformulation of Variational Inequalities on a Simplex and Compactification of Complementarity Problems
Abstract. Many variational inequality problems (VIPs) can be reduced, by a compactification procedure, to a VIP on the canonical simplex. Reformulations of this problem are studied...
Roberto Andreani, José Mario Martíne...
CORR
2012
Springer
193views Education» more  CORR 2012»
13 years 5 months ago
Approximate Counting of Matchings in Sparse Hypergraphs
Abstract. In this paper we give a fully polynomial randomized approximation scheme (FPRAS) for the number of all matchings in hypergraphs belonging to a class of sparse, uniform hy...
Marek Karpinski, Andrzej Rucinski, Edyta Szymanska