English
Related papers

Related papers: CAPD::DynSys: a flexible C++ toolbox for rigorous …

200 papers

Magpy is a C++ accelerated Python package for modelling and simulating the magnetic dynamics of nano-sized particles. Nanoparticles are modelled as a system of three-dimensional macrospins and simulated with a set of coupled stochastic…

Computational Physics · Physics 2018-01-25 Oliver Laslett , Jonathon Waters , Hans Fangohr , Ondrej Hovorka

This report provides an introduction to the ensmallen numerical optimization library, as well as a deep dive into the technical details of how it works. The library provides a fast and flexible C++ framework for mathematical optimization of…

Mathematical Software · Computer Science 2023-11-16 Ryan R. Curtin , Marcus Edel , Rahul Ganesh Prabhu , Suryoday Basak , Zhihao Lou , Conrad Sanderson

The investigations reported in this paper center on the process of dynamic uncertainty assessment during interpretation tasks in real domain. In particular, we are interested here in the nature of the control structure of computer programs…

Artificial Intelligence · Computer Science 2013-04-12 Shohara L. Hardt

We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the…

Dynamical maps describe general transformations of the state of a physical system, and their iteration can be interpreted as generating a discrete time evolution. Prime examples include classical nonlinear systems undergoing transitions to…

Quantum Physics · Physics 2013-11-19 P. Schindler , M. Müller , D. Nigg , J. T. Barreiro , E. A. Martinez , M. Hennrich , T. Monz , S. Diehl , P. Zoller , R. Blatt

This paper provides an algorithmic pipeline for studying the intrinsic structure of a finite discrete dynamical system (DDS) modelling an evolving phenomenon. Here, by intrinsic structure we mean, regarding the dynamics of the DDS under…

Dynamical Systems · Mathematics 2022-12-20 Alberto Dennunzio , Enrico Formenti , Luciano Margara , Sara Riva

C++QED is a framework for simulating open quantum dynamics in general. Historically, it has in the first place been developed for problems in moving-particle cavity QED, but since then has been applied in other fields as well. It is known…

Quantum Physics · Physics 2010-04-27 Andras Vukics

We overview the ensmallen numerical optimization library, which provides a flexible C++ framework for mathematical optimization of user-supplied objective functions. Many types of objective functions are supported, including general,…

Mathematical Software · Computer Science 2024-02-12 Ryan R. Curtin , Marcus Edel , Rahul Ganesh Prabhu , Suryoday Basak , Zhihao Lou , Conrad Sanderson

Signals can be interpreted as composed of a rapidly varying component modulated by a slower varying envelope. Identifying this envelope is an essential operation in signal processing, with applications in areas ranging from seismology to…

Sound · Computer Science 2021-10-25 Carlos Tarjano , Valdecy Pereira

This paper introduces Ciw, an open source library for conducting discrete event simulations that has been developed in Python. The strengths of the library are illustrated in terms of best practice and reproducibility for computational…

Performance · Computer Science 2017-10-11 Geraint I. Palmer , Vincent A. Knight , Paul R. Harper , Asyl L. Hawa

The methods are proposed for evaluation of complex dynamical systems, choice of their optimal operating modes, determination of optimal operating system from given class of equivalent systems, system's timeline behaviour analysis on the…

Optimization and Control · Mathematics 2016-03-04 Dmytro Polishchuk , Olexandr Polishchuk

We introduce an effective algorithmic method for the computation of a lower bound for uniform expansion in one-dimensional dynamics. The approach employs interval arithmetic and thus provides a rigorous numerical result (computer-assisted…

Dynamical Systems · Mathematics 2026-01-28 Paweł Pilarczyk , Michał Palczewski , Stefano Luzzatto

We present the C++ library CppSs (C++ super-scalar), which provides efficient task-parallelism without the need for special compilers or other software. Any C++ compiler that supports C++11 is sufficient. CppSs features different…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-02-27 Steffen Brinkmann , Jose Gracia

Dynamical systems are a broad class of mathematical tools used to describe the evolution of physical and computational processes. Traditionally these processes model changing entities in a static world. Picture a ball rolling on an empty…

Category Theory · Mathematics 2020-07-30 Sophie Libkind

Tick is a statistical learning library for Python~3, with a particular emphasis on time-dependent models, such as point processes, and tools for generalized linear models and survival analysis. The core of the library is an optimization…

Machine Learning · Statistics 2018-03-16 Emmanuel Bacry , Martin Bompaire , Stéphane Gaïffas , Soren Poulsen

Ordinary differential equation models facilitate the understanding of cellular signal transduction and other biological processes. However, for large and comprehensive models, the computational cost of simulating or calibrating can be…

Quantitative Methods · Quantitative Biology 2023-11-29 Fabian Fröhlich , Daniel Weindl , Yannik Schälte , Dilan Pathirana , Łukasz Paszkowski , Glenn Terje Lines , Paul Stapor , Jan Hasenauer

We present the TRIQS library, a Toolbox for Research on Interacting Quantum Systems. It is an open-source, computational physics library providing a framework for the quick development of applications in the field of many-body quantum…

Strongly Correlated Electrons · Physics 2016-09-12 Olivier Parcollet , Michel Ferrero , Thomas Ayral , Hartmut Hafermann , Igor Krivenko , Laura Messio , Priyanka Seth

Many real-world dynamic systems, both natural and artificial, are understood to be performing computations. For artificial dynamic systems, explicitly designed to perform computation - such as digital computers - by construction, we can…

Computational Physics · Physics 2026-02-24 David H. Wolpert , Jan Korbel

In this paper, we develop a class of robust numerical methods for solving dynamical systems with multiple time scales. We first represent the solution of a multiscale dynamical system as a transformation of a slowly varying solution. Then,…

Numerical Analysis · Mathematics 2019-09-11 Thomas Y. Hou , Zhongjian Wang , Zhiwen Zhang

In this article, we present an automated approach that would test for and discover the interoperability of CAD systems based on the approximately-invariant shape properties of their models. We further show that exchanging models in standard…

Graphics · Computer Science 2020-01-30 Duygu Sap , Daniel P. Szabo