Showing 1–50 of 68 results for author: Giordano, L

Hot-carrier trapping preserves high quantum yields but limits optical gain in InP-based quantum dots

Authors: Sander J. W. Vonk, P. Tim Prins, Tong Wang, Jan Matthys, Luca Giordano, Pieter Schiettecatte, Navendu Mondal, Jessi E. S. van der Hoeven, Thomas R. Hopper, Zeger Hens, Pieter Geiregat, Artem A. Bakulin, Freddy T. Rabouw

Abstract: Indium phosphide is the leading material for commercial applications of colloidal quantum dots. To date, however, the community has failed to achieve successful operation under strong excitation conditions, contrasting sharply with other materials. Here, we report how the unusual photophysics of state-of-the-art InP-based quantum dots make them unattractive as a gain material. A combination of ens… ▽ More Indium phosphide is the leading material for commercial applications of colloidal quantum dots. To date, however, the community has failed to achieve successful operation under strong excitation conditions, contrasting sharply with other materials. Here, we report how the unusual photophysics of state-of-the-art InP-based quantum dots make them unattractive as a gain material. A combination of ensemble-based time-resolved spectroscopy over timescales from femtoseconds to microseconds and single-quantum-dot spectroscopy reveals ultrafast trapping of hot charge carriers. This process leads to charge-carrier losses, thereby reducing the achievable population inversion which limits amplification of light in a gain material. Interestingly, fluorescence is only delayed, not quenched, by hot charge-carrier trapping, explaining why InP-based quantum dots are successful as bright luminescent colour convertors for low-intensity applications. Comparison with other popular quantum-dot materials, such as CdSe, Pb-halide perovskites, and CuInS2, indicate that the hot-carrier dynamics observed are unique to InP. △ Less

Submitted 29 November, 2024; originally announced November 2024.

Reinforcement Learning for Bidding Strategy Optimization in Day-Ahead Energy Market

Authors: Luca Di Persio, Matteo Garbelli, Luca M. Giordano

Abstract: In a day-ahead market, energy buyers and sellers submit their bids for a particular future time, including the amount of energy they wish to buy or sell and the price they are prepared to pay or receive. However, the dynamic for forming the Market Clearing Price (MCP) dictated by the bidding mechanism is frequently overlooked in the literature on energy market modelling. Forecasting models usually… ▽ More In a day-ahead market, energy buyers and sellers submit their bids for a particular future time, including the amount of energy they wish to buy or sell and the price they are prepared to pay or receive. However, the dynamic for forming the Market Clearing Price (MCP) dictated by the bidding mechanism is frequently overlooked in the literature on energy market modelling. Forecasting models usually focus on predicting the MCP rather than trying to build the optimal supply and demand curves for a given price scenario. Following this approach, the article focuses on developing a bidding strategy for a seller in a continuous action space through a single agent Reinforcement Learning algorithm, specifically the Deep Deterministic Policy Gradient. The algorithm controls the offering curve (action) based on past data (state) to optimize future payoffs (rewards). The participant can access historical data on production costs, capacity, and prices for various sources, including renewable and fossil fuels. The participant gains the ability to operate in the market with greater efficiency over time to maximize individual payout. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Temporal Many-valued Conditional Logics: a Preliminary Report

Authors: Mario Alviano, Laura Giordano, Daniele Theseider Dupré

Abstract: In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to capture the dynamics of a system, trough strict and defeasible temporal properties. We also consider an instantiation of the formalism for gradual argument… ▽ More In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to capture the dynamics of a system, trough strict and defeasible temporal properties. We also consider an instantiation of the formalism for gradual argumentation. △ Less

Submitted 6 September, 2024; originally announced September 2024.

Comments: 8 pages

MSC Class: 68T27 ACM Class: I.2.4

ACES: Evaluating Automated Audio Captioning Models on the Semantics of Sounds

Authors: Gijs Wijngaard, Elia Formisano, Bruno L. Giordano, Michel Dumontier

Abstract: Automated Audio Captioning is a multimodal task that aims to convert audio content into natural language. The assessment of audio captioning systems is typically based on quantitative metrics applied to text data. Previous studies have employed metrics derived from machine translation and image captioning to evaluate the quality of generated audio captions. Drawing inspiration from auditory cognit… ▽ More Automated Audio Captioning is a multimodal task that aims to convert audio content into natural language. The assessment of audio captioning systems is typically based on quantitative metrics applied to text data. Previous studies have employed metrics derived from machine translation and image captioning to evaluate the quality of generated audio captions. Drawing inspiration from auditory cognitive neuroscience research, we introduce a novel metric approach -- Audio Captioning Evaluation on Semantics of Sound (ACES). ACES takes into account how human listeners parse semantic information from sounds, providing a novel and comprehensive evaluation perspective for automated audio captioning systems. ACES combines semantic similarities and semantic entity labeling. ACES outperforms similar automated audio captioning metrics on the Clotho-Eval FENSE benchmark in two evaluation categories. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Distributed MIMO for 6G sub-Networks in the Unlicensed Spectrum

Authors: Mohamed Elwekeil, Lorenzo Galati Giordano, Paolo Baracca, Stefano Buzzi

Abstract: In this paper, we consider the sixth generation (6G) sub-networks, where hyper reliable low latency communications (HRLLC) requirements are expected to be met. We focus on a scenario where multiple sub-networks are active in the service area and assess the feasibility of using the 6 GHz unlicensed spectrum to operate such deployment, evaluating the impact of listen before talk (LBT). Then, we expl… ▽ More In this paper, we consider the sixth generation (6G) sub-networks, where hyper reliable low latency communications (HRLLC) requirements are expected to be met. We focus on a scenario where multiple sub-networks are active in the service area and assess the feasibility of using the 6 GHz unlicensed spectrum to operate such deployment, evaluating the impact of listen before talk (LBT). Then, we explore the benefits of using distributed multiple input multiple output (MIMO), where the available antennas in every sub-network are distributed over a number of access points (APs). Specifically, we compare different configurations of distributed MIMO with respect to centralized MIMO, where a single AP with all antennas is located at the center of every sub-network. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: This paper is accepted for publication in 2023 IEEE Conference on Standards for Communications and Networking (CSCN)

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

Authors: Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré

Abstract: In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a multilayer neural network model. Weighted knowledge bases for a simple description logic with typicality are considered under a (many-valued) ``concept-wise" multipreference semantics. The semantics is used to provide a preferential interpretation of Multi… ▽ More In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a multilayer neural network model. Weighted knowledge bases for a simple description logic with typicality are considered under a (many-valued) ``concept-wise" multipreference semantics. The semantics is used to provide a preferential interpretation of MultiLayer Perceptrons (MLPs). A model checking and an entailment based approach are exploited in the verification of conditional properties of MLPs. △ Less

Submitted 19 September, 2023; v1 submitted 29 April, 2023; originally announced May 2023.

Comments: arXiv admin note: text overlap with arXiv:2106.00390

ACM Class: I.2.4

What Will Wi-Fi 8 Be? A Primer on IEEE 802.11bn Ultra High Reliability

Authors: Lorenzo Galati Giordano, Giovanni Geraci, Marc Carrascosa, Boris Bellalta

Abstract: What will Wi-Fi 8 be? Driven by the strict requirements of emerging applications, next-generation Wi-Fi is set to prioritize Ultra High Reliability (UHR) above all. In this paper, we explore the journey towards IEEE 802.11bn UHR, the amendment that will form the basis of Wi-Fi 8. We first present new use cases calling for further Wi-Fi evolution and associated standardization, certification, and s… ▽ More What will Wi-Fi 8 be? Driven by the strict requirements of emerging applications, next-generation Wi-Fi is set to prioritize Ultra High Reliability (UHR) above all. In this paper, we explore the journey towards IEEE 802.11bn UHR, the amendment that will form the basis of Wi-Fi 8. We first present new use cases calling for further Wi-Fi evolution and associated standardization, certification, and spectrum allocation efforts. We then introduce a selection of the main disruptive features envisioned for Wi-Fi 8 and their associated research challenges, resulting from the outcome of the UHR Study Group. Among those, we focus on multi access point coordination and demonstrate that it could build upon 802.11be multi-link operation to make UHR a reality in Wi-Fi 8. △ Less

