Calcolo di Modelli Stabili Attraverso la Semplificazione di Programmi Logici Fabrizio Magni Relatore: Prof.ssa Stefania Costantini Corelatore: Dott. Alessandro.

Slides:



Advertisements
Presentazioni simili
Università degli Studi di Modena e Reggio Emilia Facoltà di Ingegneria – Sede di Modena Corso di Laurea in Ingegneria Informatica – Nuovo Ordinamento Relatore:Candidato:
Advertisements

Seam.
UNIVERSITÀ DEGLI STUDI ROMA TRE Metodi e strumenti per lanalisi dellevoluzione dei rapporti tra fornitori e fruitori di servizi di connettività in Internet.
1 Implementazione di Linguaggi 2 PARTE 6 Implementazione di Linguaggi 2 PARTE 6 Massimo Ancona DISI Università di Genova Testo: A.V. Aho, R. Sethi, J.D.Ullman.
Alessandro De Salvo – Status del Tier2 di Atlas a Roma 1 – MDT Meeting – Pavia, 30 settembre – 1 ottobre 2002 Fibra ottica (Lab Atlas) Network Switch 3COM.
UNIVERSITA DEGLI STUDI DI ROMA La Sapienza F ACOLTÀ DI S CIENZE M ATEMATICHE, F ISICHE E N ATURALI C ORSO DI L AUREA S PECIALISTICA IN I NFORMATICA F ORMAL.
MIC 2008, Roma Antonio Pistoia Università Politecnica delle Marche MOODLELab Uno strumento per MOODLE per la gestione dei telelaboratori durante i corsi.
La scuola come impresa sociale: responsabilità e rendicontazione
Università degli studi di Modena e Reggio Emilia Facoltà di Ingegneria di Modena Corso di Laurea Specialistica in Ingegneria Informatica Analisi e valutazione.
22 maggio 2002 Avvisi: Ultima lezione: mercoledì 29 maggio II Esonero: mercoledì 5 giugno, ore 10:00.
Sperimentazione CLIL nella scuola primaria in Lombardia
1 IL PARADIGMA DELLE RETI DINAMICHE PER LA CARATTERIZZAZIONE DI MODELLI DI MOTO COLLETTIVO CANDIDATO GIUSEPPE MARZIALE RELATORE ING. ALESSANDRO RIZZO POLITECNICO.
1 secondo forum pubblico con la cittadinanza F a b r i a n o 30 _settembre_ 2006 L E I D E E P E R I L T E R R I T O R I.
Il sistema operativo Sistema operativo (in breve) –È costituito dai programmi di gestione delle operazioni più elementari del computer –… gestione di vari.
Venezia Confartigianato. Gli ultimi 10 anni Oggi.
Microsoft Access Cosa sono i database, microsoft access, le relazioni e le tabelle.
PRESENTAZIONE: La ditta SONICAL s.r.l. presente da tempo nel mondo dello stampaggio in pressofusione a camera calda delle leghe di zinco, ha sviluppato.
MODELLO PER L’ANALISI DEL RATING AZIENDALE: ARP
1 BLS, Lötschberg base tunnel Tunnel alla base del Lötschberg Descrizione delloggetto e attività Periodo di costruzione: 1999 – 2007 (8 anni) Cliente /
Industrie eco-sostenibili Maggiore rispetto della natura utilizzando nuove fonti rinnovabili Rispetto per la natura Prevenzione inquinamento.
ASI-AGI: Analisi Sistemi Iperspettrali per le Applicazioni Geofisiche Integrate WP 2.1: Correzioni topografiche Prodotto: Procedure per la correzione dei.
Università degli studi di Roma La Sapienza Facoltà di Scienze Matematiche Fisiche E Naturali Corso di Laurea in Tecnologie Informatiche Presentazione Relazione.
INNOVAZIONE NELLA SCUOLA E T.I.C.
Telemarketing & Market Research Advanced on Line Business Oriented Research Solutions ALBORS.
Applicazioni nel campo dellingegneria dellapprossimazione di funzioni mediante sistemi fuzzy Arianna Mencattini Riunione Annuale del GRUPPO ELETTRONICA.
Progettazione curricolo competenza scientifico- tecnologica Gruppo rete territoriale asse- scientifico – tecnologico – biennio Febbraio-marzo 2009.
La risoluzione determina il dettaglio dell'immagine, quindi le massime dimensioni di stampa che potete raggiungere mantenendo una buona qualità. La fotocamera.
Alcune problematiche di replicazione dati in unorganizzazione geograficamente distribuita Collaborazione CASPUR - ENEA Silvia Eccher - CASPUR Franco Iannone.
Struttura Aziendale Arianna Montervino 4° A T.G.A A.S 2009/2010 Stage.
"Ricerca-azione triennale sugli OBIETTIVI di SVILUPPO del MILLENNIO condotta attraverso le ICT nella scuola secondaria di II grado" Ipsia Carlo Cattaneo.
L’azienda prima dell’intervento:
corso di public speaking
Sales Operation Planning Project
Soluzione integrata per la gestione delle attività di
• Progettazione Studi di fattibilità Piping industriale Industrializzazione ed ottimizzazione di progetti esistenti Layout di impianti e/o disposizione.
Dr.ssa Michela Floris Oristano, 11 Giugno Programma per la serata Visione di un video della Prof.ssa Cristina Castelli dellUniversità Cattolica.
Dr.ssa Michela Floris Oristano, 18 Giugno Programma per la serata Visione di un video del Dr. Attanzio, direttore generale dellAIDAF Identificazione.
Anno Accademico 2010 – 2011 Corso di Progettazione dei Sistemi di Controllo Prof. Luca Schenato Prof. Gianluigi Pillonetto Gottardo Giuseppe, matr
UNIVERSITA’ DEGLI STUDI DI NAPOLI FEDERICO II
TAQ Identità oggetto Contenuto Modalità di uso Nome oggetto: numero
IMMOBILI AMBIENTI OPERATIVI Windows XP – Seven 32 bit MODALITA DI LAVORO Monoutenza Rete con server dedicato Da terminale remoto tramite VPN REPORT DI.
Architettura dei sistemi di elaborazione
Processo di trasfigurazione REALTA Idea musicale Emozioni Idea musicale Osservazione musicale Musica e psiche Interevento Dott. ssa Marina de Robert artificialesuccesso.
UNIVERSITÀ DEGLI STUDI DELLINSUBRIA Facoltà di Scienze matematiche, fisiche e naturali Corso di Laurea in SCIENZE DELLA COMUNICAZIONE Dott. Nicola AMATO.
Roberto Dimase Mod. 1 Inf. Base1 Modulo 1 Concetti teorici di base della tecnologia dellinformazione.
Istituto degli InnocentiRegione Molise C orso di formazione La comunicazione pubblica La redazione web Campobasso 12/13 Aprile 2004.
Adolfo Ceretti Prof. Criminalista – Italia
Tavola rotonda Che cosa dovrebbe aver imparato lo studente che conclude gli studi secondari di secondo grado? Maurizio Vichi Società Italiana di Statistica.
Perché insegnare statistica a scuola Utilità della Statistica 1.è a fondamento della crescita democratica di un nazione moderna 2.è essenziale per monitorare.
OR4 (MODELLI) NOV- FEB.
Sistema Informativo Demanio Idrico marzo Per aumentare lefficienza del servizio abbiamo realizzato un sistema in grado di gestire in modo integrato.
Andrea Petricca Problematiche di rete nella sperimentazione di file-system distribuiti su WAN per applicazioni di GRID-Computing Rapporto trimestrale attività
Progetto Mondiale BPCO Valutazione e monitoraggio 2.Riduzione dei fattori di rischio 3.Trattamento della BPCO stabile: educazionale farmacologico.
Computer & Scuola Realizzare la fase dimplementazione delle nuove tecnologie in Europa.
PROGETTO DI STRUMENTI PER LA CONFIGURAZIONE DI APPLICAZIONI JAVA ENTERPRISE Anno Accademico 2006 / 2007 Sessione III FACOLTÀ DI INGEGNERIA CORSO DI LAUREA.
LA SICUREZZA NELLE AZIENDE OSPEDALIERE, ELEMENTI PER ELABORARE UN BILANCIO A ree di eccellenza e bilancio di attività nella prevenzione sul lavoro in azienda.
Attività Formativa Sviluppo di un WORKFLOW ENGINE di Dott. Riccardo Gasperoni Alessandro Caricato Gabriele Trabucco in collaborazione con Progesi S.p.A.
Progetto Formazione Triage modello LAZIO:
Giancarlo Colferai - CEPAS
Attribution-NonCommercial-ShareAlike SQL Server.
INVECCHIAMENTO CEREBRALE
Calcolo di Modelli Stabili Attraverso la Semplificazione di Programmi Logici Fabrizio Magni Relatore: Prof.ssa Stefania Costantini Corelatore: Dott. Alessandro.
Calcolo di Modelli Stabili Attraverso la Semplificazione di Programmi Logici Fabrizio Magni Relatore: Prof.ssa Stefania Costantini Corelatore: Dott. Alessandro.
Introduction to automatic ABMs documentation Keywords: Doxygen ODD protocol MASON documentation Simone Romano.
Interrogazioni private di database mediante Filtri di Bloom:
Corso di Laurea in Logopedia
Sviluppo di server web e sistema di caching per contenuti dinamici
1 o 2 immagini inerenti l’argomento di tesi (le stesse della sintesi)
Corso di Laurea Specialistica/Magistrale in Farmacia
Corso di Laurea in Farmacia Dipartimento di Scienze del Farmaco
Transcript della presentazione:

