English
Related papers

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

200 papers

In the last years different studies have revealed the usefulness of a microcanonical analysis of finite systems when dealing with phase transitions. In this approach the quantities of interest are exclusively expressed as derivatives of the…

Statistical Mechanics · Physics 2009-11-11 Andreas Richter , Michel Pleimling , Alfred Hueller

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

We present solidfmm, a highly optimised C++ library for the solid harmonics as they are needed in fast multipole methods. The library provides efficient, vectorised implementations of the translation operations M2M, M2L, and L2L, and is…

Mathematical Software · Computer Science 2022-02-08 Matthias Kirchhart

We present the first open release of the DCA++ project, a high-performance research software framework to solve quantum many-body problems with cutting edge quantum cluster algorithms. DCA++ implements the dynamical cluster approximation…

Time-continuous dynamic models are essential for various Cyber-Physical System (CPS) applications. To ensure effective usability in different lifecycle phases, such behavioral information in the form of differential equations must be…

Artificial Intelligence · Computer Science 2026-01-21 Milapji Singh Gill , Tom Jeleniewski , Felix Gehlhoff , Alexander Fay

We present a novel approach (DyNODE) that captures the underlying dynamics of a system by incorporating control in a neural ordinary differential equation framework. We conduct a systematic evaluation and comparison of our method and…

Machine Learning · Computer Science 2020-09-10 Victor M. Martinez Alvarez , Rareş Roşca , Cristian G. Fălcuţescu

Multiscale dynamical systems, modeled by high-dimensional stiff ordinary differential equations (ODEs) with wide-ranging characteristic timescales, arise across diverse fields of science and engineering, but their numerical solvers often…

Numerical Analysis · Mathematics 2025-08-14 Junjie Yao , Yuxiao Yi , Liangkai Hang , Weinan E , Weizong Wang , Yaoyu Zhang , Tianhan Zhang , Zhi-Qin John Xu

Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and simulating such systems using a C-like language with…

Logic in Computer Science · Computer Science 2025-11-19 Reydel Arrieta , José Proença , Patrick Meumeu Yomsi

We describe a novel, interdisciplinary, computational methods course that uses Python and associated numerical and visualization libraries to enable students to implement simulations for a number of different course modules. Problems in…

Chaotic Dynamics · Physics 2007-05-23 Christopher R. Myers , James. P. Sethna

In this article, we present an efficient deep learning method called coupled deep neural networks (CDNNs) for coupled physical problems. Our method compiles the interface conditions of the coupled PDEs into the networks properly and can be…

Numerical Analysis · Mathematics 2023-01-18 Jing Yue , Jian Li , Wen Zhang

We address a fundamental mismatch between the combinations of dynamics that occur in cyber-physical systems and the limited kinds of dynamics supported in analysis. Modern applications combine communication, computation, and control. They…

Logic in Computer Science · Computer Science 2016-12-02 Andre Platzer

This research focuses on the evolving dynamics of the power grid, where traditional synchronous generators are being replaced by non-synchronous power electronic converter (PEC)-interfaced renewable energy sources. The non-linear dynamics…

Systems and Control · Electrical Eng. & Systems 2023-08-01 Sunil Subedi , Bidur Poudel , Pooja Aslami , Robert Fourney , Hossein Moradi Rekabdarkolaee , Reinaldo Tonkoski , Timothy M. Hansen

Despite their deterministic nature, dynamical systems often exhibit seemingly random behaviour. Consequently, a dynamical system is usually represented by a probabilistic model of which the unknown parameters must be estimated using…

Dynamical Systems · Mathematics 2021-08-20 Kasun Fernando , Nan Zou

The development of a package for the management of physics data is described: its design, implementation and computational benchmarks. This package improves the data management tools originally developed for Geant4 physics models based on…

Computational Physics · Physics 2010-12-16 Mincheol Han , Chan-Hyeung Kim , Lorenzo Moneta , Maria Grazia Pia , Hee Seo

We introduce BayesChange, a computationally efficient R package, built on C++, for Bayesian change point detection and clustering of observations sharing common change points. While many R packages exist for change point analysis,…

Computation · Statistics 2025-11-10 Luca Danese , Riccardo Corradin , Andrea Ongaro

This paper presents CS-Insights, an interactive web application to analyze computer science publications from DBLP through multiple perspectives. The dedicated interfaces allow its users to identify trends in research activity,…

Computation and Language · Computer Science 2023-01-31 Terry Ruas , Jan Philip Wahle , Lennart Küll , Saif M. Mohammad , Bela Gipp

We present DASH, a C++ template library that offers distributed data structures and parallel algorithms and implements a compiler-free PGAS (partitioned global address space) approach. DASH offers many productivity and performance features…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-10-06 Karl Fürlinger , Tobias Fuchs , Roger Kowalewski

Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart of many safety-critical devices, it is of primary importance…

Logic in Computer Science · Computer Science 2019-07-09 Simon Lunel , Stefan Mitsch , Benoit Boyer , Jean-Pierre Talpin

Computer simulations that demonstrate the valueof novel approaches are crucial to developing more flexibleand robust power systems operations with high penetrations ofrenewable energy at multiple geographic and temporal scales.However,…

Systems and Control · Electrical Eng. & Systems 2020-09-01 Jose Daniel Lara , Jonathan T. Lee , Duncan Callaway , Bri-Mathias Hodge

Learning an effective policy to control high-dimensional, overactuated systems is a significant challenge for deep reinforcement learning algorithms. Such control scenarios are often observed in the neural control of vertebrate…

Robotics · Computer Science 2024-12-30 Kaibo He , Chenhui Zuo , Chengtian Ma , Yanan Sui