IRIS

Sfoglia per Serie  CEUR WORKSHOP PROCEEDINGS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 17 di 17
Titolo Data di pubblicazione Autore(i) File
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 1-gen-2016 Bernardo, Marco; Miculan, Marino
The Election Day of Pope Francis: between Sentiment and Emotions Online 1-gen-2019 BOCCIA ARTIERI, Giovanni; Gevisa La, Rocca
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions 1-gen-2020 Bernardo, Marco
Hybrid Personal Medical Digital Assistant Agents 1-gen-2024 Montagna, Sara; Sirocchi, Christel
Hyperproperties for Safe and Secure RFID Systems 1-gen-2024 Fusco, Ludovico; Aldini, Alessandro
Investigating Human-Centered Perspectives in Explainable Artificial Intelligence 1-gen-2023 Suffian, Muhammad; Stepin, Ilia; Maria Alonso-Moral, Jose; Bogliolo, Alessandro
Italian Conference on Theoretical Computer Science (ICTCS 2018) 1-gen-2018 Aldini, Alessandro; Bernardo, Marco
Machine learning for automated gating of flow cytometry data 1-gen-2022 Suffian, Muhammad; Montagna, Sara; Bogliolo, Alessandro; Ortolani, Claudio; Papa, Stefano; D'Atri, Mario
Machine Learning-Enabled Prediction of Metabolite Response in Genetic Disorders 1-gen-2023 Sirocchi, Christel; Biancucci, Federica; Donati, Matteo; D'Amore, Nunzio; Benedetti, Riccardo; Bogliolo, Alessandro; Ferretti, Stefano; Magnani, Mauro; Menotta, Michele; Suffian, Muhammad; Montagna, Sara
Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study 1-gen-2024 Calandra, Federico; Rossi, Francesco P.; Fabris, Francesco; Bernardo, Marco
Morphotactic effects on the processing of Italian derivatives 1-gen-2015 Bertinetto, P. M.; Celata, C.; Talamo, L.
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, M.; Esposito, A.
Phonotactic probabilities in Italian simplex and complex words: A fragment priming study 1-gen-2015 Bracco, G.; Calderone, B.; Celata, C.
A Process Algebraic Framework for Multi-Agent Dynamic Epistemic Systems 1-gen-2024 Aldini, Alessandro
Reversible semantics in session-based concurrency 1-gen-2016 Mezzina, C. A.; P('e)rez, J. A.
Timed Process Calculi: From Durationless Actions to Durational Ones 1-gen-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 1-gen-2015 Giglietto, Fabio; Lee, Yenn
Mostrati risultati da 1 a 17 di 17
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