Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
How Culture may influence Ontology Co-design: a qualitative study
2011-01-01 Anticoli, Linda; Toppano, Elio
Towards quantum programs verification: from quipper circuits to QPMC
2016-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
Shut Up and Run: The Never-ending Quest for Social Fitness
2018-01-01 Anticoli, L.; Basaldella, M.
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains
2018-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
Entangλe: a Framework from Quantum Programming to Quantum Model Checking
2018-09-28 Anticoli, Linda
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
How Culture may influence Ontology Co-design: a qualitative study | 1-gen-2011 | Anticoli, Linda; Toppano, Elio | |
Towards quantum programs verification: from quipper circuits to QPMC | 1-gen-2016 | Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo | |
Shut Up and Run: The Never-ending Quest for Social Fitness | 1-gen-2018 | Anticoli, L.; Basaldella, M. | |
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains | 1-gen-2018 | Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo | |
Entangλe: a Framework from Quantum Programming to Quantum Model Checking | 28-set-2018 | Anticoli, Linda |
Mostrati risultati da 1 a 5 di 5
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