English
Related papers

Related papers: Lightmorphic Signatures Analysis Toolkit

200 papers

We introduce YATO, an open-source, easy-to-use toolkit for text analysis with deep learning. Different from existing heavily engineered toolkits and platforms, YATO is lightweight and user-friendly for researchers from cross-disciplinary…

Computation and Language · Computer Science 2023-10-19 Zeqiang Wang , Yile Wang , Jiageng Wu , Zhiyang Teng , Jie Yang

In our previous work, we demonstrated that it is feasible to perform analysis on mutation signature data without the need for downloads or installations and analyze individual patient data at scale without compromising privacy. Building on…

This article introduces a Synthetics, Aggregation, and Test inversion (SAT) approach for merging diverse and potentially dependent uncertainty sets into a single unified set. The procedure is data-light, relying only on initial sets and…

Methodology · Statistics 2025-10-14 Shenghao Qin , Jianliang He , Qi Kuang , Bowen Gang , Yin Xia

A wide range of astrophysical sources exhibit extreme and rapidly varying electromagnetic emission indicative of efficient non-thermal particle acceleration. Understanding these sources often involves comparing data with a broad range of…

High Energy Astrophysical Phenomena · Physics 2024-11-27 Zachary Davis , Jesús M. Rueda-Becerril , Dimitrios Giannios

xBIT is a tool for performing parameter scans in beyond the Standard Model theories. It's written in Python and fully open source. The main purpose of xBIT is to provide an easy to use tool to help phenomenologists with their daily task:…

High Energy Physics - Phenomenology · Physics 2019-06-11 Florian Staub

Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theoretical and a practical point of view. In recent years, there…

Artificial Intelligence · Computer Science 2007-05-23 Javier Larrosa , Federico Heras , Simon de Givry

The Matlab toolbox SciXMiner is designed for the visualization and analysis of time series and features with a special focus to classification problems. It was developed at the Institute of Applied Computer Science of the Karlsruhe…

Tools for computing detailed optically thick spectral line profiles out of local thermodynamic equilibrium have always been focused on speed, due to the large computational effort involved. With the Lightweaver framework, we have produced a…

Instrumentation and Methods for Astrophysics · Physics 2021-08-18 Christopher M J Osborne , Ivan Milić

We present an open source software package SpectroLab a Matlab-based tool developed in 2018 for the analysis of spectroscopic data. In this package, there are tools for derivative analysis, stacked energy contours, stacked plots for theory,…

Materials Science · Physics 2022-03-15 Christopher Sims

Predictive systems, in particular machine learning algorithms, can take important, and sometimes legally binding, decisions about our everyday life. In most cases, however, these systems and decisions are neither regulated nor certified.…

Machine Learning · Computer Science 2022-09-09 Kacper Sokol , Alexander Hepburn , Rafael Poyiadzi , Matthew Clifford , Raul Santos-Rodriguez , Peter Flach

In this paper we present our open-source neural machine translation (NMT) toolkit called "Yet Another Neural Machine Translation Toolkit" abbreviated as YANMTT which is built on top of the Transformers library. Despite the growing…

Computation and Language · Computer Science 2021-08-26 Raj Dabre , Eiichiro Sumita

Generating diverse solutions to the Boolean Satisfiability Problem (SAT) is a hard computational problem with practical applications for testing and functional verification of software and hardware designs. We explore the way to generate…

Artificial Intelligence · Computer Science 2022-12-02 Karlis Freivalds , Sergejs Kozlovics

To check the satisfiability of (non-linear) real arithmetic formulas, modern satisfiability modulo theories (SMT) solving algorithms like NLSAT depend heavily on single cell construction, the task of generalizing a sample point to a…

Symbolic Computation · Computer Science 2025-12-17 Valentin Promies , Jasper Nalbach , Erika Ábrahám , Paul Wagner

This paper describes XNMT, the eXtensible Neural Machine Translation toolkit. XNMT distin- guishes itself from other open-source NMT toolkits by its focus on modular code design, with the purpose of enabling fast iteration in research and…

Progress in the field of machine learning has been fueled by the introduction of benchmark datasets pushing the limits of existing algorithms. Enabling the design of datasets to test specific properties and failure modes of learning…

Enabling robots to understand the world in terms of objects is a critical building block towards higher level autonomy. The success of foundation models in vision has created the ability to segment and identify nearly all objects in the…

Robotics · Computer Science 2024-04-09 Kurran Singh , Tim Magoun , John J. Leonard

The MAterials Simulation Toolkit (MAST) is a workflow manager and post-processing tool for ab initio defect and diffusion workflows. MAST codifies research knowledge and best practices for such workflows, and allows for the generation and…

Materials Science · Physics 2016-10-04 Tam Mayeshiba , Henry Wu , Thomas Angsten , Amy Kaczmarowski , Zhewen Song , Glen Jenness , Wei Xie , Dane Morgan

Static analysis is effective for discovering software vulnerabilities but notoriously suffers from incomplete source--sink specifications and excessive false positives (FPs). We present \textsc{AdaTaint}, an LLM-driven taint analysis…

Software Engineering · Computer Science 2025-11-07 Shiyin Lin

Getting good performance out of numerical equation solvers requires that the user has provided stable and efficient functions representing their model. However, users should not be trusted to write good code. In this manuscript we describe…

Mathematical Software · Computer Science 2022-02-10 Yingbo Ma , Shashi Gowda , Ranjan Anantharaman , Chris Laughman , Viral Shah , Chris Rackauckas

While machine learning offers diverse techniques suitable for exploring various medical research questions, a cohesive synergistic framework can facilitate the integration and understanding of new approaches within unified model development…

Machine Learning · Computer Science 2025-01-09 Ramtin Zargari Marandi , Anne Svane Frahm , Jens Lundgren , Daniel Dawson Murray , Maja Milojevic