English
Related papers

Related papers: Simulating 3-symbol Turing machines with SIMD||DNA

200 papers

We experimentally demonstrate that it is impossible to simulate quantum bipartite correlations with a deterministic universal Turing machine. Our approach is based on the Normalized Information Distance (NID) that allows the comparison of…

Simulation of quantum systems is notoriously challenging for classical computers, while quantum hardware is naturally well-suited for this task. However, the imperfections of contemporary quantum systems poses a considerable challenge in…

Quantum Physics · Physics 2025-01-10 Yotam Shapira , Jovan Markov , Nitzan Akerman , Ady Stern , Roee Ozeri

We here present SIMLR (Single-cell Interpretation via Multi-kernel LeaRning), an open-source tool that implements a novel framework to learn a sample-to-sample similarity measure from expression data observed for heterogenous samples. SIMLR…

Genomics · Quantitative Biology 2018-01-22 Bo Wang , Daniele Ramazzotti , Luca De Sano , Junjie Zhu , Emma Pierson , Serafim Batzoglou

We explore the potential for hybrid development of quantum hardware where currently available quantum computers simulate open Cavity Quantum Electrodynamical (CQED) systems for applications in optical quantum communication, simulation and…

We propose Token Turing Machines (TTM), a sequential, autoregressive Transformer model with memory for real-world sequential visual understanding. Our model is inspired by the seminal Neural Turing Machine, and has an external memory…

This paper proposes a novel set of trigonometric implementations which are 5x faster than the inbuilt C++ functions. The proposed implementation is also highly memory efficient requiring no precomputations of any kind. Benchmark comparisons…

Mathematical Software · Computer Science 2025-02-18 Nikhil Dev Goyal , Parth Arora

Converting binary integers to variable-length decimal strings is a fundamental operation in computing. Conventional fast approaches rely on recursive division and small lookup tables. We propose a SIMD-based algorithm that leverages integer…

Data Structures and Algorithms · Computer Science 2026-05-07 Jaël Champagne Gareau , Daniel Lemire

Sorted lists of integers are commonly used in inverted indexes and database systems. They are often compressed in memory. We can use the SIMD instructions available in common processors to boost the speed of integer compression schemes. Our…

Information Retrieval · Computer Science 2020-04-22 Daniel Lemire , Leonid Boytsov , Nathan Kurz

We show how a quantum computer may efficiently simulate a disordered Hamiltonian, by incorporating a pseudo-random number generator directly into the time evolution circuit. This technique is applied to quantum simulation of few-body…

Disordered Systems and Neural Networks · Physics 2020-03-25 Andrei Alexandru , Paulo F. Bedaque , Scott Lawrence

This report is in partial fulfillment of deliverable D1.3 Code Validation (DIII-D). These simulations focus on thermal quench phase of the SPI mitigation and are not typically carried beyond it to the current spike and subsequent current…

Plasma Physics · Physics 2023-10-23 Charlson. C. Kim , T. Bechtel , J. L. Herfindal , B. C. Lyons , Y. Q. Liu , P. B. Parks , L. Lao

Recently a new formulation of quantum mechanics has been suggested which describes systems by means of ensembles of classical particles provided with a sign. This novel approach mainly consists of two steps: the computation of the Wigner…

Computational Engineering, Finance, and Science · Computer Science 2018-02-14 Jean Michel Sellier

Computational intensity and sequential nature of estimation techniques for Bayesian methods in statistics and machine learning, combined with their increasing applications for big data analytics, necessitate both the identification of…

Computation · Statistics 2015-03-02 Alireza S. Mahani , Mansour T. A. Sharabiani

Single-cell data reveal the presence of biological stochasticity between cells of identical genome and environment, in particular highlighting the transcriptional bursting phenomenon. To account for this property, gene expression may be…

Molecular Networks · Quantitative Biology 2026-05-19 Mathilde Gaillard , Ulysse Herbach

Data copy is a widely-used memory operation in many programs and operating system services. In conventional computers, data copy is often carried out by two separate read and write transactions that pass data back and forth between the DRAM…

We report a novel simulation strategy that enables us to identify key parameters controlling the experimentally measurable characteristics of structural protein tags on dsDNA construct translocating through a double nanopore setup. First,…

Soft Condensed Matter · Physics 2022-02-14 Swarnadeep Seth , Arthur Rand , Walter Reisner , William B. Dunbar , Robert Sladek , Aniket Bhattacharya

Symbolic execution is a powerful technique for software testing, but suffers from limitations when encountering external functions, such as native methods or third-party libraries. Existing solutions often require additional context,…

Software Engineering · Computer Science 2025-09-11 Felix Mächtle , Nils Loose , Jan-Niclas Serr , Jonas Sander , Thomas Eisenbarth

Self-assembly is a process found everywhere in the Nature. In particular, it is known that DNA self-assembly is Turing universal. Thus one can do arbitrary computations or build nano-structures using DNA self-assembly. In order to…

Emerging Technologies · Computer Science 2016-07-14 Dixita Limbachiya , Dhaval Trivedi , Manish K Gupta

Processing-using-DRAM has been proposed for a limited set of basic operations (i.e., logic operations, addition). However, in order to enable the full adoption of processing-using-DRAM, it is necessary to provide support for more complex…

DNA strand displacement systems have proven themselves to be fertile substrates for the design of programmable molecular machinery and circuitry. Domain-level reaction enumerators provide the foundations for molecular programming languages…

Computational Engineering, Finance, and Science · Computer Science 2020-06-05 Casey Grun , Karthik Sarma , Brian Wolfe , Seung Woo Shin , Erik Winfree

We present a conceptually simple self-supervised method for saliency detection. Our method generates and uses pseudo-ground truth labels for training. The generated pseudo-GT labels don't require any kind of human annotations (e.g.,…

Computer Vision and Pattern Recognition · Computer Science 2022-03-10 Rajeev Yasarla , Renliang Weng , Wongun Choi , Vishal Patel , Amir Sadeghian