English
Related papers

Related papers: A new development cycle of the Statistical Toolkit

200 papers

Software intensive systems play a crucial role in most, if not all, aspects of modern society. As such, both their sustainability and their role in supporting sustainable processes, must be realized by design. To this aim, the architecture…

Software Engineering · Computer Science 2024-10-22 Patricia Lago , Nelly Condori Fernandez , Iffat Fatima , Markus Funke , Ivano Malavolta

Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and techniques developed in this field has grown considerably, as…

Logic in Computer Science · Computer Science 2025-09-17 Marta Kwiatkowska , Gethin Norman , David Parker

National statistical systems are the enterprises tasked with collecting, validating and reporting societal attributes. These data serve many purposes - they allow governments to improve services, economic actors to traverse markets, and…

General Finance · Quantitative Finance 2015-02-27 Derrick M. Anderson , Andrew B. Whitford

Checking the semantic equivalence of operations is an important task in software development. For instance, regression testing is a routine task performed when software systems are developed and improved, and software package managers…

Programming Languages · Computer Science 2019-09-23 Sergio Antoy , Michael Hanus

Characterizing quantum systems through experimental data is critical to applications as diverse as metrology and quantum computing. Analyzing this experimental data in a robust and reproducible manner is made challenging, however, by the…

In this paper we develop a new tool for the comparison of paired data based on a new criterion of stochastic dominance that takes into account the dependence structure of the random variables under comparison. This new procedure provides a…

Statistics Theory · Mathematics 2026-01-27 F. Belzunce , C. Martínez-Riquelme

When developing a software system, a change in one part of the system may lead to unwanted changes in other parts of the system. These affected parts may interfere with system performance, so regression testing is used to deal with these…

Software Engineering · Computer Science 2024-05-13 Mahdi Movahedian Moghaddam

As a rigorous statistical approach, statistical Taylor expansion extends the conventional Taylor expansion by replacing precise input variables with random variables of known distributions and sample counts to compute the mean, the…

Computation · Statistics 2026-05-19 Chengpu Wang

The AMIDST Toolbox is a software for scalable probabilistic machine learning with a spe- cial focus on (massive) streaming data. The toolbox supports a flexible modeling language based on probabilistic graphical models with latent variables…

Several authors, including the American Statistician (ASA), have noted the challenges facing statisticians when attacking large, complex, unstructured problems, as opposed to well-defined textbook problems. Clearly, the standard paradigm of…

Other Statistics · Statistics 2015-11-20 Roger W. Hoerl , Ronald D. Snee

Distribution can be a feature of the software evolution process. In other words, temporally and spatially distributed teams and organizations can develop and work on a software application. The simplest case is to outsource production and…

Software Engineering · Computer Science 2022-05-02 Mohammad Reza Besharati

1.) Spatio-temporal datasets that are difficult to analyze are common in ecological surveys. There are software packages available to analyze these datasets, but many of them require advanced coding skills. There is a growing need for easy…

Methodology · Statistics 2021-10-07 Ethan Lawler , Chris Field , Joanna Mills Flemming

The CMAP (cultural mapping and pattern analysis) visualization toolkit introduced in this paper is an open-source suite for analyzing and visualizing text data - from qualitative fieldnotes and in-depth interview transcripts to historical…

Applications · Statistics 2025-10-21 Corey M. Abramson , Yuhan , Nian

Delivering precise point and distributional forecasts across a spectrum of prediction horizons represents a significant and enduring challenge in the application of time-series forecasting within various industries. Prior research on…

Machine Learning · Computer Science 2024-10-22 Jiawen Zhang , Xumeng Wen , Zhenwei Zhang , Shun Zheng , Jia Li , Jiang Bian

We consider linear models with scalar responses and covariates from a separable Hilbert space. The aim is to detect change points in the error distribution, based on sequential residual empirical distribution functions. Expansions for those…

Statistics Theory · Mathematics 2024-11-08 Natalie Neumeyer , Leonie Selk

The univariate quantile-quantile (Q-Q) plot is a well-known graphical tool for examining whether two data sets are generated from the same distribution or not. It is also used to determine how well a specified probability distribution fits…

Statistics Theory · Mathematics 2014-07-07 Subhra Sankar Dhar , Biman Chakraborty , Probal Chaudhuri

A key aspect of the design of evolutionary and swarm intelligence algorithms is studying their performance. Statistical comparisons are also a crucial part which allows for reliable conclusions to be drawn. In the present paper we gather…

Neural and Evolutionary Computing · Computer Science 2020-02-26 J. Carrasco , S. García , M. M. Rueda , S. Das , F. Herrera

In distributional or average-case analysis, the goal is to design an algorithm with good-on-average performance with respect to a specific probability distribution. Distributional analysis can be useful for the study of general-purpose…

Data Structures and Algorithms · Computer Science 2020-07-28 Tim Roughgarden

Microservices bring various benefits to software systems. They also bring decentralization and lose coupling across self-contained system parts. Since these systems likely evolve in a decentralized manner, they need to be monitored to…

Software Engineering · Computer Science 2022-07-07 Abdullah Al Maruf , Alexander Bakhtin , Tomas Cerny , Davide Taibi

In this paper we explore the challenges of automating experiments in data science. We propose an extensible experiment model as a foundation for integration of different open source tools for running research experiments. We implement our…

Machine Learning · Computer Science 2022-09-21 Anton Khritankov , Nikita Pershin , Nikita Ukhov , Artem Ukhov