English
Related papers

Related papers: The ArborX library: version 2.0

200 papers

'digHolo' is a numerical library for processing batches of input off-axis digital holography interferograms and outputting the corresponding reconstructed fields. Optionally the library can perform a modal decomposition of the reconstructed…

Image and Video Processing · Electrical Eng. & Systems 2022-04-06 Joel Carpenter

When solving partial differential equations using boundary integral equation methods, accurate evaluation of singular and nearly singular integrals in layer potentials is crucial. A recent scheme for this is quadrature by expansion (QBX),…

Numerical Analysis · Mathematics 2020-02-26 Ludvig af Klinteberg , Anna-Karin Tornberg

Progress in several areas of computer science has been enabled by comfortable and efficient means of experimentation, clear interfaces, and interchangable components, for example using OpenCV for computer vision or ROS for robotics. We…

The paper describes an extensible model for implementing a user-centered, customizable interface to a library's collection of information resources. This model, called MyLibrary, integrates the principles of librarianship (collection,…

Digital Libraries · Computer Science 2007-05-23 Eric Lease Morgan

We present the ALPS (Algorithms and Libraries for Physics Simulations) project, an international open source software project to develop libraries and application programs for the simulation of strongly correlated quantum lattice models…

Many physical problems involve spatial and temporal inhomogeneities that require a very fine discretization in order to be accurately simulated. Using an adaptive mesh, a high level of resolution is used in the appropriate areas while…

Numerical Analysis · Mathematics 2017-09-25 Florence Drui , Alexandru Fikl , Pierre Kestener , Samuel Kokh , Adam Larat , Vincent Le Chenadec , Marc Massot

Efficient Neural Architecture Search methods based on weight sharing have shown good promise in democratizing Neural Architecture Search for computer vision models. There is, however, an ongoing debate whether these efficient methods are…

Machine Learning · Computer Science 2020-08-17 Gabriel Bender , Hanxiao Liu , Bo Chen , Grace Chu , Shuyang Cheng , Pieter-Jan Kindermans , Quoc Le

This paper describes TOBY, a visualization tool that helps a user explore the contents of an academic survey paper. The visualization consists of four components: a hierarchical view of taxonomic data in the survey, a document similarity…

Frouros is an open-source Python library capable of detecting drift in machine learning systems. It provides a combination of classical and more recent algorithms for drift detection: both concept and data drift. We have designed it with…

Machine Learning · Computer Science 2023-07-25 Jaime Céspedes-Sisniega , Álvaro López-García

We propose Hercules, a parallel tree-based technique for exact similarity search on massive disk-based data series collections. We present novel index construction and query answering algorithms that leverage different summarization…

Databases · Computer Science 2022-12-29 Karima Echihabi , Panagiota Fatourou , Kostas Zoumpatianos , Themis Palpanas , Houda Benbrahim

The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling tools, specifications, and proof scripts. High quality…

Software Engineering · Computer Science 2014-06-10 Jared Davis , Matt Kaufmann

A genome-scale reconstruction of human metabolism, Recon 2, is available but no interface exists to interactively visualise its content integrated with omics data and simulation results. We manually drew a comprehensive map, ReconMap 2.0,…

Applications such as Google Docs, Office 365, and Dropbox show a growing trend towards incorporating multi-user live collaboration functionality into web applications. These collaborative applications share a need to efficiently express…

Databases · Computer Science 2013-03-20 Oliver Kennedy , Lukasz Ziarek

We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a…

Artificial Intelligence · Computer Science 2016-03-04 Zoltán Kovács , Csilla Sólyom-Gecse

MOCVXPY is an open-source Python library for convex vector optimization. It is built on top of CVXPY, a domain-specific language for single-objective convex optimization. MOCVXPY enables practitioners to describe their convex vector…

Optimization and Control · Mathematics 2025-10-27 Ludovic Salomon , Daniel Dörfler , Andreas Löhne

With the ongoing efforts to empower people with mobility impairments and the increase in technological acceptance by the general public, assistive technologies, such as collaborative robotic arms, are gaining popularity. Yet, their…

Human-Computer Interaction · Computer Science 2024-05-20 Max Pascher , Felix Ferdinand Goldau , Kirill Kronhardt , Udo Frese , Jens Gerken

As high-dimensional vector data increasingly surpasses the processing capabilities of traditional database management systems, Vector Databases (VDBs) have emerged and become tightly integrated with large language models, being widely…

The deep learning revolution has greatly been accelerated by the 'hardware lottery': Recent advances in modern hardware accelerators and compilers paved the way for large-scale batch gradient optimization. Evolutionary optimization, on the…

Neural and Evolutionary Computing · Computer Science 2022-12-09 Robert Tjarko Lange

Popular navigation stacks implemented on top of open-source frameworks such as ROS(Robot Operating System) and ROS2 represent the robot workspace using a discretized 2D occupancy grid. This method, while requiring less computation,…

Robotics · Computer Science 2021-11-16 Vishwas N. S , Srikrishna B. R , Sudarshan T. S. B