English
Related papers

Related papers: BAT.jl -- A Julia-based tool for Bayesian inferenc…

200 papers

This article describes blavaan, an R package for estimating Bayesian structural equation models (SEMs) via JAGS and for summarizing the results. It also describes a novel parameter expansion approach for estimating specific types of models…

Computation · Statistics 2018-06-19 Edgar C. Merkle , Yves Rosseel

This tutorial gives a quick introduction to Variational Bayes (VB), also called Variational Inference or Variational Approximation, from a practical point of view. The paper covers a range of commonly used VB methods and an attempt is made…

Computation · Statistics 2021-03-03 Minh-Ngoc Tran , Trong-Nghia Nguyen , Viet-Hung Dao

The Julia programming language has gained acceptance within the High-Performance Computing (HPC) community due to its ability to tackle two-language problem: Julia code feels as high-level as Python but allows developers to tune it to…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-17 Sergio Sanchez-Ramirez , Mosè Giordano

In this article, we propose an interval constraint programming method for globally solving catalog-based categorical optimization problems. It supports catalogs of arbitrary size and properties of arbitrary dimension, and does not require…

Optimization and Control · Mathematics 2024-01-23 Charlie Vanaret

In the realm of scientific computing, both Julia and Python have established themselves as powerful tools. Within the context of High Energy Physics (HEP) data analysis, Python has been traditionally favored, yet there exists a compelling…

Programming Languages · Computer Science 2024-04-30 Ianna Osborne , Jim Pivarski , Jerry Ling

Basic computer arithmetic operations, such as $+$, $\times$, or $\div$ are correctly rounded, whilst mathematical functions such as $e^x$, $\ln(x)$, or $\sin(x)$ in general are not, meaning that separate implementations may provide…

Mathematical Software · Computer Science 2025-09-09 Mantas Mikaitis , Tejaswa Rizyal

Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and for various platforms…

The ancestral recombination graph (ARG) is the model of choice in statistical genetics to model population ancestries. Software capable of simulating ARGs on a genome scale within a reasonable amount of time are now widely available for…

Genomics · Quantitative Biology 2026-04-15 Patrick Fournier , Fabrice Larribe

This paper proposes integrating Aspect-oriented Programming (AOP) into Julia, a language widely used in scientific and High-Performance Computing (HPC). AOP enhances software modularity by encapsulating cross-cutting concerns, such as…

Programming Languages · Computer Science 2024-12-30 Osamu Ishimura , Yoshihide Yoshimoto

We present the Solar Bayesian Analysis Toolkit (SoBAT) which is a new easy to use tool for Bayesian analysis of observational data, including parameter inference and model comparison. SoBAT is aimed (but not limited) to be used for the…

Solar and Stellar Astrophysics · Physics 2021-01-20 Sergey A. Anfinogentov , Valery M. Nakariakov , David J. Pascoe , Christopher R. Goddard

Transverse contraction methods are extremely promising tools for the efficient contraction of tensor networks associated with the time evolution of quantum many-body systems, allowing in some cases to circumvent the entanglement barrier…

Quantum Physics · Physics 2026-01-14 Stefano Carignano

We present FrankWolfe.jl, an open-source implementation of several popular Frank-Wolfe and Conditional Gradients variants for first-order constrained optimization. The package is designed with flexibility and high-performance in mind,…

Optimization and Control · Mathematics 2021-10-06 Mathieu Besançon , Alejandro Carderera , Sebastian Pokutta

This exposition presents nimblewomble, a software package to perform wombling, or boundary analysis, using the nimble Bayesian hierarchical modeling language in the R statistical computing environment. Wombling is used widely to track…

Computation · Statistics 2025-04-11 Aritra Halder , Sudipto Banerjee

The purpose of this paper is twofold. On one side, we present a general framework for Bayesian optimization and we compare it with some related fields in active learning and Bayesian numerical analysis. On the other hand, Bayesian…

Robotics · Computer Science 2018-02-13 Ruben Martinez-Cantin

This report presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Java which allows one to write invariants for classes, and…

Programming Languages · Computer Science 2007-05-23 Catherine Oriat

Liesel is a new probabilistic programming framework developed with the aim of supporting research on Bayesian inference based on Markov chain Monte Carlo (MCMC) simulations in general and semi-parametric regression specifications in…

Computation · Statistics 2023-12-01 Hannes Riebl , Paul F. V. Wiemann , Thomas Kneib

Adaptive optics systems are usually prototyped in a convenient but slow language like MATLAB or Python, and then re-written from scratch using high-performance C/C++ to perform real-time control. This duplication of effort adds costs and…

Instrumentation and Methods for Astrophysics · Physics 2024-07-11 William Thompson , Darryl Gamroth , Christian Marois , Olivier Lardière

JuMP is an algebraic modeling language embedded in the Julia programming language. JuMP allows users to model optimization problems of a variety of kinds, including linear programming, integer programming, conic optimization, semidefinite…

Programming Languages · Computer Science 2023-03-21 Miles Lubin , Oscar Dowson , Joaquim Dias Garcia , Joey Huchette , Benoît Legat , Juan Pablo Vielma

Bayesian statistics is concerned with conducting posterior inference for the unknown quantities in a given statistical model. Conventional Bayesian inference requires the specification of a probabilistic model for the observed data, and the…

Methodology · Statistics 2023-05-11 David T. Frazier , Christopher Drovandi , David J. Nott

Computerized adaptive testing (CAT) is an interesting and promising approach to testing human abilities. In our research we use Bayesian networks to create a model of tested humans. We collected data from paper tests performed with grammar…

Artificial Intelligence · Computer Science 2017-03-28 Martin Plajner , Jiří Vomlel