Items 1-20 di 75

  • Optimizing inventory and distribution in supply chain management 

    Paradiso, Rosario; Laganà, Demetrio; Leone, Nicola (Università della Calabria, 2020-01-13)
    Nella presente tesi di dottorato sono studiati due problemi (e relative generalizzazioni e varianti) di particolare interesse nel campo della Logistica e della Ricerca Operativa. Il primo problema trattato è il Multi ...
  • Deep Learning and Graph Theory for Brain Connectivity Analysis in Multiple Sclerosis 

    Marzullo, Aldo; Leone, Nicola; Calimeri, Francesco; Terracina, Giorgio (Università della Calabria, 2020-01-16)
    Multiple sclerosis (MS) is a chronic disease of the central nervous system, leading cause of nontraumatic disability in young adults. MS is characterized by inflammation, demyelination and neurodegenrative pathological ...
  • Qualitative properties of solutions to some semilinear and quasilinear elliptic PDEs 

    Esposito, Francesco; Leone, Nicola; Sciunzi, Berardino; Farina, Alberto (Università della Calabria, 2019-12-23)
    Il metodo dello spostamento degli iperpiani di A.D. Alexandrov e J.B. Serrin è lo strumento più importante utilizzato per studiare le proprietà qualitative di soluzioni di equazioni alle derivate parziali (EDP) di tipo ...
  • Distributed Optimization Over Large-Scale Systems for Big Data Analytics 

    Shahbazian, Reza; Leone, Nicola; Grandinetti, Lucio; Guerriero, Francesca (Università della Calabria, 2020-01-17)
    A large-scale system is defined as one that supports multiple, simultaneous users who access the core functionality through some network. Nowadays, enormous amount of data is continually generated at unprecedented and ...
  • Declarative solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots 

    Bertolucci, Riccardo; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio (Università della Calabria, 2020-03-17)
    The manipulation of exible object is of primary importance in industry 4.0 and in home environments scenarios. Traditionally, this problem has been tackled by developing ad-hoc approaches, that lack of exibility and ...
  • Arsenic Ore Mixture Froth Image Generation with Neural Networks and a Language for Declarative Data Validation 

    Zamayla, Arnel; Greco, Gianluigi; Alviano, Mario; Dodaro, Carmine (Università della Calabria, 2022-04-14)
    Computer vision systems that measure froth flow velocities and stability designed for flotation froth image analysis are well established in industry, as they are used to control material recovery. However flotation ...
  • Reasoning in highly dynamic environments 

    Pacenza, Francesco; Greco, Gianluigi; Ianni, Giovambattista; Zangari, Jessica (Università della Calabria, 2021-07-03)
  • Large-scale ontology-mediated query answering over OWL 2 RL ontologies 

    Fiorentino, Alessio; Greco, Gianluigi; Manna, Marco (Università della Calabria, 2022-03-11)
    Ontology-mediated query answering (OMQA) is an emerging paradigm at the basis of many semantic-centric applications. In this setting, a conjunctive query has to be evaluated against a logical theory (knowledge base) ...
  • A logic-based decision support system for the diagnosis of headache disorders according to the ichd - 3 international classification 

    Costabile, Roberta; Manna, Marco; Greco, Gianluigi (Università della Calabria, 2022-04-21)
  • Towards an effective and explainable AI: studies in the biomedical domain 

    Bruno, Pierangela; Greco, Gianluigi; Calimeri, Francesco (Università della Calabria, 2021-07-05)
    Providing accurate diagnoses of diseases and maximizing the effectiveness of treatments requires, in general, complex analyses of many clinical, omics, and imaging data. Making a fruitful use of such data is not ...
  • Surfaces with Prym-canonical hyperplane sections 

    Anelli, Martina; Ciliberto, Ciro; Galati, Concettina; Knutsen, Andreas Leopold; Greco, Gianluigi (Università della Calabria, 2021-05-17)
    Uno dei principali problemi della geometria algebrica e la classi cazione delle variet a algebriche a meno di isomor smi o di equivalenza birazionale. Mentre il problema della classi cazione di curve algebriche e ...
  • Tight integration of Artificial Intelligence in Game Development Tools 

    Angilica, Denise; Greco, Gianluigi; Ianni, Giovambattista (Università della Calabria, 2020-03-11)
    In this thesis we aim to narrow some of the gaps that prevent the adoption of declarative tools within highly dynamically changing environments, with a particular focus to the context of game development. Integrating ...
  • 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±, ...
  • Ontology-driven information extraction 

    Adrian, Weronika Teresa; Leone, Nicola; Manna, Marco (2017-07-20)
    Information Extraction consists in obtaining structured information from unstructured and semi-structured sources. Existing solutions use advanced methods from the field of Natural Language Processing and Artificial ...
  • CORE: an intelligent trasportation systems in Calabria 

    Santoro, Francesco; Leone, Nicola; Laganà, Demetrio; Musmanno, Roberto (2017-02-22)
  • Paracoherent Answer Set Programming 

    Amendola, Giovanni; Leone, Nicola; Eiter, Thomas (2017-02-22)
    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 cui ...
  • <<The>> impact of software on Mathematics education in high schools 

    Frassia, Maria Giovanna; Leone, Nicola; Serpe, Annarosa (2017-02-22)
    Il rapporto tra tecnologia e insegnamento-apprendimento della Matematica è un fenomeno complesso che merita di essere osservato da diversi punti di vista. Uno di questi è il ruolo che i software svolgono, e potrebbero ...
  • Pure strategies in security games 

    Marek, Adrian; Leone, Nicola; Greco, Gianluigi (2017-07-20)
    In the past decades game theory allowed to model mathematically conflicts between groups of players, each with their own agenda, and found ways to apply them in real life situations. One of such applications, which has ...
  • 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 ...
  • Topics in metric fixed point teory and stability of dynamical systems 

    Zaccone, Roberta; Leone, Nicola; Marino, Giuseppe (2018-01-19)
    In this thesis we introduce iterative methods approximating fixed points for nonlinear operators defined in infinite-dimensional spaces. The starting points are the Implicit and Explicit Midpoint Rules generating polygonal ...