Search · four archives
Search · four archives
17 papers · ranked by Valyu relevance
Arvind U. Raghunathan, Carlos Cardonha, David J. Bergman, Carlos Nohra
'Carlos Nohra'] Linear programming (LP) relaxations are widely employed in exact solution methods for multilinear programs (MLP). One example is the family of Recursive McCormick Linearization (RML) strategies, where bilinear products are substituted for artificial variables, which deliver a relaxation of the original…
Emily Schutte, Matthias Walter
We consider linear relaxations for multilinear optimization problems. In a recent paper, Khajavirad proved that the extended flower relaxation is at least as strong as the relaxation of any recursive McCormick linearization (Operations Research Letters 51 (2023) 146–152). In this paper we extend the result to more…
Aida Khajavirad
Recursive McCormick relaxations are among the most popular convexification techniques for binary polynomial optimization. It is well-understood that both the quality and the size of these relaxations depend on the recursive sequence and finding an optimal sequence amounts to solving a difficult combinatorial…
Jaromił Najman, Alexander Mitsos
Tight convex and concave relaxations are of high importance in the field of deterministic global optimization. We present a heuristic to tighten relaxations obtained by the McCormick technique. We use the McCormick subgradient propagation (Mitsos et al., SIAM J. Optim., 2009) to construct simple affine under- and…
Oleg Stepanov, Alexey Isaev, Elena Dranitsyna, Yulia Litvinenko
A class of nonlinear filtering problems connected with data fusion from various navigation sensors and a navigation system is considered. A special feature of these problems is that the posterior probability density function (PDF) of the state vector being estimated changes its character from multi-extremal to…
David Haussler, Maciej Smuga-Otto, Benedict Paten, Adam M Novak + 3 more
Efforts to incorporate human genetic variation into the reference human genome have converged on the idea of a graph representation of genetic variation within a species, a genome sequence graph. A sequence graph represents a set of individual haploid reference genomes as paths in a single graph. When that set of…
Sergey V. Chermnykh
We study the matrix representation of Poincaré normalization using the Carleman linearization technique for non-autonomous differential systems with quasi-periodic coefficients. We provide a rigorous proof of the validity of the matrix representation of the normalization and obtain a recursive algorithm for computing…
Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michał Pilipczuk + 1 more
'Michał Pilipczuk' 'Géraud Sénizergues'] We study the expressive power of polynomial recursive sequences, a nonlinear extension of the well-known class of linear recursive sequences. These sequences arise naturally in the study of nonlinear extensions of weighted automata, where (non)expressiveness results translate to…
Eranda Çela, Bettina Klinz, Stefan Lendl, Gerhard J. Woeginger + 1 more
'Lasse Wulf'] An instance of the NP-hard Quadratic Shortest Path Problem (QSPP) is called linearizable iff it is equivalent to an instance of the classic Shortest Path Problem (SPP) on the same input digraph. The linearization problem for the QSPP (LinQSPP) decides whether a given QSPP instance is linearizable and…
Leonardo Robol, Raf Vandebril, Paul Van Dooren
We present a framework for the construction of linearizations for scalar and matrix polynomials based on dual bases which, in the case of orthogonal polynomials, can be described by the associated recurrence relations. The framework provides an extension of the classical linearization theory for polynomials expressed…
Froilán M. Dopico, Silvia Marcaida, María C. Quintana
We construct a new family of strong linearizations of rational matrices considering the polynomial part of them expressed in a basis that satisfies a three term recurrence relation. For this purpose, we combine the theory developed by Amparan et al., MIMS EPrint 2016.51, and the new linearizations of polynomial…
Iqbal M. Batiha, Reyad El-Khazali, Ahmed AlSaedi, Shaher Momani
This paper introduces a general solution of singular fractional-order linear-time invariant (FoLTI) continuous systems using the Adomian Decomposition Method (ADM) based on the Caputo's definition of the fractional-order derivative. The complexity of their entropy lies in defining the complete solution of such systems…
Ruben Staub, Stephan N. Steinmann
Updating a linear least squares solution can be critical for near real-time signalprocessing applications. The Greville algorithm proposes a simple formula for updating the pseudoinverse of a matrix A ∈ R n × m with rank r. In this paper, we explicitly derive a similar formula by maintaining a general rank…
Yiteng Zhang, Zixiong Wang, Xingyu Li, Bin Min
Inferring computational mechanisms from neural recordings is a central goal in systems neuro-science. Recent developments have identified low-rank recurrent neural networks (RNNs) as an effective tool for fitting observed neural activity and extracting neural dynamics. However, we show that accurate activity fitting…
Richard A. Neher
Shared ancestry among individuals results in correlated traits and these dependencies need to be accounted for in probabilistic inference. In strictly asexual populations, the covariances have a particularly simple block-like structure imposed by the phylogenetic tree. Ho and Ane showed how this block-like structure…
Sangyeon Lee, Hanjin Kim, Doheon Lee
Regression analysis is one of the most widely applied methods in many fields including bio-medical study. Dimensionality reduction is also widely used for data preprocessing and feature selection analysis, to extract high-impact features from the predictions. As the complexity of both data and prediction models…
Maria Filipa Pinto, Jorge Ripoll-Rozada, Helena Ramos, Emma E. Watson + 7 more
Enzymes are among the most important drug targets in the pharmaceutical industry. The bioassays used to screen enzyme modulators can be affected by unaccounted interferences such as time-dependent inactivation and inhibition effects. Using procaspase-3, caspase-3, and α-thrombin as model enzymes, we show that some of…