English
Related papers

Related papers: DREAM, a program for arbitrary-precision computati…

200 papers

Retrieval-Augmented Generation (RAG) systems are increasingly deployed on large-scale document collections, often comprising millions of documents and tens of millions of text chunks. In industrial-scale retrieval platforms, scalability is…

Information Retrieval · Computer Science 2026-01-08 Dario Maio , Stefano Rizzi

The ability to timely process significant amounts of continuously updated spatial data is mandatory for an increasing number of applications. Parallelism enables such applications to face this data-intensive challenge and allows the devised…

Databases · Computer Science 2014-11-13 Francesco Lettich , Salvatore Orlando , Claudio Silvestri , Christian S. Jensen

Dynamic programming (DP) is an algorithmic design paradigm for the efficient, exact solution of otherwise intractable, combinatorial problems. However, DP algorithm design is often presented in an ad-hoc manner. It is sometimes difficult to…

Data Structures and Algorithms · Computer Science 2024-05-17 Max A. Little , Xi He , Ugur Kayas

The rising interest in leveraging higher-order interactions present in complex systems has led to a surge in more expressive models exploiting higher-order structures in the data, especially in topological deep learning (TDL), which designs…

Optical flow computation is essential in the early stages of the video processing pipeline. This paper focuses on a less explored problem in this area, the 360$^\circ$ optical flow estimation using deep neural networks to support…

Computer Vision and Pattern Recognition · Computer Science 2022-08-02 Yiheng Li , Connelly Barnes , Kun Huang , Fang-Lue Zhang

In this work, we address a foundational question in the theoretical analysis of the Deep Ritz Method (DRM) under the over-parameteriztion regime: Given a target precision level, how can one determine the appropriate number of training…

Numerical Analysis · Mathematics 2024-07-15 Yuling Jiao , Ruoxuan Li , Peiying Wu , Jerry Zhijian Yang , Pingwen Zhang

Recent image restoration methods have produced significant advancements using deep learning. However, existing methods tend to treat the whole image as a single entity, failing to account for the distinct objects in the image that exhibit…

Computer Vision and Pattern Recognition · Computer Science 2023-07-04 Jiaxi Jiang , Christian Holz

We introduce a new algorithm for the calculation of multidimensional optical depths in approximate radiative transport schemes, equally applicable to neutrinos and photons. Motivated by (but not limited to) neutrino transport in…

High Energy Astrophysical Phenomena · Physics 2014-09-05 A. Perego , E. Gafton , R. Cabezon , S. Rosswog , M. Liebendoerfer

Retrieval-augmented generation (RAG) is a powerful technique that enhances downstream task execution by retrieving additional information, such as knowledge, skills, and tools from external sources. Graph, by its intrinsic "nodes connected…

Lie symmetry analysis provides a general theoretical framework for investigating ordinary and partial differential equations. The theory is completely algorithmic even if it usually involves lengthy computations. For this reason, many…

Mathematical Software · Computer Science 2021-05-26 Francesco Oliveri

Post-disaster road assessment (PDRA) is essential for emergency response, enabling rapid evaluation of infrastructure conditions and efficient allocation of resources. Although drones provide a flexible and effective tool for PDRA, routing…

Machine Learning · Computer Science 2025-12-15 Huatian Gong , Jiuh-Biing Sheu , Zheng Wang , Xiaoguang Yang , Ran Yan

Retrieval-augmented generation (RAG) is critical for reducing hallucinations and incorporating external knowledge into Large Language Models (LLMs). However, advanced RAG systems face a trade-off between performance and efficiency.…

Information Retrieval · Computer Science 2025-08-05 Shengbo Gong , Xianfeng Tang , Carl Yang , Wei jin

We use dimensional recurrence relations and analyticity to calculate four-loop propagator-type master integrals in the heavy-quark effective theory. Compared to previous applications of the DRA method, we apply a new technique of fixing…

High Energy Physics - Phenomenology · Physics 2023-03-01 Roman N. Lee , Andrey F. Pikelner

Enterprise databases usually contain large and complex schemas. Authoring complete schema mapping queries in this case requires deep knowledge about the source and target schemas and is thereby very challenging to programmers. Sample-driven…

Databases · Computer Science 2018-12-20 Zhongjun Jin , Christopher Baik , Michael Cafarella , H. V. Jagadish , Yuze Lou

Within recent years, considerable progress has been made regarding high-performance solvers for Partial Differential Equations (PDEs), yielding potential gains in efficiency compared to industry standard tools. However, the latter largely…

Numerical Analysis · Mathematics 2024-02-20 Patrick Zimbrod , Michael Fleck , Johannes Schilp

Latent variable models represent a useful tool for the analysis of complex data when the constructs of interest are not observable. A problem related to these models is that the integrals involved in the likelihood function cannot be solved…

Methodology · Statistics 2015-03-05 Silvia Bianconcini , Silvia Cagnone , Dimitris Rizopoulos

Implicit Neural Representations (INRs) have emerged as promising surrogates for large 3D scientific simulations due to their ability to continuously model spatial and conditional fields, yet they face a critical fidelity-speed dilemma: deep…

Machine Learning · Computer Science 2026-03-25 Tianyu Xiong , Skylar Wurster , Han-Wei Shen

This paper presents differential-algebraic refinement logic (dARL) with which one can deductively verify both properties and relations of differential-algebraic programs (DAPs) that extend hybrid dynamical systems with…

Logic in Computer Science · Computer Science 2026-05-12 Jonathan Hellwig , Long Qian , André Platzer

Dimensionality Reduction (DR) is widely used for visualizing high-dimensional data, often with the goal of revealing expected cluster structure. However, such a structure may not always appear in the projections. Existing DR quality metrics…

Machine Learning · Computer Science 2025-09-05 Diede P. M. van der Hoorn , Alessio Arleo , Fernando V. Paulovich

Deep neural networks with large model sizes achieve state-of-the-art results for tasks in computer vision (CV) and natural language processing (NLP). However, these large-scale models are too compute- or memory-intensive for…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-10-29 Yang Hu , Connor Imes , Xuanang Zhao , Souvik Kundu , Peter A. Beerel , Stephen P. Crago , John Paul N. Walters