English
Related papers

Related papers: Efficient algorithms for computing bisimulations f…

200 papers

This paper studies a fundamental problem in convex optimization, which is to solve semidefinite programming (SDP) with high accuracy. This paper follows from the existing robust SDP-based interior point method analysis due to [Huang, Jiang,…

Quantum Physics · Physics 2023-02-08 Baihe Huang , Shunhua Jiang , Zhao Song , Runzhou Tao , Ruizhe Zhang

This paper introduces a deterministic algorithm for solving an instance of the Subset Sum Problem based on a new method entitled the Bipartite Synthesis Method. The algorithm is described and shown to have worst-case limiting performance…

Data Structures and Algorithms · Computer Science 2015-02-09 Scott Lilienthal

Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uniform fuzzy relations have recently been introduced as a…

Formal Languages and Automata Theory · Computer Science 2011-05-09 Miroslav Ćirić , Jelena Ignjatović , Nada Damljanović , Milan Bašić

We derive new time-space tradeoff lower bounds and algorithms for exactly computing statistics of input data, including frequency moments, element distinctness, and order statistics, that are simple to calculate for sorted data. We develop…

Computational Complexity · Computer Science 2013-09-17 Paul Beame , Raphael Clifford , Widad Machmouchi

By a high-order numerical homogenization method, a heterogeneous multiscale scheme was developed in Jin & Li (2022) for evolving differential equations containing two time scales. In this paper, we further explore the technique to propose…

Numerical Analysis · Mathematics 2025-09-25 Bojin Chen , Zeyu Jin , Ruo Li

The "all-or-nothing" clause evaluation strategy is a core mechanism in the Tsetlin Machine (TM) family of algorithms. In this approach, each clause - a logical pattern composed of binary literals mapped to input data - is disqualified from…

Machine Learning · Computer Science 2025-08-13 Artem Hnilov

Stochastic approximation (SA) algorithms have been widely applied in minimization problems when the loss functions and/or the gradient information are only accessible through noisy evaluations. Stochastic gradient (SG) descent---a…

Optimization and Control · Mathematics 2019-08-26 Jingyi Zhu , Long Wang , James C. Spall

Discrete fuzzy numbers, and in particular those defined over a finite chain $L_n = \{0, \ldots, n\}$, have been effectively employed to represent linguistic information within the framework of fuzzy systems. Research on total (admissible)…

Logic in Computer Science · Computer Science 2025-11-24 Arnau Mir , Alejandro Mus , Juan Vicente Riera

N-fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer…

Optimization and Control · Mathematics 2014-05-08 Raymond Hemmecke , Shmuel Onn , Lyubov Romanchuk

By viewing the nonuniform discrete Fourier transform (NUDFT) as a perturbed version of a uniform discrete Fourier transform, we propose a fast, stable, and simple algorithm for computing the NUDFT that costs $\mathcal{O}(N\log…

Numerical Analysis · Mathematics 2017-01-18 Diego Ruiz-Antolin , Alex Townsend

Our study focuses on fractional order compartment models derived from underlying physical stochastic processes, providing a more physically grounded approach compared to models that use the dynamical system approach by simply replacing…

For a wide class of polynomially nonlinear systems of partial differential equations we suggest an algorithmic approach to the s(trong)-consistency analysis of their finite difference approximations on Cartesian grids. First we apply the…

Symbolic Computation · Computer Science 2019-05-01 Vladimir P. Gerdt , Daniel Robertz

Here several perfect simulation algorithms are brought under a single framework, and shown to derive from the same probabilistic result, called here the Fundamental Theorem of Perfect Simulation (FTPS). An exact simulation algorithm has…

Probability · Mathematics 2017-04-13 Mark Huber

Centroid-based methods including k-means and fuzzy c-means are known as effective and easy-to-implement approaches to clustering purposes in many applications. However, these algorithms cannot be directly applied to supervised tasks. This…

Machine Learning · Computer Science 2021-04-20 Pooya Ashtari , Fateme Nateghi Haredasht , Hamid Beigy

A wide range of implicit time integration methods, including multi-step, implicit Runge-Kutta, and Galerkin finite-time element schemes, is evaluated in the context of chaotic dynamical systems. The schemes are applied to solve the Lorenz…

Computational Physics · Physics 2024-01-02 Viktoriya Morozova , James G. Coder , Kevin Holst

The paper introduces a novel algorithm for computing the output admissible set of linear discrete-time systems subject to input saturation. The proposed method takes advantage of the piecewise-affine dynamics to propagate the output…

Optimization and Control · Mathematics 2023-11-29 Yaashia Gautam , Marco M. Nicotra

This article presents a depth-first search (DFS)-based algorithm for evaluating sensitivity gradients in the topology optimization of soft materials exhibiting complex deformation behavior. The algorithm is formulated using a time-dependent…

Computational Engineering, Finance, and Science · Computer Science 2025-04-11 Anurag Bhattacharyya

In this paper we introduce a Non-Stationary Fuzzy Time Series (NSFTS) method with time varying parameters adapted from the distribution of the data. In this approach, we employ Non-Stationary Fuzzy Sets, in which perturbation functions are…

The $N$-point discrete Fourier transform (DFT) is a cornerstone for several signal processing applications. Many of these applications operate in real-time, making the computational complexity of the DFT a critical performance indicator to…

Data Structures and Algorithms · Computer Science 2024-12-18 Saulo Queiroz , João P. Vilela , Edmundo Monteiro

Counting the independent sets of a graph is a classical #P-complete problem, even in the bipartite case. We give an exponential-time approximation scheme for this problem which is faster than the best known algorithm for the exact problem.…

Data Structures and Algorithms · Computer Science 2021-09-10 Leslie Ann Goldberg , John Lapinskas , David Richerby
‹ Prev 1 3 4 5 6 7 10 Next ›