English
Related papers

Related papers: Reed-Muller Realization of X (mod P)

200 papers

We present an asymptotic preserving method for the radiative transfer equations in the framework of PN method. An implicit and explicit method is proposed to solve the P N system based on the order analysis of the expansion coefficients of…

Numerical Analysis · Mathematics 2022-03-29 Weiming Li , Peng Song , Yanli Wang

Model reduction, which aims to learn a simpler model of the original mixed integer linear programming (MILP), can solve large-scale MILP problems much faster. Most existing model reduction methods are based on variable reduction, which…

Machine Learning · Computer Science 2026-02-04 Jiajun Li , Yixuan Li , Ran Hou , Yu Ding , Shisi Guan , Jiahui Duan , Xiongwei Han , Tao Zhong , Vincent Chau , Weiwei Wu , Wanyuan Wang

We propose new algorithms for computing triangular decompositions of polynomial systems incrementally. With respect to previous works, our improvements are based on a {\em weakened} notion of a polynomial GCD modulo a regular chain, which…

Symbolic Computation · Computer Science 2011-04-06 Changbo Chen , Marc Moreno Maza

In this paper, a novel adaptive tuning method of PID neural network (PIDNN) controller for nonlinear process is proposed. The method utilizes an improved gradient descent method to adjust PIDNN parameters where the margin stability will be…

Systems and Control · Computer Science 2015-12-24 Ali Zribi , Mohamed Chtourou , Mohamed Djemel

The Paterson--Stockmeyer method is an evaluation scheme for matrix polynomials with scalar coefficients that arise in many state-of-the-art algorithms based on polynomial or rational approximation, for example, those for computing…

Numerical Analysis · Mathematics 2024-12-06 Xiaobo Liu

For a fixed odd prime p and a representation \rho of the absolute Galois group of Q into the projective group PGL(2,p), we provide the twisted modular curves whose rational points supply the quadratic Q-curves of degree N prime to p that…

Number Theory · Mathematics 2007-05-23 Julio Fernández

Solving a system of $m$ multivariate quadratic equations in $n$ variables over finite fields (the MQ problem) is one of the important problems in the theory of computer science. The XL algorithm (XL for short) is a major approach for…

Symbolic Computation · Computer Science 2024-05-08 Hiroki Furue , Momonari Kudo

A formula for calculating Extensions of (mainly integral) Polynomial Functors is established, based upon projective resolutions. Sample computations are performed, which, in particular, exhibit a surprising non-trivial extension of Divided…

Representation Theory · Mathematics 2013-05-15 Qimh Richey Xantcha

This paper proposes new proximal Newton-type methods with a diagonal metric for solving composite optimization problems whose objective function is the sum of a twice continuously differentiable function and a proper closed directionally…

Optimization and Control · Mathematics 2023-10-11 Shotaro Yagishita , Shummin Nakayama

In [7], a new iterative method for solving linear system of equations was presented which can be considered as a modification of the Gauss-Seidel method. Then in [4] a different approach, say 2D-DSPM, and more effective one was introduced.…

Numerical Analysis · Mathematics 2009-06-10 Davod Khojasteh Salkuyeh

In this paper, we present an approach to select a subset of requirement elicitation technique for an optimum result in the requirement elicitation process. Our approach consists of three steps. First, we identify various attribute in three…

Software Engineering · Computer Science 2017-09-26 Saurabh Tiwari , Santosh Singh Rathore

In a recent paper S. Friedland and the author presented a formal expression for Lambda_d(p) of the monomer-dimer problem in d dimensions involving a power series in p. We there presented the result of computations for the terms in the power…

Mathematical Physics · Physics 2011-11-01 Paul Federbush

The construction of Mapper has emerged in the last decade as a powerful and effective topological data analysis tool that approximates and generalizes other topological summaries, such as the Reeb graph, the contour tree, split, and joint…

Computer Vision and Pattern Recognition · Computer Science 2020-09-15 Mustafa Hajij , Basem Assiri , Paul Rosen

We use bounds of mixed character sum to study the distribution of solutions to certain polynomial systems of congruences modulo a prime $p$. In particular, we obtain nontrivial results about the number of solution in boxes with the side…

Number Theory · Mathematics 2019-02-20 Igor E. Shparlinski

We develop a robust convex algorithm to select the regularization parameter in model selection. In practice this would be automated in order to save practitioners time from having to tune it manually. In particular, we implement and test…

Optimization and Control · Mathematics 2014-12-03 Dustin Tran

A modular method was suggested before to recover a band limited signal from the sample and hold and linearly interpolated (or, in general, an nth-order-hold) version of the regular samples. In this paper a novel approach for compensating…

Computer Vision and Pattern Recognition · Computer Science 2012-05-15 Mohammad Tofighi , Ali Ayremlou , Farokh Marvasti

We introduce a new iteration method called Picard-S iteration. We show that the Picard-S iteration method can be used to approximate fixed point of contraction mappings. Also, we show that our new iteration method is equivalent and…

Functional Analysis · Mathematics 2014-04-29 Faik Gürsoy , Vatan Karakaya

We are interested in the fast computation of the exact value of integrals of polynomial functions over convex polyhedra. We present speed ups and extensions of the algorithms presented in previous work. We present the new software…

Metric Geometry · Mathematics 2013-12-30 Jesus De Loera , Brandon Dutra , Matthias Koeppe , Stanislav Moreinis , Gregory Pinto , Jianqiu Wu

We show that the set of realizations of a given dimension of a max-plus linear sequence is a finite union of polyhedral sets, which can be computed from any realization of the sequence. This yields an (expensive) algorithm to solve the…

Data Structures and Algorithms · Computer Science 2011-03-14 Vincent Blondel , Stéphane Gaubert , Natacha Portier

This paper presents a set of quantum Reed-Muller codes which are typically 100 times more effective than existing quantum Reed-Muller codes.

Quantum Physics · Physics 2007-05-23 Lin Zhang , Ian Fuss