Sfoglia per Serie
Gathering of Asynchronous Oblivious Robots With Limited Visibility
2001-01-01 Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter
Going beyond GDP to nowcast Well-Being using retail market data
2016-01-01 Guidotti, Riccardo; Coscia, Michele; Pedreschi, Dino; Pennacchioli, Diego
Helping your Docker images to spread based on explainable models
2019-01-01 Guidotti, Riccardo; Soldani, Jacopo; Neri, Davide; Brogi, Antonio; Pedreschi, Dino
A high-level model checking language with compile-time pruning of local variables
2016-01-01 Pardini, Giovanni; Milazzo, Paolo
Highlighting some shortcomings of the CoCoA+ congestion control algorithm
2017-01-01 Bolettieri, Simone; Vallati, Carlo; Tanganelli, Giacomo; Mingozzi, Enzo
Industry 4.0 Technologies and Italian Urban System: Between Smart Development and Increasing Inequalities
2022-01-01 Lazzeroni, Michela; Zamperlin, Paola
Lightweight data indexing and compression in external memory
2010-01-01 Ferragina, Paolo; Gagie, Travis; Manzini, Giovanni
Modelling Population Dynamics Using Grid Systems
2014-01-01 Barbuti, Roberto; Antonio, Cerone; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Setiawan, Suryana
Nomad: Virtual Environments on P2P Voronoi Overlays
2007-01-01 Ricci, Laura; Salvadori, Andrea
On Evaluating the Performance of Security Protocols
2005-01-01 Bodei, Chiara; Buchholtz, M.; Curti, M.; Degano, Pierpaolo; Nielson, F.; RIIS NIELSON, H.; Priami, Corrado
On the definition of parallel independence in the algebraic approaches to graph transformation
2016-01-01 Corradini, Andrea
Parallel and sequential independence for borrowed contexts
2008-01-01 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
Parallelism in AGREE transformations
2016-01-01 Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
Pattern Matching on Elastic-Degenerate Text with Errors
2017-01-01 Giulia, Bernardini; Pisanti, Nadia; Solon P., Pissis; Rosone, Giovanna
Performance Evaluation for Global Computation
2003-01-01 Brodo, Linda; Degano, Pierpaolo; Gilmore, S; Hillston, J; Priami, Corrado
Pervasive displays in the wild: Employing end user programming in adaption and re-purposing
2015-01-01 Turchi, T.; Malizia, A.
Polyadic soft constraints
2019-01-01 Bonchi, Filippo; Bussi, Laura; Gadducci, Fabio; Santini, Francesco
Power consumption modeling and prediction in a hybrid CPU-GPU-MIC supercomputer
2016-01-01 Sirbu, Alina; Babaoglu, Ozalp
Proof of Concept: Wearable Augmented Reality Video See-Through Display for Neuro-Endoscopy
2018-01-01 Carbone, Marina; Condino, Sara; Cutolo, Fabrizio; Viglialoro, Rosanna Maria; Kaschke, Oliver; Thomale, Ulrich W.; Ferrari, Vincenzo
The Pullback-Pushout approach to algebraic graph transformation
2017-01-01 Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Gathering of Asynchronous Oblivious Robots With Limited Visibility | 1-gen-2001 | Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter | |
Going beyond GDP to nowcast Well-Being using retail market data | 1-gen-2016 | Guidotti, Riccardo; Coscia, Michele; Pedreschi, Dino; Pennacchioli, Diego | |
Helping your Docker images to spread based on explainable models | 1-gen-2019 | Guidotti, Riccardo; Soldani, Jacopo; Neri, Davide; Brogi, Antonio; Pedreschi, Dino | |
A high-level model checking language with compile-time pruning of local variables | 1-gen-2016 | Pardini, Giovanni; Milazzo, Paolo | |
Highlighting some shortcomings of the CoCoA+ congestion control algorithm | 1-gen-2017 | Bolettieri, Simone; Vallati, Carlo; Tanganelli, Giacomo; Mingozzi, Enzo | |
Industry 4.0 Technologies and Italian Urban System: Between Smart Development and Increasing Inequalities | 1-gen-2022 | Lazzeroni, Michela; Zamperlin, Paola | |
Lightweight data indexing and compression in external memory | 1-gen-2010 | Ferragina, Paolo; Gagie, Travis; Manzini, Giovanni | |
Modelling Population Dynamics Using Grid Systems | 1-gen-2014 | Barbuti, Roberto; Antonio, Cerone; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Setiawan, Suryana | |
Nomad: Virtual Environments on P2P Voronoi Overlays | 1-gen-2007 | Ricci, Laura; Salvadori, Andrea | |
On Evaluating the Performance of Security Protocols | 1-gen-2005 | Bodei, Chiara; Buchholtz, M.; Curti, M.; Degano, Pierpaolo; Nielson, F.; RIIS NIELSON, H.; Priami, Corrado | |
On the definition of parallel independence in the algebraic approaches to graph transformation | 1-gen-2016 | Corradini, Andrea | |
Parallel and sequential independence for borrowed contexts | 1-gen-2008 | Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias | |
Parallelism in AGREE transformations | 1-gen-2016 | Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila | |
Pattern Matching on Elastic-Degenerate Text with Errors | 1-gen-2017 | Giulia, Bernardini; Pisanti, Nadia; Solon P., Pissis; Rosone, Giovanna | |
Performance Evaluation for Global Computation | 1-gen-2003 | Brodo, Linda; Degano, Pierpaolo; Gilmore, S; Hillston, J; Priami, Corrado | |
Pervasive displays in the wild: Employing end user programming in adaption and re-purposing | 1-gen-2015 | Turchi, T.; Malizia, A. | |
Polyadic soft constraints | 1-gen-2019 | Bonchi, Filippo; Bussi, Laura; Gadducci, Fabio; Santini, Francesco | |
Power consumption modeling and prediction in a hybrid CPU-GPU-MIC supercomputer | 1-gen-2016 | Sirbu, Alina; Babaoglu, Ozalp | |
Proof of Concept: Wearable Augmented Reality Video See-Through Display for Neuro-Endoscopy | 1-gen-2018 | Carbone, Marina; Condino, Sara; Cutolo, Fabrizio; Viglialoro, Rosanna Maria; Kaschke, Oliver; Thomale, Ulrich W.; Ferrari, Vincenzo | |
The Pullback-Pushout approach to algebraic graph transformation | 1-gen-2017 | Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila |
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