English
Related papers

Related papers: An Efficient Simulation Algorithm on Kripke Struct…

200 papers

This paper considers the problem of computing the schedule of modes in a switched dynamical system, that minimizes a cost functional defined on the trajectory of the system's continuous state variable. A recent approach to such optimal…

Systems and Control · Computer Science 2011-07-18 Yorai Wardi , Magnus Egerstedt

We propose an algorithm for optimizations in which the gradients contain stochastic noise. This arises, for example, in structural optimizations when computations of forces and stresses rely on methods involving Monte Carlo sampling, such…

Materials Science · Physics 2022-11-30 Siyuan Chen , Shiwei Zhang

Quasi-2D Coulomb systems are of fundamental importance and have attracted much attention in many areas nowadays. Their reduced symmetry gives rise to interesting collective behaviors, but also brings great challenges for particle-based…

Numerical Analysis · Mathematics 2025-02-05 Zecheng Gan , Xuanzhao Gao , Jiuyang Liang , Zhenli Xu

The Bin Packing Problem is one of the most important optimization problems. In recent years, due to its NP-hard nature, several approximation algorithms have been presented. It is proved that the best algorithm for the Bin Packing Problem…

Data Structures and Algorithms · Computer Science 2015-08-07 Abdolahad Noori Zehmakan

Motivated by the development of computer theory, the sorting algorithm is emerging in an endless stream. Inspired by decrease and conquer method, we propose a brand new sorting algorithmUltimately Heapsort. The algorithm consists of two…

Data Structures and Algorithms · Computer Science 2019-02-04 Feiyang Chen , Nan Chen , Hanyang Mao , Hanlin Hu

Processing-in-Memory (PIM) has emerged as a promising computing paradigm to address the memory wall and the fundamental bottleneck of the von Neumann architecture by reducing costly data movement between memory and processing units. As with…

Hardware Architecture · Computer Science 2025-12-02 Mahdi Aghaei , Saba Ebrahimi , Mohammad Saleh Arafati , Elham Cheshmikhani , Dara Rahmati , Saeid Gorgin , Jungrae Kim

Stochastic computing (SC) offers hardware simplicity but suffers from low throughput, while high-throughput Digital Computing-in-Memory (DCIM) is bottlenecked by costly adder logic for matrix-vector multiplication (MVM). To address this…

Hardware Architecture · Computer Science 2026-01-13 Kunming Shao , Liang Zhao , Jiangnan Yu , Zhipeng Liao , Xiaomeng Wang , Yi Zou , Tim Kwang-Ting Cheng , Chi-Ying Tsui

We study how parallelism can speed up quantum simulation. A parallel quantum algorithm is proposed for simulating the dynamics of a large class of Hamiltonians with good sparse structures, called uniform-structured Hamiltonians, including…

Quantum Physics · Physics 2024-01-17 Zhicheng Zhang , Qisheng Wang , Mingsheng Ying

This paper discusses recent research that aims to enable computation close to data, an approach we broadly call processing-in-memory (PIM). PIM places computation mechanisms in or near where the data is stored (i.e., inside memory chips or…

Hardware Architecture · Computer Science 2025-02-07 Onur Mutlu , Saugata Ghose , Juan Gómez-Luna , Rachata Ausavarungnirun , Mohammad Sadrosadati , Geraldo F. Oliveira

Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilistic automata. However, decision algorithms for strong and weak…

Logic in Computer Science · Computer Science 2015-07-01 Lijun Zhang , Holger Hermanns , Friedrich Eisenbrand , David N. Jansen

Digital quantum simulation on quantum systems require algorithms that can be implemented using finite quantum resources. Recent studies have demonstrated digital quantum simulation of open quantum systems on Noisy Intermediate-Scale Quantum…

Quantum Physics · Physics 2020-12-15 Pragati Gupta , C. M. Chandrashekar

In the k-mappability problem, we are given a string x of length n and integers m and k, and we are asked to count, for each length-m factor y of x, the number of other factors of length m of x that are at Hamming distance at most k from y.…

Data Structures and Algorithms · Computer Science 2017-05-12 Mai Alzamel , Panagiotis Charalampopoulos , Costas S. Iliopoulos , Solon P. Pissis , Jakub Radoszewski , Wing-Kin Sung

There is extensive evidence that biological neural networks encode information in the precise timing of the spikes generated and transmitted by neurons, which offers several advantages over rate-based codes. Here we adopt a vector space…

Neurons and Cognition · Quantitative Biology 2019-07-16 Dorian Florescu , Daniel Coca

The structural design process for buildings is time-consuming and laborious. To automate this process, structural engineers combine optimization methods with simulation tools to find an optimal design with minimal building mass subject to…

Machine Learning · Computer Science 2020-08-14 Kai-Hung Chang , Chin-Yi Cheng

We consider the task of simulating time evolution under a Hamiltonian $H$ within its low-energy subspace. Assuming access to a block-encoding of $H'=(H-E)/\lambda$ for some $E \in \mathbb R$, the goal is to implement an…

Quantum Physics · Physics 2024-08-28 Alexander Zlokapa , Rolando D. Somma

The coherent Ising machine (CIM) enables efficient sampling of low-lying energy states of the Ising Hamiltonian with all-to-all connectivity by encoding the spins in the amplitudes of pulsed modes in an optical parametric oscillator (OPO).…

Quantum Physics · Physics 2021-03-22 Egor S. Tiunov , Alexander E. Ulanov , A. I. Lvovsky

Principal component analysis is an important dimension reduction technique in machine learning. In [S. Lloyd, M. Mohseni and P. Rebentrost, Nature Physics 10, 631-633, (2014)], a quantum algorithm to implement principal component analysis…

Quantum Physics · Physics 2019-04-09 Changpeng Shao

We introduce an improved structure of distance sensitivity oracle (DSO). The task is to pre-process a non-negatively weighted graph so that a data structure can quickly answer replacement path length for every triple of source, terminal and…

Data Structures and Algorithms · Computer Science 2016-05-17 Ran Duan , Tianyi Zhang

Real-space grids are a powerful alternative for the simulation of electronic systems. One of the main advantages of the approach is the flexibility and simplicity of working directly in real space where the different fields are discretized…

The robustness of dynamical systems against external perturbations is crucial in engineering; however, it is often overlooked for the lack of methods for rapidly computing it. This paper proposes a novel algorithm for estimating the…

Dynamical Systems · Mathematics 2023-06-27 Bence Szaksz , Gabor Stepan , Giuseppe Habib