Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
2016 Bernardo, Marco; Miculan, Marino
Do the Self-Knowing Machines Dream of Knowing Their Factivity?
2015 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
The Election Day of Pope Francis: between Sentiment and Emotions Online
2019 BOCCIA ARTIERI, Giovanni; Gevisa La, Rocca
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions
2020 Bernardo, Marco
Investigating Human-Centered Perspectives in Explainable Artificial Intelligence
2023 Suffian, Muhammad; Stepin, Ilia; Maria Alonso-Moral, Jose; Bogliolo, Alessandro
Italian Conference on Theoretical Computer Science (ICTCS 2018)
2018 Aldini, Alessandro; Bernardo, Marco
Machine learning for automated gating of flow cytometry data
2022 Suffian, Muhammad; Montagna, Sara; Bogliolo, Alessandro; Ortolani, Claudio; Papa, Stefano; D'Atri, Mario
Machine Learning-Enabled Prediction of Metabolite Response in Genetic Disorders
2023 Sirocchi, Christel; Biancucci, Federica; Donati, Matteo; D'Amore, Nunzio; Benedetti, Riccardo; Bogliolo, Alessandro; Ferretti, Stefano; Magnani, Mauro; Menotta, Michele; Suffian, Muhammad; Montagna, Sara
Morphotactic effects on the processing of Italian derivatives
2015 Bertinetto, P. M.; Celata, C.; Talamo, L.
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity
2023 Bernardo, M.; Esposito, A.
Phonotactic probabilities in Italian simplex and complex words: A fragment priming study
2015 Bracco, G.; Calderone, B.; Celata, C.
Reversible semantics in session-based concurrency
2016 Mezzina, C. A.; P('e)rez, J. A.
Timed Process Calculi: From Durationless Actions to Durational Ones
2014 Bernardo, Marco; Corradini, Flavio; Tesei, Luca
To be or not to be Charlie: Twitter hashtags as a discourse and counter-discourse in the aftermath of the 2015 Charlie Hebdo shooting in France
2015 Giglietto, Fabio; Lee, Yenn
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