English
Related papers

Related papers: GAIL---Guaranteed Automatic Integration Library in…

200 papers

We introduce collapsed compilation, a novel approximate inference algorithm for discrete probabilistic graphical models. It is a collapsed sampling algorithm that incrementally selects which variable to sample next based on the partial…

Artificial Intelligence · Computer Science 2018-06-01 Tal Friedman , Guy Van den Broeck

Automatic cubatures approximate integrals to user-specified error tolerances. For high dimensional problems, it is difficult to adaptively change the sampling pattern to focus on peaks because peaks can hide more easily in high dimensional…

Numerical Analysis · Mathematics 2022-10-10 Jagadeeswaran Rathinavel

Even with the increase of popularity of functional programming, imperative programming remains a key programming paradigm, especially for programs operating at lower levels of abstraction. When such software offers key components of a…

Programming Languages · Computer Science 2025-09-17 Frédéric Fort , David Nowak , Vlad Rusu

Fitting PDFs requires the integration of a broad range of datasets, both from data and theory side, into a unique framework. While for data the integration mainly consists in the standardization of the data format, for the theory…

High Energy Physics - Phenomenology · Physics 2022-11-22 Andrea Barontini , Alessandro Candido , Juan Cruz-Martinez , Felix Hekhorn , Giacomo Magni , Christopher Schwan

And-Inverter Graphs (AIGs) are a popular way to represent Boolean functions (like circuits). AIG simplification algorithms can dramatically reduce an AIG, and play an important role in modern hardware verification tools like equivalence…

Logic in Computer Science · Computer Science 2013-05-01 Jared Davis , Sol Swords

The yaglm package aims to make the broader ecosystem of modern generalized linear models accessible to data analysts and researchers. This ecosystem encompasses a range of loss functions (e.g. linear, logistic, quantile regression),…

Computation · Statistics 2021-10-13 Iain Carmichael , Thomas Keefe , Naomi Giertych , Jonathan P Williams

Diverse computing paradigms have emerged to meet the growing needs for intelligent energy-efficient systems. The Margin Propagation (MP) framework, being one such initiative in the analog computing domain, stands out due to its scalability…

Systems and Control · Electrical Eng. & Systems 2024-10-31 Ankita Nandi , Krishil Gandhi , Mahendra Pratap Singh , Shantanu Chakrabartty , Chetan Singh Thakur

We present an open source Python 3 library aimed at practitioners of molecular simulation, especially Monte Carlo simulation. The aims of the library are to facilitate the generation of simulation data for a wide range of problems; and to…

Graph class-incremental learning (GCIL) allows graph neural networks (GNNs) to adapt to evolving graph analytical tasks by incrementally learning new class knowledge while retaining knowledge of old classes. Existing GCIL methods primarily…

Machine Learning · Computer Science 2025-07-24 Jiazhen Chen , Zheng Ma , Sichao Fu , Mingbin Feng , Tony S. Wirjanto , Weihua Ou

Over the past years, we have developed GATE version 10, a major re-implementation of the long-standing Geant4-based Monte Carlo application for particle and radiation transport simulation in medical physics. This release introduces many new…

This paper introduces Paraconsistent-Lib, an open-source, easy-to-use Python library for building PAL2v algorithms in reasoning and decision-making systems. Paraconsistent-Lib is designed as a general-purpose library of PAL2v standard…

GlobalBioIm is an open-source MATLAB library for solving inverse problems. The library capitalizes on the strong commonalities between forward models to standardize the resolution of a wide range of imaging inverse problems. Endowed with an…

Mathematical Software · Computer Science 2023-09-12 Emmanuel Soubies , Ferréol Soulez , Michael T. McCann , Thanh-an Pham , Laurène Donati , Thomas Debarre , Daniel Sage , Michael Unser

GenoML is a Python package automating machine learning workflows for genomics (genetics and multi-omics) with an open science philosophy. Genomics data require significant domain expertise to clean, pre-process, harmonize and perform…

Automatic code generation for low-dimensional geometric algorithms is capable of producing efficient low-level software code through a high-level geometric domain specific language. Geometric Algebra (GA) is one of the most suitable…

Mathematical Software · Computer Science 2016-07-19 Ahmad Hosney Awad Eid

The learning process of deep learning methods usually updates the model's parameters in multiple iterations. Each iteration can be viewed as the first-order approximation of Taylor's series expansion. The remainder, which consists of…

Computer Vision and Pattern Recognition · Computer Science 2022-03-08 Yan Luo , Yongkang Wong , Mohan S. Kankanhalli , Qi Zhao

In Generalized Linear Estimation (GLE) problems, we seek to estimate a signal that is observed through a linear transform followed by a component-wise, possibly nonlinear and noisy, channel. In the Bayesian optimal setting, Generalized…

Disordered Systems and Neural Networks · Physics 2021-02-03 Luca Saglietti , Yue M. Lu , Carlo Lucibello

Image inpainting aims at restoring missing regions of corrupted images, which has many applications such as image restoration and object removal. However, current GAN-based generative inpainting models do not explicitly exploit the…

Computer Vision and Pattern Recognition · Computer Science 2020-09-15 Ang Li , Jianzhong Qi , Rui Zhang , Xingjun Ma , Kotagiri Ramamohanarao

We describe here a library aimed at automating the solution of partial differential equations using the finite element method. By employing novel techniques for automated code generation, the library combines a high level of expressiveness…

Mathematical Software · Computer Science 2012-05-15 Anders Logg , Garth N. Wells

GraphFlow is a visual workflow system designed to improve the reliability of agentic AI automation in multi-step, mission-critical processes. In these workflows, small errors compound rapidly: under an idealized model of independent steps,…

Artificial Intelligence · Computer Science 2026-05-15 Drewry H. Morris , Luis Valles , Reza Hosseini Ghomi

Function approximation is a generic process in a variety of computational problems, from data interpolation to the solution of differential equations and inverse problems. In this work, a unified approach for such techniques is…

Numerical Analysis · Mathematics 2019-10-01 Nikolaos P. Bakas
‹ Prev 1 8 9 10 Next ›