Sfoglia per Serie
A Safe Depth Forecasting Model for Insuring Tubewell Installations Against Arsenic Risk in Bangladesh
2017-01-01 Trevisani, Matilde; Shen, Jie; van Geen, Alexander; Gelman, Andrew; Ehrenberg, Shuky; Immel, John
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
2023-01-01 Bortolussi, L.; Cairoli, F.; Carbone, G.; Pulcini, P.
Selecting Optimal Trace Clustering Pipelines with Meta-learning
2022-01-01 Tavares, G. M.; Barbon Junior, S.; Damiani, E.; Ceravolo, P.
Signal Convolution Logic
2018-01-01 Silvetti, Simone; Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca
Smart and Slow Tourism in Protected Natural Context
2023-01-01 Battino, S.; Borruso, G.; Balletto, G.
Smart Cities or Smurf Cities
2014-01-01 Murgante, Beniamino; Borruso, Giuseppe
Smart City-Port Relationship: A Circular Port City Development Model for Trieste
2024-01-01 Borruso, Giuseppe; Gallo, Andrea; Sinatra, Francesca; Balletto, Ginevra; Dore, Salvatore
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