Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica - Tesi di Dottorato
Permanent URI for this collectionhttp://localhost:4000/handle/10955/31
Questa collezione raccoglie le Tesi di Dottorato afferenti al Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica dell'Università della Calabria.
Browse
21 results
Search Results
Item Efficient incremental algorithms for handling graph data(2017-11-13) Quintana Lopez, Ximena Alexandra; Crupi, Felice; Greco, Sergio;Item On the decidability of logic programs and chase algorithms(2016-02-19) Calautti, Marco; Crupi, Felice; Greco, SergioThe 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.Item 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, SergioItem Design and performance evaluation of algorithms for wireless self-organizing systems(2014-11-28) Surace, Rosario; Greco, Sergio; Loscrì, Valeria; Aloi, GianlucaThe 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.Item Software defined system for radar development and applications(2014-11-28) Spadafora, Francesco; Di Massa, Giuseppe; Costanzo, Sandra; Greco, SergioItem Cyber defense of enterprise information systems: advanced isues and techniques(2014-11-28) Rullo, Antonino; Pugliese, Andrea; Saccà, Domenico; Greco, SergioItem Multi-topic and multilingual document clustering via tensor modeling(2014-12-05) Romeo, Salvatore; Greco, Sergio; Tagarelli, AndreaItem Social networks: influence maxmization and efficient graph management(2014-11-28) Pulice, Chiara; Greco, SergioItem Model predictive control strategies for unmanned vehicles(2014-11-11) Lucia, Walter; Greco, Sergio; Franzè, Giuseppe; Muraca, PietroItem Novel ranking problems in information networks(2014-11-28) Interdonato, Roberto; Greco, Sergio; Tagarelli, Andrea
- «
- 1 (current)
- 2
- 3
- »