English
Related papers

Related papers: Release ZERO.0.1 of package RefereeToolbox

200 papers

Regular expression matching is of practical importance due to its widespread use in real-world applications. In practical use, regular expressions are often used with real-world extensions. Accordingly, the matching problem of regular…

Formal Languages and Automata Theory · Computer Science 2025-07-03 Taisei Nogami , Tachio Terauchi

Rational Tracer (Ratracer) is a tool to simplify complicated arithmetic expressions using modular arithmetics and rational function reconstruction, with the main idea of separating the construction of expressions (via tracing, i.e.…

Data Analysis, Statistics and Probability · Physics 2022-11-08 Vitaly Magerya

Context and motivation. Online user feedback is a valuable resource for requirements engineering, but its volume and noise make analysis difficult. Existing tools support individual feedback analysis tasks, but their capabilities are rarely…

Software Engineering · Computer Science 2026-01-19 Manjeshwar Aniruddh Mallya , Alessio Ferrari , Mohammad Amin Zadenoori , Jacek Dąbrowski

We introduce the MuSe-Toolbox - a Python-based open-source toolkit for creating a variety of continuous and discrete emotion gold standards. In a single framework, we unify a wide range of fusion methods and propose the novel Rater Aligned…

Computation and Language · Computer Science 2021-10-22 Lukas Stappen , Lea Schumann , Benjamin Sertolli , Alice Baird , Benjamin Weigel , Erik Cambria , Björn W. Schuller

tabulapdf is an R package that utilizes the Tabula Java library to import tables from PDF files directly into R. This tool can reduce time and effort in data extraction processes in fields like investigative journalism. It allows for…

Information Retrieval · Computer Science 2024-09-24 Mauricio Vargas Sepúlveda , Thomas J. Leeper , Tom Paskhalis , Manuel Aristarán , Jeremy B. Merrill , Mike Tigas

The dependency graph (DG) of a software project offers valuable insights for identifying its key components and has been leveraged in numerous studies. However, there is a lack of reusable tools for DG extraction. Existing tools are either…

Software Engineering · Computer Science 2024-12-06 Vahid Haratian , Pouria Derakhshanfar , Vladimir Kovalenko , Eray Tüzün

Contains various tools for preferential and related logics

Logic · Mathematics 2008-11-21 Karl Schlechta

MultiPrecisionArrays.jl is a Julia package. This package provides data structures and solvers for several variants of iterative refinement. It will become much more useful when half precision (aka Float16) is fully supported in LAPACK/BLAS.…

Numerical Analysis · Mathematics 2025-08-11 C. T. Kelley

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

We introduce QuiverTools, a new software package, available in both a SageMath and Julia version, to study quivers and their moduli spaces of representations. Its key features are the computation of general subdimension vectors, leading to…

Algebraic Geometry · Mathematics 2026-05-27 Pieter Belmans , Hans Franzen , Gianni Petrella

Software testing relates to the process of accessing the functionality of a program against some defined specifications. To ensure conformance, test engineers often generate a set of test cases to validate against the user requirements.…

Software Engineering · Computer Science 2017-02-16 Kamal Z. Zamli , Fakhrud Din , Graham Kendall , Bestoun S. Ahmed

This paper documents the release of the ELKI data mining framework, version 0.7.5. ELKI is an open source (AGPLv3) data mining software written in Java. The focus of ELKI is research in algorithms, with an emphasis on unsupervised methods…

Machine Learning · Computer Science 2019-02-12 Erich Schubert , Arthur Zimek

Automated assessment has been shown to greatly simplify the process of assessing students' programs. However, manual assessment still offers benefits to both students and tutors. We introduce Gradeer, a hybrid assessment tool, which allows…

Computers and Society · Computer Science 2021-02-19 Benjamin Clegg , Maria-Cruz Villa-Uriol , Phil McMinn , Gordon Fraser

A master-worker architecture is presented for obtaining combined experimental results through joint fits of datasets from several experiments. The design of the architecture allows such joint fits to be performed keeping the data separated,…

Data Analysis, Statistics and Probability · Physics 2018-04-10 Eli Ben-Haim , René Brun , Bertrand Echenard , Thomas E. Latham

\texttt{rCOSA} is a software package interfaced to the R language. It implements statistical techniques for clustering objects on subsets of attributes in multivariate data. The main output of COSA is a dissimilarity matrix that one can…

Computation · Statistics 2016-12-02 Maarten M. Kampert , Jacqueline J. Meulman , Jerome H. Friedman

Ensemble learning is a well established body of methods for machine learning to enhance predictive performance by combining multiple algorithms/models. Combinatorial Fusion Analysis (CFA) has provided method and practice for combining…

Machine Learning · Computer Science 2026-03-12 Eric Roginek , Jingyan Xu , D. Frank. Hsu

Training AI models that generalize across tasks and domains has long been among the open problems driving AI research. The emergence of Foundation Models made it easier to obtain expert models for a given task, but the heterogeneity of data…

Machine Learning · Computer Science 2024-05-10 Hongyi Wang , Felipe Maia Polo , Yuekai Sun , Souvik Kundu , Eric Xing , Mikhail Yurochkin

Evaluation plays a critical role in deep learning as a fundamental block of any prediction-based system. However, the vast number of Natural Language Processing (NLP) tasks and the development of various metrics have led to challenges in…

Computation and Language · Computer Science 2024-05-21 Devrim Cavusoglu , Secil Sen , Ulas Sert , Sinan Altinuc

The breakneck evolution of modern programming languages aggravates the development of deductive verification tools, which struggle to timely and fully support all new language features. To address this challenge, we present ByteBack: a…

Programming Languages · Computer Science 2024-10-03 Marco Paganoni , Carlo A. Furia

This paper describes the COMBINE software package used for statistical analyses by the CMS Collaboration. The package, originally designed to perform searches for a Higgs boson and the combined analysis of those searches, has evolved to…

Data Analysis, Statistics and Probability · Physics 2024-11-12 CMS Collaboration