Zobrazeno 1 - 10
of 55
pro vyhledávání: '"VICTOR MAGRON"'
Autor:
Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, Victor Magron, Antonio Acín
Publikováno v:
Physical Review X, Vol 14, Iss 3, p 031006 (2024)
A ubiquitous problem in quantum physics is to understand the ground-state properties of many-body systems. Confronted with the fact that exact diagonalization quickly becomes impossible when increasing the system size, variational approaches are typi
Externí odkaz:
https://doaj.org/article/2215cb461ee04c279079e8af489324c8
Publikováno v:
Quantum, Vol 7, p 1080 (2023)
How to understand the set of correlations admissible in nature is one outstanding open problem in the core of the foundations of quantum theory. Here we take a complementary viewpoint to the device-independent approach, and explore the correlations t
Externí odkaz:
https://doaj.org/article/cbab85a5131d4227b4040c286cdee6ac
Publikováno v:
Journal of Formalized Reasoning, Vol 8, Iss 1, Pp 1-24 (2015)
We present a formally verified global optimization framework. Given a semialgebraic or transcendental function f and a compact semialgebraic domain K, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of
Externí odkaz:
https://doaj.org/article/3346b2c4cd3b4487be1a0e3bad6abaab
Autor:
THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER
Publikováno v:
Forum of Mathematics, Pi, Vol 5 (2017)
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
Externí odkaz:
https://doaj.org/article/0dae9a3d3e584c73a937daefc20afe3b
Publikováno v:
ACM Transactions on Mathematical Software
ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩
ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩
We prove that every semidefinite moment relaxation of a polynomial optimization problem (POP) with a ball constraint can be reformulated as a semidefinite program involving a matrix with constant trace property (CTP). As a result such moment relaxati
Autor:
Ngoc Hoang Anh Mai, Victor Magron
The problem of characterizing a real polynomial $f$ as a sum of squares of polynomials on a real algebraic variety $V$ dates back to the pioneering work of Hilbert in [Mathematische Annalen 32.3 (1888): 342-350]. In this paper, we investigate this pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d01762ce7aea2094a46f4cf687bf9f64
https://hal.laas.fr/hal-04023980
https://hal.laas.fr/hal-04023980
Publikováno v:
SIAM Journal on Optimization
SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩
SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩
Assessing non-negativity of multivariate polynomials over the reals, through the computation of {\em certificates of non-negativity}, is a topical issue in polynomial optimization. This is usually tackled through the computation of {\em sums-of-squar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::542c195c32b1126512f7cf7e7310d144
https://hal.laas.fr/hal-03312392
https://hal.laas.fr/hal-03312392
Autor:
Yoshio Ebihara, Ngoc Hoang Anh Mai, Hayato Waki, Dimitri Peaucelle, Victor Magron, Sophie Tarbouriech
Publikováno v:
European Journal of Control. 62:99-104
In this paper, we focus on the “positive” l 2 induced norm of discrete-time linear time-invariant systems where the input signals are restricted to be nonnegative. To cope with the nonnegativity of the input signals, we employ copositive programm
Autor:
Yoshio Ebihara, Hayato Motooka, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
Publikováno v:
European Control Conference (ECC 2022)
European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩
European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩
International audience; This paper is concerned with the analysis of the L2 induced norm of continuous-time LTI systems where the input signals are restricted to be nonnegative. This induced norm is referred to as the L2+ induced norm in this paper.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cfe6bff3472ed7ea9a5a367558bcdfa0
https://hal.laas.fr/hal-03740522/document
https://hal.laas.fr/hal-03740522/document
Publikováno v:
IEEE Control Systems Letters
IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩
IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩
Control systems can show robustness to many events, like disturbances and model inaccuracies. It is natural to speculate that they are also robust to sporadic deadline misses when implemented as digital tasks on an embedded platform. This paper propo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c04750c58d143578a7dd0ccbf978da2
https://hal.laas.fr/hal-03127108
https://hal.laas.fr/hal-03127108