Gianluca Cincotti's research while affiliated with University of Catania and other places
What is this page?
This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
Publications (11)
This paper enriches a pre-existing decision algorithm, which in turn augmented a fragment of Tarski's elementary algebra with one-argument real functions endowed with a continuous first derivative. In its present (still quantifier-free) version, our decidable language embodies the addition of functions and multiplication of functions by scalars; th...
In this paper we address the decision problem for a fragment of unquantified formulae of real analysis, which, besides the operators of Tarski’s theory of reals, includes also strict and non-strict predicates expressing comparison, monotonicity, concavity, and convexity of continuous real functions over possibly unbounded intervals.The decision res...
We propose a simple and natural linear randomized algorithm for the approximate 1-median selection problem in metric spaces. The 1-median of a finite subset S of a metric space is the element of S which minimizes the average distance from the remaining points in S. This problem is extremely important in most applications using clustering of metric...
We present an efficient and practical algorithm for the internal sorting problem. Our algorithm works in-place and, on the average, has a running-time of in the size n of the input. More specifically, the algorithm performs comparisons and element moves on the average. An experimental comparison of our proposed algorithm with the most efficient var...
We address the decision problem for an unquantied fragment of graph theory in presence of constructs related to the reachability notion, both in the undirected and directed case. Besides individual, set, and graph variables, the language studied includes basic boolean set operators and predicates (such as [, , n, 2, , =, and nite enumerations) | ap...
In this paper we consider the decidability of a fragment of analysis theory taking into account continuous and differentiable (with continuous derivative) real functions. In particular, such theory, denoted with RDF, includes predicates treating comparisons, monotonicity, convexity and derivative of functions over bounded closed or unbounded interv...
The decidability of RMCF + , a fragment of analysis including functional predicates for comparisons, monotonicity , strict monotonicity, concavity or convexity, strict concavity or convexity, is reported. Such functional predicates referred to properties of continuous functions over bounded closed or unbounded intervals. The decision algorithm is o...
We present an efficient algorithm for the approximate median selection problem. The algorithm works in-place; it is fast and easy to implement. For a large array it returns, with high probability, a very close estimate of the true median. The running time is linear in the length n of the input. The algorithm performs fewer than \(
\frac{4}
{3}n
\)...
We present a practically efficient algorithm for the internal sorting problem. Our algorithm works in-place and, on the average, has a running-time of O(n log n) in the length n of the input. More specifically, the algorithm performs n log n + 3n comparisons and n log n + 2.65n element moves on the average.
An experimental comparison of our propos...
We present an efficient algorithm for the approximate median selection problem. The algorithm works in-place
We present an efficient randomized algorithm for the approximate k-th selection problem. It works in-place and it is fast and easy to implement. The running time is linear in the length of the input. For a large input set the algorithm returns, with high probability, an element which is very close to the exact k-th element. The quality of the appro...
Citations
... c o m / l o c a t e / i n s worst-case) for the median selection problem was due to Bent and John [1] in 1985. Refer to [3,4] for the detailed research on the Selection problem. The SelectSum q Problem is a fundamenta l problem for many practical applications. ...
Reference: Information Sciences 2013
... Our transfer theorem covers this refined version of QuickMergesort, as well, which had not been analyzed before. 2 The rest of the paper is structured as follows: In Section 2, we summarize previous work on QuickXsort with a focus on contributions to its analysis. Section 3 collects mathematical facts and notations used later. ...
... This new upper bound also allows us to strengthen Iwama and Teruyama's bound for their combined algorithm to n lg n − 1.4112n. [3] were the first to explicitly give a name to the mixture of Quicksort with another sorting method; they proposed QuickHeapsort. However, the concept of QuickXsort (without calling it like that) was first used in UltimateHeapsort by Katajainen [28]. ...
... Chen and Dumitrescu [6] propose RepeatedStep (discussed in detail in §3), a variant of MedianOfMedians that groups 3 or 4 elements (the original uses groups of 5 or more elements) and prove its linearity. Battiato et al. [2] describe Sicilian Median Selection, an algorithm for computing an approximate median that may be considered the transitive closure of RepeatedStep. ...
Reference: Fast Deterministic Selection
![[object Object]](https://i1.rgstatic.net/ii/profile.image/272173499678728-1441902627708_Q64/Sebastiano-Battiato-2.jpg)
... The result is obtained through reduction to the decidability problem for two-level syllogistic, which by itself is NP-complete. Another paper in this context is [19]. In this case the authors address the decision problem for a fragment of real analysis, consisting of unquantified formulae which, in addition to the operators of Tarski's theory of reals, involve predicates of comparison, monotonicity, concavity, and convexity of continuous real functions, over possibly unbounded intervals. ...
Reference: Theory-Specific Automated Reasoning
![[object Object]](https://i1.rgstatic.net/ii/profile.image/272441868025865-1441966611204_Q64/Giovanni-Gallo-2.jpg)
... Median computation is one of the fundamental ways of finding central vertices of the graph, with huge impact on practical research [5,6,25,27,37,41]. A significant amount of research has been devoted to efficient algorithms for finding medians of networks [34,39,40] or approximating the notion [13,14]. We note the seminal work of Indyk [28] which includes 1 + ε approximation to 1-median in time O(n/ε 5 ) in metric spaces -we note that the form of approximation there differs from ours, although the very-high level technique of using random sampling is common. ...
![[object Object]](https://i1.rgstatic.net/ii/profile.image/272253053042694-1441921594134_Q64/Alfredo-Ferro.jpg)
![[object Object]](https://i1.rgstatic.net/ii/profile.image/272250607763461-1441921011181_Q64/Alfredo-Pulvirenti.jpg)
... is not too close to either extreme. In particular, (i, j)-mediocre elements where i = n−1 2 , j = n 2 (and symmetrically exchanged), are medians of S. Previous work on approximate selection (in this sense) includes [5,17]. ...
Reference: Multiparty Selection
... Cantone and Cutello's language does not deal with reachability and acyclicity. Cantone and Cincotti [4] studied the decision problem for the language UGRA (undirected graphs with reachability and acyclicity). Intuitively, UGRA is the same as DGRA, except that it deals with undirected graphs. ...