Submitted 21 November, 2023; v1 submitted 18 March, 2023; originally announced March 2023.

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality

Authors: Mario Alviano, Laura Giordano, Daniele Theseider Dupré

Abstract: Weighted knowledge bases for description logics with typicality under a "concept-wise" multi-preferential semantics provide a logical interpretation of MultiLayer Perceptrons. In this context, Answer Set Programming (ASP) has been shown to be suitable for addressing defeasible reasoning in the finitely many-valued case, providing a $Π^p_2$ upper bound on the complexity of the problem, nonetheless… ▽ More Weighted knowledge bases for description logics with typicality under a "concept-wise" multi-preferential semantics provide a logical interpretation of MultiLayer Perceptrons. In this context, Answer Set Programming (ASP) has been shown to be suitable for addressing defeasible reasoning in the finitely many-valued case, providing a $Π^p_2$ upper bound on the complexity of the problem, nonetheless leaving unknown the exact complexity and only providing a proof-of-concept implementation. This paper fulfils the lack by providing a $P^{NP[log]}$-completeness result and new ASP encodings that deal with weighted knowledge bases with large search spaces. △ Less

Submitted 27 March, 2023; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: 14 pages 4, figures

MSC Class: 68T27 ACM Class: I.2.4

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation

Authors: Mario Alviano, Laura Giordano, Daniele Theseider Dupré

Abstract: In this paper we propose a general approach to define a many-valued preferential interpretation of gradual argumentation semantics. The approach allows for conditional reasoning over arguments and boolean combination of arguments, with respect to a class of gradual semantics, through the verification of graded (strict or defeasible) implications over a preferential interpretation. As a proof of co… ▽ More In this paper we propose a general approach to define a many-valued preferential interpretation of gradual argumentation semantics. The approach allows for conditional reasoning over arguments and boolean combination of arguments, with respect to a class of gradual semantics, through the verification of graded (strict or defeasible) implications over a preferential interpretation. As a proof of concept, in the finitely-valued case, an Answer set Programming approach is proposed for conditional reasoning in a many-valued argumentation semantics of weighted argumentation graphs. The paper also develops and discusses a probabilistic semantics for gradual argumentation, which builds on the many-valued conditional semantics. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Comments: 17 pages, 1 figure

ACM Class: I.2.4

An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases

Authors: Laura Giordano, Daniele Theseider Dupré

Abstract: Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of MultiLayer Perceptrons (MLPs). In this paper we consider weighted conditional ALC knowledge bases with typicality in the finitely many-valued case, through three different seman… ▽ More Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of MultiLayer Perceptrons (MLPs). In this paper we consider weighted conditional ALC knowledge bases with typicality in the finitely many-valued case, through three different semantic constructions. For the boolean fragment LC of ALC we exploit ASP and "asprin" for reasoning with the concept-wise multipreference entailment under a phi-coherent semantics, suitable to characterize the stationary states of MLPs. As a proof of concept, we experiment the proposed approach for checking properties of trained MLPs. The paper is under consideration for acceptance in TPLP. △ Less

Submitted 17 May, 2022; v1 submitted 2 February, 2022; originally announced February 2022.

Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages

MSC Class: 68T27 ACM Class: I.2.4

From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back

Authors: Laura Giordano

Abstract: A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases, and used to develop a logical semantics for Multilayer Perceptrons, by regarding a deep neural network (after training) as a weighted conditional knowledge base. This semantics, in its different variants, suggests some gradual argumentation semantics, which are related to the family of the gradua… ▽ More A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases, and used to develop a logical semantics for Multilayer Perceptrons, by regarding a deep neural network (after training) as a weighted conditional knowledge base. This semantics, in its different variants, suggests some gradual argumentation semantics, which are related to the family of the gradual semantics studied by Amgoud and Doder. The relationships between weighted conditional knowledge bases and MLPs extend to the proposed gradual semantics to capture the stationary states of MPs, in agreement with previous results on the relationship between argumentation frameworks and neural networks. The paper also suggests a simple way to extend the proposed semantics to deal attacks/supports by a boolean combination of arguments, based on the fuzzy semantics of weighted conditionals, as well as an approach for defeasible reasoning over a weighted argumentation graph, building on the proposed gradual semantics. △ Less

Submitted 26 October, 2021; v1 submitted 7 October, 2021; originally announced October 2021.

Comments: 21 pages. arXiv admin note: text overlap with arXiv:2106.00390

ACM Class: I.2.4

Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach

Authors: Laura Giordano, Daniele Theseider Dupré

Abstract: Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of Multilayer Perceptrons. In this paper we consider weighted conditional EL^bot knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multip… ▽ More Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of Multilayer Perceptrons. In this paper we consider weighted conditional EL^bot knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights. △ Less

Submitted 16 September, 2021; originally announced September 2021.

Comments: In Proceedings ICLP 2021, arXiv:2109.07914. arXiv admin note: text overlap with arXiv:2012.13421

ACM Class: I.2.4

Journal ref: EPTCS 345, 2021, pp. 70-76

Reasoning about actions with EL ontologies with temporal answer sets

Authors: Laura Giordano, Alberto Martelli, Daniele Theseider Dupré

Abstract: We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot. We consider a temporal action theory, which allows for non-deterministic actions and causal rules to deal with ramifications, and whose extensions are defined by temporal answer sets. We provide conditio… ▽ More We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot. We consider a temporal action theory, which allows for non-deterministic actions and causal rules to deal with ramifications, and whose extensions are defined by temporal answer sets. We provide conditions under which action consistency can be guaranteed with respect to an ontology, by a polynomial encoding of an action theory extended with an EL^\bot knowledge base (in normal form) into a temporal action theory. △ Less

Submitted 18 July, 2021; originally announced July 2021.

Comments: 15 pages

ACM Class: I.2.4

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview

Authors: Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré

Abstract: In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics. We propose a concept-wise multipreference semantics, recently introduced for defeasible description logics to take into account preferences with respect to different concepts, as a tool for providing a semantic interpretation to neural network m… ▽ More In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics. We propose a concept-wise multipreference semantics, recently introduced for defeasible description logics to take into account preferences with respect to different concepts, as a tool for providing a semantic interpretation to neural network models. This approach has been explored both for unsupervised neural network models (Self-Organising Maps) and for supervised ones (Multilayer Perceptrons), and we expect that the same approach might be extended to other neural network models. It allows for logical properties of the network to be checked (by model checking) over an interpretation capturing the input-output behavior of the network. For Multilayer Perceptrons, the deep network itself can be regarded as a conditional knowledge base, in which synaptic connections correspond to weighted conditionals. The paper describes the general approach, through the cases of Self-Organising Maps and Multilayer Perceptrons, and discusses some open issues and perspectives. △ Less

Submitted 10 July, 2021; originally announced July 2021.

Comments: 17 pages. arXiv admin note: text overlap with arXiv:2008.13278, arXiv:2012.13421, arXiv:2103.06854

ACM Class: I.2.4

On the KLM properties of a fuzzy DL with Typicality

Authors: Laura Giordano

