In this work, we introduce DIRECTGO , a new MATLAB toolbox for derivative-free global optimization. collects various deterministic DIRECT -type algorithms box-constrained, generally constrained, and problems with hidden constraints. Each sequential algorithm is implemented in two ways: using static dynamic data structures more efficient information storage organization. Furthermore, parallel sc...

Abstract Good tools can bring mechanical verification to programs written in mainstream functional languages. We use hs-to-coq translate significant portions of Haskell’s containers library into Coq, and verify it against specifications that we derive from a variety sources including type class laws, the library’s test suite, interfaces Coq’s standard library. Our work shows is feasible mature,...

p$^\dagger$q is a C++ accelerated Python library designed to generate equations for many-body quantum chemistry methods and realize proof-of-concept implementations of these rapid prototyping. Central this simple interface define strings second-quantized creation annihilation operators bring normal order with respect either the true vacuum state or Fermi vacuum. Tensor contractions over fully-c...

Pre-trained language models (LMs) encode rich information about linguistic structure but their knowledge lexical polysemy remains unclear. We propose a novel experimental setup for analyzing this in LMs specifically trained different languages (English, French, Spanish, and Greek) multilingual BERT. perform our analysis on datasets carefully designed to reflect sense distributions, control para...

We present the implementation of updated stellar evolution recipes in codes \texttt{Nbody6++GPU, MOCCA} and \texttt{McLuster}. test them through numerical simulations star clusters containing $1.1\times 10^5$ stars (with $2.0\times 10^4$ primordial hard binaries) performing high-resolution direct $N$-body (\texttt{Nbody6++GPU}) Monte-Carlo (\texttt{MOCCA}) to an age 10~Gyr. compare models imple...

We present KaRMMa, a novel method for performing mass map reconstruction from weak-lensing surveys. employ fully Bayesian approach with physically motivated lognormal prior to sample the posterior distribution of convergence maps. test KaRMMa on suite dark matter N-body simulations simulated DES Y1-like shear observations. show that outperforms basic Kaiser-Squires in two key ways: 1) our best ...