Optimal wire and transistor sizing for circuits with non-tree topology
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Solving Euclidean Distance Matrix Completion Problems Via Semidefinite Programming
Computational Optimization and Applications - Special issue on computational optimization—a tribute to Olvi Mangasarian, part I
The Clarke and Michel-Penot Subdifferentials of the Eigenvalues of a Symmetric Matrix
Computational Optimization and Applications - Special issue on computational optimization—a tribute to Olvi Mangasarian, part II
Computational Optimization and Applications
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Semidefinite Programming Techniques for Reduced Order Systems with Guaranteed Stability Margins
Computational Optimization and Applications
Rank-one LMI Approach to Stability of 2-D Polynomial Matrices
Multidimensional Systems and Signal Processing
Branch-and-Cut Algorithms for the Bilinear Matrix Inequality Eigenvalue Problem
Computational Optimization and Applications
Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights
Annals of Mathematics and Artificial Intelligence
Nonnegative minimum biased quadratic estimation in mixed linear models
Journal of Multivariate Analysis
Relaxations of the Satisfiability Problem Using Semidefinite Programming
Journal of Automated Reasoning
Convergent Outer Approximation Algorithms for Solving Unary Programs
Journal of Global Optimization
Computable Error Bounds for Semidefinite Programming
Journal of Global Optimization
A New Semidefinite Programming Bound for Indefinite Quadratic Forms Over a Simplex
Journal of Global Optimization
Semidefinite Relaxations of Fractional Programs via Novel Convexification Techniques
Journal of Global Optimization
Enhancing RLT relaxations via a new class of semidefinite cuts
Journal of Global Optimization
Generating Convex Polynomial Inequalities for Mixed 0–1 Programs
Journal of Global Optimization
Discrete-time Indefinite LQ Control with State and Control Dependent Noises
Journal of Global Optimization
SDP design procedures for near-optimum IIR compaction filters
Signal Processing
Applied Numerical Mathematics - Developments and trends in iterative methods for large systems of equations—in memoriam Rüdiger Weiss
A Computational Study of the Homogeneous Algorithm for Large-scale Convex Optimization
Computational Optimization and Applications
Computational Experience with Ill-Posed Problems in Semidefinite Programming
Computational Optimization and Applications
Cutting Plane Algorithms for Nonlinear Semi-Definite Programming Problems with Applications
Journal of Global Optimization
A Subspace Semidefinite Programming for Spectral Graph Partitioning
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Semidefinite Programming Methods for the Symmetric Traveling Salesman Problem
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
The Hough Transform without the Accumulators
Proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition
Kernel Matrix Completion by Semidefinite Programming
ICANN '02 Proceedings of the International Conference on Artificial Neural Networks
Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School]
Optimization based passive constrained fitting
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
The side-chain positioning problem: a semidefinite programming formulation with new rounding schemes
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi
ACM Transactions on Mathematical Software (TOMS)
Indefinite Stochastic Linear Quadratic Control with Markovian Jumps in Infinite Time Horizon
Journal of Global Optimization
Journal of Computational and Applied Mathematics - Special issue: Papers presented at the 1st Sino--Japan optimization meeting, 26-28 October 2000, Hong Kong, China
Binary Partitioning, Perceptual Grouping, and Restoration with Semidefinite Programming
IEEE Transactions on Pattern Analysis and Machine Intelligence
Best ellipsoidal relaxation to solve a nonconvex problem
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Learning the Kernel Matrix with Semidefinite Programming
The Journal of Machine Learning Research
Computing personalized pageranks
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Learning a kernel matrix for nonlinear dimensionality reduction
ICML '04 Proceedings of the twenty-first international conference on Machine learning
Convergence Analysis of an Inexact Infeasible Interior Point Method for Semidefinite Programming
Computational Optimization and Applications
Graph partition strategies for generalized mean field inference
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Computational Optimization and Applications
Derivation of the Lewenstein-Sanpera Decomposition via Semidefinite Programming
Quantum Information Processing
Analysis and extension of spectral methods for nonlinear dimensionality reduction
ICML '05 Proceedings of the 22nd international conference on Machine learning
A semidefinite programming approach to tensegrity theory and realizability of graphs
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Efficient decoupling capacitor planning via convex programming methods
Proceedings of the 2006 international symposium on Physical design
Model-based transductive learning of the kernel matrix
Machine Learning
Bounded-error quantum state identification and exponential separations in communication complexity
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
Unsupervised Learning of Image Manifolds by Semidefinite Programming
International Journal of Computer Vision
Optimal kernel selection in Kernel Fisher discriminant analysis
ICML '06 Proceedings of the 23rd international conference on Machine learning
A duality view of spectral methods for dimensionality reduction
ICML '06 Proceedings of the 23rd international conference on Machine learning
Solving semidefinite programming problems via alternating direction methods
Journal of Computational and Applied Mathematics
Design of multiobjective H∞ lopp-shaping SISO control systems by fuzzy logic
Control and Intelligent Systems
Towards IP geolocation using delay and topology measurements
Proceedings of the 6th ACM SIGCOMM conference on Internet measurement
Using Max Cut to Enhance Rooted Trees Consistency
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A compressed primal-dual method for generating bivariate cubic L1 splines
Journal of Computational and Applied Mathematics
A finite steps algorithm for solving convex feasibility problems
Journal of Global Optimization
A Semidefinite Programming Approach to Side Chain Positioning with New Rounding Strategies
INFORMS Journal on Computing
Learning linear PCA with convex semi-definite programming
Pattern Recognition
Fast SDP Relaxations of Graph Cut Clustering, Transduction, and Other Combinatorial Problems
The Journal of Machine Learning Research
Two-phase routing, scheduling and power control for wireless mesh networks with variable traffic
Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Sparse eigen methods by D.C. programming
Proceedings of the 24th international conference on Machine learning
Discriminant kernel and regularization parameter learning via semidefinite programming
Proceedings of the 24th international conference on Machine learning
Brief paper: On the indirect approaches for CARMA model identification
Automatica (Journal of IFAC)
Numerical optimization in hybrid symbolic-numeric computation
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining
Knowledge and Information Systems
MIMO transceiver design via majorization theory
Foundations and Trends in Communications and Information Theory
Optimal distortion embeddings of distance regular graphs into Euclidean spaces
Journal of Combinatorial Theory Series B
Generalized semi-infinite programming: A tutorial
Journal of Computational and Applied Mathematics
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Learning dissimilarities by ranking: from SDP to QP
Proceedings of the 25th international conference on Machine learning
Multi-class Discriminant Kernel Learning via Convex Programming
The Journal of Machine Learning Research
Perfect Parallel Repetition Theorem for Quantum Xor Proof Systems
Computational Complexity
Optimization Methods & Software
Feature extraction using constrained maximum variance mapping
Pattern Recognition
Canonical subsets of image features
Computer Vision and Image Understanding
Learning a Kernel Matrix for Time Series Data from DTW Distances
Neural Information Processing
Non-smoothness in classification problems
Optimization Methods & Software - THE JOINT EUROPT-OMS CONFERENCE ON OPTIMIZATION, 4-7 JULY, 2007, PRAGUE, CZECH REPUBLIC, PART I
Rethinking Biased Estimation: Improving Maximum Likelihood and the Cramér–Rao Bound
Foundations and Trends in Signal Processing
Approximate GCDs of polynomials and sparse SOS relaxations
Theoretical Computer Science
Computing sum of squares decompositions with rational coefficients
Theoretical Computer Science
Automatica (Journal of IFAC)
Graphical Models, Exponential Families, and Variational Inference
Foundations and Trends® in Machine Learning
Automatica (Journal of IFAC)
Nonlinear process monitoring based on maximum variance unfolding projections
Expert Systems with Applications: An International Journal
Toward a perceptual space for gloss
ACM Transactions on Graphics (TOG)
H∞ structured model reduction algorithms for linear discrete systems via LMI-based optimisation
International Journal of Systems Science
Brief paper: Set-membership filtering for systems with sensor saturation
Automatica (Journal of IFAC)
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Describing convex semialgebraic sets by linear matrix inequalities
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
An introduction to nonlinear dimensionality reduction by maximum variance unfolding
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Multiterm polyhedral relaxations for nonconvex, quadratically constrained quadratic programs
Optimization Methods & Software - GLOBAL OPTIMIZATION
Large margin nearest local mean classifier
Signal Processing
International Journal of Knowledge Engineering and Soft Data Paradigms
Polynomial chaos representation of spatio-temporal random fields from experimental measurements
Journal of Computational Physics
WSEAS Transactions on Mathematics
Optimized stochastic policies for task allocationin swarms of robots
IEEE Transactions on Robotics
Semidefinite programming approach for range-difference based source localization
IEEE Transactions on Signal Processing
Robust transceiver optimization in downlink multiuser MIMO systems
IEEE Transactions on Signal Processing
Worst-case robust MIMO transmission with imperfect channel knowledge
IEEE Transactions on Signal Processing
Robust collaborative-relay beamforming
IEEE Transactions on Signal Processing
Robust QoS-constrained optimization of downlink multiuser MISO systems
IEEE Transactions on Signal Processing
IIR digital filter design with new stability constraint based on argument principle
IEEE Transactions on Circuits and Systems Part I: Regular Papers
Discretization method for semi-definite programming
Computers & Mathematics with Applications
A successive SDP-NSDP approach to a robust optimization problem in finance
Computational Optimization and Applications
Kernel based support vector machine via semidefinite programming: Application to medical diagnosis
Computers and Operations Research
Implementation of FIR control for H∞output feedback stabilization of linear systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
A robust SDP approach to system identification with roughly quantized data
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Set-membership fuzzy filtering for nonlinear discrete-time systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Feasibility and Constraint Analysis of Sets of Linear Matrix Inequalities
INFORMS Journal on Computing
Journal of Computational Physics
When Is There a Representer Theorem? Vector Versus Matrix Regularizers
The Journal of Machine Learning Research
Semidefinite programming for graph partitioning with preferences in data distribution
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
IEEE Transactions on Signal Processing
A novel local sensitive frontier analysis for feature extraction
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Fast reflexive arithmetic tactics the linear case and beyond
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Sparse and low-rank matrix decompositions
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Manifold embedding for shape analysis
Neurocomputing
A model based approach for improving router geolocation
Computer Networks: The International Journal of Computer and Telecommunications Networking
Preamble-based channel estimation for amplify-and-forward OFDM relay networks
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
A convex optimization approach to blind channel shortening in multicarrier modulations
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
A convex optimization approach to blind channel shortening in multicarrier modulations
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Beamforming and rate allocation in MISO cognitive radio networks
IEEE Transactions on Signal Processing
MIMO transceiver optimization with linear constraints on transmitted signal covariance components
IEEE Transactions on Signal Processing
Learning incoherent sparse and low-rank patterns from multiple tasks
Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining
Global optimization of polynomials using generalized critical values and sums of squares
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Employing multiple-kernel support vector machines for counterfeit banknote recognition
Applied Soft Computing
Algorithms and theory of computation handbook
Channel-optimized quantum error correction
IEEE Transactions on Information Theory
Robust MMSE precoding in MIMO channels with pre-fixed receivers
IEEE Transactions on Signal Processing
A robust adaptive beamformer based on worst-case semi-definite programming
IEEE Transactions on Signal Processing
Minimax design of IIR digital filters using SDP relaxation technique
IEEE Transactions on Circuits and Systems Part I: Regular Papers
Approximation of canonical sets and their applications to 2D view simplification
CVPR'04 Proceedings of the 2004 IEEE computer society conference on Computer vision and pattern recognition
Unsupervised learning of image manifolds by semidefinite programming
CVPR'04 Proceedings of the 2004 IEEE computer society conference on Computer vision and pattern recognition
Outlier detection and robust covariance estimation using mathematical programming
Advances in Data Analysis and Classification
Sensor network localization using sensor perturbation
ACM Transactions on Sensor Networks (TOSN)
IEEE Transactions on Information Theory
IEEE Transactions on Wireless Communications
Duality Gap Estimation of Linear Equality Constrained Binary Quadratic Programming
Mathematics of Operations Research
Sparse approximation of functions using sums of exponentials and AAK theory
Journal of Approximation Theory
Unique Games with Entangled Provers Are Easy
SIAM Journal on Computing
Uniqueness of Low-Rank Matrix Completion by Rigidity Theory
SIAM Journal on Matrix Analysis and Applications
Exposed Faces of Semidefinitely Representable Sets
SIAM Journal on Optimization
Theta Bodies for Polynomial Ideals
SIAM Journal on Optimization
Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables
SIAM Journal on Optimization
Model decomposition and reduction tools for large-scale networks in systems biology
Automatica (Journal of IFAC)
A new scheme to learn a kernel in regularization networks
Neurocomputing
A quasipolynomial-time algorithm for the quantum separability problem
Proceedings of the forty-third annual ACM symposium on Theory of computing
Large margin multiclass gaussian classification with differential privacy
PSDML'10 Proceedings of the international ECML/PKDD conference on Privacy and security issues in data mining and machine learning
A family of norms with applications in quantum information theory II
Quantum Information & Computation
Computational complexity of the quantum separability problem
Quantum Information & Computation
Rank aggregation via nuclear norm minimization
Proceedings of the 17th ACM SIGKDD international conference on Knowledge discovery and data mining
Polynomial Matrix Inequality and Semidefinite Representation
Mathematics of Operations Research
Learning High-Dimensional Markov Forest Distributions: Analysis of Error Rates
The Journal of Machine Learning Research
Security proof of quantum key distribution with detection efficiency mismatch
Quantum Information & Computation
A Newton-like method for solving rank constrained linear matrix inequalities
Automatica (Journal of IFAC)
On the generation of positivstellensatz witnesses in degenerate cases
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Feature selection for transfer learning
ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part III
Journal of Global Optimization
Generalized Benders' Decomposition for topology optimization problems
Journal of Global Optimization
A feasible directions method for nonsmooth convex optimization
Structural and Multidisciplinary Optimization
Journal of Symbolic Computation
Biased metric learning for person-independent head pose estimation
MM '11 Proceedings of the 19th ACM international conference on Multimedia
Universal Rigidity and Edge Sparsification for Sensor Network Localization
SIAM Journal on Optimization
Rigorous Enclosures of Ellipsoids and Directed Cholesky Factorizations
SIAM Journal on Matrix Analysis and Applications
SIAM Journal on Imaging Sciences
Theory and Applications of Robust Optimization
SIAM Review
Supervised semi-definite embedding for email data cleaning and visualization
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Learning Incoherent Sparse and Low-Rank Patterns from Multiple Tasks
ACM Transactions on Knowledge Discovery from Data (TKDD)
An efficient algorithm for maximal margin clustering
Journal of Global Optimization
Fusion of gaussian kernels within support vector classification
CIARP'06 Proceedings of the 11th Iberoamerican conference on Progress in Pattern Recognition, Image Analysis and Applications
Learning a distance metric for object identification without human supervision
PKDD'06 Proceedings of the 10th European conference on Principle and Practice of Knowledge Discovery in Databases
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Eigenspaces from seriated graphs
CAIP'05 Proceedings of the 11th international conference on Computer Analysis of Images and Patterns
Mixtures of truncated basis functions
International Journal of Approximate Reasoning
Alternatives to parameter selection for kernel methods
ICANN'06 Proceedings of the 16th international conference on Artificial Neural Networks - Volume Part I
Machine learning with seriated graphs
IbPRIA'05 Proceedings of the Second Iberian conference on Pattern Recognition and Image Analysis - Volume Part II
On approximating complex quadratic optimization problems via semidefinite programming relaxations
IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization
Layout decomposition for triple patterning lithography
Proceedings of the International Conference on Computer-Aided Design
Learning SVM kernel with semi-definite programming
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part I
A second-order cone bounding algorithm for robust minimum variance beamforming
Switching and Learning in Feedback Systems
Graph seriation using semi-definite programming
GbRPR'05 Proceedings of the 5th IAPR international conference on Graph-Based Representations in Pattern Recognition
Clustering for bioinformatics via matrix optimization
Proceedings of the 2nd ACM Conference on Bioinformatics, Computational Biology and Biomedicine
Safety verification of controlled advanced life support system using barrier certificates
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A general framework for dimensionality-reducing data visualization mapping
Neural Computation
Multi-way clustering and biclustering by the Ratio cut and Normalized cut in graphs
Journal of Combinatorial Optimization
On zero duality gap in nonconvex quadratic programming problems
Journal of Global Optimization
An admissible dual internal point method for a linear semidefinite programming problem
Automation and Remote Control
Towards layout-friendly high-level synthesis
Proceedings of the 2012 ACM international symposium on International Symposium on Physical Design
Multivariate convex support vector regression with semidefinite programming
Knowledge-Based Systems
On the power of the PPT constraint in the symmetric extensions test for separability
TQC'09 Proceedings of the 4th international conference on Theory of Quantum Computation, Communication, and Cryptography
On the fusion of polynomial kernels for support vector classifiers
IDEAL'06 Proceedings of the 7th international conference on Intelligent Data Engineering and Automated Learning
Wireless capacity with arbitrary gain matrix
ALGOSENSORS'11 Proceedings of the 7th international conference on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities
Journal of Global Optimization
Brief paper: Linear-quadratic switching control with switching cost
Automatica (Journal of IFAC)
A metric for layout-friendly microarchitecture optimization in high-level synthesis
Proceedings of the 49th Annual Design Automation Conference
Improving quantum clocks via semidefinite programming
Quantum Information & Computation
Mixed Time/Frequency-Domain Based Robust Identification
Automatica (Journal of IFAC)
On Stability of Constrained Receding Horizon Control with Finite Terminal Weighting Matrix
Automatica (Journal of IFAC)
Brief Paper: Simultaneous Constrained Model Predictive Control and Identification of DARX Processes
Automatica (Journal of IFAC)
Brief Robust one-step receding horizon control of discrete-time Markovian jump uncertain systems
Automatica (Journal of IFAC)
Book reviews: Algorithms for linear quadratic optimization
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Brief Control of linear systems subject to input constraints: a polynomial approach
Automatica (Journal of IFAC)
Ellipsoidal bounds for uncertain linear equations and dynamical systems
Automatica (Journal of IFAC)
Specialized fast algorithms for IQC feasibility and optimization problems
Automatica (Journal of IFAC)
Barrier certificates for nonlinear model validation
Automatica (Journal of IFAC)
A new autocovariance least-squares method for estimating noise covariances
Automatica (Journal of IFAC)
Shape-preserving, multiscale interpolation by bi- and multivariate cubic L1 splines
Computer Aided Geometric Design
Protein structure by semidefinite facial reduction
RECOMB'12 Proceedings of the 16th Annual international conference on Research in Computational Molecular Biology
Mathematical and Computer Modelling: An International Journal
Robust portfolio selection with uncertain exit time using worst-case VaR strategy
Operations Research Letters
A long-step primal-dual path-following method for semidefinite programming
Operations Research Letters
Initialization in semidefinite programming via a self-dual skew-symmetric embedding
Operations Research Letters
Journal of Global Optimization
On duality gap in binary quadratic programming
Journal of Global Optimization
Computational Optimization and Applications
Semi-supervised clustering with discriminative random fields
Pattern Recognition
Time series classification by class-specific Mahalanobis distance measures
Advances in Data Analysis and Classification
On the convergence of augmented Lagrangian methods for nonlinear semidefinite programming
Journal of Global Optimization
A QCQP approach to triangulation
ECCV'12 Proceedings of the 12th European conference on Computer Vision - Volume Part I
Distance metric learning revisited
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
FinIS: improved in silico finishing using an exact quadratic programming formulation
WABI'12 Proceedings of the 12th international conference on Algorithms in Bioinformatics
A novel approach for leveraging co-occurrence to improve the false positive error in signature files
Journal of Discrete Algorithms
Nonsingularity of FB system and constraint nondegeneracy in semidefinite programming
Numerical Algorithms
Worst-Case Value at Risk of Nonlinear Portfolios
Management Science
Revealing network communities with a nonlinear programming method
Information Sciences: an International Journal
Hyperdisk based large margin classifier
Pattern Recognition
Semidefinite Programming-Based Method for Implementing Linear Fitting to Interval-Valued Data
International Journal of Fuzzy System Applications
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
An efficient multiple-kernel learning for pattern classification
Expert Systems with Applications: An International Journal
Robust Markov Decision Processes
Mathematics of Operations Research
Algorithmic aspects of sums of Hermitian squares of noncommutative polynomials
Computational Optimization and Applications
SDP reformulation for robust optimization problems based on nonconvex QP duality
Computational Optimization and Applications
ACM Transactions on Computation Theory (TOCT) - Special issue on innovations in theoretical computer science 2012
Moment-based spectral analysis of large-scale networks using local structural information
IEEE/ACM Transactions on Networking (TON)
Journal of Global Optimization
Tightening a copositive relaxation for standard quadratic optimization problems
Computational Optimization and Applications
An Exact Duality Theory for Semidefinite Programming Based on Sums of Squares
Mathematics of Operations Research
Generating non-linear interpolants by semidefinite programming
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Journal of Computational and Applied Mathematics
H∞ control for networked systems with multiple packet dropouts
Information Sciences: an International Journal
Full characterization of quantum correlated equilibria
Quantum Information & Computation
Efficient kernel learning from side information using ADMM
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Synthesizing switching controllers for hybrid systems by generating invariants
Theories of Programming and Formal Methods
Welfare-maximizing correlated equilibria using Kantorovich polynomials with sparsity
Journal of Global Optimization
On the theta number of powers of cycle graphs
Combinatorica
A computer algebra user interface manifesto
ACM Communications in Computer Algebra
Robust power allocation for energy-efficient location-aware networks
IEEE/ACM Transactions on Networking (TON)
Learning mixtures of truncated basis functions from data
International Journal of Approximate Reasoning
| Hi-index | 0.21 |