Web del Politecnico di Milano
Dipartimento di Matematica "Francesco Brioschi"
Politecnico di Milano
Piazza Leonardo da Vinci, 32 - 20133 Milano
geometrindi&matematindi, Luigi Serafini, 2002, opera eseguita su commissione del Dipartimento di Matematica
DIPARTIMENTO
DI MATEMATICA
Docente
Alessandra Cherubini
 
Professore Ordinario
Insegnamento
[089153] Logica 2
4° anno, laurea magistrale, semestre I, allievi INGEGNERIA INFORMATICA,
campus Milano Leonardo, 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.
Link utili     Materiale informativo     Servizi Dipartimentali     Mappa del sito
Valid HTML 4.0 Transitional Valid CSS!