English
Related papers

Related papers: SI Toolbox - Full documentation

200 papers

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…

Applications · Statistics 2013-04-11 Niko Brümmer , Edward de Villiers

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…

Cosmology and Nongalactic Astrophysics · Physics 2020-06-19 Steven Cunnington , Alkistis Pourtsidou , Paula S. Soares , Chris Blake , David Bacon

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…

High Energy Physics - Phenomenology · Physics 2018-08-09 Juan C. Criado

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…

Cosmology and Nongalactic Astrophysics · Physics 2021-09-06 Pedro da Silveira Ferreira , Miguel Quartin

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…

Graphics · Computer Science 2015-09-18 Ali Hamada Fakra , Frédéric Miranville , Dimitri Bigot , Harry Boyer

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…

Software Engineering · Computer Science 2023-10-24 Christian Göttel , Maëlle Kabir-Querrec , David Kozhaya , Thanikesavan Sivanthi , Ognjen Vuković

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…

Machine Learning · Computer Science 2025-04-09 Jacob O. Tørring , Carl Hvarfner , Luigi Nardi , Magnus Själander

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…

Artificial Intelligence · Computer Science 2024-11-12 Zhiyu Zhu , Zhibo Jin , Hongsheng Hu , Minhui Xue , Ruoxi Sun , Seyit Camtepe , Praveen Gauravaram , Huaming Chen

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++…

Mathematical Software · Computer Science 2022-09-13 Maho Nakata

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.…

Computational Physics · Physics 2021-09-07 Steven A. Silber , Mikko Karttunen

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…

Cosmology and Nongalactic Astrophysics · Physics 2021-09-09 Pedro Carrilho , Karim A. Malik

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…

Cosmology and Nongalactic Astrophysics · Physics 2013-05-30 Laura G. Book , Marc Kamionkowski , Tarun Souradeep

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…

Cryptography and Security · Computer Science 2019-05-01 J. Aaron Pendergrass , Nathan Hull , John Clemens , Sarah Helble , Mark Thober , Kathleen McGill , Machon Gregory , Peter Loscocco

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…

Astrophysics · Physics 2010-11-02 Pramoda Kumar Samal , Rajib Saha , Pankaj Jain , John P. Ralston

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…

Cosmology and Nongalactic Astrophysics · Physics 2022-05-12 Hamza El Bouhargani , Aygul Jamal , Dominic Beck , Josquin Errard , Laura Grigori , Radek Stompor

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…

High Energy Physics - Phenomenology · Physics 2018-09-26 Shinya Kanemura , Mariko Kikuchi , Kodai Sakurai , Kei Yagyu

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,…

Machine Learning · Statistics 2023-07-11 Anand Deo , Karthyek Murthy

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.…

Astrophysics · Physics 2009-11-07 G. Bernardi , E. Carretti , R. Fabbri , C. Sbarra , S. Poppi , S. Cortiglioni

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…

Software Engineering · Computer Science 2016-05-23 Antti Valmari