Treffer 61 - 80 von 14.175

61

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
Wu, Hao ; Wang, Qiuye ; Xue, Bai ; et al.
ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-35. 35p.

ALGORITHMS SEMIDEFINITE programming POLYNOMIALS CONSTRAINT programming INVARIANT theory ROBUST optimization
Fachzeitschrift
Zu den Favoriten
62

EVERYTHING IS POSSIBLE: CONSTRUCTING SPECTRAHEDRA WITH PRESCRIBED FACIAL DIMENSIONS.
ROSHCHINA, VERA ; TUNÇEL, LEVENT
SIAM Journal on Optimization. 2025, Vol. 35 Issue 1, p400-418. 19p.

CONVEX sets SEMIDEFINITE programming CONVEX geometry INTEGERS OPEN-ended questions
Fachzeitschrift
Zu den Favoriten
63

First- and second-order optimality conditions for second-order cone and semidefinite programming under a constant rank condition.
Andreani, Roberto ; Haeser, Gabriel ; Mito, Leonardo M. ; et al.
Mathematical Programming. Nov2023, Vol. 202 Issue 1/2, p473-513. 41p.

NONLINEAR programming SEMIDEFINITE programming GEOMETRIC approach LAGRANGE multiplier
Fachzeitschrift
Zu den Favoriten
64

2×2-Convexifications for convex quadratic optimization with indicator variables.
Han, Shaoning ; Gómez, Andrés ; Atamtürk, Alper
Mathematical Programming. Nov2023, Vol. 202 Issue 1/2, p95-134. 40p.

INTEGER programming NONCONVEX programming SEMIDEFINITE programming QUADRATIC programming GLOBAL optimization
Fachzeitschrift
Zu den Favoriten
65

The SCIP Optimization Suite 9.0
Bolusani, Suresh ; Besançon, Mathieu ; Bestuzheva, Ksenia ; et al.

Constraint integer progr... Linear programming Mixed-integer linear pro... Mixed-integer nonlinear... Optimization solver Branch-and-cut
E-Ressource
Zu den Favoriten
66

Necessary stability conditions for reaction-diffusion-ODE systems
Bajodek, Mathieu ; Lhachemi, Hugo ; Valmorbida, Giorgio ; et al.
IEEE Transactions on Automatic Control. 69(11):1-8

Semidefinite programming Reaction-diffusion Stability of linear syst... Distributed parameter sy... [SPI.AUTO]Engineering Sc... Automatic
Zeitschrift
Zu den Favoriten
67

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Đurašinović, Srećko ; Yang, Jianting ; Lasserre, Jean-Bernard ; et al.
R&T Days 2024, Jul 2024, Toulouse (FRANCE), France. 2024

Toulouse (FRANCE), Franc... Binary Neural Networks Robustness Verification Sparse Polynomial Optimi... Semidefinite Programming [MATH.MATH-OC]Mathematic...
Konferenz
Zu den Favoriten
68

Application of the Lovász-Schrijver Operator to Compact Stable Set Integer Programs
Battista, Federico ; Rossi, Fabrizio ; Smriglio, Stefano
Mathematical Programming Computation: A Publication of the Mathematical Optimization Society. :1-38

Fachzeitschrift
Zu den Favoriten
70

Sparse sub-gaussian random projections for semidefinite programming relaxations
Guedes-Ayala, Monse ; Poirion, Pierre-Louis ; Schewe, Lars ; et al.
Journal of Global Optimization: An International Journal Dealing with Theoretical and Computational Aspects of Seeking Global Optima and Their Applications in Science, Management and Engineering. :1-31

Fachzeitschrift
Zu den Favoriten
71

Optimality and solutions for conic robust multiobjective programs
Chuong, Thai Doan ; Yu, Xinghuo ; Eberhard, Andrew ; et al.
Journal of Global Optimization: An International Journal Dealing with Theoretical and Computational Aspects of Seeking Global Optima and Their Applications in Science, Management and Engineering. :1-30

