相关论文: SI Toolbox - Full documentation

The change of two orders of magnitude in the 'new DCF' of NIST's SRE'10, relative to the 'old DCF' evaluation criterion, posed a difficult challenge for participants and evaluator alike. Initially, participants were at a loss as to how to…

We present a framework and an open-source python toolkit to analyse the 2-point statistics of 3D fluctuations in the context of HI intensity maps using the multipole expansion formalism. We include simulations of the cosmological HI signal…

MatchingTools is a Python library for doing symbolic calculations in effective field theory. It provides the tools to construct general models by defining their field content and their interaction Lagrangian. Once a model is given, the…

An observer in relative motion to the Cosmic Microwave Background (CMB) rest frame is sensitive to both aberration and Doppler effects. Both effects introduce similar but non-identical off-diagonal couplings in the spherical harmonic…

CODYRUN is a software for computational aeraulic and thermal simulation in buildings developed by the Laboratory of Building Physics and Systems (L.P.B.S). Numerical simulation codes of artificial lighting have been introduced to extend the…

Validation of conformance to cybersecurity standards for industrial automation and control systems is an expensive and time consuming process which can delay the time to market. It is therefore crucial to introduce conformance validation…

Bayesian optimization is a powerful method for automating tuning of compilers. The complex landscape of autotuning provides a myriad of rarely considered structural challenges for black-box optimizers, and the lack of standardized…

We present an open source Python library for simulating overlapping (i.e., blended) images of galaxies and performing self-consistent comparisons of detection and deblending algorithms based on a suite of metrics. The package, named…

AI systems, in particular with deep learning techniques, have demonstrated superior performance for various real-world applications. Given the need for tailored optimization in specific scenarios, as well as the concerns related to the…

The MPLAPACK (formerly MPACK) is a multiple-precision version of LAPACK (https://www.netlib.org/lapack/). MPLAPACK version 2.0.1 is based on LAPACK version 3.9.1 and translated from Fortran 90 to C++ using FABLE, a Fortran to C++…

This work develops a new open source API and software package called \textit{SymPhas} for simulations of phase-field, phase-field crystal and reaction-diffusion models, supporting up to three dimensions and an arbitrary number of fields.…

Non-linear effects in the early Universe generate non-zero bispectra of the cosmic microwave background (CMB) temperature and polarization, even in the absence of primordial non-Gaussianity. In this paper, we compute the contributions from…

Bipolar spherical harmonics (BiPoSHs) provide a general formalism for quantifying departures in the cosmic microwave background (CMB) from statistical isotropy (SI) and from Gaussianity. However, prior work has focused only on BiPoSHs with…

This paper presents the Userspace Integrity Measurement Toolkit (USIM Toolkit), a set of integrity measurement collection tools capable of detecting advanced malware threats, such as memory-only implants, that evade many traditional…

Recently a symmetry-based method to test for statistical isotropy of the cosmic microwave background was developed. We apply the method to template-cleaned 3-year and 5-year WMAP-$DA$ maps. We examine a wide range of angular multipoles from…

Forthcoming cosmic microwave background (CMB) polarized anisotropy experiments have the potential to revolutionize our understanding of the Universe and fundamental physics. The sought-after, tale-telling signatures will be however…

We describe a numerical calculation tool H-COUP written in Fortran, which provides one-loop electroweak corrected vertices for the discovered Higgs boson $h(125)$ in various Higgs sectors. The renormalization is based on the improved…

This paper presents a novel Importance Sampling (IS) scheme for estimating distribution tails of performance measures modeled with a rich set of tools such as linear programs, integer linear programs, piecewise linear/quadratic objectives,…

We present a new approach in modelling the polarized Galactic synchrotron emission in the microwave range (20-100 GHz), where this radiation is expected to play the leading role in contaminating the Cosmic Microwave Background (CMB) data.…

This publication introduces A State Space Exploration Tool that is based on representing the model under verification as a piece of C++ code that obeys certain conventions. Its name is ASSET. Model checking takes place by compiling the…