Abstract: The paper investigates the properties of a fuzzy logic of typicality. The extension of fuzzy logic with a typicality operator was proposed in recent work to define a fuzzy multipreference semantics for Multilayer Perceptrons, by regarding the deep neural network as a conditional knowledge base. In this paper, we study its properties. First, a monotonic extension of a fuzzy ALC with typicality is c… ▽ More The paper investigates the properties of a fuzzy logic of typicality. The extension of fuzzy logic with a typicality operator was proposed in recent work to define a fuzzy multipreference semantics for Multilayer Perceptrons, by regarding the deep neural network as a conditional knowledge base. In this paper, we study its properties. First, a monotonic extension of a fuzzy ALC with typicality is considered (called ALC^FT) and a reformulation the KLM properties of a preferential consequence relation for this logic is devised. Most of the properties are satisfied, depending on the reformulation and on the fuzzy combination functions considered. We then strengthen ALC^FT with a closure construction by introducing a notion of faithful model of a weighted knowledge base, which generalizes the notion of coherent model of a conditional knowledge base previously introduced, and we study its properties. △ Less

Submitted 14 July, 2021; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: 15 pages

ACM Class: I.2.4

Electronic Polarizability Induced Cooper-like Pairing and Energy Gap in High-Tc superconductors

Authors: Yizhak Yacoby, Davide Ceresoli, Livia Giordano, Yang Shao-Horn

Abstract: High temperature superconducting materials have been known since the pioneering work of Bednorz and Mueller in 1986. While the microscopic mechanism responsible for high Tc superconductivity is still debated, most materials showing high Tc contain highly electronic polarizable ions, suggesting that the mechanism driving high Tc superconductivity can be related to the ion electronic polarizability… ▽ More High temperature superconducting materials have been known since the pioneering work of Bednorz and Mueller in 1986. While the microscopic mechanism responsible for high Tc superconductivity is still debated, most materials showing high Tc contain highly electronic polarizable ions, suggesting that the mechanism driving high Tc superconductivity can be related to the ion electronic polarizability in high Tc materials. Here we show that a free charge carrier polarizes the ions surrounding it and the total electrical potential generated by the charge carrier itself and the polarized ions becomes attractive in some regions of space. Our results on bulk FeSe, monolayer FeSe on SrTiO3 and La2CuO4 are in excellent agreement with the experiments. The fact that the electronic polarizability explains correctly and quantitatively the superconductivity parameters: Tc, gap and paring energies of both pnictides and cuprates with similar polarizability parameters, suggests that the same model may be applicable to other material systems within these groups as well as other high Tc groups. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 5 figures

Performance of Predictive Indoor mmWave Networks with Dynamic Blockers

Authors: Andrea Bonfante, Lorenzo Galati Giordano, Irene Macaluso, Nicola Marchetti

Abstract: In this paper, we consider millimeter Wave (mmWave) technology to provide reliable wireless network service within factories where links may experience rapid and temporary fluctuations of the received signal power due to dynamic blockers, such as humans and robots, moving in the environment. We propose a novel beam recovery procedure that leverages Machine Learning (ML) tools to predict the starti… ▽ More In this paper, we consider millimeter Wave (mmWave) technology to provide reliable wireless network service within factories where links may experience rapid and temporary fluctuations of the received signal power due to dynamic blockers, such as humans and robots, moving in the environment. We propose a novel beam recovery procedure that leverages Machine Learning (ML) tools to predict the starting and finishing of blockage events. This erases the delay introduced by current 5G New Radio (5G-NR) procedures when switching to an alternative serving base station and beam, and then re-establish the primary connection after the blocker has moved away. Firstly, we generate synthetic data using a detailed system-level simulator that integrates the most recent 3GPP 3D Indoor channel models and the geometric blockage Model-B. Then, we use the generated data to train offline a set of beam-specific Deep Neural Network (DNN) models that provide predictions about the beams' blockage states. Finally, we deploy the DNN models online into the system-level simulator to evaluate the benefits of the proposed solution. Our prediction-based beam recovery procedure guarantee higher signal level stability and up to $82\%$ data rate improvement with respect detection-based methods when blockers move at speed of $2$ m/s. △ Less

Submitted 9 April, 2021; originally announced April 2021.

Comments: This work has been submitted to the IEEE for possible publication

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps

Authors: Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré

Abstract: In this paper we establish a link between fuzzy and preferential semantics for description logics and Self-Organising Maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation. In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretati… ▽ More In this paper we establish a link between fuzzy and preferential semantics for description logics and Self-Organising Maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation. In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretation as well as by a preferential interpretation, based on a concept-wise multipreference semantics, which takes into account preferences with respect to different concepts and has been recently proposed for ranked and for weighted defeasible description logics. Properties of the network can be proven by model checking on the fuzzy or on the preferential interpretation. Starting from the fuzzy interpretation, we also provide a probabilistic account for this neural network model. △ Less

Submitted 19 November, 2021; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: 31 pages, 1 figure. arXiv admin note: text overlap with arXiv:2008.13278

ACM Class: I.2.4

Journal ref: Journal of Logic and Computation, 2022

Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model

Authors: Laura Giordano, Daniele Theseider Dupré

Abstract: In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model. Weighted knowledge bases for description logics are considered under a "concept-wise" multipreference semantics. The semantics is further extended to fuzzy interpretations and exploited to provide a preferential interpretation of… ▽ More In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model. Weighted knowledge bases for description logics are considered under a "concept-wise" multipreference semantics. The semantics is further extended to fuzzy interpretations and exploited to provide a preferential interpretation of Multilayer Perceptrons. △ Less

Submitted 25 January, 2021; v1 submitted 24 December, 2020; originally announced December 2020.

Comments: 23 pages

ACM Class: I.2.4

A framework for a modular multi-concept lexicographic closure semantics

Authors: Laura Giordano, Daniele Theseider Dupré

Abstract: We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics. The preferential semantics of the knowledg… ▽ More We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics. The preferential semantics of the knowledge base can then be defined as a combination of the preferences of the single modules. The range of possibilities, from fine grained to coarse grained modules, provides a spectrum of alternative semantics. △ Less

Submitted 4 September, 2020; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: 18 pages. Accepted for presentation at NMR2020 (18th International Workshop on Non-Monotonic Reasoning, September 12th - 14th - Rhodes, Greece

Report number: TR-INF-2020-09-03-UNIPMN ACM Class: I.2.4

On a plausible concept-wise multipreference semantics and its relations with self-organising maps

Authors: Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré

Abstract: Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation. We argue that this proposal, beside satisfying some desired properties, such as KLM postulates, and avoiding the drowning problem, also defines a plausible notion of semantics. We motivate the plausibility o… ▽ More Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation. We argue that this proposal, beside satisfying some desired properties, such as KLM postulates, and avoiding the drowning problem, also defines a plausible notion of semantics. We motivate the plausibility of the concept-wise multi-preference semantics by developing a logical semantics of self-organising maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation, in terms of multi-preference interpretations. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Comments: 13 pages

Report number: TR-INF-2020-09-02-UNIPMN MSC Class: 68T27 ACM Class: I.2.4

On the Latency of IEEE 802.11ax WLANs with Parameterized Spatial Reuse

Authors: Eloise de Carvalho Rodrigues, Adrian Garcia-Rodriguez, Lorenzo Galati Giordano, Giovanni Geraci

Abstract: In this article, we evaluate the performance of the parameterized spatial reuse (PSR) framework of IEEE 802.11ax, mainly focusing on its impact on transmission latency. Based on detailed standard-compliant system-level simulations, we provide a realistic analysis of the effects of PSR considering different scenario densities, traffic loads, and access points (APs) antenna capabilities to quantify… ▽ More In this article, we evaluate the performance of the parameterized spatial reuse (PSR) framework of IEEE 802.11ax, mainly focusing on its impact on transmission latency. Based on detailed standard-compliant system-level simulations, we provide a realistic analysis of the effects of PSR considering different scenario densities, traffic loads, and access points (APs) antenna capabilities to quantify its performance gains under various scenarios. Our results show that, in medium-density scenarios, PSR can offer up to a 3.8x reduction in the 5% worst-case latencies for delay-sensitive stations with respect to an 802.11ax system without PSR. Moreover, our study demonstrates that, for low-latency communications, providing the network with PSR capabilities may be an appealing alternative to the deployment of more costly multi-antenna APs. △ Less

Submitted 17 August, 2020; originally announced August 2020.

Comments: Accepted to IEEE Globecom 2020, SAC - Access Networks and Systems

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

Authors: Laura Giordano, Daniele Theseider Dupré

Abstract: In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept… ▽ More In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept-aware multipreference semantics is related to Brewka's framework for qualitative preferences. We exploit Answer Set Programming (in particular, asprin) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic EL+bot. The paper is under consideration for acceptance in TPLP. △ Less

Submitted 8 August, 2020; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020

MSC Class: 68T27 ACM Class: I.2.4

Reasoning about Typicality and Probabilities in Preferential Description Logics

Authors: Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato

Abstract: In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) v D, whose intuitive meaning is that normally/typically Cs are also Ds. This extension is based on a minimal model semantics corresponding to a notion of rational clos… ▽ More In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) v D, whose intuitive meaning is that normally/typically Cs are also Ds. This extension is based on a minimal model semantics corresponding to a notion of rational closure, built upon preferential models. We recall the basic concepts underlying preferential Description Logics. We also present two extensions of the preferential semantics: on the one hand, we consider probabilistic extensions, based on a distributed semantics that is suitable for tackling the problem of commonsense concept combination, on the other hand, we consider other strengthening of the rational closure semantics and construction to avoid the so-called blocking of property inheritance problem. △ Less