Fachzeitschrift
Zu den Favoriten
72

Characterization of the Convergence Rate of the Augmented Lagrange for the Nonlinear Semidefinite Optimization Problem.
Zhang, Yule ; Wu, Jia ; Zhang, Jihong ; et al.
Mathematics (2227-7390). Jun2025, Vol. 13 Issue 12, p1946. 25p.

SEMIDEFINITE programming DERIVATIVES (Mathematics... NONLINEAR functions LAGRANGE multiplier
Fachzeitschrift
Zu den Favoriten
73

Robust SAR Waveform Design for Extended Target in Spectrally Dense Environments.
Zhang, Rui ; Wu, Fuwei ; Gao, Bing ; et al.
Sensors (14248220). Jun2025, Vol. 25 Issue 12, p3670. 18p.

SEMIDEFINITE programming ALGORITHMS STATISTICS
Fachzeitschrift
Zu den Favoriten
74

Christensen-Sinclair factorization via semidefinite programming.
Escudero-Gutiérrez, Francisco
Linear Algebra & its Applications. Jun2025, Vol. 714, p28-44. 17p.

SEMIDEFINITE programming HILBERT space FACTORIZATION ALGORITHMS
Fachzeitschrift
Zu den Favoriten
75

Semidefinite programming for manipulating acoustic traps in real time (SMART).
Zehnter, Sebastian ; Endres, Kevin ; Kronbichler, Martin ; et al.
Scientific Reports. 5/20/2025, Vol. 15 Issue 1, p1-26. 26p.

REAL-time programming SEMIDEFINITE programming ULTRASONIC transducers SOUND pressure IMMERSION in liquids
Fachzeitschrift
Zu den Favoriten
76

Granularity for Mixed-Integer Polynomial Optimization Problems.
Eggen, Carl ; Stein, Oliver ; Volkwein, Stefan
Journal of Optimization Theory & Applications. May2025, Vol. 205 Issue 2, p1-24. 24p.

SEMIDEFINITE programming NONLINEAR programming POLYNOMIALS
Fachzeitschrift
Zu den Favoriten
77

Multivariate fidelities.
Nuradha, Theshani ; Mishra, Hemant K ; Leditzky, Felix ; et al.
Journal of Physics A: Mathematical & Theoretical. 4/21/2025, Vol. 58 Issue 16, p1-95. 95p.

SEMIDEFINITE programming DISTRIBUTION (Probabilit... QUANTUM states QUANTUM numbers GENERALIZATION
Fachzeitschrift
Zu den Favoriten
78

A Convex Optimization Approach to Compute Trapping Regions for Lossless Quadratic Systems.
Liao, Shih‐Chi ; Leonid Heide, A. ; Hemati, Maziar S. ; et al.
International Journal of Robust & Nonlinear Control. Apr2025, Vol. 35 Issue 6, p2425-2436. 12p.

SEMIDEFINITE programming INCOMPRESSIBLE flow CONVEX programming FLUID flow DYNAMICAL systems
Fachzeitschrift
Zu den Favoriten
79

Superlinear convergence of an interior point algorithm on linear semi-definite feasibility problems.
Sim, Chee-Khian
Optimization Methods & Software. Apr2025, Vol. 40 Issue 2, p287-307. 21p.

INTERIOR-point methods SEMIDEFINITE programming MATHEMATICS ALGORITHMS POLYNOMIALS LINEAR complementarity p...
Fachzeitschrift
Zu den Favoriten
80

Exactness Conditions for Semidefinite Programming Relaxations of Generalization of the Extended Trust Region Subproblem.
Jiang, Rujun ; Li, Duan
Mathematics of Operations Research. Aug2023, Vol. 48 Issue 3, p1235-1253. 19p.

SEMIDEFINITE programming QUADRATIC forms UNIT ball (Mathematics) GENERALIZATION QUADRATIC programming SHANGHAI (China)
Fachzeitschrift
Zu den Favoriten

Filter