Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Autore "Leone, Nicola"
Items 1-20 di 49
-
3d web-based parallel applications for the numerical modeling of natural phenomena
Parise, Roberto; Leone, Nicola; D'Ambrosio, Donato; Spataro, William (2014-11-28)In this thesis, I designed and implemented three new web applications tai- lored for the Cellular Automata (CA) simulation models SCIDDICA-k1, SCIARA-fv3 and ABBAMPAU, making use of the GoogleWeb Toolkit frame- work and ... -
Advanced Techniques and Systems for Data and Process Management
Granata, Luigi; Greco, Gianluigi; Leone, Nicola (2014-03-31)Il lavoro di tesi viene suddiviso in due parti che trattano rispettivamente di tecniche avanzate e sistemi per la gestione dei dati e per il mining dei processi. Sono state affrontate problematiche relative all’efficienza ... -
Answer Set Programming with Functions
Cozza, Susanna; Leone, Nicola (2014-04-01)L’Answer Set Programming (ASP) [Gelfond and Lifschitz, 1988; 1991] `e un formalismo che si `e affermato, in questi ultimi anni, come potente strumento di programmazione dichiarativa per la rappresentazione della conoscenza ... -
Answer set programming:development tols and applications to tourism
Nardi, Barbara; Leone, Nicola; Terracina, Giorgio (2015-12-15)Answer Set Programming (ASP) is a declarative rule–based programming paradigm for knowledge representation and declarative problem–solving. The idea of ASP is to represent a given computational problem by using a logic ... -
Capitulation and stabilization in various aspects of Iwasawa theory for Zp-extensions
Caldarola, Fabio; Bandini, Andrea; Leone, Nicola (2013-11-25) -
Cellular automata for modeling and simulating complex phenomena : lahars
Machado Sotomayor, Guillermo Edvin; Salvatore Di Gregori, Salvatore; Lupiano, Valeria; Leone, Nicola (2015-12-15)Lahars represent one of the most destructive natural disasters regarding the loss of human lives and property damage in their path. Lahars are very complex surface flows of two types: primary lahars originated directly ... -
Computational tasks in answer set programming: algorithms and implementation
Dodaro, Carmine; Leone, Nicola; Ricca, Francesco (2014-12-01)L’Answer Set Programming (ASP) è un paradigma di programmazione dichiarativa basato sulla semantica dei modelli stabili. L’idea alla base di ASP è di codificare un problema computazionale in un programma logico i ... -
Concentration and asymptotic behavior of solutions for some singularly perturbed mixed problems
Montoto, Luigi; Leone, Nicola; Canino, Annamaria; Peral, Ireneo (2014-05-27) -
Convex tomography in dimension two and three
Dicosta, Marina; Leone, Nicola; Volcic, Aljosa (2014-05-27)In this thesis we investigate a problem which is part of Geometric Tomography. Geometric Tomography is a branch of Mathematics which deals with the determination of a convex body (or other geometric objects) in n from ... -
CORE: an intelligent trasportation systems in Calabria
Santoro, Francesco; Leone, Nicola; Laganà, Demetrio; Musmanno, Roberto (2017-02-22) -
Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability
Veltri, Pierfrancesco; Leone, Nicola; Terracina, Giorgio (2012-11-11)Ontologies and rules play a central role in the development of the Semantic Web. Recent research in this context focuses especially on highly scalable formalisms for the Web of Data, which may highly benefit from exploiting ... -
Design and implementation of a modern ASP grounder
Zangari, Jessica; Leone, Nicola; Calimeri, Francesco; Perri, Simona (2018-01-19)Answer Set Programming (ASP) is a declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming in the late '80 and early '90. Thanks to its expressivity and capability of dealing ... -
DLVDB An ASP System for Data Intensive ApplicationsRisorsa elettronica
Panetta, Claudio; Leone, Nicola; Terracina, Giorgio (2014-04-01)La rapida crescita di sistemi informatici derivanti dalle diverse applicazioni cui Internet si presta, ha rapidamente aumentato la quantit`a di dati e di informazioni disponibili per l’elaborazione. In particolare, ... -
Domain specific languages for parallel numerical modeling on structured grids
De Rango, Alessio; Leone, Nicola; D'Ambrosio, Donato; Spataro, William; Mudalige, Gihan (2019-01-17)High performance computing (HPC) is undergoing a period of enormous change. Due to the di culties in increasing clock frequency inde nitely (i.e., the breakdown of Dennard's scaling and power wall), the current direction is ... -
Dyadic TGDs - A new paradigm for ontological query answering
Marte, Cinzia; Greco, Gianluigi; Manna, Marco; Guerriero, Francesca; Leone, Nicola (Università della Calabria, 2022-03-11)Ontology-BasedQueryAnswering(OBQA)consistsinqueryingdata– bases bytakingontologicalknowledgeintoaccount.Wefocusona logical frameworkbasedonexistentialrulesor tuple generatingdepen- dencies (TGDs), alsoknownasDatalog±, ... -
Eccient evaluation of disjunctive logic programs
Catalano, Gelsomina; Leone, Nicola; Perri, Simona (2014-03-31)Agli inizi degli anni ‘80, Jack Minker propose di accrescere la potenza della programmazione logica consentendo l’utilizzo della disgiunzione nelle teste delle regole e specificando come l’assunzione di mondo chiuso ... -
Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering
Cuteri, Bernardo; Leone, Nicola; Ricca, Francesco (2019-01-17)This work is focused on Answer Set Programming (ASP), that is an expressive formalism for Knowledge Representation and Reasoning. Over time, ASP has been more and more devoted to solving real-world problems thanks to ... -
Extending the ASP System DLVDB to Support Complex Terms and Procedural Sub-tasks
De Francesco, Erika; Terracina, Giorgio; Leone, Nicola (2014-03-31)In many scientific and business scenarios, large amounts of data are generated and stored at increasing speed in local or distributed databases. Scientific experiments generating petabytes of data are daily performed in ... -
Fixed Point Iterations for Nonlinear Mappings
Scardamaglia, Bruno; Leone, Nicola; Marino, Giuseppe; Cianciaruso, Filomena (2015-12-15)In questa tesi vengono a rontati, e talvolta risolti, alcuni problemi sulla convergenza di algoritmi per punti ssi. A tali problemi, verr a a ancato inoltre l'ulteriore problema di stabilire quando tali algoritmi ... -
GAMON discovering M-of-N hypotheses for text classification by a lattice-based genetic algorithm
Pietramala, Adriana; Leone, Nicola; Rullo, Pasquale (2013-11-12)Lo sviluppo delle moderne tecnologie informatiche, nonch´e la diffusione dei servizi per il Web, ha portato ad una considerevole produzione di informazioni e dati di diversa natura: documenti testuali (dati non strutturati), ...