English
Related papers

Related papers: YAM2: Yet another library for the $M_2$ variables …

200 papers

Implicit variables of a mathematical program are variables which do not need to be optimized but are used to model feasibility conditions. They frequently appear in several different problem classes of optimization theory comprising bilevel…

Optimization and Control · Mathematics 2023-06-22 Matúš Benko , Patrick Mehlitz

Multi-objective verification problems of parametric Markov decision processes under optimality criteria can be naturally expressed as nonlinear programs. We observe that many of these computationally demanding problems belong to the…

Logic in Computer Science · Computer Science 2017-02-02 Murat Cubuktepe , Nils Jansen , Sebastian Junges , Joost-Pieter Katoen , Ivan Papusha , Hasan A. Poonawala , Ufuk Topcu

In this paper we propose a variant of the linear least squares model allowing practitioners to partition the input features into groups of variables that they require to contribute similarly to the final result. The output allows…

Machine Learning · Computer Science 2024-07-17 Roberto Esposito , Mattia Cerrato , Marco Locatelli

Variational quantum algorithms are poised to have significant impact on high-dimensional optimization, with applications in classical combinatorics, quantum chemistry, and condensed matter. Nevertheless, the optimization landscape of these…

Quantum Physics · Physics 2022-02-02 Taylor L. Patti , Omar Shehab , Khadijeh Najafi , Susanne F. Yelin

This paper presents a new approach to solve linear and nonlinear model predictive control (MPC) problems that requires small memory footprint and throughput and is particularly suitable when the model and/or controller parameters change at…

Optimization and Control · Mathematics 2021-03-25 Nilay Saraf , Alberto Bemporad

We consider quadratic optimization in variables $(x,y)$ where $0\le x\le y$, and $y\in\{0,1\}^n$. Such binary $y$ are commonly refered to as "indicator" or "switching" variables and occur commonly in applications. One approach to such…

Optimization and Control · Mathematics 2020-02-13 Samuel Burer , Kurt Anstreicher

mVMC (many-variable Variational Monte Carlo) is an open-source software based on the variational Monte Carlo method applicable for a wide range of Hamiltonians for interacting fermion systems. In mVMC, we introduce more than ten thousands…

Variable selection is fundamental to high-dimensional statistical modeling. Many variable selection techniques may be implemented by maximum penalized likelihood using various penalty functions. Optimizing the penalized likelihood function…

Statistics Theory · Mathematics 2007-06-13 David R. Hunter , Runze Li

Relations between categorical variables can be analyzed conveniently by multiple correspondence analysis (MCA). %It is well suited to discover relations that may exist between categories of different variables. The graphical representation…

Methodology · Statistics 2016-03-11 Patrick J. F. Groenen , Julie Josse

We present a multidimensional data analysis framework for the analysis of ordinal response variables. Underlying the ordinal variables, we assume a continuous latent variable, leading to cumulative logit models. The framework includes…

Methodology · Statistics 2025-10-01 Mark de Rooij , Ligaya Breemer , Dion Woestenburg , Frank Busing

In this paper, we introduce a deterministic formulation for the geometric programming problem, wherein the coefficients are represented as independent linear-normal uncertain random variables. To address the challenges posed by this…

Optimization and Control · Mathematics 2026-05-08 Tapas Mondal , Akshay Kumar Ojha , Sabyasachi Pani

SMC$^2$ is an efficient algorithm for sequential estimation and state inference of state-space models. It generates $N_{\theta}$ parameter particles $\theta^{m}$, and, for each $\theta^{m}$, it runs a particle filter of size $N_{x}$ (i.e.…

Computation · Statistics 2015-06-02 Nicolas Chopin , James Ridgway , Mathieu Gerber , Omiros Papaspiliopoulos

In this paper, we present an improved methodology to compute $\omega$-invariant of numerical semigroup. The approach is based on adapting a recent resolution method for optimizing a linear function over the set of efficient solutions of a…

Optimization and Control · Mathematics 2018-09-25 Wissem Achour , Djamal Chaabane , Víctor Blanco

Numerical relativity simulations are crucial for studying black holes and have been instrumental in the detection of gravitational waves by the LVK. However, these simulations produce vast amounts of data that must be processed in order to…

A fundamental step in the development of machine learning models commonly involves the tuning of hyperparameters, often leading to multiple model training runs to work out the best-performing configuration. As machine learning tasks and…

Machine Learning · Computer Science 2024-12-12 Daniel Geissler , Bo Zhou , Sungho Suh , Paul Lukowicz

An algorithm for non-stationary spatial modelling using multiple secondary variables is developed. It combines Geostatistics with Quantile Random Forests to give a new interpolation and stochastic simulation algorithm. This paper introduces…

Methodology · Statistics 2022-01-13 Colin Daly

Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic…

Algebraic Geometry · Mathematics 2011-11-23 Anton Leykin

Preparing problems for execution on quantum computers can require many compilation steps. Automated compilation software is useful not only for easier and faster problem execution, but also for facilitating the comparison between different…

Quantum Physics · Physics 2022-05-23 Nicolas PD Sawaya

Particle MCMC involves using a particle filter within an MCMC algorithm. For inference of a model which involves an unobserved stochastic process, the standard implementation uses the particle filter to propose new values for the stochastic…

Computation · Statistics 2016-09-26 Paul Fearnhead , Loukia Meligkotsidou

Variance components estimation and mixed model analysis are central themes in statistics with applications in numerous scientific disciplines. Despite the best efforts of generations of statisticians and numerical analysts, maximum…

Computation · Statistics 2015-09-25 Hua Zhou , Liuyi Hu , Jin Zhou , Kenneth Lange