English
Related papers

Related papers: MiMeS, the Misalignment Mechanism Solver

200 papers

Mixed-Integer Second-Order Cone Programs (MISOCPs) form a nice class of mixed-inter convex programs, which can be solved very efficiently due to the recent advances in optimization solvers. Our paper bridges the gap between modeling a class…

Optimization and Control · Mathematics 2022-06-22 Amir Ahmadi-Javid , Pooya Hoseinpour

Concurrently coupled numerical simulations using heterogeneous solvers are powerful tools for modeling multiscale phenomena. However, major modifications to existing codes are often required to enable such simulations, posing significant…

Computational Physics · Physics 2015-05-18 Yu-Hang Tang , Shuhei Kudo , Xin Bian , Zhen Li , George E. Karniadakis

We describe a new C++ library for multiprecision arithmetic for numbers in the order of 100--500 bits, i.e., representable with just a few limbs. The library is written in "optimizing-compiler-friendly" C++, with an emphasis on the use of…

Cryptography and Security · Computer Science 2018-04-20 Niek J. Bouman

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

Kinematics is a core topic in early physics courses, yet students often struggle to interpret motion and its graphical representations. To tackle these difficulties, we developed MissionMotion, a physical-computational videogame where…

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

The Parallel C++ Statistical Library for the Quantification of Uncertainty for Estimation, Simulation and Optimization, Queso, is a collection of statistical algorithms and programming constructs supporting research into the quantification…

Computation · Statistics 2015-07-03 Damon McDougall , Nicholas Malaya , Robert D. Moser

Finding correspondences between shapes is a fundamental problem in computer vision and graphics, which is relevant for many applications, including 3D reconstruction, object tracking, and style transfer. The vast majority of correspondence…

Computer Vision and Pattern Recognition · Computer Science 2024-04-04 Maolin Gao , Zorah Lähner , Johan Thunberg , Daniel Cremers , Florian Bernard

This paper accompanies first release of libmpdata++, a C++ library implementing the Multidimensional Positive-Definite Advection Transport Algorithm (MPDATA). The library offers basic numerical solvers for systems of generalised transport…

Adaptive Multi-Agent Systems (AMAS) transform dynamic problems into problems of local cooperation between agents. We present smapy, an ensemble based AMAS implementation for mobility prediction, whose agents are provided with machine…

Multiagent Systems · Computer Science 2022-09-29 Thibault Fourez , Nicolas Verstaevel , Frédéric Migeon , Frédéric Schettini , Frédéric Amblard

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

We present an open-source simulation framework for optically detected magnetic resonance, developed in Python. The framework allows users to construct, manipulate, and evolve multipartite quantum systems that consist of spins and electronic…

Quantum Physics · Physics 2025-01-13 Laura A. Völker , John M. Abendroth , Christian L. Degen , Konstantin Herb

A common problem in elastic optical networks is to study the behavior of different resources allocation algorithms, such as signal modulation formats or quality of service, in optical networks in dynamic scenarios where connections are…

Networking and Internet Architecture · Computer Science 2021-05-07 Felipe Falcón , Gonzalo España , Danilo Bórquez-Paredes

This article describes the Wave Kinetic Solver \WavKinSns, a software developed in the Julia language for solving different types of wave kinetic equations in an efficient and modular manner. \WavKinS already solves the wave kinetic…

Chaotic Dynamics · Physics 2025-04-02 Giorgio Krstulovic , Vincent Labarre

We introduce Lineax, a library bringing linear solves and linear least-squares to the JAX+Equinox scientific computing ecosystem. Lineax uses general linear operators, and unifies linear solves and least-squares into a single,…

Mathematical Software · Computer Science 2023-11-30 Jason Rader , Terry Lyons , Patrick Kidger

The detection and classification of intersections between triangles are crucial tasks in a wide range of applications within Computer Graphics and Geometry Processing, including mesh Arrangements, mesh Booleans, and generic mesh processing…

Computational Geometry · Computer Science 2025-07-14 Luca Garau , Gianmarco Cherchi

In the conventional misalignment mechanism, the axion field has a constant initial field value in the early universe and later begins to oscillate. We present an alternative scenario where the axion field has a nonzero initial velocity,…

High Energy Physics - Phenomenology · Physics 2020-07-21 Raymond T. Co , Lawrence J. Hall , Keisuke Harigaya

Computer vision and robotics problems often require representation and estimation of poses on the SE(3) manifold. Developers of algorithms that must run in real time face several time-consuming programming tasks, including deriving and…

Robotics · Computer Science 2018-05-07 Leonid Koppel , Steven L. Waslander

In this paper we present Affine.m - program for computations in representation theory of finite-dimensional and affine Lie algebras and describe implemented algorithms. Algorithms are based upon the properties of weights and Weyl symmetry.…

Representation Theory · Mathematics 2012-08-09 Anton Nazarov

The geometry of atomic arrangement underpins the structural understanding of molecules in many fields. However, no general framework of mathematical/computational theory for the geometry of atomic arrangement exists. Here we present…