English
Related papers

Related papers: PyPartMC: A Pythonic interface to a particle-resol…

200 papers

Software change is the basic task of software evolution and maintenance. Phased Model for Software Change (PMSC) is a process model for software changes that localize in the code. It consists of several phases that cover both program…

Software Engineering · Computer Science 2019-04-12 Leon A. Wilson , Yoann Senin , Yibin Wang , Václav Rajlich

Simulation is a foundational tool for the analysis and testing of cyber-physical systems (CPS), underpinning activities such as algorithm development, runtime monitoring, and system verification. As CPS grow in complexity and scale,…

Software Engineering · Computer Science 2025-06-13 Quinn Thibeault , Giulia Pedrielli

We present an efficient parametric model checking (PMC) technique for the analysis of software performability, i.e., of the performance and dependability properties of software systems. The new PMC technique works by automatically…

Logic in Computer Science · Computer Science 2022-10-25 Xinwei Fang , Radu Calinescu , Simos Gerasimou , Faisal Alhwikem

Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the system and environment parameters. In software engineering, PMC…

Software Engineering · Computer Science 2021-02-03 Xinwei Fang , Radu Calinescu , Simos Gerasimou , Faisal Alhwikem

Mechanistic models are essential tools across ecology, epidemiology, and the life sciences, but parameter inference remains challenging when likelihood functions are intractable. Approximate Bayesian Computation with Sequential Monte Carlo…

Populations and Evolution · Quantitative Biology 2025-11-27 Mario Castro

We present pySecDec, a new version of the program SecDec, which performs the factorisation of dimensionally regulated poles in parametric integrals, and the subsequent numerical evaluation of the finite coefficients. The algebraic part of…

High Energy Physics - Phenomenology · Physics 2017-11-28 S. Borowka , G. Heinrich , S. Jahn , S. P. Jones , M. Kerner , J. Schlenk , T. Zirke

We present a fast and user friendly exoplanet transit light curve modelling package PyTransit, implementing optimised versions of the Gimen\'ez and the Mandel & Agol transit models. The package offers an object-oriented Python interface to…

Earth and Planetary Astrophysics · Physics 2015-04-29 Hannu Parviainen

$\textit{Pymc-learn}$ is a Python package providing a variety of state-of-the-art probabilistic models for supervised and unsupervised machine learning. It is inspired by $\textit{scikit-learn}$ and focuses on bringing probabilistic machine…

Machine Learning · Statistics 2018-11-05 Daniel Emaasit

PyExoCross is a Python adaptation of the ExoCross Fortran application, PyExoCross is designed for postprocessing the huge molecular line lists generated by the ExoMol project and other similar initiatives such as the HITRAN and HITEMP…

Instrumentation and Methods for Astrophysics · Physics 2024-06-07 Jingxin Zhang , Jonathan Tennyson , Sergei N. Yurchenko

We present PyXtal FF, a package based on Python programming language, for developing machine learning potentials (MLPs). The aim of PyXtal FF is to promote the application of atomistic simulations by providing several choices of structural…

Computational Physics · Physics 2023-01-03 Howard Yanxon , David Zagaceta , Binh Tang , David Matteson , Qiang Zhu

An open source software package for performing dynamic RMS simulation of small to medium-sized power systems is presented, written entirely in the Python programming language. The main objective is to facilitate fast prototyping of new wide…

Systems and Control · Electrical Eng. & Systems 2021-01-11 Hallvar Haugdal , Kjetil Uhlen

APACIC++ is a Monte-Carlo event-generator dedicated for the simulation of electron-positron annihilations into jets. Within the framework of APACIC++, the emergence of jets is identified with the perturbative production of partons as…

High Energy Physics - Phenomenology · Physics 2008-11-26 R. Kuhn , F. Krauss , B. Ivanyi , G. Soff

Understanding astrophysical and cosmological processes can be challenging due to their complexity and lack of intuitive analogies. To address this, we present \texttt{AstronomyCalc}, a Python package specifically designed to aid…

Physics Education · Physics 2025-11-26 Sambit K. Giri

A multi-platform validation and analysis framework for public Monte Carlo simulation for high-energy particle collisions is discussed. The front-end of this framework uses the Python programming language, while the back-end is written in…

Computational Physics · Physics 2017-10-25 S. V. Chekanov , I. Pogrebnyak , D. Wilbern

$\texttt{PyCosmo}$ is a Python-based framework for the fast computation of cosmological model predictions. One of its core features is the symbolic representation of the Einstein-Boltzmann system of equations. Efficient $\texttt{C/C++}$…

Cosmology and Nongalactic Astrophysics · Physics 2022-06-20 Beatrice Moser , Christiane S. Lorenz , Uwe Schmitt , Alexandre Refregier , Janis Fluri , Raphael Sgier , Federica Tarsitano , Lavinia Heisenberg

State-space models (SSMs) are a widely used tool in time series analysis. In the complex systems that arise from real-world data, it is common to employ particle filtering (PF), an efficient Monte Carlo method for estimating the hidden…

Signal Processing · Electrical Eng. & Systems 2025-11-05 John-Joseph Brady , Benjamin Cox , Yunpeng Li , Víctor Elvira

CosmoMC is a Cosmological Monte Carlo package that explores parameter space, finds the best-fit values, and makes contour plots for various observational data. The present manual assists you with the installation steps and running of…

Instrumentation and Methods for Astrophysics · Physics 2020-03-18 Hossein Moshafi , Majid Bahraminasr

Focused optical fields are key to a multitude of applications involving light-matter interactions, such as optical microscopy, single-molecule spectroscopy, optical tweezers, lithography, or quantum coherent control. A detailed vectorial…

Optics · Physics 2022-03-14 Fernando Caprile , Luciano A. Masullo , Fernando D. Stefani

We present a new software pipeline -- PyMorph -- for automated estimation of structural parameters of galaxies. Both parametric fits through a two dimensional bulge disk decomposition as well as structural parameter measurements like…

Instrumentation and Methods for Astrophysics · Physics 2015-05-19 Vinu Vikram , Yogesh Wadadekar , Ajit K. Kembhavi , G. V. Vijayagovindan