-
Mammographic density: Comparison of visual assessment with fully automatic calculation on a multivendor dataset
Authors:
Daniela Sacchetto,
Lia Morra,
Silvano Agliozzo,
Daniela Bernardi,
Tomas Bjorklund,
Beniamino Brancato,
Patrizia Bravetti,
Luca A. Carbonaro,
Loredana Correale,
Carmen Fantò,
Elisabetta Favettini,
Laura Martincich,
Luisella Milanesio,
Sara Mombelloni,
Francesco Monetti,
Doralba Morrone,
Marco Pellegrini,
Barbara Pesce,
Antonella Petrillo,
Gianni Saguatti,
Carmen Stevanin,
Rubina M. Trimboli,
Paola Tuttobene,
Marvi Valentini,
Vincenzo Marra
, et al. (3 additional authors not shown)
Abstract:
Objectives: To compare breast density (BD) assessment provided by an automated BD evaluator (ABDE) with that provided by a panel of experienced breast radiologists, on a multivendor dataset.
Methods: Twenty-one radiologists assessed 613 screening/diagnostic digital mammograms from 9 centers and 6 different vendors, using the BI-RADS a, b, c, and d density classification. The same mammograms were…
▽ More
Objectives: To compare breast density (BD) assessment provided by an automated BD evaluator (ABDE) with that provided by a panel of experienced breast radiologists, on a multivendor dataset.
Methods: Twenty-one radiologists assessed 613 screening/diagnostic digital mammograms from 9 centers and 6 different vendors, using the BI-RADS a, b, c, and d density classification. The same mammograms were also evaluated by an ABDE providing the ratio between fibroglandular and total breast area on a continuous scale and, automatically, the BI-RADS score. Panel majority report (PMR) was used as reference standard. Agreement (k) and accuracy (proportion of cases correctly classified) were calculated for binary (BI-RADS a-b versus c-d) and 4-class classification.
Results: While the agreement of individual radiologists with PMR ranged from k=0.483 to k=0.885, the ABDE correctly classified 563/613 mammograms (92%). A substantial agreement for binary classification was found for individual reader pairs (k=0.620, standard deviation [SD]=0.140), individual versus PMR (k=0.736, SD=0.117), and individual versus ABDE (k=0.674, SD=0.095). Agreement between ABDE and PMR was almost perfect (k=0.831).
Conclusions: The ABDE showed an almost perfect agreement with a 21-radiologist panel in binary BD classification on a multivendor dataset, earning a chance as a reproducible alternative to visual evaluation.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
The evolving perception of controversial movies
Authors:
Luca Amendola,
Valerio Marra,
Miguel Quartin
Abstract:
Polarization of opinion is an important feature of public debate on political, social and cultural topics. The availability of large internet databases of users' ratings has permitted quantitative analysis of polarization trends-for instance, previous studies have included analyses of controversial topics on Wikipedia, as well as the relationship between online reviews and a product's perceived qu…
▽ More
Polarization of opinion is an important feature of public debate on political, social and cultural topics. The availability of large internet databases of users' ratings has permitted quantitative analysis of polarization trends-for instance, previous studies have included analyses of controversial topics on Wikipedia, as well as the relationship between online reviews and a product's perceived quality. Here, we study the dynamics of polarization in the movie ratings collected by the Internet Movie database (IMDb) website in relation to films produced over the period 1915-2015. We define two statistical indexes, dubbed hard and soft controversiality, which quantify polarized and uniform rating distributions, respectively. We find that controversy decreases with popularity and that hard controversy is relatively rare. Our findings also suggest that more recent movies are more controversial than older ones and we detect a trend of "convergence to the mainstream" with a time scale of roughly 40-50 years. This phenomenon appears qualitatively different from trends observed in both online reviews of commercial products and in political debate, and we speculate that it may be connected with the absence of long-lived "echo chambers" in the cultural domain. This hypothesis can and should be tested by extending our analysis to other forms of cultural expression and/or to databases with different demographic user bases.
△ Less
Submitted 8 December, 2015;
originally announced December 2015.
-
An Analysis of Ruspini Partitions in Gödel Logic
Authors:
Pietro Codara,
Ottavio M. D'Antona,
Vincenzo Marra
Abstract:
By a Ruspini partition we mean a finite family of fuzzy sets $\{f_1, \ldots, f_n\}$, $f_i : [0,1] \to [0,1]$, such that $\sum_{i=1}^n f_i(x)=1$ for all $x \in [0,1]$, where $[0,1]$ denotes the real unit interval. We analyze such partitions in the language of Gödel logic. Our first main result identifies the precise degree to which the Ruspini condition is expressible in this language, and yields i…
▽ More
By a Ruspini partition we mean a finite family of fuzzy sets $\{f_1, \ldots, f_n\}$, $f_i : [0,1] \to [0,1]$, such that $\sum_{i=1}^n f_i(x)=1$ for all $x \in [0,1]$, where $[0,1]$ denotes the real unit interval. We analyze such partitions in the language of Gödel logic. Our first main result identifies the precise degree to which the Ruspini condition is expressible in this language, and yields inter alia a constructive procedure to axiomatize a given Ruspini partition by a theory in Gödel logic. Our second main result extends this analysis to Ruspini partitions fulfilling the natural additional condition that each $f_i$ has at most one left and one right neighbour, meaning that $\min_{x \in [0,1]}{\{f_{i_1}(x),f_{i_2}(x),f_{i_3}(x)\}}=0$ holds for $i_1\neq i_2\neq i_3$.
△ Less
Submitted 21 January, 2014;
originally announced January 2014.
-
Valuations in Gödel Logic, and the Euler Characteristic
Authors:
Pietro Codara,
Ottavio M. D'Antona,
Vincenzo Marra
Abstract:
Using the lattice-theoretic version of the Euler characteristic introduced by V. Klee and G.-C. Rota in the Sixties, we define the Euler characteristic of a formula in Gödel logic (over finitely or infinitely many truth-values). We then prove that the information encoded by the Euler characteristic is classical, i.e. coincides with the analogous notion defined over Boolean logic. Building on this,…
▽ More
Using the lattice-theoretic version of the Euler characteristic introduced by V. Klee and G.-C. Rota in the Sixties, we define the Euler characteristic of a formula in Gödel logic (over finitely or infinitely many truth-values). We then prove that the information encoded by the Euler characteristic is classical, i.e. coincides with the analogous notion defined over Boolean logic. Building on this, we define many-valued versions of the Euler characteristic of a formula $\varphi$, and prove that they indeed provide information about the logical status of $\varphi$ in Gödel logic. Specifically, our first main result shows that the many-valued Euler characteristics are invariants that separate many-valued tautologies from non-tautologies. Further, we offer an initial investigation of the linear structure of these generalised characteristics. Our second main result is that the collection of many-valued characteristics forms a linearly independent set in the real vector space of all valuations of Gödel logic over finitely many propositional variables.
△ Less
Submitted 21 January, 2014;
originally announced January 2014.
-
Two principles in many-valued logic
Authors:
Stefano Aguzzoli,
Vincenzo Marra
Abstract:
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false according to the other. By a real-valued logic we mean a many-valued logic in the sense of Petr Hájek that is complete with respect to a subalgebra of t…
▽ More
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false according to the other. By a real-valued logic we mean a many-valued logic in the sense of Petr Hájek that is complete with respect to a subalgebra of truth values of a BL-algebra given by a continuous triangular norm on [0, 1]. Abstracting the two foregoing properties from classical logic leads us to two principles that a real-valued logic may or may not satisfy. We prove that the two principles are sufficient to characterise Łukasiewicz and Gödel logic, to within extensions. We also prove that, under the additional assumption that the set of truth values be closed in the Euclidean topology of [0,1], the two principles also afford a characterisation of Product logic.
△ Less
Submitted 9 October, 2013;
originally announced October 2013.
-
The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic
Authors:
Pietro Codara,
Ottavio M. D'Antona,
Vincenzo Marra
Abstract:
Continuing to pursue a research direction that we already explored in connection with Gödel-Dummett logic and Ruspini partitions, we show here that Łukasiewicz logic is able to express the notion of pseudo-triangular basis of fuzzy sets, a mild weakening of the standard notion of triangular basis. En route to our main result we obtain an elementary, logic-independent characterisation of triangular…
▽ More
Continuing to pursue a research direction that we already explored in connection with Gödel-Dummett logic and Ruspini partitions, we show here that Łukasiewicz logic is able to express the notion of pseudo-triangular basis of fuzzy sets, a mild weakening of the standard notion of triangular basis. En route to our main result we obtain an elementary, logic-independent characterisation of triangular bases of fuzzy sets.
△ Less
Submitted 31 October, 2012;
originally announced October 2012.