Submitted 23 April, 2020; v1 submitted 20 April, 2020; originally announced April 2020.

Comments: 17 pages. arXiv admin note: text overlap with arXiv:1811.02366

Indoor Millimeter-Wave Systems: Design and Performance Evaluation

Authors: Jacek Kibiłda, Allen B. MacKenzie, Mohammad J. Abdel-Rahman, Seong Ki Yoo, Lorenzo Galati Giordano, Simon L. Cotton, Nicola Marchetti, Walid Saad, William G. Scanlon, Adrian Garcia-Rodriguez, David López-Pérez, Holger Claussen, Luiz A. DaSilva

Abstract: Indoor areas, such as offices and shopping malls, are a natural environment for initial millimeter-wave (mmWave) deployments. While we already have the technology that enables us to realize indoor mmWave deployments, there are many remaining challenges associated with system-level design and planning for such. The objective of this article is to bring together multiple strands of research to provi… ▽ More Indoor areas, such as offices and shopping malls, are a natural environment for initial millimeter-wave (mmWave) deployments. While we already have the technology that enables us to realize indoor mmWave deployments, there are many remaining challenges associated with system-level design and planning for such. The objective of this article is to bring together multiple strands of research to provide a comprehensive and integrated framework for the design and performance evaluation of indoor mmWave systems. The paper introduces the framework with a status update on mmWave technology, including ongoing fifth generation (5G) wireless standardization efforts, and then moves on to experimentally-validated channel models that inform performance evaluation and deployment planning. Together these yield insights on indoor mmWave deployment strategies and system configurations, from feasible deployment densities to beam management strategies and necessary capacity extensions. △ Less

Submitted 18 April, 2020; originally announced April 2020.

Comments: Proceedings of the IEEE

A note on the continuity in the Hurst index of the solution of rough differential equations driven by a fractional Brownian motion

Authors: Francesco C. De Vecchi, Luca M. Giordano, Daniela Morale, Stefania Ugolini

Abstract: Within the rough path framework we prove the continuity of the solution to random differential equations driven by fractional Brownian motion with respect to the Hurst parameter $H$ when $H \in (1/3, 1/2]$. Within the rough path framework we prove the continuity of the solution to random differential equations driven by fractional Brownian motion with respect to the Hurst parameter $H$ when $H \in (1/3, 1/2]$. △ Less

Submitted 12 February, 2020; originally announced February 2020.

SPDEs with linear multiplicative fractional noise: continuity in law with respect to the Hurst index

Authors: Luca M. Giordano, Maria Jolis, Lluís Quer-Sardanyons

Abstract: In this article, we consider the one-dimensional stochastic wave and heat equations driven by a linear multiplicative Gaussian noise which is white in time and behaves in space like a fractional Brownian motion with Hurst index $H\in (\frac 14,1)$. We prove that the solution of each of the above equations is continuous in terms of the index $H$, with respect to the convergence in law in the space… ▽ More In this article, we consider the one-dimensional stochastic wave and heat equations driven by a linear multiplicative Gaussian noise which is white in time and behaves in space like a fractional Brownian motion with Hurst index $H\in (\frac 14,1)$. We prove that the solution of each of the above equations is continuous in terms of the index $H$, with respect to the convergence in law in the space of continuous functions. The proof is based on a tightness criterion on the plane and Malliavin calculus techniques in order to identify the limit law. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Comments: 33 pages

MSC Class: 60B10; 60H07; 60H15

A fractional Brownian -- Hawkes model for the Italian electricity spot market: estimation and forecasting

Authors: Luca M. Giordano, Daniela Morale

Abstract: We propose a model for the description and the forecast of the gross prices of electricity in the liberalized Italian energy market via an additive two-factor model driven by both a Hawkes and a fractional Brownian processes. We discuss the seasonality, the identification of spikes and the estimates of the Hurst coefficient. After the calibration and the validation of the model, we discuss its for… ▽ More We propose a model for the description and the forecast of the gross prices of electricity in the liberalized Italian energy market via an additive two-factor model driven by both a Hawkes and a fractional Brownian processes. We discuss the seasonality, the identification of spikes and the estimates of the Hurst coefficient. After the calibration and the validation of the model, we discuss its forecasting performance via a class of adequate evaluation metrics. △ Less

Submitted 26 November, 2019; originally announced November 2019.

Comments: 40 pages, 19 figures

MSC Class: 60G22; 62P05; 60G55

Analysis of UAV Communications in Cell-Free Massive MIMO systems

Authors: Carmen D'Andrea, Adrian Garcia-Rodriguez, Giovanni Geraci, Lorenzo Galati Giordano, Stefano Buzzi

Abstract: We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture, wherein a large number of access points (APs) is deployed in place of large co-located massive MIMO arrays. We consider also a variation of the pure cell-free architecture by applying a user-centric association approach, where each user is served only from a subset of APs in the network… ▽ More We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture, wherein a large number of access points (APs) is deployed in place of large co-located massive MIMO arrays. We consider also a variation of the pure cell-free architecture by applying a user-centric association approach, where each user is served only from a subset of APs in the network. Under the general assumption that the propagation channel between the mobile stations, either UAVs or ground users (GUEs), and the APs follows a Ricean distribution, we derive closed-form spectral efficiency lower bounds for uplink and downlink with linear minimum mean square error channel estimation. We consider several power allocation and user scheduling strategies for such a system, and, among these, also minimum-rate maximizing power allocation strategies to improve the system fairness. Our numerical results reveal that cell-free massive MIMO architecture and its low-complexity user-centric alternative may provide better performance than a traditional multi-cell massive MIMO network deployment. △ Less

Submitted 10 January, 2020; v1 submitted 5 September, 2019; originally announced September 2019.

Comments: double-column, 14 pages, 8 figure, journal paper

A reconstruction of the multipreference closure

Authors: Laura Giordano, Valentina Gliozzi

