English
Related papers

Related papers: APFEL++: A new PDF evolution library in C++

200 papers

The framework of deep reinforcement learning (DRL) provides a powerful and widely applicable mathematical formalization for sequential decision-making. This paper present a novel DRL framework, termed \emph{$f$-Divergence Reinforcement…

Machine Learning · Computer Science 2021-12-15 Chen Gong , Qiang He , Yunpeng Bai , Zhou Yang , Xiaoyu Chen , Xinwen Hou , Xianjie Zhang , Yu Liu , Guoliang Fan

The emergence of foundational models and generative artificial intelligence (GenAI) is poised to transform productivity in scientific computing, especially in code development, refactoring, and translating from one programming language to…

Software Engineering · Computer Science 2025-11-10 Akash Dhruv , Anshu Dubey

The success of Conflict Driven Clause Learning (CDCL) for Boolean satisfiability has inspired adoption in other domains. We present a novel lifting of CDCL to program analysis called Abstract Conflict Driven Learning for Programs (ACDLP).…

Logic in Computer Science · Computer Science 2017-07-10 Rajdeep Mukherjee , Peter Schrammel , Leopold Haller , Daniel Kroening , Tom Melham

In this paper, we present a work in progress about a deep learning based approach for automatic code optimization in polyhedral compilers. The proposed technique explores combinations of affine and non-affine loop transformations to find…

Convolutional neural networks (CNNs) are a representative class of deep learning algorithms including convolutional computation that perform translation-invariant classification of input data based on their hierarchical architecture.…

Machine Learning · Computer Science 2023-03-14 Zihao Guo , Yueying Cao

Verification of numerical accuracy properties in modern software remains an important and challenging task. This paper describes an original framework combining different solutions for numerical accuracy. First, we extend an existing…

Software Engineering · Computer Science 2019-11-26 Maxime Jacquemin , Fonenantsoa Maurica , Nikolai Kosmatov , Julien Signoles , Franck Védrine

In this study, we build upon a previously proposed neuroevolution framework to evolve deep convolutional models. Specifically, the genome encoding and the crossover operator are extended to make them applicable to layered networks. We also…

Neural and Evolutionary Computing · Computer Science 2021-04-13 Alexander Hadjiivanov , Alan Blair

The reference implementation of Cartesian Genetic Programming (CGP) was written in the C programming language. C inherently follows a procedural programming paradigm, which entails challenges in providing a reusable and scalable…

Neural and Evolutionary Computing · Computer Science 2024-06-14 Roman Kalkreuth , Thomas Baeck

We present a new method for solving the BFKL evolution applicable at both leading and next-to-leading logarithmic accuracy, and tailored to the study of QCD multi-jet events at colliders. We utilise this to discuss corrections to the…

High Energy Physics - Phenomenology · Physics 2008-11-26 Jeppe R. Andersen

In this paper, a fractional version of the Clifford-Fourier transform is introduced, depending on two numerical parameters. A series expansion for the kernel of the resulting integral transform is derived. In the case of even dimension,…

Classical Analysis and ODEs · Mathematics 2012-09-27 Hendrik De Bie , Nele De Schepper

We present solidfmm, a highly optimised C++ library for the solid harmonics as they are needed in fast multipole methods. The library provides efficient, vectorised implementations of the translation operations M2M, M2L, and L2L, and is…

Mathematical Software · Computer Science 2022-02-08 Matthias Kirchhart

Researchers are actively trying to gain better insights into the representational properties of convolutional neural networks for guiding better network designs and for interpreting a network's computational nature. Gaining such insights…

Machine Learning · Computer Science 2019-05-28 Andrew Hryniowski , Alexander Wong

This article introduces 'cpp11armadillo', a new R package that integrates the powerful Armadillo C++ library for linear algebra into the R programming environment. Targeted primarily at social scientists and other non-programmers, this…

Mathematical Software · Computer Science 2025-02-25 Mauricio Vargas Sepúlveda , Jonathan Schneider Malamud

This research is concerned with evolution equations and their forward-backward discretizations. Our first contribution is an estimation for the distance between iterates of sequences generated by forward-backward schemes, useful in the…

Optimization and Control · Mathematics 2019-12-16 Andres Contreras , Juan Peypouquet

We completely describe a new domain for abstract interpretation of numerical programs. Fixpoint iteration in this domain is proved to converge to finite precise invariants for (at least) the class of stable linear recursive filters of any…

Logic in Computer Science · Computer Science 2008-07-21 Eric Goubault , Sylvie Putot

Any NLO calculation of a QCD final-state observable involves Monte Carlo integration over a large number of events. For DIS and hadron colliders this must usually be repeated for each new PDF set, making it impractical to consider many…

High Energy Physics - Phenomenology · Physics 2007-05-23 Tancredi Carli , Gavin P. Salam , Frank Siegert

Alternative Current Optimal Power Flow (AC-OPF) is essential for efficient power system planning and real-time operation but remains an NP-hard and non-convex optimization problem with significant computational challenges. This paper…

Systems and Control · Electrical Eng. & Systems 2025-03-03 Ze Hu , Ziqing Zhu , Linghua Zhu , Xiang Wei , Siqi Bu , Ka Wing Chan

In this paper we focus on the integration of high-performance numerical libraries in ab initio codes and the portability of performance and scalability. The target of our work is FLEUR, a software for electronic structure calculations…

Computational Engineering, Finance, and Science · Computer Science 2016-11-03 Diego Fabregat-Traver , Davor Davidović , Markus Höhnerbach , Edoardo Di Napoli

Emerging deep-learning-based lens library pre-training (LensLib-PT) pipeline offers a new avenue for blind lens aberration correction by training a universal neural network, demonstrating strong capability in handling diverse unknown…

Image and Video Processing · Electrical Eng. & Systems 2025-11-26 Qi Jiang , Xiaolong Qian , Yao Gao , Lei Sun , Kailun Yang , Zhonghua Yi , Wenyong Li , Ming-Hsuan Yang , Luc Van Gool , Kaiwei Wang

A semi-supervised learning framework using the feedforward-designed convolutional neural networks (FF-CNNs) is proposed for image classification in this work. One unique property of FF-CNNs is that no backpropagation is used in model…

Computer Vision and Pattern Recognition · Computer Science 2019-02-07 Yueru Chen , Yijing Yang , Min Zhang , C. -C. Jay Kuo