Méthodes garanties pour l'estimation d'état et le contrôle de cohérence des systèmes non linéaires à temps continu
G Videau - 2009 - theses.fr
Cette thèse traite des problèmes d’estimation et de contrôle de cohérence par l’utilisation des
techniques ensemblistes. L’objectif est la mise en place d’une démarche méthodologique …
techniques ensemblistes. L’objectif est la mise en place d’une démarche méthodologique …
ASIACRYPT 2012
XWK Sako - Springer
ASIACRYPT 2012, the 18th International Conference on Theory and Application of
Cryptology and Information Security, was held during December 2–6 in Beijing International …
Cryptology and Information Security, was held during December 2–6 in Beijing International …
Approximating the moments of marginals of high-dimensional distributions
R Vershynin - The Annals of Probability, 2011 - projecteuclid.org
For probability distributions on ℝn, we study the optimal sample size N = N(n, p) that suffices
to uniformly approximate the pth moments of all one-dimensional marginals. Under the …
to uniformly approximate the pth moments of all one-dimensional marginals. Under the …
[BOOK][B] Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
M Agrawal, BS Cooper, A Li - 2012 - books.google.com
This book constitutes the refereed proceedings of the 9th International Conference on Theory
and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May …
and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May …
Garantierte Störgrößeneinschließung für lineare zeitdiskrete Systeme
J Falkenhain, J Lunze - at-Automatisierungstechnik, 2011 - degruyter.com
If technical processes are subject to unknown disturbances, observers can be employed to
reconstruct the disturbance amplitude from the measurable input and output signals. This …
reconstruct the disturbance amplitude from the measurable input and output signals. This …
Étude de méthodes ensemblistes robustes pour une localisation multisensorielle intègre. Application à la navigation des véhicules en milieu urbain.
V Drevelle - 2011 - tel.archives-ouvertes.fr
On cherche dans cette thèse à caractériser un domaine de confiance pour la localisation d'un
véhicule, en utilisant des méthodes ensemblistes robustes par intervalles. La localisation …
véhicule, en utilisant des méthodes ensemblistes robustes par intervalles. La localisation …
On the local equatorial characterization of zonoids and intersection bodies
F Nazarov, D Ryabogin, A Zvavitch - Advances in Mathematics, 2008 - Elsevier
In this paper we show that there is no local equatorial characterization of zonoids in odd
dimensions. This gives a negative answer to the conjecture posed by W. Weil in 1977 and …
dimensions. This gives a negative answer to the conjecture posed by W. Weil in 1977 and …
Computer Aided Verification
TTBC PaulJackson - Springer
This volume contains the proceedings of the 22nd International Conference on Computer-Aided
Verification (CAV) held in Edinburgh, UK, July 15–19 2010. CAV is dedicated to the …
Verification (CAV) held in Edinburgh, UK, July 15–19 2010. CAV is dedicated to the …
On reduction of duality gap in quadratic knapsack problems
XJ Zheng, XL Sun, D Li, YF Xu - Journal of Global Optimization, 2012 - Springer
We investigate in this paper the duality gap between quadratic knapsack problem and its
Lagrangian dual or semidefinite programming relaxation. We characterize the duality gap by a …
Lagrangian dual or semidefinite programming relaxation. We characterize the duality gap by a …
A bijection for Eulerian-equivalence classes of totally cyclic orientations
B Chen, ALB Yang, TYJ Zhang - Graphs and Combinatorics, 2008 - Springer
Gioan showed that the number of cycle reversing classes of totally cyclic orientations of a
given graph can be calculated as an evaluation of the corresponding Tutte polynomial. We …
given graph can be calculated as an evaluation of the corresponding Tutte polynomial. We …