Abstract: The paper describes a preferential approach for dealing with exceptions in KLM preferential logics, based on the rational closure. It is well known that the rational closure does not allow an independent handling of the inheritance of different defeasible properties of concepts. Several solutions have been proposed to face this problem and the lexicographic closure is the most notable one. In this… ▽ More The paper describes a preferential approach for dealing with exceptions in KLM preferential logics, based on the rational closure. It is well known that the rational closure does not allow an independent handling of the inheritance of different defeasible properties of concepts. Several solutions have been proposed to face this problem and the lexicographic closure is the most notable one. In this work, we consider an alternative closure construction, called the Multi Preference closure (MP-closure), that has been first considered for reasoning with exceptions in DLs. Here, we reconstruct the notion of MP-closure in the propositional case and we show that it is a natural variant of Lehmann's lexicographic closure. Abandoning Maximal Entropy (an alternative route already considered but not explored by Lehmann) leads to a construction which exploits a different lexicographic ordering w.r.t. the lexicographic closure, and determines a preferential consequence relation rather than a rational consequence relation. We show that, building on the MP-closure semantics, rationality can be recovered, at least from the semantic point of view, resulting in a rational consequence relation which is stronger than the rational closure, but incomparable with the lexicographic closure. We also show that the MP-closure is stronger than the Relevant Closure. △ Less

Submitted 1 September, 2020; v1 submitted 5 May, 2019; originally announced May 2019.

Comments: 57 pages

ACM Class: I.2.4

An In Situ Surface-Enhanced Infrared Absorption Spectroscopy Study of Electrochemical CO2 Reduction: Selectivity Dependence on Surface C-Bound and O-Bound Reaction Intermediates

Authors: Yu Katayama, Francesco Nattino, Livia Giordano, Jonathan Hwang, Reshma R. Rao, Oliviero Andreussi, Nicola Marzari, Yang Shao-Horn

Abstract: The CO_{2} electro-reduction reaction (CORR) is a promising avenue to convert greenhouse gases into high-value fuels and chemicals, in addition to being an attractive method for storing intermittent renewable energy. Although polycrystalline Cu surfaces have long known to be unique in their capabilities of catalyzing the conversion of CO_{2} to higher-order C1 and C2 fuels, such as hydrocarbons (C… ▽ More The CO_{2} electro-reduction reaction (CORR) is a promising avenue to convert greenhouse gases into high-value fuels and chemicals, in addition to being an attractive method for storing intermittent renewable energy. Although polycrystalline Cu surfaces have long known to be unique in their capabilities of catalyzing the conversion of CO_{2} to higher-order C1 and C2 fuels, such as hydrocarbons (CH_{4}, C_{2}H_{4} etc.) and alcohols (CH_{3}OH, C_{2}H_{5}OH), product selectivity remains a challenge. In this study, we select three metal catalysts (Pt, Au, Cu) and apply in situ surface enhanced infrared absorption spectroscopy (SEIRAS) and ambient-pressure X-ray photoelectron spectroscopy (APXPS), coupled to density-functional theory (DFT) calculations, to get insight into the reaction pathway for the CORR. We present a comprehensive reaction mechanism for the CORR, and show that the preferential reaction pathway can be rationalized in terms of metal-carbon (M-C) and metal-oxygen (M-O) affinity. We show that the final products are determined by the configuration of the initial intermediates, C-bound and O-bound, which can be obtained from CO_{2} and (H)CO_{3}, respectively. C1 hydrocarbons are produced via OCH_{3, ad} intermediates obtained from O-bound CO_{3, ad} and require a catalyst with relatively high affinity for O-bound intermediates. Additionally, C2 hydrocarbon formation is suggested to result from the C-C coupling between C-bound CO_{ad} and (H)CO_{ad}, which requires an optimal affinity for the C-bound species, so that (H)CO_{ad} can be further reduced without poisoning the catalyst surface. Our findings pave the way towards a design strategy for CORR catalysts with improved selectivity, based on this experimental/theoretical reaction mechanisms that have been identified. △ Less

Submitted 25 April, 2019; originally announced April 2019.

Journal ref: J. Phys. Chem. C 123, 5951 (2019)

Adding the Power-Set to Description Logics

Authors: Laura Giordano, Alberto Policriti

Abstract: We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, consisting of only four axioms characterizing binary union, set difference, inclusion, and the power-set. An extension of ALC, ALC^Omega, is then defined in which concepts are naturally interpreted as sets living in Omega-m… ▽ More We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, consisting of only four axioms characterizing binary union, set difference, inclusion, and the power-set. An extension of ALC, ALC^Omega, is then defined in which concepts are naturally interpreted as sets living in Omega-models. In ALC^Omega not only membership between concepts is allowed---even admitting circularity---but also the power-set construct is exploited to add metamodeling capabilities. We investigate translations of ALC^Omega into standard description logics as well as a set-theoretic translation. A polynomial encoding of ALC^Omega in ALCIO proves the validity of the finite model property as well as an ExpTime upper bound on the complexity of concept satisfiability. We develop a set-theoretic translation of ALC^Omega in the theory Omega, exploiting a technique originally proposed for translating normal modal and polymodal logics into Omega. Finally, we show that the fragment LC^Omega of ALC^Omega, which does not admit roles and individual names, is as expressive as ALC^Omega. △ Less

Submitted 22 November, 2019; v1 submitted 26 February, 2019; originally announced February 2019.

Comments: 30 pages

MSC Class: I.2.4 ACM Class: I.2.4

Journal ref: Theoretical Computer Science, November 2019

Cell-free Massive MIMO for UAV Communications

Authors: Carmen D'Andrea, Adrian Garcia-Rodriguez, Giovanni Geraci, Lorenzo Galati Giordano, Stefano Buzzi

Abstract: We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture. Under the general assumption that the propagation channel between the mobile stations, either UAVs or ground users, and the access points follows a Ricean distribution, we derive closed form spectral efficiency lower bounds for uplink and downlink with linear minimum mean square error (… ▽ More We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture. Under the general assumption that the propagation channel between the mobile stations, either UAVs or ground users, and the access points follows a Ricean distribution, we derive closed form spectral efficiency lower bounds for uplink and downlink with linear minimum mean square error (LMMSE) channel estimation. We also propose power allocation and user scheduling strategies for such a system. Our numerical results reveal that a cell-free massive MIMO architecture may provide better performance than a traditional multicell massive MIMO network deployment. △ Less

Submitted 10 February, 2019; originally announced February 2019.

Comments: Submitted to 2019 ICC Workshop on "Integrating UAVs into 5G and Beyond"

SPDEs with fractional noise in space: continuity in law with respect to the Hurst index

Authors: Luca M. Giordano, Maria Jolis, Lluís Quer-Sardanyons

Abstract: In this article, we consider the quasi-linear stochastic wave and heat equations on the real line and with an additive Gaussian noise which is white in time and behaves in space like a fractional Brownian motion with Hurst index $H\in (0,1)$. The drift term is assumed to be globally Lipschitz. We prove that the solution of each of the above equations is continuous in terms of the index $H$, with r… ▽ More In this article, we consider the quasi-linear stochastic wave and heat equations on the real line and with an additive Gaussian noise which is white in time and behaves in space like a fractional Brownian motion with Hurst index $H\in (0,1)$. The drift term is assumed to be globally Lipschitz. We prove that the solution of each of the above equations is continuous in terms of the index $H$, with respect to the convergence in law in the space of continuous functions. △ Less

Submitted 8 October, 2018; originally announced October 2018.

Comments: 25 pages

5G Massive MIMO Architectures: Self-Backhauled Small Cells versus Direct Access

Authors: Andrea Bonfante, Lorenzo Galati Giordano, David López-Pérez, Adrian Garcia-Rodriguez, Giovanni Geraci, Paolo Baracca, M. Majid Butt, Nicola Marchetti

Abstract: In this paper, we focus on one of the key technologies for the fifth-generation wireless communication networks, massive multiple-input-multiple-output (mMIMO), by investigating two of its most relevant architectures: 1) to provide in-band backhaul for the ultra-dense network (UDN) of self-backhauled small cells (SCs), and 2) to provide direct access (DA) to user equipments (UEs). Through comprehe… ▽ More In this paper, we focus on one of the key technologies for the fifth-generation wireless communication networks, massive multiple-input-multiple-output (mMIMO), by investigating two of its most relevant architectures: 1) to provide in-band backhaul for the ultra-dense network (UDN) of self-backhauled small cells (SCs), and 2) to provide direct access (DA) to user equipments (UEs). Through comprehensive 3GPP-based system-level simulations and analytical formulations, we show the end-to-end UE rates achievable with these two architectures. Differently from the existing works, we provide results for two strategies of self-backhauled SC deployments, namely random and ad-hoc, where in the latter SCs are purposely positioned close to UEs to achieve line-of-sight (LoS) access links. We also evaluate the optimal backhaul and access time resource partition due to the in-band self-backhauling (s-BH) operations. Our results show that the ad-hoc deployment of self-backhauled SCs closer to the UEs with optimal resource partition and with directive antenna patterns, provides rate improvements for cell-edge UEs that amount to 30% and tenfold gain, as compared to mMIMO DA architecture with pilot reuse 3 and reuse 1, respectively. On the other hand, mMIMO s-BH underperforms mMIMO DA above the median value of the UE rates when the effect of pilot contamination is less severe, and the LoS probability of the DA links improves. △ Less

