Recherche - Archive ouverte HAL

88 résultats

	Pour les 88 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 3 Page suivante	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Certifying ground-state properties of many-body systems Jie Wang , Jacopo Surace , Irénée Frérot , Benoît Legat , Marc-Olivier Renou , et al. 2023 Pré-publication, Document de travail hal-04264341v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Proofs for Nonlinear Optimization Victor Magron , Xavier Allamigeon , Stéphane Gaubert , Benjamin Werner Journal of Formalized Reasoning, 2015, 8 (15), pp.1-24 Article dans une revue hal-00985675v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A second order cone characterization for sums of nonnegative circuits Victor Magron , Jie Wang 45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩ Communication dans un congrès hal-02473446v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions Jie Wang , Martina Maggio , Victor Magron 2021 American Control Conference (ACC), May 2021, New Orleans, United States. ⟨10.23919/ACC50511.2021.9483347⟩ Communication dans un congrès hal-02923348v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Semialgebraic Optimization for Lipschitz Constants of ReLU Networks Tong Chen , Jean-Bernard Lasserre , Victor Magron , Edouard Pauwels Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada Communication dans un congrès hal-02940488v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization Assalé Adjé , Pierre-Loïc Garoche , Victor Magron Blazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩ Chapitre d'ouvrage hal-01369974v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks Milan Korda , Monique Laurent , Victor Magron , Andries Steenkamp Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩ Article dans une revue hal-03782934v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Tractable semidefinite bounds of positive maximal singular values Victor Magron , Ngoc Hoang Anh Mai , Yoshio Ebihara , Hayato Waki 2022 Pré-publication, Document de travail hal-03580048v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Noncommutative Polynomial Optimization Abhishek Bhardwaj , Igor Klep , Victor Magron 2021 Pré-publication, Document de travail hal-03333504v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Stability of Linear Systems under Extended Weakly-Hard Constraints Nils Vreman , Paolo Pazzaglia , Jie Wang , Victor Magron , Martina Maggio IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩ Article dans une revue hal-03127108v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		State polynomials: positivity, optimization and nonlinear Bell inequalities Igor Klep , Victor Magron , Jurij Volčič , Jie Wang 2023 Pré-publication, Document de travail hal-03964830v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Sublevel Moment-SOS Hierarchy for Polynomial Optimization Tong Chen , Jean-Bernard Lasserre , Victor Magron , Edouard Pauwels Computational Optimization and Applications, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩ Article dans une revue hal-03109978v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation Shingo Nishinaka , Rin Saeki , Tsuyoshi Yuno , Yoshio Ebihara , Victor Magron , et al. 2024 Pré-publication, Document de travail hal-04495314v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Constant Trace Property in Noncommutative Optimization Ngoc Hoang Anh Mai , Abhishek Bhardwaj , Victor Magron International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩ Communication dans un congrès hal-03130967v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Peak Estimation of Time Delay Systems using Occupation Measures Jared Miller , Milan Korda , Victor Magron , Mario Sznaier 2023 Pré-publication, Document de travail hal-04047493v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients Jie Wang , Victor Magron 2023 Pré-publication, Document de travail hal-04189927v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Sparse Noncommutative Polynomial Optimization Igor Klep , Victor Magron , Janez Povh Mathematical Programming, Series A, 2020, ⟨10.1007/s10107-020-01610-1⟩ Article dans une revue hal-02278767v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		TSSOS: A Moment-SOS hierarchy that exploits term sparsity Jie Wang , Victor Magron , Jean-Bernard Lasserre SIAM Journal on Optimization, 2021, 31 (1), pp.30--58. ⟨10.1137/19M1307871⟩ Article dans une revue hal-02448389v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming Yoshio Ebihara , Hayato Waki , Noboru Sebe , Victor Magron , Dimitri Peaucelle , et al. European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩ Communication dans un congrès hal-03740522v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives Didier Henrion , Felix Kirschner , Etienne de Klerk , Milan Korda , Jean-Bernard Lasserre , et al. INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩ Article dans une revue hal-03429272v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		RealCertify: a Maple package for certifying non-negativity Victor Magron , Mohab Safey El Din ACM Communications in Computer Algebra, 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩ Article dans une revue hal-01956812v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Proofs for Global Optimization -- Templates and Sums of Squares Victor Magron Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩ Thèse pastel-00917779v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials Victor Magron , Mohab Safey El Din , Markus Schweighofer Journal of Symbolic Computation, 2019, 93, pp.200-220. ⟨10.1016/j.jsc.2018.06.005⟩ Article dans une revue hal-01538729v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant Ngoc Hoang Anh Mai , Victor Magron , Jean-Bernard Lasserre , Kim-Chuan Toh 2022 Pré-publication, Document de travail hal-03776853v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Sums of squares certificates for polynomial moment inequalities Igor Klep , Victor Magron , Jurij Volčič 2023 Pré-publication, Document de travail hal-04125262v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		EXACT OPTIMIZATION VIA SUMS OF NONNEGATIVE CIRCUITS AND SUMS OF AM/GM EXPONENTIALS Victor Magron , Henning Seidler , Timo de Wolff ACM Communications in Computer Algebra, 2019, ⟨10.1145/3326229.3326271⟩ Article dans une revue hal-02006899v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Computing the Hausdorff boundary measure of semi-algebraic sets Jean-Bernard Lasserre , Victor Magron SIAM Journal on Applied Algebra and Geometry, 2020, 4 (3), pp.441-469. ⟨10.1137/20M1314392⟩ Article dans une revue hal-02448149v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Induced Norm Analysis of Linear Systems for Nonnegative Input Signals Yoshio Ebihara , Noboru Sebe , Hayato Waki , Dimitri Peaucelle , Sophie Tarbouriech , et al. 2024 Pré-publication, Document de travail hal-04438031v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Exploiting Sparsity in Complex Polynomial Optimization Jie Wang , Victor Magron Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩ Article dans une revue hal-03178832v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization Assalé Adjé , Pierre-Loïc Garoche , Victor Magron 2015 Pré-publication, Document de travail hal-01134816v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats

Certifying ground-state properties of many-body systems

Formal Proofs for Nonlinear Optimization

A second order cone characterization for sums of nonnegative circuits

SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions

Semialgebraic Optimization for Lipschitz Constants of ReLU Networks

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization

Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks

Tractable semidefinite bounds of positive maximal singular values

Noncommutative Polynomial Optimization

Stability of Linear Systems under Extended Weakly-Hard Constraints

State polynomials: positivity, optimization and nonlinear Bell inequalities

A Sublevel Moment-SOS Hierarchy for Polynomial Optimization

Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation

The Constant Trace Property in Noncommutative Optimization

Peak Estimation of Time Delay Systems using Occupation Measures

A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients

Sparse Noncommutative Polynomial Optimization

TSSOS: A Moment-SOS hierarchy that exploits term sparsity

L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming

Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives

RealCertify: a Maple package for certifying non-negativity

Formal Proofs for Global Optimization -- Templates and Sums of Squares

Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials

Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant

Sums of squares certificates for polynomial moment inequalities

EXACT OPTIMIZATION VIA SUMS OF NONNEGATIVE CIRCUITS AND SUMS OF AM/GM EXPONENTIALS

Computing the Hausdorff boundary measure of semi-algebraic sets

Induced Norm Analysis of Linear Systems for Nonnegative Input Signals

Exploiting Sparsity in Complex Polynomial Optimization

Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization