Sfoglia per Serie
Combine Model Checking and Runtime Verification in Multi-Agent Systems
2021 Ferrando, Angelo; Malvone, Vadim
A comparative study of state-of-the-art linked data visualization tools
2020 Desimoni, F.; Bikakis, N.; Po, L.; Papastefanatos, G.
Conference organization
2010 Cossentino, M.; Hilaire, V.; Moselini, A.; Villaplana, E. A.; Bernon, C.; Botti, V.; Cabri, G.; Deloach, S.; Fortino, G.; Fuentes-Fernandez, R.; Galland, S.; Garro, A.; Gaud, N.; Giorgini, P.; Gomez, A.; Moreno, J. C. G.; Guessoum, Z.; Huget, M. -P.; Levy, R.; Pierre, G. M.; Migeon, F.; Morreale, V.; Omicini, A.; Ossowski, S.; Pavon, J.; Pena, J.; Perini, A.; Ralyte, J.; Sabatucc, W. R. L.; Seidita, V.; Sienna, A.; Storniolo, P.; Sudeikat, J.; Susi, A.; Taveter, K.; Tolvanen, J. -P.; Van De Weerd, I.; Puviani, M.
Context-aware multimodal learning analytics taxonomy
2020 Eradze, M.; Rodríguez, Triana; M. J., Laanpere
Coordinating spatially-situated pervasive service ecosystems
2011 Viroli, M.; Nardini, E.; Castelli, G.; Mamei, M.; Zambonelli, F.
Coordination of large-scale socio-technical systems: Challenges and research directions
2015 Omicini, A.; Zambonelli, F.
Customised visualisations of Linked Open Data
2017 Graziosi, Alice; Di Iorio, Angelo; Poggi, Francesco; Peroni, Silvio
Data-driven vs knowledge-driven inference of health outcomes in the ageing population: A case study
2020 Ferrari, D.; Guaraldi, G.; Mandreoli, F.; Martoglia, R.; Milić, Jovana; Missier, Paolo
Data-driven, AI-based clinical practice: experiences, challenges, and research directions
2022 Ferrari, Davide; Mandreoli, Federica; Motta, Federico; Missier, Paolo
Datalog in time and space, synchronously
2013 Interlandi, M.; Tanca, L.; Bergamaschi, S.
A deterministic event calculus for effective runtime verification
2019 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
Distributed Beta-Assignment on graphs
2017 DE MARCO, Gianluca; Leoncini, Mauro; Mazzali, Lucia; Montangero, Manuela
ECDP: A Big Data Platform for the Smart Monitoring of Local Energy Communities
2022 Gagliardelli, Luca; Zecchini, Luca; Beneventano, Domenico; Simonini, Giovanni; Bergamaschi, Sonia; Orsini, Mirko; Magnotta, Luca; Mescoli, Emma; Livaldi, Andrea; Gessa, Nicola; De Sabbata, Piero; D’Agosta, Gianluca; Paolucci, Fabrizio; Moretti3, Fabio
Effects of Semantic Analysis on Named-Entity Recognition with Conditional Random Fields
2017 Bergamaschi, S.; Cappelli, A.; Circiello, A.; Varone, M.
Electrophysiological correlates of idiom comprehension: semantic composition does not follow lexical retrieval
2015 Canal, Paolo; Pesciarelli, Francesca; Molinaro, Nicola; Vespignani, Francesco; Cacciari, Cristina
Enhancing open data to Linked Open Data with ODMiner
2016 Poggi, F.; Nuzzolese, A. G.; Cigna, G.
Entity resolution on camera records without machine learning
2020 Zecchini, L.; Simonini, G.; Bergamaschi, S.
Entity Resolution On-Demand for Querying Dirty Datasets
2023 Simonini, Giovanni; Zecchini, Luca; Naumann, Felix; Bergamaschi, Sonia
Explaining potentially unfair clauses to the consumer with the claudette tool
2020 Liepina, R.; Ruggeri, F.; Lagioia, F.; Lippi, M.; Drazewski, K.; Torroni, P.
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps
2022 Ancona, D.; Ferrando, A.; Mascardi, V.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Combine Model Checking and Runtime Verification in Multi-Agent Systems | 1-gen-2021 | Ferrando, Angelo; Malvone, Vadim | |
A comparative study of state-of-the-art linked data visualization tools | 1-gen-2020 | Desimoni, F.; Bikakis, N.; Po, L.; Papastefanatos, G. | |
Conference organization | 1-gen-2010 | Cossentino, M.; Hilaire, V.; Moselini, A.; Villaplana, E. A.; Bernon, C.; Botti, V.; Cabri, G.; Deloach, S.; Fortino, G.; Fuentes-Fernandez, R.; Galland, S.; Garro, A.; Gaud, N.; Giorgini, P.; Gomez, A.; Moreno, J. C. G.; Guessoum, Z.; Huget, M. -P.; Levy, R.; Pierre, G. M.; Migeon, F.; Morreale, V.; Omicini, A.; Ossowski, S.; Pavon, J.; Pena, J.; Perini, A.; Ralyte, J.; Sabatucc, W. R. L.; Seidita, V.; Sienna, A.; Storniolo, P.; Sudeikat, J.; Susi, A.; Taveter, K.; Tolvanen, J. -P.; Van De Weerd, I.; Puviani, M. | |
Context-aware multimodal learning analytics taxonomy | 1-gen-2020 | Eradze, M.; Rodríguez, Triana; M. J., Laanpere | |
Coordinating spatially-situated pervasive service ecosystems | 1-gen-2011 | Viroli, M.; Nardini, E.; Castelli, G.; Mamei, M.; Zambonelli, F. | |
Coordination of large-scale socio-technical systems: Challenges and research directions | 1-gen-2015 | Omicini, A.; Zambonelli, F. | |
Customised visualisations of Linked Open Data | 1-gen-2017 | Graziosi, Alice; Di Iorio, Angelo; Poggi, Francesco; Peroni, Silvio | |
Data-driven vs knowledge-driven inference of health outcomes in the ageing population: A case study | 1-gen-2020 | Ferrari, D.; Guaraldi, G.; Mandreoli, F.; Martoglia, R.; Milić, Jovana; Missier, Paolo | |
Data-driven, AI-based clinical practice: experiences, challenges, and research directions | 1-gen-2022 | Ferrari, Davide; Mandreoli, Federica; Motta, Federico; Missier, Paolo | |
Datalog in time and space, synchronously | 1-gen-2013 | Interlandi, M.; Tanca, L.; Bergamaschi, S. | |
A deterministic event calculus for effective runtime verification | 1-gen-2019 | Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V. | |
Distributed Beta-Assignment on graphs | 1-gen-2017 | DE MARCO, Gianluca; Leoncini, Mauro; Mazzali, Lucia; Montangero, Manuela | |
ECDP: A Big Data Platform for the Smart Monitoring of Local Energy Communities | 1-gen-2022 | Gagliardelli, Luca; Zecchini, Luca; Beneventano, Domenico; Simonini, Giovanni; Bergamaschi, Sonia; Orsini, Mirko; Magnotta, Luca; Mescoli, Emma; Livaldi, Andrea; Gessa, Nicola; De Sabbata, Piero; D’Agosta, Gianluca; Paolucci, Fabrizio; Moretti3, Fabio | |
Effects of Semantic Analysis on Named-Entity Recognition with Conditional Random Fields | 1-gen-2017 | Bergamaschi, S.; Cappelli, A.; Circiello, A.; Varone, M. | |
Electrophysiological correlates of idiom comprehension: semantic composition does not follow lexical retrieval | 1-gen-2015 | Canal, Paolo; Pesciarelli, Francesca; Molinaro, Nicola; Vespignani, Francesco; Cacciari, Cristina | |
Enhancing open data to Linked Open Data with ODMiner | 1-gen-2016 | Poggi, F.; Nuzzolese, A. G.; Cigna, G. | |
Entity resolution on camera records without machine learning | 1-gen-2020 | Zecchini, L.; Simonini, G.; Bergamaschi, S. | |
Entity Resolution On-Demand for Querying Dirty Datasets | 1-gen-2023 | Simonini, Giovanni; Zecchini, Luca; Naumann, Felix; Bergamaschi, Sonia | |
Explaining potentially unfair clauses to the consumer with the claudette tool | 1-gen-2020 | Liepina, R.; Ruggeri, F.; Lagioia, F.; Lippi, M.; Drazewski, K.; Torroni, P. | |
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps | 1-gen-2022 | Ancona, D.; Ferrando, A.; Mascardi, V. |
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