-
Online Handbook of Argumentation for AI: Volume 4
Authors:
Lars Bengel,
Lydia Blümel,
Elfia Bezou-Vrakatseli,
Federico Castagna,
Giulia D'Agostino,
Isabelle Kuhlmann,
Jack Mumford,
Daphne Odekerken,
Fabrizio Russo,
Stefan Sarkadi,
Madeleine Waller,
Andreas Xydis
Abstract:
This volume contains revised versions of the papers selected for the fourth volume of the Online Handbook of Argumentation for AI (OHAAI). Previously, formal theories of argument and argument interaction have been proposed and studied, and this has led to the more recent study of computational models of argument. Argumentation, as a field within artificial intelligence (AI), is highly relevant for…
▽ More
This volume contains revised versions of the papers selected for the fourth volume of the Online Handbook of Argumentation for AI (OHAAI). Previously, formal theories of argument and argument interaction have been proposed and studied, and this has led to the more recent study of computational models of argument. Argumentation, as a field within artificial intelligence (AI), is highly relevant for researchers interested in symbolic representations of knowledge and defeasible reasoning. The purpose of this handbook is to provide an open access and curated anthology for the argumentation research community. OHAAI is designed to serve as a research hub to keep track of the latest and upcoming PhD-driven research on the theory and application of argumentation in all areas related to AI.
△ Less
Submitted 20 December, 2023;
originally announced January 2024.
-
Online Handbook of Argumentation for AI: Volume 3
Authors:
Lars Bengel,
Elfia Bezou-Vrakatseli,
Lydia Blümel,
Federico Castagna,
Giulia D'Agostino,
Daphne Odekerken,
Minal Suresh Patil,
Jordan Robinson,
Hao Wu,
Andreas Xydis
Abstract:
This volume contains revised versions of the papers selected for the third volume of the Online Handbook of Argumentation for AI (OHAAI). Previously, formal theories of argument and argument interaction have been proposed and studied, and this has led to the more recent study of computational models of argument. Argumentation, as a field within artificial intelligence (AI), is highly relevant for…
▽ More
This volume contains revised versions of the papers selected for the third volume of the Online Handbook of Argumentation for AI (OHAAI). Previously, formal theories of argument and argument interaction have been proposed and studied, and this has led to the more recent study of computational models of argument. Argumentation, as a field within artificial intelligence (AI), is highly relevant for researchers interested in symbolic representations of knowledge and defeasible reasoning. The purpose of this handbook is to provide an open access and curated anthology for the argumentation research community. OHAAI is designed to serve as a research hub to keep track of the latest and upcoming PhD-driven research on the theory and application of argumentation in all areas related to AI.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Co-lexicographically Ordering Automata and Regular Languages -- Part I
Authors:
Nicola Cotumaccio,
Giovanna D'Agostino,
Alberto Policriti,
Nicola Prezza
Abstract:
In the present work, we lay out a new theory showing that all automata can always be co-lexicographically partially ordered, and an intrinsic measure of their complexity can be defined and effectively determined, namely, the minimum width $p$ of one of their admissible co-lex partial orders - dubbed here the automaton's co-lex width. We first show that this new measure captures at once the complex…
▽ More
In the present work, we lay out a new theory showing that all automata can always be co-lexicographically partially ordered, and an intrinsic measure of their complexity can be defined and effectively determined, namely, the minimum width $p$ of one of their admissible co-lex partial orders - dubbed here the automaton's co-lex width. We first show that this new measure captures at once the complexity of several seemingly-unrelated hard problems on automata. Any NFA of co-lex width $p$: (i) has an equivalent powerset DFA whose size is exponential in $p$ rather than (as a classic analysis shows) in the NFA's size; (ii) can be encoded using just $Θ(\log p)$ bits per transition; (iii) admits a linear-space data structure solving regular expression matching queries in time proportional to $p^2$ per matched character. Some consequences of this new parametrization of automata are that PSPACE-hard problems such as NFA equivalence are FPT in $p$, and quadratic lower bounds for the regular expression matching problem do not hold for sufficiently small $p$. We prove that a canonical minimum-width DFA accepting a language $\mathcal L$ - dubbed the Hasse automaton $\mathcal H$ of $\mathcal L$ - can be exhibited. Finally, we explore the relationship between two conflicting objectives: minimizing the width and minimizing the number of states of a DFA. In this context, we provide an analogous of the Myhill-Nerode Theorem for co-lexicographically ordered regular languages.
△ Less
Submitted 3 May, 2023; v1 submitted 9 August, 2022;
originally announced August 2022.
-
Ordering Regular Languages and Automata: Complexity
Authors:
Giovanna D'Agostino,
Davide Martincigh,
Alberto Policriti
Abstract:
Given an order of the underlying alphabet we can lift it to the states of a finite deterministic automaton: to compare states we use the order of the strings reaching them. When the order on strings is the co-lexicographic one \emph{and} this order turns out to be total, the DFA is called Wheeler. This recently introduced class of automata -- the \emph{Wheeler automata} -- constitute an important…
▽ More
Given an order of the underlying alphabet we can lift it to the states of a finite deterministic automaton: to compare states we use the order of the strings reaching them. When the order on strings is the co-lexicographic one \emph{and} this order turns out to be total, the DFA is called Wheeler. This recently introduced class of automata -- the \emph{Wheeler automata} -- constitute an important data-structure for languages, since it allows the design and implementation of a very efficient tool-set of storage mechanisms for the transition function, supporting a large variety of substring queries.
In this context it is natural to consider the class of regular languages accepted by Wheeler automata, i.e. the Wheeler languages. An inspiring result in this area is the following: it has been shown that, as opposed to the general case, the classic determinization by powerset construction is \emph{polynomial} on Wheeler automata. As a consequence, most classical problems, when considered on this class of automata, turn out to be "easy" -- that is, solvable in polynomial time.
In this paper we consider computational problems related to Wheelerness, but starting from non-deterministic automata. We also consider the case of \emph{reduced} non-deterministic ones -- a class of NFA where recognizing Wheelerness is still polynomial, as for DFA's. Our collection of results shows that moving towards non-determinism is, in most cases, a dangerous path leading quickly to intractability.
Moreover, we start a study of "state complexity" related to Wheeler DFA and languages, proving that the classic construction for the intersection of languages turns out to be computationally simpler on Wheeler DFA than in the general case. We also provide a construction for the minimum Wheeler DFA recognizing a given Wheeler language.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Automated brain parcellation rendering and visualization in R with coldcuts
Authors:
Giuseppe A. D'Agostino,
Sarah R. Langley
Abstract:
Parcellations are fundamental tools in neuroanatomy, allowing researchers to place functional imaging and molecular data within a structural context in the brain. Visualizing these parcellations is critical to guide biological understanding of clinical and experimental datasets in humans and model organisms. However, software used to visualize parcellations is different from the one used to analyz…
▽ More
Parcellations are fundamental tools in neuroanatomy, allowing researchers to place functional imaging and molecular data within a structural context in the brain. Visualizing these parcellations is critical to guide biological understanding of clinical and experimental datasets in humans and model organisms. However, software used to visualize parcellations is different from the one used to analyze these datasets, greatly limiting the visualization of experimental data within parcellations. We present coldcuts, an open source R package that allows to automatically generate, store and visualize any volume-based parcellation easily and with minimal manual curation. coldcuts allows to integrate external datasets and offers rich 2D and 3D visualizations. coldcuts is freely available at http://github.com/langleylab/coldcuts and several curated coldcuts objects are made available for human, mouse, chimpanzee and Drosophila parcellations at https://github.com/langleylab/coldcuts_segmentations.
△ Less
Submitted 25 January, 2022;
originally announced January 2022.
-
On (co-lex) Ordering Automata
Authors:
Giovanna D'Agostino,
Nicola Cotumaccio,
Alberto Policriti,
Nicola Prezza
Abstract:
The states of a deterministic finite automaton A can be identified with collections of words in Pf(L(A)) -- the set of prefixes of words belonging to the regular language accepted by A. But words can be ordered and among the many possible orders a very natural one is the co-lexicographic one. Such naturalness stems from the fact that it suggests a transfer of the order from words to the automaton'…
▽ More
The states of a deterministic finite automaton A can be identified with collections of words in Pf(L(A)) -- the set of prefixes of words belonging to the regular language accepted by A. But words can be ordered and among the many possible orders a very natural one is the co-lexicographic one. Such naturalness stems from the fact that it suggests a transfer of the order from words to the automaton's states. In a number of papers automata admitting a total ordering of states coherent with the ordering of the set of words reaching them have been proposed. Such class of ordered automata -- the Wheeler automata -- turned out to be efficiently stored/searched using an index. Unfortunately not all automata can be totally ordered as previously outlined. However, automata can always be partially ordered and an intrinsic measure of their complexity can be defined and effectively determined, as the minimum width of one of their admissible partial orders. As shown in previous works, this new concept of width of an automaton has useful consequences in the fields of graph compression, indexing data structures, and automata theory. In this paper we prove that a canonical, minimum-width, partially-ordered automaton accepting a language L -- dubbed the Hasse automaton H of L -- can be exhibited. H provides, in a precise sense, the best possible way to (partially) order the states of any automaton accepting L, as long as we want to maintain an operational link with the (co-lexicographic) order of Pf(L(A)). Using H we prove that the width of the language can be effectively computed from the minimum automaton recognizing the language. Finally, we explore the relationship between two (often conflicting) objectives: minimizing the width and minimizing the number of states of an automaton.
△ Less
Submitted 4 June, 2021;
originally announced June 2021.
-
Ordering regular languages: a danger zone
Authors:
Giovanna D'Agostino,
Davide Martincigh,
Alberto Policriti
Abstract:
Ordering the collection of states of a given automaton starting from an order of the underlying alphabet is a natural move towards a computational treatment of the language accepted by the automaton. Along this path, Wheeler \emph{graphs} have been recently introduced as an extension/adaptation of the Burrows-Wheeler Transform (the now famous BWT, originally defined on strings) to graphs. These gr…
▽ More
Ordering the collection of states of a given automaton starting from an order of the underlying alphabet is a natural move towards a computational treatment of the language accepted by the automaton. Along this path, Wheeler \emph{graphs} have been recently introduced as an extension/adaptation of the Burrows-Wheeler Transform (the now famous BWT, originally defined on strings) to graphs. These graphs constitute an important data-structure for languages, since they allow a very efficient storage mechanism for the transition function of an automaton, while providing a fast support to all sorts of substring queries. This is possible as a consequence of a property -- the so-called \emph{path coherence} -- valid on Wheeler graphs and consisting in an ordering on nodes that "propagates" to (collections of) strings. By looking at a Wheeler graph as an automaton, the ordering on strings corresponds to the co-lexicographic order of the words entering each state. This leads naturally to consider the class of regular languages accepted by Wheeler automata, i.e. the Wheeler languages.
It has been shown that, as opposed to the general case, the classic determinization by powerset construction is polynomial on Wheeler languages. As a consequence, most of the classical problems turn out to be "easy" -- that is, solvable in polynomial time -- on Wheeler languages. Moreover, deciding whether a DFA is Wheeler and deciding whether a DFA accepts a Wheeler language is polynomial.
Our contribution here is to put an upper bound to easy problems. For instance, whenever we generalize by switching to general NFAs or by not fixing an order of the underlying alphabet, the above mentioned problems become "hard" -- that is NP-complete or even PSPACE-complete.
△ Less
Submitted 11 June, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Co-lexicographically Ordering Automata and Regular Languages -- Part II
Authors:
Nicola Cotumaccio,
Giovanna D'Agostino,
Alberto Policriti,
Nicola Prezza
Abstract:
In the present work, we tackle the regular language indexing problem by first studying the hierarchy of $p$-sortable languages: regular languages accepted by automata of width $p$. We show that the hierarchy is strict and does not collapse, and provide (exponential in $p$) upper and lower bounds relating the minimum widths of equivalent NFAs and DFAs. Our bounds indicate the importance of being ab…
▽ More
In the present work, we tackle the regular language indexing problem by first studying the hierarchy of $p$-sortable languages: regular languages accepted by automata of width $p$. We show that the hierarchy is strict and does not collapse, and provide (exponential in $p$) upper and lower bounds relating the minimum widths of equivalent NFAs and DFAs. Our bounds indicate the importance of being able to index NFAs, as they enable indexing regular languages with much faster and smaller indexes. Our second contribution solves precisely this problem, optimally: we devise a polynomial-time algorithm that indexes any NFA with the optimal value $p$ for its width, without explicitly computing $p$ (NP-hard to find). In particular, this implies that we can index in polynomial time the well-studied case $p=1$ (Wheeler NFAs). More in general, in polynomial time we can build an index breaking the worst-case conditional lower bound of $Ω(|P| m)$, whenever the input NFA's width is $p \in o(\sqrt{m})$.
△ Less
Submitted 10 March, 2023; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Wheeler Languages
Authors:
Jarno Alanko,
Giovanna D'Agostino,
Alberto Policriti,
Nicola Prezza
Abstract:
The recently introduced class of Wheeler graphs, inspired by the Burrows-Wheeler Transform (BWT) of a given string, admits an efficient index data structure for searching for subpaths with a given path label, and lifts the applicability of the Burrows-Wheeler transform from strings to languages. In this paper we study the regular languages accepted by automata having a Wheeler graph as transition…
▽ More
The recently introduced class of Wheeler graphs, inspired by the Burrows-Wheeler Transform (BWT) of a given string, admits an efficient index data structure for searching for subpaths with a given path label, and lifts the applicability of the Burrows-Wheeler transform from strings to languages. In this paper we study the regular languages accepted by automata having a Wheeler graph as transition function, and prove results on determination, Myhill_Nerode characterization, decidability, and closure properties for this class of languages.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Measuring nuclear reaction cross sections to extract information on neutrinoless double beta decay
Authors:
M. Cavallaro,
F. Cappuzzello,
C. Agodi,
L. Acosta,
N. Auerbach,
J. Bellone,
R. Bijker,
D. Bonanno,
D. Bongiovanni,
T. Borello-Lewin,
I. Boztosun,
V. Branchina,
M. P. Bussa,
S. Calabrese,
L. Calabretta,
A. Calanna,
D. Calvo,
D. Carbone,
E. R. Chávez Lomelí,
A. Coban,
M. Colonna,
G. D'Agostino,
G. De Geronimo,
F. Delaunay,
N. Deshmukh
, et al. (50 additional authors not shown)
Abstract:
Neutrinoless double beta decay (0v\b{eta}\b{eta}) is considered the best potential resource to access the absolute neutrino mass scale. Moreover, if observed, it will signal that neutrinos are their own anti-particles (Majorana particles). Presently, this physics case is one of the most important research "beyond Standard Model" and might guide the way towards a Grand Unified Theory of fundamental…
▽ More
Neutrinoless double beta decay (0v\b{eta}\b{eta}) is considered the best potential resource to access the absolute neutrino mass scale. Moreover, if observed, it will signal that neutrinos are their own anti-particles (Majorana particles). Presently, this physics case is one of the most important research "beyond Standard Model" and might guide the way towards a Grand Unified Theory of fundamental interactions.
Since the 0v\b{eta}\b{eta} decay process involves nuclei, its analysis necessarily implies nuclear structure issues. In the NURE project, supported by a Starting Grant of the European Research Council (ERC), nuclear reactions of double charge-exchange (DCE) are used as a tool to extract information on the 0v\b{eta}\b{eta} Nuclear Matrix Elements. In DCE reactions and \b{eta}\b{eta} decay indeed the initial and final nuclear states are the same and the transition operators have similar structure. Thus the measurement of the DCE absolute cross-sections can give crucial information on \b{eta}\b{eta} matrix elements. In a wider view, the NUMEN international collaboration plans a major upgrade of the INFN-LNS facilities in the next years in order to increase the experimental production of nuclei of at least two orders of magnitude, thus making feasible a systematic study of all the cases of interest as candidates for 0v\b{eta}\b{eta}.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
Regular Languages meet Prefix Sorting
Authors:
Jarno Alanko,
Giovanna D'Agostino,
Alberto Policriti,
Nicola Prezza
Abstract:
Indexing strings via prefix (or suffix) sorting is, arguably, one of the most successful algorithmic techniques developed in the last decades. Can indexing be extended to languages? The main contribution of this paper is to initiate the study of the sub-class of regular languages accepted by an automaton whose states can be prefix-sorted. Starting from the recent notion of Wheeler graph [Gagie et…
▽ More
Indexing strings via prefix (or suffix) sorting is, arguably, one of the most successful algorithmic techniques developed in the last decades. Can indexing be extended to languages? The main contribution of this paper is to initiate the study of the sub-class of regular languages accepted by an automaton whose states can be prefix-sorted. Starting from the recent notion of Wheeler graph [Gagie et al., TCS 2017]-which extends naturally the concept of prefix sorting to labeled graphs-we investigate the properties of Wheeler languages, that is, regular languages admitting an accepting Wheeler finite automaton. Interestingly, we characterize this family as the natural extension of regular languages endowed with the co-lexicographic ordering: when sorted, the strings belonging to a Wheeler language are partitioned into a finite number of co-lexicographic intervals, each formed by elements from a single Myhill-Nerode equivalence class. Moreover: (i) We show that every Wheeler NFA (WNFA) with $n$ states admits an equivalent Wheeler DFA (WDFA) with at most $2n-1-|Σ|$ states that can be computed in $O(n^3)$ time. This is in sharp contrast with general NFAs. (ii) We describe a quadratic algorithm to prefix-sort a proper superset of the WDFAs, a $O(n\log n)$-time online algorithm to sort acyclic WDFAs, and an optimal linear-time offline algorithm to sort general WDFAs. By contribution (i), our algorithms can also be used to index any WNFA at the moderate price of doubling the automaton's size. (iii) We provide a minimization theorem that characterizes the smallest WDFA recognizing the same language of any input WDFA. The corresponding constructive algorithm runs in optimal linear time in the acyclic case, and in $O(n\log n)$ time in the general case. (iv) We show how to compute the smallest WDFA equivalent to any acyclic DFA in nearly-optimal time.
△ Less
Submitted 9 July, 2019; v1 submitted 4 February, 2019;
originally announced February 2019.
-
The NUMEN project: NUclear Matrix Elements for Neutrinoless double beta decay
Authors:
F. Cappuzzello,
C. Agodi,
M. Cavallaro,
D. Carbone,
S. Tudisco,
D. Lo Presti,
J. R. B. Oliveira,
P. Finocchiaro,
M. Colonna,
D. Rifuggiato,
L. Calabretta,
D. Calvo,
L. Pandola,
L. Acosta,
N. Auerbach,
J. Bellone,
R. Bijker,
D. Bonanno,
D. Bongiovanni,
T. Borello-Lewin,
I. Boztosun,
O. Brunasso,
S. Burrello,
S. Calabrese,
A. Calanna
, et al. (46 additional authors not shown)
Abstract:
The article describes the main achievements of the NUMEN project together with an updated and detailed overview of the related R&D activities and theoretical developments. NUMEN proposes an innovative technique to access the nuclear matrix elements entering the expression of the lifetime of the double beta decay by cross section measurements of heavy-ion induced Double Charge Exchange (DCE) reacti…
▽ More
The article describes the main achievements of the NUMEN project together with an updated and detailed overview of the related R&D activities and theoretical developments. NUMEN proposes an innovative technique to access the nuclear matrix elements entering the expression of the lifetime of the double beta decay by cross section measurements of heavy-ion induced Double Charge Exchange (DCE) reactions. Despite the two processes, namely neutrinoless double beta decay and DCE reactions, are triggered by the weak and strong interaction respectively, important analogies are suggested. The basic point is the coincidence of the initial and final state many-body wave-functions in the two types of processes and the formal similarity of the transition operators. First experimental results obtained at the INFN-LNS laboratory for the 40Ca(18O,18Ne)40Ar reaction at 270 MeV, give encouraging indication on the capability of the proposed technique to access relevant quantitative information. The two major aspects for this project are the K800 Superconducting Cyclotron and MAGNEX spectrometer. The former is used for the acceleration of the required high resolution and low emittance heavy ion beams and the latter is the large acceptance magnetic spectrometer for the detection of the ejectiles. The use of the high-order trajectory reconstruction technique, implemented in MAGNEX, allows to reach the experimental resolution and sensitivity required for the accurate measurement of the DCE cross sections at forward angles. However, the tiny values of such cross sections and the resolution requirements demand beam intensities much larger than manageable with the present facility. The on-going upgrade of the INFN-LNS facilities in this perspective is part of the NUMEN project and will be discussed in the article.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
Uniform Interpolation for Propositional and Modal Team Logics
Authors:
Giovanna D'Agostino
Abstract:
In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of the so called "existential bisimulation quantifiers", where the existence of a certain set is made modulo bisimulation. As a consequence, we prove that these f…
▽ More
In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of the so called "existential bisimulation quantifiers", where the existence of a certain set is made modulo bisimulation. As a consequence, we prove that these fragments enjoy the Uniform Interpolation Property.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
High intensity cyclotrons for neutrino physics
Authors:
Daniel Winklehner,
Jungbae Bahng,
Luciano Calabretta,
Alessandra Calanna,
Alok Chakrabarti,
Janet Conrad,
Grazia D'Agostino,
Siddharta Dechoudhury,
Vaishali Naik,
Loyd Waites,
Philip Weigel
Abstract:
In recent years, the interest in high intensity proton beams in excess of several milli-Amperes has risen. Potential applications are in neutrino physics, materials and energy research, and isotope production. Continuous wave proton beams of five to ten milli-Amperes are now in reach due to advances in accelerator technology and through improved understanding of the beam dynamics. As an example ap…
▽ More
In recent years, the interest in high intensity proton beams in excess of several milli-Amperes has risen. Potential applications are in neutrino physics, materials and energy research, and isotope production. Continuous wave proton beams of five to ten milli-Amperes are now in reach due to advances in accelerator technology and through improved understanding of the beam dynamics. As an example application, we present the proposed IsoDAR experiment, a search for so-called sterile neutrinos and non-standard interaction using the KamLAND detector located in Japan. We present updated sensitivities for this experiment and describe in detail the design of the high intensity proton driver that uses several novel ideas. These are: accelerating H2+ instead of protons, directly injecting beam into the cyclotron via a Radio Frequency Quadrupole (RFQ), and carefully matching the beam to achieve so-called vortex motion. The preliminary design holds up well in PIC simulation studies and the injector system is now being constructed, to be commissioned with a 1 MeV test cyclotron.
△ Less
Submitted 5 November, 2018; v1 submitted 10 July, 2018;
originally announced July 2018.
-
Half-life of 31Si
Authors:
Giancarlo D'Agostino,
Marco Di Luzio,
Giovanni Mana,
Massimo Oddone
Abstract:
Half-life values are widely used in nuclear chemistry to model the exponential decay of the quantified radionuclides. The analysis of existing data reveals a general lack of information on the performed experiments and an almost complete absence of uncertainty budgets. This is the situation for 31Si, the radionuclide produced via neutron capture reaction recently used to quantify trace amounts of…
▽ More
Half-life values are widely used in nuclear chemistry to model the exponential decay of the quantified radionuclides. The analysis of existing data reveals a general lack of information on the performed experiments and an almost complete absence of uncertainty budgets. This is the situation for 31Si, the radionuclide produced via neutron capture reaction recently used to quantify trace amounts of 30Si in a sample of the silicon material highly enriched in 28Si and used for the determination of the Avogadro constant. In order to improve the quality of the now recommended 157.36(26) min value, we carried out repeated observations of the 31Si decay rate via gamma-ray spectrometry measurements. This paper reports the result we obtained, including details of the experiment and the evaluation of the uncertainty.
△ Less
Submitted 21 November, 2016;
originally announced November 2016.
-
Interests Diffusion on a Semantic Multiplex
Authors:
Gregorio D'Agostino,
Antonio De Nicola
Abstract:
Exploiting the information about members of a Social Network (SN) represents one of the most attractive and dwelling subjects for both academic and applied scientists. The community of Complexity Science and especially those researchers working on multiplex social systems are devoting increasing efforts to outline general laws, models, and theories, to the purpose of predicting emergent phenomena…
▽ More
Exploiting the information about members of a Social Network (SN) represents one of the most attractive and dwelling subjects for both academic and applied scientists. The community of Complexity Science and especially those researchers working on multiplex social systems are devoting increasing efforts to outline general laws, models, and theories, to the purpose of predicting emergent phenomena in SN's (e.g. success of a product). On the other side the semantic web community aims at engineering a new generation of advanced services tailored to specific people needs. This implies defining constructs, models and methods for handling the semantic layer of SNs. We combined models and techniques from both the former fields to provide a hybrid approach to understand a basic (yet complex) phenomenon: the propagation of individual interests along the social networks. Since information may move along different social networks, one should take into account a multiplex structure. Therefore we introduced the notion of "Semantic Multiplex". In this paper we analyse two different semantic social networks represented by authors publishing in the Computer Science and those in the American Physical Society Journals. The comparison allows to outline common and specific features
△ Less
Submitted 19 May, 2016;
originally announced May 2016.
-
30Si Mole Fraction of a Silicon Material Highly Enriched in 28Si Determined by Instrumental Neutron Activation Analysis
Authors:
Giancarlo D'Agostino,
Marco Di Luzio,
Giovanni Mana,
Massimo Oddone,
Axel Pramann,
Michele Prata
Abstract:
The latest determination of the Avogadro constant, carried out by counting the atoms in a pure silicon crystal highly enriched in 28Si, reached the target 2x10-8 relative uncertainty required for the redefinition of the kilogram based on the Planck constant. The knowledge of the isotopic composition of the enriched silicon material is central; it is measured by isotope dilution mass spectrometry.…
▽ More
The latest determination of the Avogadro constant, carried out by counting the atoms in a pure silicon crystal highly enriched in 28Si, reached the target 2x10-8 relative uncertainty required for the redefinition of the kilogram based on the Planck constant. The knowledge of the isotopic composition of the enriched silicon material is central; it is measured by isotope dilution mass spectrometry. In this work, an independent estimate of the 30Si mole fraction was obtained by applying a relative measurement protocol based on Instrumental Neutron Activation Analysis. The amount of 30Si isotope was determined by counting the 1266.1 keV gamma-photons emitted during the radioactive decay of the radioisotope 31Si produced via the neutron capture reaction 30Si(n,gamma)31Si. The x(30Si) = 1.043(19)x10-6 mol mol-1 is consistent with the value currently adopted by the International Avogadro Coordination.
△ Less
Submitted 7 January, 2016;
originally announced January 2016.
-
The logic of the reverse mathematics zoo
Authors:
Giovanna D'Agostino,
Alberto Marcone
Abstract:
Building on previous work by Mummert, Saadaoui and Sovine, we study the logic underlying the web of implications and nonimplications which constitute the so called reverse mathematics zoo. We introduce a tableaux system for this logic and natural deduction systems for important fragments of the language.
Building on previous work by Mummert, Saadaoui and Sovine, we study the logic underlying the web of implications and nonimplications which constitute the so called reverse mathematics zoo. We introduce a tableaux system for this logic and natural deduction systems for important fragments of the language.
△ Less
Submitted 25 December, 2015;
originally announced December 2015.
-
Improved measurement results for the Avogadro constant using a 28Si-enriched crystal
Authors:
Y Azuma,
P Barat,
G Bartl,
H Bettin,
M Borys,
I Busch,
L Cibik,
G D'Agostino,
K Fujii,
H Fujimoto,
A Hioki,
M Krumrey,
U Kuetgens,
N Kuramoto,
G Mana,
E Massa,
R Meeß,
S Mizushima,
T Narukawa,
A Nicolaus,
A Pramann,
S A Rabb,
O Rienitz,
C Sasso,
M Stock
, et al. (4 additional authors not shown)
Abstract:
New results are reported from an ongoing international research effort to accurately determine the Avogadro constant by counting the atoms in an isotopically enriched silicon crystal. The surfaces of two 28Si-enriched spheres were decontaminated and reworked in order to produce an outer surface without metal contamination and improved sphericity. New measurements were then made on these two recond…
▽ More
New results are reported from an ongoing international research effort to accurately determine the Avogadro constant by counting the atoms in an isotopically enriched silicon crystal. The surfaces of two 28Si-enriched spheres were decontaminated and reworked in order to produce an outer surface without metal contamination and improved sphericity. New measurements were then made on these two reconditioned spheres using improved methods and apparatuses. When combined with other recently refined parameter measurements, the Avogadro constant derived from these new results has a value of $N_A = 6.022 140 76(12) \times 10^{23}$ mol$^{-1}$. The X-ray crystal density method has thus achieved the target relative standard uncertainty of $2.0 \times 10^{-8}$ necessary for the realization of the definition of the new kilogram.
△ Less
Submitted 16 December, 2015;
originally announced December 2015.
-
Cascades in interdependent flow networks
Authors:
Antonio Scala,
Pier Giorgio De Sanctis Lucentini,
Guido Caldarelli,
Gregorio D'Agostino
Abstract:
We investigate the abrupt breakdown behavior of coupled distribution grids under load growth. This scenario mimics the ever-increasing customer demand and the foreseen introduction of energy hubs interconnecting the different energy vectors. We extend an analytical model of cascading behavior due to line overloads to the case of interdependent networks and find evidence of first order transitions…
▽ More
We investigate the abrupt breakdown behavior of coupled distribution grids under load growth. This scenario mimics the ever-increasing customer demand and the foreseen introduction of energy hubs interconnecting the different energy vectors. We extend an analytical model of cascading behavior due to line overloads to the case of interdependent networks and find evidence of first order transitions due to the long-range nature of the flows. Our results indicate that the foreseen increase in the couplings between the grids has two competing effects: on the one hand, it increases the safety region where grids can operate without withstanding systemic failures; on the other hand, it increases the possibility of a joint systems' failure.
△ Less
Submitted 17 October, 2015;
originally announced December 2015.
-
Interests Diffusion in Social Networks
Authors:
Gregorio D'Agostino,
Fulvio D'Antonio,
Antonio De Nicola,
Salvatore Tucci
Abstract:
Understanding cultural phenomena on Social Networks (SNs) and exploiting the implicit knowledge about their members is attracting the interest of different research communities both from the academic and the business side. The community of complexity science is devoting significant efforts to define laws, models, and theories, which, based on acquired knowledge, are able to predict future observat…
▽ More
Understanding cultural phenomena on Social Networks (SNs) and exploiting the implicit knowledge about their members is attracting the interest of different research communities both from the academic and the business side. The community of complexity science is devoting significant efforts to define laws, models, and theories, which, based on acquired knowledge, are able to predict future observations (e.g. success of a product). In the mean time, the semantic web community aims at engineering a new generation of advanced services by defining constructs, models and methods, adding a semantic layer to SNs. In this context, a leapfrog is expected to come from a hybrid approach merging the disciplines above. Along this line, this work focuses on the propagation of individual interests in social networks. The proposed framework consists of the following main components: a method to gather information about the members of the social networks; methods to perform some semantic analysis of the Domain of Interest; a procedure to infer members' interests; and an interests evolution theory to predict how the interests propagate in the network. As a result, one achieves an analytic tool to measure individual features, such as members' susceptibilities and authorities. Although the approach applies to any type of social network, here it is has been tested against the computer science research community.
The DBLP (Digital Bibliography and Library Project) database has been elected as test-case since it provides the most comprehensive list of scientific production in this field.
△ Less
Submitted 8 January, 2015;
originally announced January 2015.
-
Neutron activation analysis of the 30Si content of highly enriched 28Si: proof of concept and estimation of the achievable uncertainty
Authors:
Giancarlo D'Agostino,
Giovanni Mana,
Massimo Oddone,
Michele Prata,
Luigi Bergamaschi,
Laura Giordani
Abstract:
We investigated the use of neutron activation to estimate the 30Si mole fraction of the ultra-pure silicon material highly enriched in 28Si for the measurement of the Avogadro constant. Specifically, we developed a relative method based on Instrumental Neutron Activation Analysis and using a natural-Si sample as a standard. To evaluate the achievable uncertainty, we irradiated a 6 g sample of a na…
▽ More
We investigated the use of neutron activation to estimate the 30Si mole fraction of the ultra-pure silicon material highly enriched in 28Si for the measurement of the Avogadro constant. Specifically, we developed a relative method based on Instrumental Neutron Activation Analysis and using a natural-Si sample as a standard. To evaluate the achievable uncertainty, we irradiated a 6 g sample of a natural-Si material and modeled experimentally the signal that would be produced by a sample of the 28Si-enriched material of similar mass and subjected to the same measurement conditions. The extrapolation of the expected uncertainty from the experimental data indicates that a measurement of the 30Si mole fraction of the 28Si-enriched material might reach a 4% relative combined standard uncertainty.
△ Less
Submitted 29 May, 2014;
originally announced May 2014.
-
On Synchronization of Interdependent Networks
Authors:
J. Martin-Hernandez,
H. Wang,
P. Van Mieghem,
G. D'Agostino
Abstract:
It is well-known that the synchronization of diffusively-coupled systems on networks strongly depends on the network topology. In particular, the so-called algebraic connectivity $μ_{N-1}$, or the smallest non-zero eigenvalue of the discrete Laplacian operator plays a crucial role on synchronization, graph partitioning, and network robustness. In our study, synchronization is placed in the general…
▽ More
It is well-known that the synchronization of diffusively-coupled systems on networks strongly depends on the network topology. In particular, the so-called algebraic connectivity $μ_{N-1}$, or the smallest non-zero eigenvalue of the discrete Laplacian operator plays a crucial role on synchronization, graph partitioning, and network robustness. In our study, synchronization is placed in the general context of networks-of-networks, where single network models are replaced by a more realistic hierarchy of interdependent networks. The present work shows, analytically and numerically, how the algebraic connectivity experiences sharp transitions after the addition of sufficient links among interdependent networks.
△ Less
Submitted 17 April, 2013;
originally announced April 2013.
-
Effect of the Interconnected Network Structure on the Epidemic Threshold
Authors:
Huijuan Wang,
Qian Li,
Gregorio D'Agostino,
Shlomo Havlin,
H. Eugene Stanley,
Piet Van Mieghem
Abstract:
Most real-world networks are not isolated. In order to function fully, they are interconnected with other networks, and this interconnection influences their dynamic processes. For example, when the spread of a disease involves two species, the dynamics of the spread within each species (the contact network) differs from that of the spread between the two species (the interconnected network). We m…
▽ More
Most real-world networks are not isolated. In order to function fully, they are interconnected with other networks, and this interconnection influences their dynamic processes. For example, when the spread of a disease involves two species, the dynamics of the spread within each species (the contact network) differs from that of the spread between the two species (the interconnected network). We model two generic interconnected networks using two adjacency matrices, A and B, in which A is a 2N*2N matrix that depicts the connectivity within each of two networks of size N, and B a 2N*2N matrix that depicts the interconnections between the two. Using an N-intertwined mean-field approximation, we determine that a critical susceptable-infected-susceptable (SIS) epidemic threshold in two interconnected networks is 1/λ1(A+αB), where the infection rate is βwithin each of the two individual networks and αβin the interconnected links between the two networks and λ1(A+αB) is the largest eigenvalue of the matrix A+αB. In order to determine how the epidemic threshold is dependent upon the structure of interconnected networks, we analytically derive λ1(A+αB) using perturbation approximation for small and large α, the lower and upper bound for any αas a function of the adjacency matrix of the two individual networks, and the interconnections between the two and their largest eigenvalues/eigenvectors. We verify these approximation and boundary values for λ1(A+αB) using numerical simulations, and determine how component network features affect λ1(A+αB).
△ Less
Submitted 4 March, 2013;
originally announced March 2013.
-
Elemental characterization of the Avogadro silicon crystal WASO 04 by neutron activation analysis
Authors:
Giancarlo D'Agostino,
Luigi Bergamaschi,
Laura Giordani,
Giovanni Mana,
Enrico Massa,
Massimo Oddone
Abstract:
Analytical measurements of the 28Si crystal used for the determination of the Avogadro constant are essential to prevent biased results or under-estimated uncertainties. A review of the existing data confirms the high-purity of silicon with respect to a large number of elements. In order to obtain a direct evidence of purity, we developed a relative analytical method based on neutron activation. A…
▽ More
Analytical measurements of the 28Si crystal used for the determination of the Avogadro constant are essential to prevent biased results or under-estimated uncertainties. A review of the existing data confirms the high-purity of silicon with respect to a large number of elements. In order to obtain a direct evidence of purity, we developed a relative analytical method based on neutron activation. As a preliminary test, this method was applied to a sample of the Avogadro crystal WASO 04. The investigation concerned twenty-nine elements. The mass fraction of Au was quantified to be 1.03(18) x 10-12. For the remaining twenty-eight elements, the mass fractions are below the detection limits, which range between 1 x 10-12 and 1 x 10-5.
△ Less
Submitted 12 January, 2013;
originally announced January 2013.
-
The detection of signals buried in noise
Authors:
Luigi Bergamaschi,
Giancarlo D'Agostino,
Laura Giordani,
Giovanni Mana,
Massimo Oddone
Abstract:
This paper examines signal detection in the presence of noise, with a particular emphasis to the nuclear activation analysis. The problem is to decide what between the signal-plus-background and no-signal hypotheses fits better the data and to quantify the relevant signal amplitude or detection limit. Our solution is based on the use of Bayesian inferences to test the different hypotheses.
This paper examines signal detection in the presence of noise, with a particular emphasis to the nuclear activation analysis. The problem is to decide what between the signal-plus-background and no-signal hypotheses fits better the data and to quantify the relevant signal amplitude or detection limit. Our solution is based on the use of Bayesian inferences to test the different hypotheses.
△ Less
Submitted 8 January, 2013;
originally announced January 2013.
-
Assortativity Decreases the Robustness of Interdependent Networks
Authors:
Di Zhou,
Gregorio D'Agostino,
Antonio Scala,
H. Eugene Stanley
Abstract:
It was recently recognized that interdependencies among different networks can play a crucial role in triggering cascading failures and hence system-wide disasters. A recent model shows how pairs of interdependent networks can exhibit an abrupt percolation transition as failures accumulate. We report on the effects of topology on failure propagation for a model system consisting of two interdepend…
▽ More
It was recently recognized that interdependencies among different networks can play a crucial role in triggering cascading failures and hence system-wide disasters. A recent model shows how pairs of interdependent networks can exhibit an abrupt percolation transition as failures accumulate. We report on the effects of topology on failure propagation for a model system consisting of two interdependent networks. We find that the internal node correlations in each of the two interdependent networks significantly changes the critical density of failures that triggers the total disruption of the two-network system. Specifically, we find that the assortativity (i.e. the likelihood of nodes with similar degree to be connected) within a single network decreases the robustness of the entire system. The results of this study on the influence of assortativity may provide insights into ways of improving the robustness of network architecture, and thus enhances the level of protection of critical infrastructures.
△ Less
Submitted 23 November, 2012; v1 submitted 29 February, 2012;
originally announced March 2012.
-
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
Authors:
Giovanna D'Agostino,
Salvatore La Torre
Abstract:
This volume contains the Proceedings of the Second International Symposium on Games, Automata, Languages, and Formal Verification (GandALF 2011). The conference was held in Minori (Amalfi Coast, Italy), from the 15th to the 17th of June 2011. The aim of the GandALF Symposium is to provide a forum for researchers from different areas and with different background, that share a common interest in…
▽ More
This volume contains the Proceedings of the Second International Symposium on Games, Automata, Languages, and Formal Verification (GandALF 2011). The conference was held in Minori (Amalfi Coast, Italy), from the 15th to the 17th of June 2011. The aim of the GandALF Symposium is to provide a forum for researchers from different areas and with different background, that share a common interest in game theory, mathematical logic, automata theory, and their applications to the specification, design, and verification of complex systems. This proceedings contain the abstracts of three invited talks and nineteen regular papers that have been selected through a rigorous reviewing process according to originality, quality, and relevance to the topics of the symposium.
△ Less
Submitted 4 June, 2011;
originally announced June 2011.
-
Robustness and Assortativity for Diffusion-like Processes in Scale-free Networks
Authors:
Gregorio D'Agostino,
Antonio Scala,
Vinko Zlatić,
Guido Caldarelli
Abstract:
By analysing the diffusive dynamics of epidemics and of distress in complex networks, we study the effect of the assortativity on the robustness of the networks. We first determine by spectral analysis the thresholds above which epidemics/failures can spread; we then calculate the slowest diffusional times. Our results shows that disassortative networks exhibit a higher epidemiological threshold a…
▽ More
By analysing the diffusive dynamics of epidemics and of distress in complex networks, we study the effect of the assortativity on the robustness of the networks. We first determine by spectral analysis the thresholds above which epidemics/failures can spread; we then calculate the slowest diffusional times. Our results shows that disassortative networks exhibit a higher epidemiological threshold and are therefore easier to immunize, while in assortative networks there is a longer time for intervention before epidemic/failure spreads. Moreover, we study by computer simulations the sandpile cascade model, a diffusive model of distress propagation (financial contagion). We show that, while assortative networks are more prone to the propagation of epidemic/failures, degree-targeted immunization policies increases their resilience to systemic risk.
△ Less
Submitted 23 November, 2012; v1 submitted 18 May, 2011;
originally announced May 2011.
-
Perturbations of the local gravity field due to mass distribution on precise measuring instruments: a numerical method applied to a cold atom gravimeter
Authors:
G. D'Agostino,
S. Merlet,
A. Landragin,
F. Pereira Dos Santos
Abstract:
We present a numerical method, based on a FEM simulation, for the determination of the gravitational field generated by massive objects, whatever geometry and space mass density they have. The method was applied for the determination of the self gravity effect of an absolute cold atom gravimeter which aims at a relative uncertainty of 10-9. The deduced bias, calculated with a perturbative treatmen…
▽ More
We present a numerical method, based on a FEM simulation, for the determination of the gravitational field generated by massive objects, whatever geometry and space mass density they have. The method was applied for the determination of the self gravity effect of an absolute cold atom gravimeter which aims at a relative uncertainty of 10-9. The deduced bias, calculated with a perturbative treatment, is finally presented. The perturbation reaches (1.3 \pm 0.1) \times 10-9 of the Earth's gravitational field.
△ Less
Submitted 11 May, 2011;
originally announced May 2011.
-
An investigation of the discriminant power and dimensionality of items used for assessing health condition of elderly people
Authors:
Francesco Bartolucci,
Giorgio d'Agostino,
Giorgio E. Montanari
Abstract:
With reference to the questionnaire adopted within the Italian project "Ulisse" to assess health condition of elderly people, we investigate two important issues: discriminant power and actual number of dimensions measured by the items composing the questionnaire. The adopted statistical approach is based on the joint use of the latent class model and a multidimensional item response theory model…
▽ More
With reference to the questionnaire adopted within the Italian project "Ulisse" to assess health condition of elderly people, we investigate two important issues: discriminant power and actual number of dimensions measured by the items composing the questionnaire. The adopted statistical approach is based on the joint use of the latent class model and a multidimensional item response theory model based on the 2PL parametrization. The latter allows us to account for the different discriminant power of these items. The analysis is based on the data collected on a sample of 1699 elderly people hosted in 37 nursing homes in Italy. This analysis shows that the selected items indeed measure a different number of dimensions of the health status and that they considerably differ in terms of discriminant power (effectiveness in measuring the actual health status). Implications for the assessment of the performance of nursing homes from a policy-maker prospective are discussed.
△ Less
Submitted 19 August, 2010;
originally announced August 2010.
-
Comparison of 3 absolute gravimeters based on different methods for the e-MASS project
Authors:
A. Louchet-Chauvet,
S. Merlet,
Q. Bodart,
A. Landragin,
F. Pereira Dos Santos,
H. Baumann,
G. D'Agostino,
C. Origlia
Abstract:
We report on the comparison between three absolute gravimeters that took place in April 2010 at Laboratoire National de Métrologie et d'Essais. The three instruments (FG5#209 from METAS, Switzerland, IMGC-02 from INRIM, Italy, and CAG from LNE-SYRTE, France) rely on different methods: optical and atomic interferometry. We discuss their differences as well as their similarities. We compare their me…
▽ More
We report on the comparison between three absolute gravimeters that took place in April 2010 at Laboratoire National de Métrologie et d'Essais. The three instruments (FG5#209 from METAS, Switzerland, IMGC-02 from INRIM, Italy, and CAG from LNE-SYRTE, France) rely on different methods: optical and atomic interferometry. We discuss their differences as well as their similarities. We compare their measurements of the gravitational acceleration in 4 points of the same pillar, in the perspective of an absolute determination of g for a watt balance experiment
△ Less
Submitted 23 November, 2010; v1 submitted 17 August, 2010;
originally announced August 2010.
-
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components
Authors:
Giovanna D'Agostino,
Giacomo Lenzi
Abstract:
For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to Comp(Sigma1,Pi1) (compositions of formulas of level Sigma1 and Pi1). This contrasts with the class of all graphs, where Delta2=Comp(Sigma1,Pi1).
For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to Comp(Sigma1,Pi1) (compositions of formulas of level Sigma1 and Pi1). This contrasts with the class of all graphs, where Delta2=Comp(Sigma1,Pi1).
△ Less
Submitted 7 June, 2010;
originally announced June 2010.