Sfoglia per Serie
One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems
2022-01-01 Indri, Patrick; Bartoli, Alberto; Medvet, Eric; Nenzi, Laura
Onset and Today’s Perspectives of Multilevel Syllogistic
2024-01-01 Cantone, Domenico; Omodeo, Eugenio
Outer Approximations of Coherent Lower Probabilities Using Belief Functions
2018-01-01 Montes, Ignacio; Miranda, Enrique; Vicig, Paolo
Polarization and hierarchies in air passenger transport in Europe
2013-01-01 Borruso, Giuseppe
The Port - City Relations in the Era of Hybridization
2023-01-01 Borruso, G.; Balletto, G.
Preface
2015-01-01 Cuzzocrea, Alfredo Massimiliano; Dayal, Umeshwar
Public Real Estate Assets and the Metropolitan Strategic Plan in Italy. The Two Cases of Milan and Cagliari
2020-01-01 Ladu, Mara; Balletto, Ginevra; Milesi, Alessandra; Mundula, Luigi; Borruso, Giuseppe
Rail Ports as Nodal Gateways in the Sea – Land Connections and the Challenges of Sustainable Globalized Markets: The Case of Adriafer and the Port of Trieste
2023-01-01 Borruso, Giuseppe; Cociancich, Maurizio; Gallo, Andrea; Scotti, Alice; Sinatra, Francesca; Toneatti, Luca; Tredesini, Matteo
Reshoring in Fashion: Overview of Current Trends and Motivation to Production and Re-localisation in the T&A Sector
2024-01-01 Sinatra, Francesca; Marinelli, Chiara
RFID and Counterfeiting: An Analysis of Current Trends in The Fashion Industry
2023-01-01 Marinelli, Chiara; Sinatra, Francesca
Road Traffic Rules Synthesis Using Grammatical Evolution
2017-01-01 Medvet, Eric; Bartoli, Alberto; Talamini, Jacopo
A robust genetic algorithm for learning temporal specifications from data
2018-01-01 Nenzi, Laura; Silvetti, Simone; Bartocci, Ezio; Bortolussi, Luca
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
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