Tesi di Laurea
> Algoritmi per SAT/UNSAT (basati su giochi, algebra lineare, grafi)
> Temi Complessità delle dimostrazioni
>
Temi Complessità Computazionale
> Aspetti Formali di Data Mining
> Model checking
> Modellizzazione di Ecosistemi e Analisi di Dati Metereologici
Algoritmi per SAT/UNSAT
- Basati su proprietà spettrali
- Basati su caratteristiche di grafi come il tree-width
Temi
di Complessità delle Dimostrazioni
Alcuni temi:
- Spazio delle dimostrazioni nel Calcolo dei Polinomi
- Complessità della k-colorabilità e di proprietà di grafi e ipergrafi
- tradeoffs tra spazio, lunghezza ed ampiezza di dimostrazioni
Temi di Complessità Computazionale
Alcuni temi:
- Complessità circuitale di Majority
- Metodo polinomiale di smolensky (comp)
- Dimostrazioni Naturali (comp)
- Algebrizzazione (comp)
Aspetti Formali di Data Mining
- Si vedano i seguenti due papers:
J. L. Balcazar. Minimum-Size Bases of Association Rules. PKDD-ECML 2008
J. L. Balcazar. Deduction Schemes for Association Rules. Discovery Science 2008
Model
checking
In costruzione
Modellazione di Ecosistemi e Analisi di Dati Metereologici
in costruzione