English
Related papers

Related papers: Moore: Interval Arithmetic in C++20

200 papers

We propose the QHyper library, which is aimed at researchers working on computational experiments with a variety of quantum combinatorial optimization solvers. The library offers a simple and extensible interface for formulating…

Mathematical Software · Computer Science 2024-09-25 Tomasz Lamża , Justyna Zawalska , Kacper Jurek , Mariusz Sterzel , Katarzyna Rycerz

Many AI researchers argue that probability theory is only capable of dealing with uncertainty in situations where a full specification of a joint probability distribution is available, and conclude that it is not suitable for application in…

Artificial Intelligence · Computer Science 2013-04-05 Linda C. van der Gaag

The paper presents a construction of a quantitative measure of variability for parameter estimates in the data fitting problem under interval uncertainty. It shows the degree of variability and ambiguity of the estimate, and the need for…

Numerical Analysis · Mathematics 2020-03-12 Sergey P. Shary

Most existing implementations of multiple precision arithmetic demand that the user sets the precision {\em a priori}. Some libraries are said adaptable in the sense that they dynamically change the precision of each intermediate operation…

Mathematical Software · Computer Science 2007-05-23 Sylvie Boldo , Marc Daumas , Claire Moreau-Finot , Laurent Thery

Matrix Distributed Processing (MDP) is a C++ library for fast development of efficient parallel algorithms. It constitues the core of FermiQCD. MDP enables programmers to focus on algorithms, while parallelization is dealt with…

High Energy Physics - Lattice · Physics 2007-05-23 Massimo Di Pierro

We provide the asymptotic distribution of the major indexes used in the statistical literature to quantify disparate treatment in machine learning. We aim at promoting the use of confidence intervals when testing the so-called group…

Machine Learning · Statistics 2018-07-18 Philippe Besse , Eustasio del Barrio , Paula Gordaliza , Jean-Michel Loubes

Advancement of chip technology will make future computer chips faster. Power consumption of such chips shall also decrease. But this speed gain shall not come free of cost, there is going to be a trade-off between speed and efficiency, i.e…

Programming Languages · Computer Science 2024-04-29 Dibyendu Das , Soumyajit Dey

In this article, we derive an explicit formula for computing confidence interval for the mean of a bounded random variable. Moreover, we have developed multistage point estimation methods for estimating the mean value with prescribed…

Statistics Theory · Mathematics 2010-11-29 Xinjia Chen

The realization of novel technological opportunities given by computational and autonomous materials design requires efficient and effective frameworks. For more than two decades, aflow++ (Automatic-Flow Framework for Materials Discovery)…

This paper introduces Archer, a community-based computing resource for computer architecture research and education. The Archer infrastructure integrates virtualization and batch scheduling middleware to deliver high-throughput computing…

The work is devoted to the development of numerical methods for computing "formal solutions" of interval systems of linear algebraic equations. These solutions are found in Kaucher interval arithmetic, which extends and completes the…

Numerical Analysis · Mathematics 2019-03-26 Sergey P. Shary

In this paper, we present how to use a free algebra based interval arithmetics framework in order to build better defined inclusion function for interval semi-group and for its associated vector space. One introduces the psi-algorithm,…

Numerical Analysis · Mathematics 2011-12-06 Abdelouahab Kenoufi , Nicolas Goze , Michel Goze

This document contains a guide on how to use the Qudit Cirq library, an extension of Google's Cirq library for qudits. While Cirq provides necessary building blocks for quantum computation on qudits, the gates, curcuits and simulation of…

Quantum Physics · Physics 2025-01-17 Svyatoslav Kushnarev , Hassan Jameel Asghar

SPACE-Timers are a lightweight hierarchical profiling framework for C++ designed for modern high-performance computing (HPC) applications. It uses a stack-based timing model to capture deeply nested execution patterns with minimal overhead,…

Instrumentation and Methods for Astrophysics · Physics 2026-04-13 Geray S. Karademir , Klaus Dolag

We present the calibrated-projection MATLAB package implementing the method to construct confidence intervals proposed by Kaido, Molinari and Stoye (2017). This manual provides details on how to use the package for inference on projections…

Econometrics · Economics 2017-10-27 Hiroaki Kaido , Francesca Molinari , Jörg Stoye , Matthew Thirkettle

In this paper we present the set of intervals as a normed vector space. We define also a four-dimensional associative algebra whose product gives the product of intervals in any cases. This approach allows to give a notion of divisibility…

Numerical Analysis · Computer Science 2009-10-22 Nicolas Goze , Elisabeth Remm

While almost all existing works which optimally solve just-in-time scheduling problems propose dedicated algorithmic approaches, we propose in this work mixed integer formulations. We consider a single machine scheduling problem that aims…

Data Structures and Algorithms · Computer Science 2021-02-15 Anne-Elisabeth Falq , Pierre Fouilhoux , Safia Kedad-Sidhoum

Measures of uncertainty and divergence are introduced for interval-valued probability distributions and are shown to have desirable mathematical properties. A maximum uncertainty inference procedure for marginal interval distributions is…

Artificial Intelligence · Computer Science 2013-04-08 Michael Pittarelli

With the announcement that the Aurora Supercomputer will be composed of general purpose Intel CPUs complemented by discrete high performance Intel GPUs, and the deployment of the oneAPI ecosystem, Intel has committed to enter the arena of…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-19 Yuhsiang M. Tsai , Terry Cojean , Hartwig Anzt

This paper presents a general formulation of the CIP/multi-moment finite volume method (CIP/MM FVM) for arbitrary order of accuracy. Reconstruction up to arbitrary order can be built on single cell by adding extra derivative moments at the…

Computational Physics · Physics 2012-07-31 Feng Xiao , Satoshi Ii