Web del Politecnico di Milano
Dipartimento di Matematica "Francesco Brioschi"
Politecnico di Milano
Piazza Leonardo da Vinci, 32 - 20133 Milano
 
Direttore:  Prof. Piercesare Secchi   Vice Direttore:  Prof. Maurizio Grasselli
Responsabile Gestionale:  Ing. Chiara Montanari
geometrindi & matematindi, Luigi Serafini, 2002, opera eseguita su commissione del Dipartimento di Matematica
Home page   Contatti e PEC   Visita fotografica   Personale   Didattica   Biblioteca    Intranet   English version  
                 
Docente
Alessandra Cherubini
 
Professore Ordinario
Insegnamento
[089153] Logica 2
4° anno, laurea magistrale, semestre I, allievi INGEGNERIA INFORMATICA,
campus Milano Leonardo, Scegliere l'anno accademico 2010/11
 
 1 utente online su questa_pagina (aggiornamento ogni 5 minuti)

   In evidenza
  Per visionare o salvare un file, cliccare con il tasto sinistro del mouse sul nome del file e dalla finestra contestuale, selezionare Apri o Salva
http://molle.sourceforge.net/mollicino.jnlp dimostratore di logica modale tramite i tableaux
Grazie a Mazzucchi e Mocci autori del tool.
 
   Materiale a disposizione per il download
(ordinato per tipologia e data decrescente di inserimento)
  Per visionare o salvare un file, cliccare con il tasto sinistro del mouse sul nome del file e dalla finestra contestuale, selezionare Apri o Salva
Dispensa
1 [acrobat] LOGICHE_DESCRITTIVE1.pdfdispense sulle logiche descrittive venerd́ 17 dicembre 2010
2 [acrobat] LOGICA_MULTIMODALE.pdfDispense sulla logica multimodale luned́ 08 novembre 2010
3 [acrobat] LOGICA_MODALE1_2_.pdfDispense di logica modale venerd́ 15 ottobre 2010
4 [acrobat] critto.pdfdispense sui campi finiti venerd́ 01 ottobre 2010
Esercitazione
1 [acrobat] dl-tableaux.pdfdispense esercitazioni sulle DL marted́ 25 gennaio 2011
2 [acrobat] HoSa05a.pdfarticolo di approfondimento sulle DL marted́ 25 gennaio 2011
3 [acrobat] HoSa03a.pdfarticolo di approfondimento sulle DL marted́ 25 gennaio 2011
4 [text] argomenti_eserc_DL.txtargomenti trattati nelle esercitazioni sulle DL marted́ 25 gennaio 2011
5 [acrobat] AutomataMC_1_.pdfModel checking basato su automi. marted́ 30 novembre 2010
6 [acrobat] DispensaMC_1_.pdfDispensa su Model Checking marted́ 30 novembre 2010
7 [acrobat] Exercise_1_.pdfEsercizio di riepilogo sui campi finiti marted́ 30 novembre 2010
8 [acrobat] EserCF0506.pdfEsercizi sui campi finiti marted́ 16 novembre 2010
   Argomenti di Tesi proposti
[1]  Algebra e Geometria per le Applicazioni     Pubblicato luned́ 10 dicembre 2012
  Algoritmi di scheletrizzazione per l'analisi morfologica di fibre cheratiniche

La scheletrizzazione di un oggetto geometrico (tipicamente un'immagine 2D o un modello 3D) consiste matematicamente nel cercare di descrivere la frontiera dell'oggetto in termini di curve equidistanti dai suoi bordi (centerlines) e di funzioni a supporto su tali curve recanti l'informazione distanza di ogni punto delle centerlines dal bordo stesso.

Questa procedura è tipicamente il primo passo per la descrizione e l'analisi delle proprietà morfologiche di oggetti nell'ambito della computer vision. L'obbiettivo della tesi è la comparazioni delle diverse tecniche di scheletrizzazione esistenti in letteratura nel caso particolare di immagini ad alta definizione di fibre di origine animale (lana e cachemire) acquisite da microscopio elettronico, sia dal punto di vista della qualità dello scheletro individuato che del costo computazionale, ed eventualmente nella definizione ed implementazione di un nuovo algoritmo da svilupparsi specificatamente per il problema in questione.

Il lavoro si inserisce all'interno del progetto CLASH, finanziato da Imax-Max Mara Fashion Group, gestito dal gruppo di algebra e geometria per le applicazioni.
La tesi si inserisce nella linea di ricerca su geometria applicata e image processing.
Il lavoro, pensato per una persona, ha un un contenuto teorico alto, un contenuto modellistico medio, un contenuto di programmazione alto e richiede interesse verso temi di geometria discreta e image processing. Complessivamente si tratta di una tesi di medio-alta difficolta'.
I requisiti richiesti al laureando sono: si richiede al candidato la conoscenza del software Matlab.

[2]  Algebra e Geometria per le Applicazioni     Pubblicato venerd́ 13 gennaio 2012
  L'algebra nei protocolli crittografici.
[3]  Altro argomento     Pubblicato venerd́ 13 gennaio 2012
  Logica ed applicazioni
[4]  Algebra e Geometria per le Applicazioni     Pubblicato venerd́ 13 gennaio 2012
  Aspetti algebrici della teoria degli automi.
Pagina Math-Net     Link utili     Materiale informativo     Servizi Dipartimentali     Mappa del sito
Valid HTML 4.0 Transitional Valid CSS!