English
Related papers

Related papers: Efficient algorithms for computing bisimulations f…

200 papers

In order to prevent velocity, pressure, and temperature spikes at material discontinuities occurring when the interface-capturing schemes inconsistently simulate compressible multi-material flows(when the specific heats ratio is…

Computational Physics · Physics 2020-12-29 Zhiwei He , Yousheng Zhang , Li Li , Baolin Tian

This research addresses the multiprocessor scheduling problem of hard real-time systems, and it especially focuses on optimal and global schedulers when practical constraints are taken into account. First, we propose an improvement of the…

Operating Systems · Computer Science 2011-01-25 Shelby Funk , Vincent Nelis , Joel Goossens , Dragomir Milojevic , Geoffrey Nelissen

Time series clustering is a central machine learning task with applications in many fields. While the majority of the methods focus on real-valued time series, very few works consider series with discrete response. In this paper, the…

Machine Learning · Statistics 2023-04-25 Ángel López Oriona , Christian Weiss , José Antonio Vilar

A fuzzy clustering algorithm for multidimensional data is proposed in this article. The data is described by vectors whose components are linguistic variables defined in an ordinal scale. The obtained results confirm the efficiency of the…

Artificial Intelligence · Computer Science 2017-01-16 Zhengbing Hu , Yevgeniy V. Bodyanskiy , Oleksii K. Tyshchenko , Viktoriia O. Samitova

We study the computational complexity of approximately computing the partition function of a spin system. Techniques based on standard counting-to-sampling reductions yield $\tilde{O}(n^2)$-time algorithms, where $n$ is the size of the…

Data Structures and Algorithms · Computer Science 2026-04-03 Xiaoyu Chen , Zongchen Chen , Kuikui Liu , Xinyuan Zhang

Stable partitioned techniques for simulating unsteady fluid-structure interaction (FSI) are known to be computationally expensive when high added-mass is involved. Multiple coupling strategies have been developed to accelerate these…

Computational Engineering, Finance, and Science · Computer Science 2025-02-18 Azzeddine Tiba , Thibault Dairay , Florian de Vuyst , Iraj Mortazavi , Juan-Pedro Berro Ramirez

We present an efficient, nearly optimal quantum algorithm for solving linear matrix differential equations, with applications to the simulation of open quantum systems and beyond. For unitary or dissipative dynamics, the algorithm computes…

Quantum Physics · Physics 2026-05-18 Sophia Simon , Dominic W. Berry , Rolando D. Somma

In this work, we develop analysis and algorithms for a class of (stochastic) bilevel optimization problems whose lower-level (LL) problem is strongly convex and linearly constrained. Most existing approaches for solving such problems rely…

Optimization and Control · Mathematics 2025-04-08 Prashant Khanduri , Ioannis Tsaknakis , Yihua Zhang , Sijia Liu , Mingyi Hong

In this work, we present the \emph{twiddless fast Fourier transform (TFFT)}, a novel algorithm for computing the $N$-point discrete Fourier transform (DFT). The TFFT's divide strategy builds on recent results that decimate an $N$-point…

Computational Complexity · Computer Science 2025-12-23 Saulo Queiroz

Smoothed functional (SF) schemes for gradient estimation are known to be efficient in stochastic optimization algorithms, specially when the objective is to improve the performance of a stochastic system. However, the performance of these…

Information Theory · Computer Science 2014-07-04 Debarghya Ghoshdastidar , Ambedkar Dukkipati , Shalabh Bhatnagar

Our research deals with the optimization version of the set partition problem, where the objective is to minimize the absolute difference between the sums of the two disjoint partitions. Although this problem is known to be NP-hard and…

Data Structures and Algorithms · Computer Science 2023-03-16 Kaan Gokcesu , Hakan Gokcesu

Management of disk scheduling is a very important aspect of operating system. Performance of the disk scheduling completely depends on how efficient is the scheduling algorithm to allocate services to the request in a better manner. Many…

Operating Systems · Computer Science 2014-03-04 Sourav Kumar Bhoi , Sanjaya Kumar Panda , Imran Hossain Faruk

Complex systems (CS) are ubiquitous in nature. It is argued that fractional order (FO) calculus is more suitable to describe fractal systems. Motivated by the fractal space time theory some fractional generalizations of Scrodinger and…

Adaptation and Self-Organizing Systems · Physics 2009-01-26 Awatif M. Shahin , Elsayed Ahmed , Ahmed S. Elgazzar , Yassmin A. Omar

A stochastic iterative algorithm approximating second-order information using von Neumann series is discussed. We present convergence guarantees for strongly-convex and smooth functions. Our analysis is much simpler in contrast to a similar…

Optimization and Control · Mathematics 2017-04-14 Mojmir Mutny

The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability…

Logic in Computer Science · Computer Science 2019-03-14 Michael Blondin , Alain Finkel , Pierre McKenzie

Accurate estimation such as cost estimation, quality estimation and risk analysis is a major issue in management. We propose a patent pending soft computing framework to tackle this challenging problem. Our generic framework is independent…

Software Engineering · Computer Science 2015-08-04 Danny Ho , Luiz Fernando Capretz , Xishi Huang , Jing Ren

The coupled nonlinear space fractional Ginzburg-Landau (CNLSFGL) equations with the fractional Laplacian have been widely used to model the dynamical processes in a fractal media with fractional dispersion. Due to the existence of…

Numerical Analysis · Mathematics 2025-02-05 Hengfei Ding , Yuxin Zhang , Qian Yi

We have evaluated perturbation coefficients of Wilson loops up to $O(g^8)$ for the four-dimensional twisted Eguchi-Kawai model using the numerical stochastic perturbation theory (NSPT) in arXiv:1902.09847. In this talk we present a progress…

High Energy Physics - Lattice · Physics 2020-01-10 Antonio González-Arroyo , Issaku Kanamori , Ken-Ichi Ishikawa , Kanata Miyahana , Masanori Okawa , Ryoichiro Ueno

In Round Robin CPU scheduling algorithm the main concern is with the size of time quantum and the increased waiting and turnaround time. Decision for these is usually based on parameters which are assumed to be precise. However, in many…

Other Computer Science · Computer Science 2012-03-13 Supriya Raheja , Reena Dadhich , Smita Rajpal

Many claims of computational advantages have been made for quantum computing over classical, but they have not been demonstrated for practical problems. Here, we present algorithms for solving time-dependent PDEs, with particular reference…

Quantum Physics · Physics 2025-06-17 Sachin S. Bharadwaj , Katepalli R. Sreenivasan