Submitted 29 October, 2019; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: The paper is published at IEEE Transactions on Vehicular Technology (TVT 2019). arXiv admin note: text overlap with arXiv:1806.10969

Journal ref: IEEE Transactions on Vehicular Technology ( Volume: 68 , Issue: 10 , Oct. 2019 )

Downlink Performance of Uplink Fractional Power Control in 5G Massive MIMO Systems

Authors: Paolo Baracca, Lorenzo Galati Giordano, Adrian Garcia-Rodriguez, Giovanni Geraci, David Lopez-Perez

Abstract: Uplink power control is an efficient scheme to mitigate pilot contamination in massive multiple-input multiple-output (MIMO) systems. In this work, we provide a comprehensive study on the effects of fractional power control (FPC) on the downlink performance of the most relevant fifth generation (5G) massive MIMO deployments. Specifically, we perform thorough system simulations based on the most re… ▽ More Uplink power control is an efficient scheme to mitigate pilot contamination in massive multiple-input multiple-output (MIMO) systems. In this work, we provide a comprehensive study on the effects of fractional power control (FPC) on the downlink performance of the most relevant fifth generation (5G) massive MIMO deployments. Specifically, we perform thorough system simulations based on the most recent three dimensional spatial channel model released by the 3rd Generation Partnership Project to evaluate the impact of different deployment-related parameters such as pilot reuse factor, beamforming criterion, and base station array size. Our results indicate the most suitable tuning of the FPC parameters and show that optimized FPC provides huge gains in the cell border throughput when compared to a baseline scheme with all the users transmitting at maximum power. Moreover, our simulations also demonstrate that the effectiveness of FPC grows in scenarios with severe pilot contamination, confirming that implementing this feature is essential in realistic deployments. △ Less

Submitted 10 September, 2018; originally announced September 2018.

Comments: Accepted at the IEEE GLOBECOM Workshop on Emerging Technologies for 5G and Beyond Wireless and Mobile Networks, Abu Dhabi (UAE), Dec. 2018

Survey on UAV Cellular Communications: Practical Aspects, Standardization Advancements, Regulation, and Security Challenges

Authors: Azade Fotouhi, Haoran Qiang, Ming Ding, Mahbub Hassan, Lorenzo Galati Giordano, Adrian Garcia-Rodriguez, Jinhong Yuan

Abstract: The rapid growth of consumer Unmanned Aerial Vehicles (UAVs) is creating promising new business opportunities for cellular operators. On the one hand, UAVs can be connected to cellular networks as new types of user equipment, therefore generating significant revenues for the operators that can guarantee their stringent service requirements. On the other hand, UAVs offer the unprecedented opportuni… ▽ More The rapid growth of consumer Unmanned Aerial Vehicles (UAVs) is creating promising new business opportunities for cellular operators. On the one hand, UAVs can be connected to cellular networks as new types of user equipment, therefore generating significant revenues for the operators that can guarantee their stringent service requirements. On the other hand, UAVs offer the unprecedented opportunity to realize UAV-mounted flying base stations that can dynamically reposition themselves to boost coverage, spectral efficiency, and user quality of experience. Indeed, the standardization bodies are currently exploring possibilities for serving commercial UAVs with cellular networks. Industries are beginning to trial early prototypes of flying base stations or user equipments, while academia is in full swing researching mathematical and algorithmic solutions to address interesting new problems arising from flying nodes in cellular networks. In this article, we provide a comprehensive survey of all of these developments promoting smooth integration of UAVs into cellular networks. Specifically, we survey (i) the types of consumer UAVs currently available off-the-shelf, (ii) the interference issues and potential solutions addressed by standardization bodies for serving aerial users with the existing terrestrial base stations, (iii) the challenges and opportunities for assisting cellular communications with UAV-based flying relays and base stations, (iv) the ongoing prototyping and test bed activities, (v) the new regulations being developed to manage the commercial use of UAVs, and (vi) the cyber-physical security of UAV-assisted cellular communications. △ Less

Submitted 31 March, 2019; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: Accepted in the JOURNAL OF COMMUNICATIONS SURVEYS AND TUTORIALS, Feb 2019, 26 pages, 9 Tables, 9 Figures Submitted to JOURNAL OF COMMUNICATIONS SURVEYS AND TUTORIALS, June 2018, 20 pages, 9 Tables, 9 Figures

Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure

Authors: Laura Giordano, Valentina Gliozzi

Abstract: Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure. The rational closure has the merit of providing a simple and efficient approach for reasoning with exceptions, but it does not allow independent handling o… ▽ More Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure. The rational closure has the merit of providing a simple and efficient approach for reasoning with exceptions, but it does not allow independent handling of the inheritance of different defeasible properties of concepts. In this work we outline a possible solution to this problem by introducing a variant of the lexicographical closure, that we call skeptical closure, which requires to construct a single base. We develop a bi-preference semantics semantics for defining a characterization of the skeptical closure. △ Less

Submitted 8 July, 2018; originally announced July 2018.

ACM Class: I.2.4

Performance of Massive MIMO Self-Backhauling for Ultra-Dense Small Cell Deployments

Authors: Andrea Bonfante, Lorenzo Galati Giordano, David López-Pérez, Adrian Garcia-Rodriguez, Giovanni Geraci, Paolo Baracca, M. Majid Butt, Merim Dzaferagic, Nicola Marchetti

Abstract: A key aspect of the fifth-generation wireless communication network will be the integration of different services and technologies to provide seamless connectivity. In this paper, we consider using massive multiple-input multiple-output (mMIMO) to provide backhaul links to a dense deployment of self-backhauling (s-BH) small cells (SCs) that provide cellular access within the same spectrum resource… ▽ More A key aspect of the fifth-generation wireless communication network will be the integration of different services and technologies to provide seamless connectivity. In this paper, we consider using massive multiple-input multiple-output (mMIMO) to provide backhaul links to a dense deployment of self-backhauling (s-BH) small cells (SCs) that provide cellular access within the same spectrum resources of the backhaul. Through a comprehensive system-level simulation study, we evaluate the interplay between access and backhaul and the resulting end-to-end user rates. Moreover, we analyze the impact of different SCs deployment strategies, while varying the time resource allocation between radio access and backhaul links. We finally compare the above mMIMO-based s-BH approach to a mMIMO direct access (DA) architecture accounting for the effects of pilot reuse schemes, together with their associated overhead and contamination mitigation effects. The results show that dense SCs deployments supported by mMIMO s-BH provide significant rate improvements for cell-edge users (UEs) in ultra-dense deployments with respect to mMIMO DA, while the latter outperforms mMIMO s-BH from the median UEs' standpoint. △ Less

Submitted 28 June, 2018; originally announced June 2018.

The Essential Guide to Realizing 5G-Connected UAVs with Massive MIMO

