Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Genesy: A blockchain-based platform for DNA sequencing
2019-01-01 Carlini, R.; Carlini, F.; Dalla Palma, S.; Pareschi, R.
A Holistic System for Fostering Active Aging: The D3A Project
2023-01-01 Cascitelli, A.; Gabrieli, P.; Oliveto, R.; Scognamiglio, D.; Simeone, J.
Model checking BDI logics over finite-state worlds
2020-01-01 la Torre, S.; Parlato, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Genesy: A blockchain-based platform for DNA sequencing | 1-gen-2019 | Carlini, R.; Carlini, F.; Dalla Palma, S.; Pareschi, R. | |
A Holistic System for Fostering Active Aging: The D3A Project | 1-gen-2023 | Cascitelli, A.; Gabrieli, P.; Oliveto, R.; Scognamiglio, D.; Simeone, J. | |
Model checking BDI logics over finite-state worlds | 1-gen-2020 | la Torre, S.; Parlato, G. |
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