2020-06-20 13:43:13 +02:00
|
|
|
* Apprendimento Automatico [2/3]
|
2020-05-04 19:23:08 +02:00
|
|
|
- [X] Scrivile per date di esame
|
2020-06-07 19:19:54 +02:00
|
|
|
- [X] Richiedi date esame
|
2020-06-20 13:43:13 +02:00
|
|
|
- [ ] Slides [0/2]
|
|
|
|
|
- [ ] 002:
|
|
|
|
|
+ [ ] Laplace adjustment
|
|
|
|
|
+ [ ] Output code decoding
|
|
|
|
|
+ [ ] Itemeset bUh frequent: significato frequent
|
|
|
|
|
- [ ] 02:
|
|
|
|
|
+ [ ] Inductive Leap
|
|
|
|
|
+ [ ] Biased hyp
|
2020-06-23 21:53:50 +02:00
|
|
|
- [ ] 04:
|
|
|
|
|
+ [ ] growtree algorithm
|
|
|
|
|
+ [ ] Bene tutto il discorso su entropia
|
|
|
|
|
+ [ ] Ranking and regression trees
|
|
|
|
|
- [ ] 05:
|
|
|
|
|
+ [ ] Learning ordered rules da libro
|
|
|
|
|
+ [ ] Subgroups discovery e fine
|
|
|
|
|
- [ ] 07:
|
|
|
|
|
+ [ ] Mahalanobis distance
|
|
|
|
|
+ [ ] Meaning of variance in neighboors
|
|
|
|
|
+ [ ] Sum of squared error
|
|
|
|
|
+ [ ] Silhouttes
|
|
|
|
|
+ [ ] Rivedi kernelization
|
|
|
|
|
- [ ] Esercizi:
|
|
|
|
|
- [ ] es1: perche` min_impurity decrease
|
|
|
|
|
- [ ] chiedi a Galla`, Marco e Naz quali sono tutti gli es
|
|
|
|
|
- [ ] linear models.zip?
|
2020-05-04 19:21:16 +02:00
|
|
|
|
2020-06-20 13:43:13 +02:00
|
|
|
* Tesi [8/33]
|
2020-05-21 13:57:43 +02:00
|
|
|
- [ ] Rivedere inference rules di Gabriel e aggiustarle con le mie
|
2020-06-04 23:48:32 +02:00
|
|
|
- [ ] Definisci domain sempre allo stesso modo, con bigcup o |
|
2020-06-20 13:43:13 +02:00
|
|
|
- [ ] Scegli se usare [[t_s]\] o D(ts)
|
2020-06-19 13:42:02 +02:00
|
|
|
- [X] Definizione di First(x_i): serve?
|
|
|
|
|
- [ ] ~1444: run t_t against value (todo.1)
|
|
|
|
|
- [X] ~1435: equivalence v_s v_t: formulala, correggi omitted
|
|
|
|
|
- [ ] Definisci Run e =_run
|
2020-06-20 13:43:13 +02:00
|
|
|
- [ ] Correggi Dfb e D?
|
2020-06-19 13:42:02 +02:00
|
|
|
- [X] 3.4: DECISION TREE CHAPTER
|
|
|
|
|
+ [X] sposta inferenze sotto decision tree in equivalenze?
|
|
|
|
|
+ [X] Rivedi sezioni: magari le altre mettile come sottosezioni
|
2020-05-27 18:49:35 +02:00
|
|
|
- [ ] Equivalenza R_s R_T (run)
|
|
|
|
|
- [ ] TODO t_t
|
2020-06-04 23:48:32 +02:00
|
|
|
- [ ] Introduzione: Explain covers alla fine (o vedi che si fa nel paper)
|
|
|
|
|
- [ ] Paginazione:
|
|
|
|
|
+ [ ] figura (function scrutinee) fuori pagina
|
|
|
|
|
+ [ ] figura primo decision tree: migliorala
|
|
|
|
|
+ [ ] Line breaks
|
|
|
|
|
+ [ ] Esempio full signature match: allinea
|
|
|
|
|
+ [ ] correct. stat. di eq. checking: fuori margine
|
2020-06-08 00:08:07 +02:00
|
|
|
+ [ ] Minipages: spazio o divisore dalle linee prima e dopo
|
2020-06-19 13:42:02 +02:00
|
|
|
+ [ ] Minipages: allinea
|
|
|
|
|
+ [ ] {\progrel t_S t_T}: t_S finisce fuori
|
2020-05-04 19:23:08 +02:00
|
|
|
- [X] segreteria: tesi inglese
|
2020-05-06 17:10:03 +02:00
|
|
|
- [X] Gatti: inglese
|
|
|
|
|
- [X] Gatti: Coppo mio relatore
|
2020-05-21 13:57:43 +02:00
|
|
|
- [-] correzioni Coppo [0/5]
|
|
|
|
|
- [ ] esempi di esecuzione + test
|
|
|
|
|
- [ ] esplicitare mio contributo a fine introduzione o abstract
|
|
|
|
|
- [ ] spiegare meglio ruolo symbolic exec
|
|
|
|
|
- [ ] Cosa manca per implementare al compilatore: passare da prototipo a cosa finita
|
|
|
|
|
- [-] Introduzione [2/4]
|
|
|
|
|
- [ ] dovrebbe essere un po' ampliata e migliorata verso la fine
|
|
|
|
|
- [X] snellendo un po' la presentazione formale.
|
|
|
|
|
- [ ] spiegando meglio il ruolo della symbolic interpretation
|
|
|
|
|
- [X] Perche' ci si concentra sulla traduzione dei pattern?
|
|
|
|
|
- [ ] riferimenti bibliografici
|
|
|
|
|
- [ ] paper pattern matching C++
|
2020-05-04 19:23:08 +02:00
|
|
|
- [ ] Gabriel: finisci
|
2020-05-21 13:57:43 +02:00
|
|
|
- [ ] SimpleEquiv Latex
|
|
|
|
|
- [ ] Boolean result o Yes|No? (Inference rules)
|
|
|
|
|
- [ ] Mostra altri casi per la empty rule
|
|
|
|
|
- [ ] Adatta i cambiamenti al paper
|
|
|
|
|
- [ ] Esempio trimming
|
|
|
|
|
- [ ] Trimming e resto: mi sa che usi left e right male
|
|
|
|
|
- [ ] Spiega perche` trimming non simmetrico
|
|
|
|
|
- [ ] Spiega meglio le guards on equivalence checking
|
2020-05-27 18:49:35 +02:00
|
|
|
- [ ] t_T e t_S o t_t e t_s???
|
2020-06-19 13:42:02 +02:00
|
|
|
- [X] TODO eq_muovi : si parla di eq checking, forse non li`
|
|
|
|
|
- [X] Gabriel: quello che penso sulle equivalenze omesse e` giusto?
|
2020-05-27 18:49:35 +02:00
|
|
|
- [ ] Cambia le C di constraint tree in D
|
|
|
|
|
- [ ] TODO on the org file
|
2020-05-04 19:21:16 +02:00
|
|
|
HALP
|
2020-05-21 13:57:43 +02:00
|
|
|
HALP!
|
2020-06-04 23:48:32 +02:00
|
|
|
|
