Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica

Now showing 1 - 10 of 21

Efficient incremental algorithms for handling graph data
(2017-11-13) Quintana Lopez, Ximena Alexandra; Crupi, Felice; Greco, Sergio;
On the decidability of logic programs and chase algorithms
(2016-02-19) Calautti, Marco; Crupi, Felice; Greco, Sergio
The problem of programs termination is a fundamental problem in Computer Science, and has always gained interest from research communities, due to the challenge of dealing with a problem that has been proved to be undecidable in general. Furthermore, there has been a great increase of interest from the logic programming and database communities in identifying meaningful and large fragments of the languages used, in order to guarantee termination of inference tasks. The goal of this thesis is to study the termination problem in the eld of logic programming with function symbols and in the eld of integrity database dependencies enforced via the Chase procedure. The state of the art for both elds is presented, identifying limitations of current works and new approaches to overcome such limitations are proposed.
Interrogare in linguaggio naturale una base di conoscenza Datalog. Un approccio basato sull'annotazione semantica dei predicati
(2017-02-09) Lo Scudo, Fabrizio; Scarcello, Francesco; Greco, Sergio
Design and performance evaluation of algorithms for wireless self-organizing systems
(2014-11-28) Surace, Rosario; Greco, Sergio; Loscrì, Valeria; Aloi, Gianluca
The work done during the PhD course involves the study of the Self- Organization of wireless sensors, robots and UAV networks. In particular, this thesis investigates how each node composing the system can take advantage from the Self-Organization and from mobility, in a way to optimize some networks parameters as coverage and energy consumption. Self-Organization is a process in which pattern at the global level of a system emerges solely from numerous interactions among the lower-level components of a system. The rules specifying interactions among the systems components are executed using only local information, without reference to the global pattern [1]. Mobility, although still for some types of systems is not considered a primitive of the network: in recent years has been the subject of many studies just as useful feature to achieve certain objectives, not least the energy consumption in transmission. The network issues has been addressed using different approaches from the theoretical studies aimed at finding the maximum achievable performance benchmarks, through the introduction of appropriate optimization models, the proposal of distributed heuristics and more realistic communication protocols, and the use of biology-inspired mechanisms, such as genetic algorithms (GA) and neural networks (NN). The purpose of this type of approach is to move in the direction of networks that are able to self-organize by adapting to different environmental conditions and dynamic as well as hard scenarios (i.e. environment disasters). The rest of the thesis is organized as follows: in Chapter 1 background on Self-Organizing Systems is given. In Chapter 2 we investigate on the impact of the Propagation Environment on Controlled Mobility Algorithms; distributed heuristics to Film Sport Events with Flying Robots in Chapter 3 and Bio- Inspired approaches in Chapter 4. Finally, a new communications protocol for WSN called Decentralized Time-Synchronized Channel Swapping is analyzed in Chapter 5.
Software defined system for radar development and applications
(2014-11-28) Spadafora, Francesco; Di Massa, Giuseppe; Costanzo, Sandra; Greco, Sergio
Cyber defense of enterprise information systems: advanced isues and techniques
(2014-11-28) Rullo, Antonino; Pugliese, Andrea; Saccà, Domenico; Greco, Sergio
Multi-topic and multilingual document clustering via tensor modeling
(2014-12-05) Romeo, Salvatore; Greco, Sergio; Tagarelli, Andrea
Social networks: influence maxmization and efficient graph management
(2014-11-28) Pulice, Chiara; Greco, Sergio
Model predictive control strategies for unmanned vehicles
(2014-11-11) Lucia, Walter; Greco, Sergio; Franzè, Giuseppe; Muraca, Pietro
Novel ranking problems in information networks
(2014-11-28) Interdonato, Roberto; Greco, Sergio; Tagarelli, Andrea

Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica - Tesi di Dottorato

Browse

Filters

Settings

Sort By

Results per page

Search Results