Sfoglia per Serie
pyNeVer: A Framework for Learning and Verification of Neural Networks
2021-01-01 Guidotti, D.; Pulina, L.; Tacchella, A.
QBFFam: A Tool for Generating QBF Families from Proof Complexity
2021-01-01 Beyersdorff, O.; Pulina, L.; Seidl, M.; Shukla, A.
Realistic Modeling of Large-Scale Networks: Spatio-temporal Dynamics and Long-Term Synaptic Plasticity in the Cerebellum
2011-01-01 D'Angelo, E; Solinas, S
Repairing Learned Controllers with Convex Optimization: A Case Study
2019-01-01 Guidotti, D.; Leofante, F.; Castellini, C.; Tacchella, A.
Robust Coarse-to-Fine Sparse Representation for Face Recognition
2013-01-01 Sun, Y; Tistarelli, Massimo
Robust multi-modal and multi-unit feature level fusion of face and iris biometrics
2009-01-01 A., Rattani; Tistarelli, Massimo
Rural Tourism and Walkability. Compare Sardinia and Gran Canaria Models
2022-01-01 Battino, Silvia; Balletto, Ginevra; Milesi, Alessandra; Amaro García, Ainhoa
Segmentation and Identification of Mediterranean Plant Species
2023-01-01 Kaur, P.; Gigante, D.; Caccianiga, M.; Bagella, S.; Angiolini, C.; Garabini, M.; Angelini, F.; Remagnino, P.
Selection and Scheduling Problem in Continuous Time with Pairwise-Interdependencies
2012-01-01 Blecic, I; Cecchini, Arnaldo; Trunfio, Giuseppe, Andrea; Cecchini, Arnaldo
Smart ports from theory to practice: a review of sustainability indicators
2022-01-01 Battino, Silvia; Muñoz Leonisio, Maria del Mar
Static evidences for attack reconstruction
2015-01-01 Bodei, Chiara; Brodo, Linda; Focardi, Riccardo
Symbolic semantics for multiparty interactions in the link-calculus
2017-01-01 Brodo, Linda; Olarte, Carlos
Towards Automatic Assessment of Perceived Walkability
2018-01-01 Blecic, I; Cecchini, A; Trunfio, Ga
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance
2024-01-01 Guidotti, Dario; Pandolfo, Laura; Pulina, Luca
Walkability Explorer: An Evaluation and Design Support Tool for Walkability
2014-01-01 Blecic, Ivan; Cecchini, Arnaldo; Congiu, Tanja; Fancello, G.; Trunfio, Giuseppe, Andrea
Walkability explorer: Application to a case-study
2015-01-01 Blecic, Ivan; Cecchini, Arnaldo; Congiu, Tanja; Fancello, Francesco; Fancello, Giovanna; Trunfio, Giuseppe, Andrea
What Can I Tell From Your Face?
2004-01-01 Tistarelli, M; Lagorio, A.; Grosso, Enrico
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
pyNeVer: A Framework for Learning and Verification of Neural Networks | 1-gen-2021 | Guidotti, D.; Pulina, L.; Tacchella, A. | |
QBFFam: A Tool for Generating QBF Families from Proof Complexity | 1-gen-2021 | Beyersdorff, O.; Pulina, L.; Seidl, M.; Shukla, A. | |
Realistic Modeling of Large-Scale Networks: Spatio-temporal Dynamics and Long-Term Synaptic Plasticity in the Cerebellum | 1-gen-2011 | D'Angelo, E; Solinas, S | |
Repairing Learned Controllers with Convex Optimization: A Case Study | 1-gen-2019 | Guidotti, D.; Leofante, F.; Castellini, C.; Tacchella, A. | |
Robust Coarse-to-Fine Sparse Representation for Face Recognition | 1-gen-2013 | Sun, Y; Tistarelli, Massimo | |
Robust multi-modal and multi-unit feature level fusion of face and iris biometrics | 1-gen-2009 | A., Rattani; Tistarelli, Massimo | |
Rural Tourism and Walkability. Compare Sardinia and Gran Canaria Models | 1-gen-2022 | Battino, Silvia; Balletto, Ginevra; Milesi, Alessandra; Amaro García, Ainhoa | |
Segmentation and Identification of Mediterranean Plant Species | 1-gen-2023 | Kaur, P.; Gigante, D.; Caccianiga, M.; Bagella, S.; Angiolini, C.; Garabini, M.; Angelini, F.; Remagnino, P. | |
Selection and Scheduling Problem in Continuous Time with Pairwise-Interdependencies | 1-gen-2012 | Blecic, I; Cecchini, Arnaldo; Trunfio, Giuseppe, Andrea; Cecchini, Arnaldo | |
Smart ports from theory to practice: a review of sustainability indicators | 1-gen-2022 | Battino, Silvia; Muñoz Leonisio, Maria del Mar | |
Static evidences for attack reconstruction | 1-gen-2015 | Bodei, Chiara; Brodo, Linda; Focardi, Riccardo | |
Symbolic semantics for multiparty interactions in the link-calculus | 1-gen-2017 | Brodo, Linda; Olarte, Carlos | |
Towards Automatic Assessment of Perceived Walkability | 1-gen-2018 | Blecic, I; Cecchini, A; Trunfio, Ga | |
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance | 1-gen-2024 | Guidotti, Dario; Pandolfo, Laura; Pulina, Luca | |
Walkability Explorer: An Evaluation and Design Support Tool for Walkability | 1-gen-2014 | Blecic, Ivan; Cecchini, Arnaldo; Congiu, Tanja; Fancello, G.; Trunfio, Giuseppe, Andrea | |
Walkability explorer: Application to a case-study | 1-gen-2015 | Blecic, Ivan; Cecchini, Arnaldo; Congiu, Tanja; Fancello, Francesco; Fancello, Giovanna; Trunfio, Giuseppe, Andrea | |
What Can I Tell From Your Face? | 1-gen-2004 | Tistarelli, M; Lagorio, A.; Grosso, Enrico |
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