Authors: Adrian Garcia-Rodriguez, Giovanni Geraci, David López-Pérez, Lorenzo Galati Giordano, Ming Ding, Emil Björnson

Abstract: What will it take for drones -- and the whole associated ecosystem -- to take off? Arguably, infallible command and control (C&C) channels for safe and autonomous flying, and high-throughput links for multi-purpose live video streaming. And indeed, meeting these aspirations may entail a full cellular support, provided through 5G-and-beyond hardware and software upgrades by both mobile operators an… ▽ More What will it take for drones -- and the whole associated ecosystem -- to take off? Arguably, infallible command and control (C&C) channels for safe and autonomous flying, and high-throughput links for multi-purpose live video streaming. And indeed, meeting these aspirations may entail a full cellular support, provided through 5G-and-beyond hardware and software upgrades by both mobile operators and manufacturers of these unmanned aerial vehicles (UAVs). In this article, we vouch for massive MIMO as the key building block to realize 5G-connected UAVs. Through the sheer evidence of 3GPP-compliant simulations, we demonstrate how massive MIMO can be enhanced by complementary network-based and UAV-based solutions, resulting in consistent UAV C&C support, large UAV uplink data rates, and harmonious coexistence with legacy ground users. △ Less

Submitted 15 May, 2018; originally announced May 2018.

Understanding UAV Cellular Communications: From Existing Networks to Massive MIMO

Authors: Giovanni Geraci, Adrian Garcia-Rodriguez, Lorenzo Galati Giordano, David López-Pérez, Emil Björnson

Abstract: The purpose of this article is to bestow the reader with a timely study of UAV cellular communications, bridging the gap between the 3GPP standardization status quo and the more forward-looking research. Special emphasis is placed on the downlink command and control (C&C) channel to aerial users, whose reliability is deemed of paramount technological importance for the commercial success of UAV ce… ▽ More The purpose of this article is to bestow the reader with a timely study of UAV cellular communications, bridging the gap between the 3GPP standardization status quo and the more forward-looking research. Special emphasis is placed on the downlink command and control (C&C) channel to aerial users, whose reliability is deemed of paramount technological importance for the commercial success of UAV cellular communications. Through a realistic side-by-side comparison of two network deployments -- a present-day cellular infrastructure versus a next-generation massive MIMO system -- a plurality of key facts are cast light upon, with the three main ones summarized as follows: (i) UAV cell selection is essentially driven by the secondary lobes of a base station's radiation pattern, causing UAVs to associate to far-flung cells; (ii) over a 10 MHz bandwidth, and for UAV heights of up to 300 m, massive MIMO networks can support 100 kbps C&C channels in 74% of the cases when the uplink pilots for channel estimation are reused among base station sites, and in 96% of the cases without pilot reuse across the network; (iii) supporting UAV C&C channels can considerably affect the performance of ground users on account of severe pilot contamination, unless suitable power control policies are in place. △ Less

Submitted 20 April, 2018; originally announced April 2018.

Comments: arXiv admin note: text overlap with arXiv:1802.01527

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure

Authors: Laura Giordano, Daniele Theseider Dupré

Abstract: In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor's ranked models and allows for the definition of defeasible inclusions. We consider both rational entailment and minimal entailment. We show that deciding i… ▽ More In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor's ranked models and allows for the definition of defeasible inclusions. We consider both rational entailment and minimal entailment. We show that deciding instance checking under minimal entailment is in general $Π^P_2$-hard, while, under rational entailment, instance checking can be computed in polynomial time. We develop a Datalog calculus for instance checking under rational entailment and exploit it, with stratified negation, for computing the rational closure of simple KBs in polynomial time. △ Less

Submitted 23 March, 2018; originally announced March 2018.

Comments: Accepted for publication on Fundamenta Informaticae

ACM Class: I.2.4

Journal ref: Fundamenta Informaticae, vol. 161, no. 1-2, pp. 135-161, 2018, IOS Press

Supporting UAV Cellular Communications through Massive MIMO

Authors: Giovanni Geraci, Adrian Garcia-Rodriguez, Lorenzo Galati Giordano, David López-Pérez, Emil Björnson

Abstract: In this article, we provide a much-needed study of UAV cellular communications, focusing on the rates achievable for the UAV downlink command and control (C&C) channel. For this key performance indicator, we perform a realistic comparison between existing deployments operating in single-user mode and next-generation multi-user massive MIMO systems. We find that in single-user deployments under hea… ▽ More In this article, we provide a much-needed study of UAV cellular communications, focusing on the rates achievable for the UAV downlink command and control (C&C) channel. For this key performance indicator, we perform a realistic comparison between existing deployments operating in single-user mode and next-generation multi-user massive MIMO systems. We find that in single-user deployments under heavy data traffic, UAVs flying at 50 m, 150 m, and 300 m achieve the C&C target rate of 100 kbps -- as set by the 3GPP -- in a mere 35%, 2%, and 1% of the cases, respectively. Owing to mitigated interference, a stronger carrier signal, and a spatial multiplexing gain, massive MIMO time division duplex systems can dramatically increase such probability. Indeed, we show that for UAV heights up to 300 m the target rate is met with massive MIMO in 74% and 96% of the cases with and without uplink pilot reuse for channel state information (CSI) acquisition, respectively. On the other hand, the presence of UAVs can significantly degrade the performance of ground users, whose pilot signals are vulnerable to UAV-generated contamination and require protection through uplink power control. △ Less

Submitted 5 February, 2018; originally announced February 2018.

Reasoning about multiple aspects in DLs: Semantics and Closure Construction

Authors: Laura Giordano, Valentina Gliozzi

Abstract: Starting from the observation that rational closure has the undesirable property of being an "all or nothing" mechanism, we here propose a multipreferential semantics, which enriches the preferential semantics underlying rational closure in order to separately deal with the inheritance of different properties in an ontology with exceptions. We provide a multipreference closure mechanism which is s… ▽ More Starting from the observation that rational closure has the undesirable property of being an "all or nothing" mechanism, we here propose a multipreferential semantics, which enriches the preferential semantics underlying rational closure in order to separately deal with the inheritance of different properties in an ontology with exceptions. We provide a multipreference closure mechanism which is sound with respect to the multipreference semantics. △ Less

Submitted 18 January, 2018; originally announced January 2018.

Comments: arXiv admin note: text overlap with arXiv:1604.00301

ACM Class: I.2.4

Uplink Sounding Reference Signal Coordination to Combat Pilot Contamination in 5G Massive MIMO

Authors: Lorenzo Galati Giordano, Luca Campanalonga, David Lopez-Perez, Adrian Garcia-Rodriguez, Giovanni Geraci, Paolo Baracca, Maurizio Magarini

Abstract: To guarantee the success of massive multiple-input multiple-output (MIMO), one of the main challenges to solve is the efficient management of pilot contamination. Allocation of fully orthogonal pilot sequences across the network would provide a solution to the problem, but the associated overhead would make this approach infeasible in practical systems. Ongoing fifth-generation (5G) standardisatio… ▽ More To guarantee the success of massive multiple-input multiple-output (MIMO), one of the main challenges to solve is the efficient management of pilot contamination. Allocation of fully orthogonal pilot sequences across the network would provide a solution to the problem, but the associated overhead would make this approach infeasible in practical systems. Ongoing fifth-generation (5G) standardisation activities are debating the amount of resources to be dedicated to the transmission of pilot sequences, focussing on uplink sounding reference signals (UL SRSs) design. In this paper, we extensively evaluate the performance of various UL SRS allocation strategies in practical deployments, shedding light on their strengths and weaknesses. Furthermore, we introduce a novel UL SRS fractional reuse (FR) scheme, denoted neighbour-aware FR (FR-NA). The proposed FR-NA generalizes the fixed reuse paradigm, and entails a tradeoff between i) aggressively sharing some UL SRS resources, and ii) protecting other UL SRS resources with the aim of relieving neighbouring BSs from pilot contamination. Said features result in a cell throughput improvement over both fixed reuse and state-of-the-art FR based on a cell-centric perspective. △ Less

