Sfoglia per Serie
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
2022-01-01 Isac, Omri; Ivanov, Radoslav; Katz, Guy; Narodytska, Nina; Nenzi, Laura
Some Preliminary Remarks on the Recreational Business District in the City of Sassari: A Social Network Approach
2014-01-01 Battino, Silvia; Borruso, Giuseppe; Donato, Carlo
Static and kinematic surveys using GNSS multi-constellation receivers and GPS, GLONASS and galileo data
2018-01-01 Cefalo, R.; Novelli, Andrea; Sluga, T.; Snider, P.; Tarantino, E.; Tommasi, A.
Stochastic Blockmodeling for the Analysis of Big Data
2019-01-01 Schoier, Gabriella; Borruso, Giuseppe
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic
2015-01-01 Bartocci, Ezio; Bortolussi, Luca; Milios, Dimitrios; Nenzi, Laura; Sanguinetti, Guido
A Text Mining Analysis on Big Data Extracted from Social Media
2020-01-01 Schoier, Gabriella; Borruso, Giuseppe; Tossut, Pietro
Towards flexible similarity analysis of XML data
2015-01-01 Almendros Jiménez, Jesús M.; Cuzzocrea, Alfredo Massimiliano
Towards more natural social interactions of visually impaired persons
2015-01-01 Carrato, Sergio; Fenu, Gianfranco; Medvet, Eric; Mumolo, Enzo; Pellegrino, FELICE ANDREA; Ramponi, Giovanni
Towards temporal analysis of integrated scenarios for sustainable innovation
2016-01-01 Cuzzocrea, Alfredo Massimiliano; D’Elia, Ilaria; De Nicola, Antonio; Maldini, Hugo; Villani, Maria Luisa
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI - Selected Papers from DaWaK 2012
2015-01-01 Hameurlain, Abdelkader; K�ng, Josef; Wagner, Roland; Cuzzocrea, Alfredo Massimiliano; Dayal, Umeshwar
U-Check: Model Checking and Parameter Synthesis Under Uncertainty
2015-01-01 Bortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido
The Urban Life Cycle in the Italian DemographicWinter. An Analysis on Metropolitan Cities
2024-01-01 Borruso, Giuseppe; Balletto, Ginevra
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