English
Related papers

Related papers: Choosing the Variable Ordering for Cylindrical Alg…

200 papers

Vertical decomposition is a widely used general technique for decomposing the cells of arrangements of semi-algebraic sets in ${{\mathbb R}}^d$ into constant-complexity subcells. In this paper, we settle in the affirmative a few…

Computational Geometry · Computer Science 2026-05-12 Pankaj K. Agarwal , Esther Ezra , Micha Sharir

In this chapter we show that chordal structure can be used to devise efficient optimization methods for many common model predictive control problems. The chordal structure is used both for computing search directions efficiently as well as…

Optimization and Control · Mathematics 2017-11-29 Anders Hansson , Sina Khoshfetrat Pakazad

Quadratization problem is, given a system of ODEs with polynomial right-hand side, transform the system to a system with quadratic right-hand side by introducing new variables. Such transformations have been used, for example, as a…

Symbolic Computation · Computer Science 2021-05-14 Andrey Bychkov , Gleb Pogudin

Over the last decade, it has been demonstrated that many systems in science and engineering can be modeled more accurately by fractional-order than integer-order derivatives, and many methods are developed to solve the problem of fractional…

Computer Vision and Pattern Recognition · Computer Science 2016-08-11 Qi Yang , Dali Chen , Tiebiao Zhao , YangQuan Chen

Dynamic programming is widely used for exact computations based on tree decompositions of graphs. However, the space complexity is usually exponential in the treewidth. We study the problem of designing efficient dynamic programming…

Data Structures and Algorithms · Computer Science 2014-06-16 Martin Furer , Huiwen Yu

Mathematical morphology is a theory concerned with non-linear operators for image processing and analysis. The underlying framework for mathematical morphology is a partially ordered set with well-defined supremum and infimum operations.…

Computer Vision and Pattern Recognition · Computer Science 2024-01-05 Samuel Francisco , Marcos Eduardo Valle

The Vapnik-Chervonenkis (VC) dimension of the set of half-spaces of R^d with frontiers parallel to the axes is computed exactly. It is shown that it is much smaller than the intuitive value of d. A good approximation based on the Stirling's…

Statistics Theory · Mathematics 2016-10-21 Servane Gey

The concept of open weak CAD is introduced. Every open CAD is an open weak CAD. On the contrary, an open weak CAD is not necessarily an open CAD. An algorithm for computing projection polynomials of open weak CADs is proposed. The key idea…

Symbolic Computation · Computer Science 2019-03-28 Jingjun Han , Liyun Dai , Hoon Hong , Bican Xia

Clinical oriented applications of computational electrocardiology require efficient and reliable identification of patient-specific parameters of mathematical models based on available measures. In particular, the estimation of cardiac…

Numerical Analysis · Mathematics 2016-11-01 Huanhuan Yang , Alessandro Veneziani

The task of finding the optimal compression of a polyline with straight-line segments and arcs is performed in many applications, such as polyline compression, noise filtering, and feature recognition. Optimal compression algorithms find…

Computational Geometry · Computer Science 2018-11-15 Alexander Gribov

It is an attractive hypothesis that the spatial structure of visual cortical architecture can be explained by the coordinated optimization of multiple visual cortical maps representing orientation preference (OP), ocular dominance (OD),…

Neurons and Cognition · Quantitative Biology 2015-06-03 Lars Reichl , Dominik Heide , Siegrid Löwel , Justin C. Crowley , Matthias Kaschube , Fred Wolf

This paper introduces a multifidelity formulation that reduces the computational cost of the proper orthogonal decomposition (POD) of a high-fidelity model by leveraging data from cheaper, lower-fidelity models. POD is a prevalent technique…

Numerical Analysis · Mathematics 2026-05-29 Nicole Aretz , Karen Willcox

A graph $G$ is {\em matching-decyclable} if it has a matching $M$ such that $G-M$ is acyclic. Deciding whether $G$ is matching-decyclable is an NP-complete problem even if $G$ is 2-connected, planar, and subcubic. In this work we present…

Discrete Mathematics · Computer Science 2023-06-22 Fábio Protti , Uéverton S. Souza

We develop a novel deep learning technique, termed Deep Orthogonal Decomposition (DOD), for dimensionality reduction and reduced order modeling of parameter dependent partial differential equations. The approach consists in the construction…

Numerical Analysis · Mathematics 2024-05-15 Nicola Rares Franco , Andrea Manzoni , Paolo Zunino , Jan S. Hesthaven

Causal Bayesian Networks provide an important tool for reasoning under uncertainty with potential application to many complex causal systems. Structure learning algorithms that can tell us something about the causal structure of these…

Machine Learning · Computer Science 2024-04-15 Neville K Kitson , Anthony C Constantinou

POD-DL-ROMs have been recently proposed as an extremely versatile strategy to build accurate and reliable reduced order models (ROMs) for nonlinear parametrized partial differential equations, combining (i) a preliminary dimensionality…

Numerical Analysis · Mathematics 2023-05-09 Simone Brivio , Stefania Fresca , Nicola Rares Franco , Andrea Manzoni

In Chordal/Interval Vertex Deletion we ask how many vertices one needs to remove from a graph to make it chordal (respectively: interval). We study these problems under the parameterization by treewidth $tw$ of the input graph $G$. On the…

Data Structures and Algorithms · Computer Science 2025-01-31 Michal Wlodarczyk

We show that the class of conditional distributions satisfying the coarsening at Random (CAR) property for discrete data has a simple and robust algorithmic description based on randomized uniform multicovers: combinatorial objects…

Statistics Theory · Mathematics 2023-05-30 Richard D. Gill , Peter D. Grunwald

In many image and signal processing applications, as interferometric synthetic aperture radar (SAR), electroencephalogram (EEG) data analysis or color image restoration in HSV or LCh spaces the data has its range on the one-dimensional…

Numerical Analysis · Mathematics 2018-12-10 Ronny Bergmann , Gabriele Steidl , Friederike Laus , Andreas Weinmann

Given an embedded smooth projective variety Y in CP^n, we show how the existence of a hypersurface with high multiplicity along Y, but of relatively low degree and log canonical near Y implies vanishing of higher cohomology for certain…

alg-geom · Mathematics 2008-02-03 Aaron Bertram
‹ Prev 1 4 5 6 7 8 10 Next ›