In questo lavoro viene proposta una estensione del linguaggio datalog [CP97]. datalog è un linguaggio logico basato su datalog, la cui innovazione sostanziale consiste nell’aumento della potenza espressiva, tramite l’introduzione di una semantica basata sulla circoscrizione, un meccanismo deduttivo non monotòno che generalizza l’ipotesi di mondo chiuso. Questo tipo di semantica fornisce interes...

Sommario In questo lavoro viene illustrato un approccio per effettuare il clustering di Schemi XML semanticamente eterogenei. L’approccio proposto tiene conto principalmente della semantica degli Schemi coinvolti; questa viene definita per mezzo delle proprietà interschema esistenti tra concetti appartenenti ai diversi Schemi coinvolti. Un’importante caratteristica dell’approccio proposto è la ...

Sviluppo di immunosensori amperometrici e piezoeletrici per la rivelazione di anticorpi anti-tTG nella diagnosi della malattia celiaca Il presente lavoro riguarda la realizzazione di immunosensori a trasduzione amperometrica e piezoelettrica, basati sull’immobilizzazione della transglutaminasi tissutale in forma aperta (Open-tTG). Entrambe le strategie hanno permesso di ottenere un modello affi...

English. In this work we present the results obtained so far in different recognition experiments working on the audio only part of the ArtiPhon corpus used for the EVALITA 2016 speech-mismatch ArtiPhon task. Italiano. In questo lavoro si presentano i risultati ottenuti sinora in diversi esperimenti di riconoscimento fonetico utilizzanti esclusivamente la sola parte audio del corpus ArtiPhon ut...

English. In this paper, we illustrate the creation of a NER for the Public Administration (PA) domain. We discuss the creation of an annotated corpus with documents from the Italian Albo Pretorio Nazionale and provide results of the system evaluation. Italiano. In questo lavoro mostriamo la creazione di un NER per il dominio della Pubblica Amministrazione (PA). Presentiamo la creazione del corp...

1 State Police, Health Service Department, Ministry of Interior, Italy 2 Italian Society of Integrative Psychotherapy for Social Development (SIPISS) 3 Hospital Occupational Medicine Unit (UOOML), ICS Maugeri SpA SB, Pavia (Italy). 4 Occupational Medicine Unit “S. Maugeri”, Department of Public Health, Experimental and Forensic Medicine, University of Pavia (Italy). Hospital Occupational Medici...

Riassunto: In linguistica storica occorrono metodi per quantificare la similarità fra lingue basandosi sul confronto di particolari liste di parole estratte dal vocabolario completo. In particolare, si pone il problema di valutare se il numero di elementi simili nelle due liste sia sufficientemente alto per rifiutare l’ipotesi di somiglianza casuale. Dopo aver illustrato un approccio già esiste...

We give an algorithm solving combined word problems (over non necessarily disjoint signatures) based on rewriting of equivalence classes of terms. The canonical rewriting system we introduce consists of few transparent rules and is obtained by applying Knuth-Bendix completion procedure to presentations of pushouts among categories with products. It applies to pairs of theories which are both co...