Calcolo di Modelli Stabili Attraverso la Semplificazione di Programmi Logici Fabrizio Magni Relatore: Prof.ssa Stefania Costantini Corelatore: Dott. Alessandro Provetti

Obiettivi della Tesi Creazione di procedure che supportino quelle già esistenti per il calcolo di modelli stabili; Implementazione dellalgoritmo di Kernelizzazione; Calcolo delle prestazioni dellalgoritmo; Applicazioni dellalgoritmo; applicazione del calcolo dei modelli stabili alla pianificazione automatica.

Procedure ausiliarie Parser per la procedura di colorazione; generatore di programmi logici random; generatore di moduli extremal.

Programma logico a not b. c not a, not d. d b. e not b, a.

Kernel di un programma Principali caratteristiche : contiene tutte le informazioni per il calcolo di modelli stabili; e well-founded; e completamente negativo. Per lalgoritmo di colorazione si vedano gli articoli di Brignoli, Costantini, DAntona e Provetti. ULTERIORI INFORMAZIONI...

Calcolo del kernel di un programma: Calcolo del well-founded; uso delloperatore ; unfolding iterato; top iterato; eliminazione delle regole positive rimanenti. Per lalgoritmo si veda larticolo: Costantini et al., ULTERIORI INFORMAZIONI...

Calcolo dei modelli Stabili Programma Logico KernelizzatoreSMODELS Kernel Parsato Modelli Stabili

Miglioramenti apportati dal kernel Velocita di computazione per programmi estesi; omogeneita della semantica.

Pianificazione automatica: Utilizzo del calcolo dei modelli stabili per la pianificazione automatica; calcolo delle prestazioni su diversi planner; confronto delle prestazioni nella letteratura.

Esempio di pianificazione automatica: il mondo dei blocchi Stato A Stato B

Sviluppi futuri Aumento dellefficienza della kernelizzazione; ampliamento del concetto di kernelizzazione a programmi logici funzionali; applicazione del calcolo dei modelli stabili allintelligenza artificiale e alla robotica.