English
Related papers

Related papers: Ostrowski numeration systems, addition and finite …

200 papers

We propose an algorithm for identifying vertices from three dimensional (3D) meshes that are most important for a geometric shape creation. Extracting such a set of vertices from a 3D mesh is important in applications such as digital…

Computational Geometry · Computer Science 2012-11-27 Bata Vasic

By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…

Rings and Algebras · Mathematics 2007-05-23 Edward S. Letzter

We introduce a randomized algorithm for computing the minimal-norm solution to an underdetermined system of linear equations. Given an arbitrary full-rank m x n matrix A with m<n, any m x 1 vector b, and any positive real number epsilon…

Numerical Analysis · Computer Science 2009-09-08 Mark Tygert

Given a subset of $X\subseteq \mathbb{R}^{n}$ we can associate with every point $x\in \mathbb{R}^{n}$ a vector space $V$ of maximal dimension with the property that for some ball centered at $x$, the subset $X$ coincides inside the ball…

Logic · Mathematics 2023-06-22 Alexis Bès , Christian Choffrut

We study algorithms for the sliding-window model, an important variant of the data-stream model, in which the goal is to compute some function of a fixed-length suffix of the stream. We extend the smooth-histogram framework of Braverman and…

Data Structures and Algorithms · Computer Science 2022-05-26 Robert Krauthgamer , David Reitblat

We study four-cycle counting in arbitrary order graph streams. We present a 3-pass algorithm for $(1+\varepsilon)$-approximating the number of four-cycles using $\widetilde{O}(m/\sqrt{T})$ space, where $m$ is the number of edges and $T$ the…

Data Structures and Algorithms · Computer Science 2026-04-02 Sebastian Lüderssen , Stefan Neumann , Pan Peng

One of the landmarks in approximation algorithms is the $O(\sqrt{\log n})$-approximation algorithm for the Uniform Sparsest Cut problem by Arora, Rao and Vazirani from 2004. The algorithm is based on a semidefinite program that finds an…

Data Structures and Algorithms · Computer Science 2016-07-05 Thomas Rothvoss

Probabilistic automata are an extension of nondeterministic finite automata in which transitions are annotated with probabilities. Despite its simplicity, this model is very expressive and many of the associated algorithmic questions are…

Formal Languages and Automata Theory · Computer Science 2022-05-20 Nathanaël Fijalkow , Cristian Riveros , James Worrell

The nature of statistics, statistical mechanics and consequently the thermodynamics of stochastic systems is largely determined by how the number of states $W(N)$ depends on the size $N$ of the system. Here we propose a scaling expansion of…

Statistical Mechanics · Physics 2018-09-13 Jan Korbel , Rudolf Hanel , Stefan Thurner

We develop a stochastic approximation version of the classical Kaczmarz algorithm that is incremental in nature and takes as input noisy real time data. Our analysis shows that with probability one it mimics the behavior of the original…

Optimization and Control · Mathematics 2014-04-29 Gugan Thoppe , Vivek S. Borkar , D. Manjunath

We study identification of stochastic Wiener dynamic systems using so-called indirect inference. The main idea is to first fit an auxiliary model to the observed data and then in a second step, often by simulation, fit a more structured…

Optimization and Control · Mathematics 2015-07-21 Bo Wahlberg , James Welsh , Lennart Ljung

The ODE method has been a workhorse for algorithm design and analysis since the introduction of the stochastic approximation. It is now understood that convergence theory amounts to establishing robustness of Euler approximations for ODEs,…

Optimization and Control · Mathematics 2020-10-02 Shuhang Chen , Adithya Devraj , Andrey Bernstein , Sean Meyn

Orthogonal systems in $\mathrm{L}_2(\mathbb{R})$, once implemented in spectral methods, enjoy a number of important advantages if their differentiation matrix is skew-symmetric and highly structured. Such systems, where the differentiation…

Numerical Analysis · Mathematics 2019-11-14 Arieh Iserles , Marcus Webb

In this paper, we consider an unconstrained (-1,1)-quadratic fractional optimization in the following form: $\min_{x\in\{-1,1\}^n}~(x^TAx+\alpha)/(x^TBx+\beta)$, where $A$ and $B$, given by their nonzero eigenvalues and associated…

Optimization and Control · Mathematics 2024-11-15 Meijia Yang , Yong Xia

In this paper we combine determinization and state reduction methods into two-in-one algorithms that simultaneously perform determinization and state reduction. These algorithms perform better than all previous determinization algorithms…

Formal Languages and Automata Theory · Computer Science 2014-12-09 Zorana Jančić , Ivana Micić , Jelena Ignjatović , Miroslav Ćirić

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…

Logic in Computer Science · Computer Science 2007-12-11 Klaus Aehlig , Arnold Beckmann

Numerical integration (NI) packages commonly used in scientific research are limited to returning the value of a definite integral at the upper integration limit, also commonly referred to as numerical quadrature. These quadrature…

Numerical Analysis · Computer Science 2018-06-06 Daniel Gebremedhin , Charles Weatherford

Identification of fractional order systems is considered from an algebraic point of view. It allows for a simultaneous estimation of model parameters and fractional (or integer) orders from input and output data. It is exact in that no…

Optimization and Control · Mathematics 2013-02-19 Nicole Gehring , Joachim Rudolph

Subadditive set functions play a pivotal role in computational economics (especially in combinatorial auctions), combinatorial optimization or artificial intelligence applications such as interpretable machine learning. However, specifying…

Machine Learning · Computer Science 2026-03-12 Martin Černý , David Sychrovský , Filip Úradník , Jakub Černý

In this paper, as a new notion, we define a transitive system to be a set system $(V, {\mathcal C}\subseteq 2^V)$ on a finite set $V$ of elements such that every three sets $X,Y,Z\in{\mathcal C}$ with $Z\subseteq X\cap Y$ implies $X\cup…

Discrete Mathematics · Computer Science 2020-04-07 Kazuya Haraguchi , Hiroshi Nagamochi