English
Related papers

Related papers: PTArcade

200 papers

TOPCAT is a desktop application for interactive analysis of tabular data, especially source catalogues. Along with its command-line counterpart STILTS, it has been under more or less continuous development for the past 15 years and is now…

Instrumentation and Methods for Astrophysics · Physics 2017-11-07 Mark Taylor

This paper reports on Matlab Channel Access (MCA) Toolbox Matlab [1] interface to Epics Channel Access (CA) client library. We are developing the toolbox for SPEAR3 accelerator controls but it is of general use for accelerator and…

Accelerator Physics · Physics 2007-05-23 Andrei Terebilo

This document introduces the Graph Signal Processing Toolbox (GSPBox) a framework that can be used to tackle graph related problems with a signal processing approach. It explains the structure and the organization of this software. It also…

Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are required by, e.g., the Federal Aviation Administration and…

Logic in Computer Science · Computer Science 2025-08-05 Stefano M. Nicoletti , Milan Lopuhaä-Zwakenberg , E. Moritz Hahn , Mariëlle Stoelinga

This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values,…

This manual describes a set of utilities developed for Lattice QCD computations. They are collectively called QCDUtils. They comprise a set of Python programs each of them with a specific function: download gauge ensembles from the public…

High Energy Physics - Lattice · Physics 2012-02-23 Massimo Di Pierro

Topological Data Analysis is a recent and fast growing field providing a set of new topological and geometric tools to infer relevant features for possibly complex data. This paper is a brief introduction, through a few selected topics, to…

Statistics Theory · Mathematics 2021-02-26 Frédéric Chazal , Bertrand Michel

This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets. It is implemented as a collection of independent,…

Logic in Computer Science · Computer Science 2015-08-21 Eike Best , Uli Schlachter

Recent advances have shown how decision trees are apt data structures for concisely representing strategies (or controllers) satisfying various objectives. Moreover, they also make the strategy more explainable. The recent tool dtControl…

Artificial Intelligence · Computer Science 2021-05-05 Pranav Ashok , Mathias Jackermeier , Jan Křetínský , Christoph Weinhuber , Maximilian Weininger , Mayank Yadav

Accurately determining resonance frequencies and quality factors (Q) is crucial in accelerator physics and radiofrequency engineering, as these factors have direct impacts on system design, operational stability, and research results. The…

Accelerator Physics · Physics 2025-10-08 Kerem Semiz

PyPartMC is a Pythonic interface to PartMC, a stochastic, particle-resolved aerosol model implemented in Fortran. Both PyPartMC and PartMC are free, libre, and open-source. PyPartMC reduces the number of steps and mitigates the effort…

Mathematical Software · Computer Science 2024-01-17 Zachary D'Aquino , Sylwester Arabas , Jeffrey Curtis , Akshunna Vaishnav , Nicole Riemer , Matthew West

The Information Dynamics Toolkit xl (IDTxl) is a comprehensive software package for efficient inference of networks and their node dynamics from multivariate time series data using information theory. IDTxl provides functionality to…

The aim of this paper is to give a presentation of the Python toolbox YALTAPy dedicated to the stability study of standard and fractional delay systems as well as its online version YALTAPy_Online. Both toolboxes are derived from YALTA…

Optimization and Control · Mathematics 2022-12-13 Hugo Cavalera , Jayvir Raj , Guilherme Mazanti , Catherine Bonnet

Monte Carlo simulation is an essential tool in emission tomography that can assist in the design of new medical imaging devices, the optimization of acquisition protocols, and the development or assessment of image reconstruction algorithms…

We cast new light on the existing models of one-way deterministic topological automata by introducing a fresh but general, convenient model, in which, as each input symbol is read, an interior system of an automaton, known as a…

Formal Languages and Automata Theory · Computer Science 2021-04-19 Tomoyuki Yamakami

The ability to conduct reproducible research in Stata is often limited by the lack of version control for community-contributed packages. This article introduces the require command, a tool designed to ensure Stata package dependencies are…

Econometrics · Economics 2024-04-12 Sergio Correia , Matthew P. Seay

Randomized benchmarking techniques have been an essential tool for assessing the performance of contemporary quantum devices. The goal of this tutorial is to provide a pedagogical, self-contained, introduction to randomized benchmarking.…

Quantum Physics · Physics 2025-07-23 Ana Silva , Eliska Greplova

We introduce the syntactic scaffold, an approach to incorporating syntactic information into semantic tasks. Syntactic scaffolds avoid expensive syntactic processing at runtime, only making use of a treebank during training, through a…

Computation and Language · Computer Science 2018-09-03 Swabha Swayamdipta , Sam Thomson , Kenton Lee , Luke Zettlemoyer , Chris Dyer , Noah A. Smith

Fault Tree Analysis (FTA) is a well-established method in failure analysis and is widely used in safety and reliability assessments. While FTA tools enable users to manage complex analyses effectively, they can sometimes obscure the…

Systems and Control · Electrical Eng. & Systems 2025-07-09 Hamid Jahanian

Automated machine learning makes it easier for data scientists to develop pipelines by searching over possible choices for hyperparameters, algorithms, and even pipeline topologies. Unfortunately, the syntax for automated machine learning…

Machine Learning · Computer Science 2020-07-07 Guillaume Baudart , Martin Hirzel , Kiran Kate , Parikshit Ram , Avraham Shinnar