English
Related papers

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

200 papers

We present POLO --- a C++ library for large-scale parallel optimization research that emphasizes ease-of-use, flexibility and efficiency in algorithm design. It uses multiple inheritance and template programming to decompose algorithms into…

Optimization and Control · Mathematics 2018-10-09 Arda Aytekin , Martin Biel , Mikael Johansson

The C++ library deal.II provides classes and functions to solve stationary problems with finite elements on one- to threedimensional domains. It also supports the typical way to solve time-dependent problems using time-stepping schemes,…

Numerical Analysis · Mathematics 2024-08-19 Jan Philipp Thiele

The C/C++ memory model provides an interface and execution model for programmers of concurrent (shared-variable) code. It provides a range of mechanisms that abstract from underlying hardware memory models -- that govern how multicore…

Programming Languages · Computer Science 2022-04-08 Robert J. Colvin

Mata is a well-engineered automata library written in C++ that offers a unique combination of speed and simplicity. It is meant to serve in applications such as string constraint solving and reasoning about regular expressions, and as…

Formal Languages and Automata Theory · Computer Science 2024-03-29 David Chocholatý , Tomáš Fiedor , Vojtěch Havlena , Lukáš Holík , Martin Hruška , Ondřej Lengál , Juraj Síč

Expression templates are a well-known set of techniques for improving the efficiency of operator overloading-based forward mode automatic differentiation schemes in the C++ programming language by translating the differentiation from…

Mathematical Software · Computer Science 2012-05-21 Eric Phipps , Roger Pawlowski

We review the dimensional check problem of the high-level programming languages, discuss the existing solutions, and come up with a new solution suited for scientific and engineering computations. Then, we introduce Univec, our C++ library…

Computational Physics · Physics 2023-07-18 Eduard George Stan , Dan Andrei Ciubotaru , Michele Renda , Călin Alexa

Code is increasingly becoming a core data modality of modern machine learning research impacting not only the way we write code with conversational agents like OpenAI's ChatGPT, Google's Bard, or Anthropic's Claude, the way we translate…

This paper introduces a new publicly available numerical library for cosmology, Cosmo++. The library has been designed using object-oriented programming techniques, and fully implemented in C++. Cosmo++ introduces a unified interface for…

Instrumentation and Methods for Astrophysics · Physics 2014-10-15 Grigor Aslanyan

latfield2 is a C++ library designed to simplify writing parallel codes for solving partial differen- tial equations, developed for application to classical field theories in particle physics and cosmology. It is a significant rewrite of the…

Computational Physics · Physics 2016-01-20 David Daverio , Mark Hindmarsh , Neil Bevis

Modelling of multivariate densities is a core component in many signal processing, pattern recognition and machine learning applications. The modelling is often done via Gaussian mixture models (GMMs), which use computationally expensive…

Mathematical Software · Computer Science 2018-05-10 Conrad Sanderson , Ryan Curtin

chowdsp_wdf is a C++ library for implementing real-time wave digital models of analog circuits. chowdsp_wdf differs from existing wave digital modelling libraries by providing a template meta-programming interface for modelling circuits…

Audio and Speech Processing · Electrical Eng. & Systems 2022-10-25 Jatin Chowdhury

Fine-grained memory protection for C and C++ programs must track individual objects (or pointers), and store bounds information per object (pointer). Its cost is dominated by metadata updates and lookups, making efficient metadata…

Cryptography and Security · Computer Science 2019-03-05 Myoung Jin Nam , Periklis Akritidis , David J Greaves

We introduce the Control Toolbox (CT), an open-source C++ library for efficient modeling, control, estimation, trajectory optimization and Model Predictive Control. The CT is applicable to a broad class of dynamic systems but features…

Robotics · Computer Science 2018-07-04 Markus Giftthaler , Michael Neunert , Markus Stäuble , Jonas Buchli

Automatic differentiation is a set of techniques to efficiently and accurately compute the derivative of a function represented by a computer program. Existing C++ libraries for automatic differentiation (e.g. Adept, Stan Math Library),…

Mathematical Software · Computer Science 2021-02-09 James Yang

Quantum computing provides a powerful framework for tackling computational problems that are classically intractable. The goal of this paper is to explore the use of quantum computers for solving relevant problems in systems and control…

Systems and Control · Electrical Eng. & Systems 2025-12-23 Jan Schneider , Julian Berberich

Object-oriented programming languages such as Java and Objective C have become popular for implementing agent-based and other object-based simulations since objects in those languages can {\em reflect} (i.e. make runtime queries of an…

Mathematical Software · Computer Science 2008-10-22 Russell K. Standish , Duraid Madina

This article introduces 'cpp11armadillo', a new R package that integrates the powerful Armadillo C++ library for linear algebra into the R programming environment. Targeted primarily at social scientists and other non-programmers, this…

Mathematical Software · Computer Science 2025-02-25 Mauricio Vargas Sepúlveda , Jonathan Schneider Malamud

In this paper we introduce an open-source software package written in C++ for efficiently finding solutions to quadratic programming problems with linear complementarity constraints. These problems arise in a wide range of applications in…

Optimization and Control · Mathematics 2025-02-18 Jonas Hall , Armin Nurkanovic , Florian Messerer , Moritz Diehl

FIRE is a program performing reduction of Feynman integrals to master integrals. The C++ version of FIRE was presented in 2014. There have been multiple changes and upgrades since then including the possibility to use multiple computers for…

High Energy Physics - Phenomenology · Physics 2021-02-23 A. V. Smirnov , F. S. Chukharev

We present an approach for computationally efficient dynamic time warping (DTW) and clustering of time-series data. The method frames the dynamic warping of time series datasets as an optimisation problem solved using dynamic programming,…

Signal Processing · Electrical Eng. & Systems 2024-10-10 Volkan Kumtepeli , Rebecca Perriment , David A. Howey
‹ Prev 1 4 5 6 7 8 10 Next ›