Submitted 19 December, 2017; originally announced December 2017.

Indoor Massive MIMO Deployments for Uniformly High Wireless Capacity

Authors: Giovanni Geraci, Adrian Garcia-Rodriguez, David Lopez-Perez, Lorenzo Galati Giordano, Paolo Baracca, Holger Claussen

Abstract: Providing consistently high wireless capacity is becoming increasingly important to support the applications required by future digital enterprises. In this paper, we propose Eigen-direction-aware ZF (EDA-ZF) with partial coordination among base stations (BSs) and distributed interference suppression as a practical approach to achieve this objective. We compare our solution with Zero Forcing (ZF),… ▽ More Providing consistently high wireless capacity is becoming increasingly important to support the applications required by future digital enterprises. In this paper, we propose Eigen-direction-aware ZF (EDA-ZF) with partial coordination among base stations (BSs) and distributed interference suppression as a practical approach to achieve this objective. We compare our solution with Zero Forcing (ZF), entailing neither BS coordination or inter-cell interference mitigation, and Network MIMO (NeMIMO), where full BS coordination enables centralized inter-cell interference management. We also evaluate the performance of said schemes for three sub-6 GHz deployments with varying BS densities -- sparse, intermediate, and dense -- all with fixed total number of antennas and radiated power. Extensive simulations show that: (i) indoor massive MIMO implementing the proposed EDA-ZF provides uniformly good rates for all users; (ii) indoor network densification is detrimental unless full coordination is implemented; (iii) deploying NeMIMO pays off under strong outdoor interference, especially for cell-edge users. △ Less

Submitted 10 October, 2017; originally announced October 2017.

Resource Scheduling for Mixed Traffic Types with Scalable TTI in Dynamic TDD Systems

Authors: Qi Liao, Paolo Baracca, David Lopez-Perez, Lorenzo Galati Giordano

Abstract: This paper analyses the performance benefits of a user-centric scheduling approach, exploiting the flexibility of both dynamic time division duplex (TDD) and a variable transmission time interval (TTI), where the downlink to uplink ratio and TTI duration can be adapted to the traffic load. The formulation of the joint optimisation problem takes into consideration the individual requirements of eac… ▽ More This paper analyses the performance benefits of a user-centric scheduling approach, exploiting the flexibility of both dynamic time division duplex (TDD) and a variable transmission time interval (TTI), where the downlink to uplink ratio and TTI duration can be adapted to the traffic load. The formulation of the joint optimisation problem takes into consideration the individual requirements of each single user in terms of sustainable latency and desired throughput, thus implementing a real user-centric scheduling approach. Moreover, the developed solution is evaluated in a scenario with mixed traffic types, mobile broadband (MBB) and mission critical communications (MCC), showing remarkable performance enhancement of the proposed scheme over baseline dynamic TDD schemes with a fixed TTI in terms of both achievable throughput of the MBB users and guaranteed latency for the MCC users. △ Less

Submitted 11 September, 2017; originally announced October 2017.

Comments: 7 pages, 9 figures, GLOBECOM 2016 ET5G Workshop

Massive MIMO Unlicensed for High-Performance Indoor Networks

Authors: Adrian Garcia-Rodriguez, Giovanni Geraci, David Lopez-Perez, Lorenzo Galati Giordano, Ming Ding, Holger Claussen

Abstract: We propose massive MIMO unlicensed (mMIMO-U) as a high-capacity solution for future indoor wireless networks operating in the unlicensed spectrum. Building upon massive MIMO (mMIMO), mMIMO-U incorporates additional key features, such as the capability of placing accurate radiation nulls towards coexisting nodes during the channel access and data transmission phases. We demonstrate the spectrum reu… ▽ More We propose massive MIMO unlicensed (mMIMO-U) as a high-capacity solution for future indoor wireless networks operating in the unlicensed spectrum. Building upon massive MIMO (mMIMO), mMIMO-U incorporates additional key features, such as the capability of placing accurate radiation nulls towards coexisting nodes during the channel access and data transmission phases. We demonstrate the spectrum reuse and data rate improvements attained by mMIMO-U by comparing three practical deployments: single-antenna Wi-Fi, where an indoor operator deploys three single-antenna Wi-Fi access points (APs), and two other scenarios where the central AP is replaced by either a mMIMO AP or the proposed mMIMO-U AP. We show that upgrading the central AP with mMIMO-U provides increased channel access opportunities for all of them. Moreover, mMIMO-U achieves four-fold and seven-fold gains in median throughput when compared to traditional mMIMO and single-antenna setups, respectively. △ Less

Submitted 18 August, 2017; originally announced August 2017.

Comments: 6 pages, 5 figures

Massive MIMO Unlicensed: A New Approach to Dynamic Spectrum Access

Authors: Adrian Garcia-Rodriguez, Giovanni Geraci, Lorenzo Galati Giordano, Andrea Bonfante, Ming Ding, David Lopez-Perez

Abstract: Nowadays, the demand for wireless mobile services is copious, and will continue increasing in the near future. Mobile cellular operators are therefore looking at the unlicensed spectrum as an economical supplement to augment the capacity of their soon-to-be overloaded networks. The same unlicensed bands are luring internet service providers, venue owners, and authorities into autonomously setting… ▽ More Nowadays, the demand for wireless mobile services is copious, and will continue increasing in the near future. Mobile cellular operators are therefore looking at the unlicensed spectrum as an economical supplement to augment the capacity of their soon-to-be overloaded networks. The same unlicensed bands are luring internet service providers, venue owners, and authorities into autonomously setting up and managing their high-performance private networks. In light of this exciting future, ensuring coexistence between multiple unlicensed technologies becomes a pivotal issue. So far this issue has been merely addressed via inefficient sharing schemes based on intermittent transmission. In this article, we present the fundamentals and the main challenges behind massive MIMO unlicensed, a brand-new approach for technology coexistence in the unlicensed bands, which is envisioned to boost spectrum reuse for a plethora of use cases. △ Less

Submitted 4 April, 2017; originally announced April 2017.

Comments: 6 pages, 6 figures

Enhancing Coexistence in the Unlicensed Band with Massive MIMO

Authors: Giovanni Geraci, Adrian Garcia-Rodriguez, David López-Pérez, Andrea Bonfante, Lorenzo Galati Giordano, Holger Claussen

Abstract: We consider cellular base stations (BSs) equipped with a large number of antennas and operating in the unlicensed band. We denote such system as massive MIMO unlicensed (mMIMO-U). We design the key procedures required to guarantee coexistence between a cellular BS and nearby Wi-Fi devices. These include: neighboring Wi-Fi channel covariance estimation, allocation of spatial degrees of freedom for… ▽ More We consider cellular base stations (BSs) equipped with a large number of antennas and operating in the unlicensed band. We denote such system as massive MIMO unlicensed (mMIMO-U). We design the key procedures required to guarantee coexistence between a cellular BS and nearby Wi-Fi devices. These include: neighboring Wi-Fi channel covariance estimation, allocation of spatial degrees of freedom for interference suppression, and enhanced channel sensing and data transmission phases. We evaluate the performance of the so-designed mMIMO-U, showing that it allows simultaneous cellular and Wi-Fi transmissions by keeping their mutual interference below the regulatory threshold. The same is not true for conventional listen-before-talk (LBT) operations. As a result, mMIMO-U boosts the aggregate cellular-plus-Wi-Fi data rate in the unlicensed band with respect to conventional LBT, exhibiting increasing gains as the number of BS antennas grows. △ Less

Submitted 16 March, 2017; originally announced March 2017.

Comments: To appear in Proc. IEEE ICC 2017