Related papers: Analysis on Metric Spaces
Recent research on formal verification for Collective Adaptive Systems (CAS) pushed advancements in spatial and spatio-temporal model checking, and as a side result provided novel image analysis methodologies, rooted in logical methods for…
This document details the planning phase of a Systematic Mapping Study (SMS). Our goal is to identify the software patterns used during the RE phase, in real-world setting (i.e., in real projects), not in academia (toy projects) and, to…
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of…
We present the "Annotation and Benchmarking on Understanding and Transparency of Machine Learning Lifecycles" (ABOUT ML) project as an initiative to operationalize ML transparency and work towards a standard ML documentation practice. We…
Measurement system analysis aims to quantify the variability in data attributable to the measurement system and evaluate its contribution to overall data variability. This paper conducts a rigorous theoretical investigation of the…
Similarity search is an important problem in information retrieval. This similarity is based on a distance. Symbolic representation of time series has attracted many researchers recently, since it reduces the dimensionality of these high…
The Alpha Magnetic Spectrometer (AMS) is a detector designed to search for antimatter in the cosmic rays. The physics results from the test flight in June 1998 are analyzed and published. This paper reviews the results in the five published…
In many applications, such as physiology and finance, large time series data bases are to be analyzed requiring the computation of linear, nonlinear and other measures. Such measures have been developed and implemented in commercial and…
Objective: To present an overview on the current state of the art concerning metrics-based quality evaluation of software components and component assemblies. Method: Comparison of several approaches available in the literature, using a…
These proceedings contain the papers that were presented at the 7th Workshop on Models for Formal Analysis of Real Systems (MARS 2026), which took place on 12 April 2026 in Turin, Italy, as a satellite event of the 29th International Joint…
This is a survey written for the Proceedings of the AMS Summer Institute in Algebraic Geometry held in Seattle in 2005. Topics discussed in the survey include the ample and the effective cone of the moduli space of curves, Kodaira…
Data analytics and data science play a significant role in nowadays society. In the context of Smart Grids (SG), the collection of vast amounts of data has seen the emergence of a plethora of data analysis approaches. In this paper, we…
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these…
This note presents an overview of current and potential future applications of machine-learning-based techniques in the study of the top quark. The research community has developed a diverse set of ideas and tools, including algorithms for…
This report on the topics in the title was written for a lecture series at the Southwestern Center for Arithmetic Algebraic Geometry at the University of Arizona.It may serve as an introduction to certain conjectural relations between…
In this paper we make some observations concerning m-metric spaces and point out some discrepancies in the proofs found in the literature. To remedy this, we propose a new topological construction and prove that it is in fact a…
The aim of this paper is to review the state-of-the-art of recent research concerning the numerical index of Banach spaces, by presenting some of the results found in the last years and proposing a number of related open problems.
This article is an introduction to newly discovered relations between volumes of moduli spaces of Riemann surfaces or super Riemann surfaces, simple models of gravity or supergravity in two dimensions, and random matrix ensembles. (The…
Lecture notes written for a one-semester course in mathematical relativity aimed at mathematics and physics students. Not meant as an introduction to general relativity, but rather as a complementary, more advanced text.
This paper presents a scaling study on the planning phase of a multi-energy system (MES), which is becoming increasingly prominent in the energy sector. The research aims to investigate the interactions and challenges associated with…