Sfoglia per Autore
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version)
2019-01-01 Morandin, Francesco; Amato, Gianluca; Fantozzi, Marco; Gini, Rosa; Metta, Carlo; Parton, Maurizio
Primitive abundant and weird numbers with many prime factors
2019-01-01 Amato, Gianluca; Hasler, Maximilian F.; Melfi, Giuseppe; Parton, Maurizio
SAI: A Sensible Artificial Intelligence that plays Go
2019-01-01 Morandin, Francesco; Amato, Gianluca; Gini, Rosa; Metta, Carlo; Parton, Maurizio; Pascutto, Gian-Carlo
Universal Algebra in UniMath
2020-01-01 Amato, Gianluca; Maggesi, Marco; Parton, Maurizio; Perini Brogi, Cosimo
On collecting semantics for program analysis
2020-01-01 Amato, G.; Meo, M. C.; Scozzari, F.
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go
2020-01-01 Morandin, Francesco; Amato, Gianluca; Fantozzi, Marco; Gini, Rosa; Metta, Carlo; Parton, Maurizio.
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning?
2022-01-01 Pasqualini, L.; Parton, M.; Morandin, F.; Amato, G.; Gini, R.; Metta, C.; Fantozzi, M.; Marchetti, A.
The role of linearity in sharing analysis
2022-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
On the Need for a Common API for Abstract Domains of Object-Oriented Programs
2022-01-01 Amato, G.; Meo, M. C.; Scozzari, F.
The ScalaFix Equation Solver
2023-01-01 Amato, Gianluca; Scozzari, Francesca
JGMP: Java bindings and wrappers for the GMP library
2023-01-01 Amato, Gianluca; Scozzari, Francesca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) | 2019 | Morandin, Francesco; Amato, Gianluca; Fantozzi, Marco; Gini, Rosa; Metta, Carlo; Parton, Maurizio | |
| Primitive abundant and weird numbers with many prime factors | 2019 | Amato, Gianluca; Hasler, Maximilian F.; Melfi, Giuseppe; Parton, Maurizio | |
| SAI: A Sensible Artificial Intelligence that plays Go | 2019 | Morandin, Francesco; Amato, Gianluca; Gini, Rosa; Metta, Carlo; Parton, Maurizio; Pascutto, Gian-Carlo | |
| Universal Algebra in UniMath | 2020 | Amato, Gianluca; Maggesi, Marco; Parton, Maurizio; Perini Brogi, Cosimo | |
| On collecting semantics for program analysis | 2020 | Amato, G.; Meo, M. C.; Scozzari, F. | |
| SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go | 2020 | Morandin, Francesco; Amato, Gianluca; Fantozzi, Marco; Gini, Rosa; Metta, Carlo; Parton, Maurizio. | |
| Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? | 2022 | Pasqualini, L.; Parton, M.; Morandin, F.; Amato, G.; Gini, R.; Metta, C.; Fantozzi, M.; Marchetti, A. | |
| The role of linearity in sharing analysis | 2022 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| On the Need for a Common API for Abstract Domains of Object-Oriented Programs | 2022 | Amato, G.; Meo, M. C.; Scozzari, F. | |
| The ScalaFix Equation Solver | 2023 | Amato, Gianluca; Scozzari, Francesca | |
| JGMP: Java bindings and wrappers for the GMP library | 2023 | Amato, Gianluca; Scozzari, Francesca |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile