English
Related papers

Related papers: A short note on Simulation and Abstraction

200 papers

The (conditional or unconditional) distribution of the continuous scan statistic in a one-dimensional Poisson process may be approximated by that of a discrete analogue via time discretization (to be referred to as the discrete…

Probability · Mathematics 2016-02-09 Yi-Ching Yao , Daniel Wei-Chung Miao , Xenos Chang-Shuo Lin

We consider generalizations of the Sylvester matrix equation, consisting of the sum of a Sylvester operator and a linear operator $\Pi$ with a particular structure. More precisely, the commutator of the matrix coefficients of the operator…

Numerical Analysis · Mathematics 2019-06-18 Elias Jarlebring , Giampaolo Mele , Davide Palitta , Emil Ringh

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these `lattice spacing' weights do not have to be independent of the direction of the arrow. We use this…

Mathematical Physics · Physics 2020-02-28 Shahn Majid

Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from design (in the case of engineered systems) to runtime…

Systems and Control · Computer Science 2016-07-12 Mirco Tribastone

Deep learning is increasingly used in decision-making tasks. However, understanding how neural networks produce final predictions remains a fundamental challenge. Existing work on interpreting neural network predictions for images often…

Human-Computer Interaction · Computer Science 2019-09-04 Fred Hohman , Haekyu Park , Caleb Robinson , Duen Horng Chau

In recent years, we have witnessed the growing interest from academia and industry in applying data science technologies to analyze large amounts of data. In this process, a myriad of artifacts (datasets, pipeline scripts, etc.) are…

Demonstrating a quantum computational speedup is a crucial milestone for near-term quantum technology. Recently, quantum simulation architectures have been proposed that have the potential to show such a quantum advantage, based on commonly…

I am presenting a first-ever scientific collection of short sayings on probability and statistics expressed by most various men of science, many classics included, from antiquity to Kepler to our time. Quite understandably, the reader will…

History and Overview · Mathematics 2021-07-07 Oscar Sheynin

This note sketches the extension of the basic characterisation theorems as the bisimulation-invariant fragment of first-order logic to modal logic with graded modalities and matching adaptation of bisimulation. We focus on showing…

Logic · Mathematics 2023-07-19 Martin Otto

This paper reports on a simple visual technique that boils extracting a subgraph down to two operations---pivots and filters---that is agnostic to both the data abstraction, and its visual complexity scales independent of the size of the…

Human-Computer Interaction · Computer Science 2019-03-05 Alex Bigelow , Megan Monroe

Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on…

Artificial Intelligence · Computer Science 2011-07-05 Adrian Silvescu , Vasant Honavar

These notes are an introduction to symplectic groupoids and the double structures associated with them. The treatment is intended to lie about midway between the original account of Coste, Dazord and Weinstein, which relied on effective use…

Symplectic Geometry · Mathematics 2015-03-17 Kirill Mackenzie

We provide a new approach for compiling quantum simulation circuits that appear in Trotter, qDRIFT and multi-product formulas to Clifford and non-Clifford operations that can reduce the number of non-Clifford operations by a factor of up to…

Quantum Physics · Physics 2023-05-09 Priyanka Mukhopadhyay , Nathan Wiebe , Hong Tao Zhang

Stochastic differential equations provide a powerful tool for modelling dynamic phenomena affected by random noise. In case of repeated observations of time series for several experimental units, it is often the case that some of the…

Methodology · Statistics 2024-09-06 Fernando Baltazar-Larios , Mogens Bladt , Michael Sørensen

The theory of stratified institutions is a general axiomatic approach to model theories where the satisfaction is parameterised by states of the models. In this paper we further develop this theory by introducing a new technique for…

Logic · Mathematics 2021-12-28 Răzvan Diaconescu

Algorithms for rare event complex systems simulations are proposed. Compressed Sensing (CS) has {\it revolutionized} our understanding of limits in signal recovery and has forced us to re-define Shannon-Nyquist sampling theorem for sparse…

Computational Physics · Physics 2018-04-27 Mehmet Süzen

There has been recently a lot of research on sparse variants of random projections, faster adaptations of the state-of-the-art dimensionality reduction technique originally due to Johsnon and Lindenstrauss. Although the construction is very…

Data Structures and Algorithms · Computer Science 2024-07-23 Maciej Skórski

In this paper, which is a revised version of the author's PhD thesis, we analyze two different applications of string theory. In the first part, we focus on four dimensional compactifications of Type II string theories preserving N=1…

High Energy Physics - Theory · Physics 2009-11-20 Livia Ferro

We review some definitions and basic notions relating to generalised spin structures and introduce the notion of reducibility. We discuss connections on these structures, define a covariant Lie derivative for associated bundles and develop…

Differential Geometry · Mathematics 2025-11-06 Andrew D. K. Beckett

Recently, it has been proposed by Kempf a generalization of the Shannon sampling theory to the physics of curved spacetimes. With the aim of exploring the possible links between Holography and Information Theory we argue about the…

High Energy Physics - Theory · Physics 2007-05-23 L. Alejandro Correa-Borbonet
‹ Prev 1 8 9 10 Next ›