English
Related papers

Related papers: Machine Proofs for Adams Differentials and Extensi…

200 papers

We study the joint distribution of the input sum and the output sum of a deterministic transducer. Here, the input of this finite-state machine is a uniformly distributed random sequence. We give a simple combinatorial characterization of…

Combinatorics · Mathematics 2015-04-14 Clemens Heuberger , Sara Kropf , Stephan Wagner

The control of large buildings encounters challenges in computational efficiency due to their size and nonlinear components. To address these issues, this paper proposes a Piecewise Affine (PWA)-based distributed scheme for Model Predictive…

Optimization and Control · Mathematics 2026-02-06 Hongyi Li , Jun Xu , Jinfeng Liu

We use machine learning to classify examples of braids (or flat braids) as trivial or non-trivial. Our ML takes form of supervised learning using neural networks (multilayer perceptrons). When they achieve good results in classification, we…

Geometric Topology · Mathematics 2023-07-25 Alexei Lisitsa , Mateo Salles , Alexei Vernitski

We describe a variant construction of the unstable Adams spectral the sequence for a space $Y$, associated to any free simplicial resolution of $H^*(Y;R)$ for $R=\mathbb{F}_p$ or $\mathbb{Q}$. We use this construction to describe the…

Algebraic Topology · Mathematics 2017-09-05 Samik Basu , David Blanc , Debasis Sen

We propose a new 'Bi-Reduced Space' approach to solving 3D Variational Data Assimilation using Convolutional Autoencoders. We prove that our approach has the same solution as previous methods but has significantly lower computational…

Machine Learning · Computer Science 2021-01-07 Julian Mack , Rossella Arcucci , Miguel Molina-Solana , Yi-Ke Guo

We show that the empirical spectral distribution (ESD) of the sample autocovariance matrix (ACVM) converges as the dimension increases, when the time series is a linear process with reasonable restriction on the coefficients. The limit does…

Probability · Mathematics 2014-07-03 Anirban Basak , Arup Bose , Sanchayan Sen

Several recently proposed stochastic optimization methods that have been successfully used in training deep networks such as RMSProp, Adam, Adadelta, Nadam are based on using gradient updates scaled by square roots of exponential moving…

Machine Learning · Computer Science 2019-04-22 Sashank J. Reddi , Satyen Kale , Sanjiv Kumar

In this paper, the linear differential expression of order $n \ge 2$ with distribution coefficients of various singularity orders is considered. We obtain the associated matrix for the regularization of this expression. Furthermore, we…

Spectral Theory · Mathematics 2023-03-29 Natalia P. Bondarenko

We present a systematic weight pruning framework of deep neural networks (DNNs) using the alternating direction method of multipliers (ADMM). We first formulate the weight pruning problem of DNNs as a constrained nonconvex optimization…

Machine Learning · Computer Science 2018-04-24 Tianyun Zhang , Shaokai Ye , Yipeng Zhang , Yanzhi Wang , Makan Fardad

Deep convolutional networks provide state of the art classifications and regressions results over many high-dimensional problems. We review their architecture, which scatters data with a cascade of linear filter weights and non-linearities.…

Machine Learning · Statistics 2016-04-27 Stéphane Mallat

Context-dependence in human cognition process is a well-established fact. Following this, we introduced the image segmentation method that can use context to classify a pixel on the basis of its membership to a particular object-class of…

Computer Vision and Pattern Recognition · Computer Science 2012-02-10 Upendra Kumar , Tapobrata Lahiri , Manoj Kumar Pal

We consider the problem of digitalizing Euclidean line segments from $\mathbb{R}^d$ to $\mathbb{Z}^d$. Christ {\em et al.} (DCG, 2012) showed how to construct a set of {\em consistent digital segment} (CDS) for $d=2$: a collection of…

Computational Geometry · Computer Science 2016-12-09 Man-Kwun Chiu , Matias Korman

We study a family of tree-type diagrams that arise in studies of the cumulant expansion in discrete Erd\H os-R\'enyi random matrix models. Using a version of the Pr\" ufer code, we obtain an explicit expression for the number of tree-type…

Combinatorics · Mathematics 2024-12-16 O. Khorunzhiy

In this paper, we discuss a family of robust, high-dimensional regression models for quantile and composite quantile regression, both with and without an adaptive lasso penalty for variable selection. We reformulate these quantile…

Computation · Statistics 2020-06-29 Matthew Pietrosanu , Jueyu Gao , Linglong Kong , Bei Jiang , Di Niu

In this paper, we investigate the convergence properties of a wide class of Adam-family methods for minimizing quadratically regularized nonsmooth nonconvex optimization problems, especially in the context of training nonsmooth neural…

Optimization and Control · Mathematics 2023-10-16 Kuangyu Ding , Nachuan Xiao , Kim-Chuan Toh

We present new results on the classical algorithm of variable elimination, which underlies many algorithms including for probabilistic inference. The results relate to exploiting functional dependencies, allowing one to perform inference…

Artificial Intelligence · Computer Science 2020-04-21 Adnan Darwiche

Correlators of Wilson-line operators in non-abelian gauge theories are known to exponentiate, and their logarithms can be organised in terms of collections of Feynman diagrams called webs. In [1] we introduced the concept of Cweb, or…

High Energy Physics - Phenomenology · Physics 2021-06-22 Neelima Agarwal , Lorenzo Magnea , Sourav Pal , Anurag Tripathi

Quantifying similarity between data objects is an important part of modern data science. Deciding what similarity measure to use is very application dependent. In this paper, we combine insights from systems theory and machine learning, and…

Systems and Control · Computer Science 2018-03-09 Oliver Lauwers , Bart De Moor

This paper introduces a second-order convex splitting scheme for gradient flows arising in phase-field models, based on the backward differentiation formula (BDF2) for the implicit part and the Adams-Bashforth method for the nonlinear and…

Optimization and Control · Mathematics 2026-04-30 Xinhua Shen , Zaijiu Shang , Hongpeng Sun

It is demonstrated that non-constant kernel solution, that can fit the spatial variations of the kernel can be obtained with minimum computing time. The CPU cost required with this new extension of the image subtraction method is almost the…

Astrophysics · Physics 2007-05-23 C. Alard
‹ Prev 1 8 9 10 Next ›