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 |
|
|
|
|
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 | |
 |
Esercitazione |
| 1 |
dl-tableaux.pdf | dispense esercitazioni sulle DL |
marted́ 25 gennaio 2011 |
| 2 |
HoSa05a.pdf | articolo di approfondimento sulle DL |
marted́ 25 gennaio 2011 |
| 3 |
HoSa03a.pdf | articolo di approfondimento sulle DL |
marted́ 25 gennaio 2011 |
| 4 |
argomenti_eserc_DL.txt | argomenti trattati nelle esercitazioni sulle DL |
marted́ 25 gennaio 2011 |
| 5 |
AutomataMC_1_.pdf | Model checking basato su automi. |
marted́ 30 novembre 2010 |
| 6 |
DispensaMC_1_.pdf | Dispensa su Model Checking |
marted́ 30 novembre 2010 |
| 7 |
Exercise_1_.pdf | Esercizio di riepilogo sui campi finiti |
marted́ 30 novembre 2010 |
| 8 |
EserCF0506.pdf | Esercizi 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. |
|
|
|