SAVERI, GAIA
 Distribuzione geografica
Continente #
AS - Asia 36
EU - Europa 14
SA - Sud America 7
NA - Nord America 3
Totale 60
Nazione #
CN - Cina 14
HK - Hong Kong 14
IT - Italia 12
SG - Singapore 7
BR - Brasile 6
US - Stati Uniti d'America 3
CL - Cile 1
DE - Germania 1
NL - Olanda 1
VN - Vietnam 1
Totale 60
Città #
Hong Kong 14
Shanghai 14
Florence 7
Singapore 7
Trieste 3
Anápolis 1
Ashburn 1
Campina Grande 1
Chicago 1
Genoa 1
Ho Chi Minh City 1
Irecê 1
Jersey City 1
Penha 1
Pisa 1
Santiago 1
São Paulo 1
Vigia 1
Totale 58
Nome #
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic 11
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series 11
Graph Neural Networks for Propositional Model Counting 10
Reliable and Explainable AI in Trieste 10
Retrieval-Augmented Mining of Temporal Logic Specifications from Data 9
Is Machine Learning Model Checking Privacy Preserving? 8
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae 8
Totale 67
Categoria #
all - tutte 186
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 186


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202546 0 0 0 0 7 10 7 3 7 7 1 4
2025/202621 0 10 0 7 3 0 1 0 0 0 0 0
Totale 67