Archivio Istituzionale della RicercaSfoglia per Serie
An Estimator for the Hardness of the MQ Problem
2022 Bellini, Emanuele; Makarim, Rusydi H.; Sanna, Carlo; Verbel, Javier
Evaluating the Health-Related Social Costs Associated with the Thermal Uses of the Residential Sector: The Case of Turin
2021 Crespi, Giulia; Dell’Anna, Federico; Binda, Tiziana; Becchio, Cristina; Bottero, Marta
Evaluating the suitability of several AR devices and tools for industrial applications
2020 Battegazzorre, Edoardo; Calandra, Davide; Strada, Francesco; Bottino, Andrea; Lamberti, Fabrizio
Evaluating the Urban Quality Through a Hybrid Approach: Application in the Milan (Italy) City Area
2020 Oppio, Alessandra; Bottero, MARTA CARLA; Dell'Anna, Federico; Dell'Ovo, Marta; Gabrielli, Laura
An Evaluation Model to Support Strategic Urban Planning in Italy: The Application of Community Impact Evaluation
2023 Cavana, Giulio; Dell’Anna, Federico
Exploiting Symmetries for Testing Equivalence in the Spi Calculus
2004 CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.
Facial Landmarks for Forensic Skull-Based 3D Face Reconstruction: A Literature Review
2016 Vezzetti, Enrico; Marcolin, Federica; Tornincasa, Stefano; Moos, Sandro; Violante, Maria Grazia; Dagnes, Nicole; Monno, Giuseppe; Uva, Antonio Emmanuele; Fiorentino, Michele
Faster-LTN: a neuro-symbolic, end-to-end object detection architecture
2021 Manigrasso, Francesco; Davide Miro, Filomeno; Morra, Lia; Lamberti, Fabrizio
A flexible AR-based training system for industrial maintenance
2015 Sanna, Andrea; Manuri, Federico; Piumatti, Giovanni; Paravati, Gianluca; Lamberti, Fabrizio; Pezzolla, P.
Functional Testing with STLs: A Step Towards Reliable RISC-V-based HPC Commodity Clusters
2023 Rodriguez Condia, Josie E.; Deligiannis, Nikolaos; Sini, Jacopo; Cantoro, Riccardo; SONZA REORDA, Matteo
Fuzzy Logic Visual Network (FLVN): A neuro-symbolic approach for visual features matching
2023 Manigrasso, Francesco; Morra, Lia; Lamberti, Fabrizio
GeoBIM for Urban Sustainability Measuring: A State-of-the-Art in Building Permit Issuance
2023 DELLA SCALA, Valerio; Quaglio, Caterina; Todella, Elena
High-level and low-level computer vision: Towards an integrated approach
1991 Adorni, G.; Broggi, A.; Conte, G.; D'Andrea, V.; Sansoe', C.
How Urban Resilience Can Change Cities: A System Dynamics Model Approach
2019 Datola, Giulia; Bottero, Marta; De Angelis, Elena
An ICT-Based Reference Model for E-grocery in Smart Cities
2016 Tadei, Roberto; Fadda, Edoardo; Gobbato, Luca; Perboli, Guido; Rosano, Mariangela
Identifying Risks in Datasets for Automated Decision–Making
2020 Mecati, Mariachiara; Cannavò, Flavio Emanuele; Vetrò, Antonio; Torchiano, Marco
Immersive virtual reality-based simulation to support the design of natural human-robot Interfaces for service robotic applications
2016 Bazzano, Federica; Gentilini, Federico; Lamberti, Fabrizio; Sanna, Andrea; Paravati, Gianluca; Gatteschi, Valentina; Gaspardone, Marco
Implementation and Characterization of an Advanced Scheduler
2001 Risso, FULVIO GIOVANNI OTTAVIO
Inclusively: An AI-Based Assistant for Inclusive Writing
2023 LA QUATRA, Moreno; Greco, Salvatore; Cagliero, Luca; Cerquitelli, Tania
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
2003 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| An Estimator for the Hardness of the MQ Problem / Bellini, Emanuele; Makarim, Rusydi H.; Sanna, Carlo; Verbel, Javier. - 13503:(2022), pp. 323-347. (Intervento presentato al convegno 13th International conference on cryptology in Africa - AFRICACRYPT 2022 tenutosi a Fes (Morocco) nel July 18-20, 2022) [10.1007/978-3-031-17433-9_14]. | 1-gen-2022 | Sanna, Carlo + | postprint.pdf; An Estimator for the Hardness of the MQ Problem.pdf |
| Evaluating the Health-Related Social Costs Associated with the Thermal Uses of the Residential Sector: The Case of Turin / Crespi, Giulia; Dell’Anna, Federico; Binda, Tiziana; Becchio, Cristina; Bottero, Marta. - STAMPA. - 12955:(2021), pp. 642-654. (Intervento presentato al convegno ICCSA 2021 21st International Conference, Cagliari, Italy, September 13–16, 2021) [10.1007/978-3-030-87007-2_46]. | 1-gen-2021 | Crespi, GiuliaDell’Anna, FedericoBecchio, CristinaBottero, Marta + | Crespi2021_Chapter_EvaluatingTheHealth-RelatedSoc.pdf; Dell'Anna-Evaluating.pdf |
| Evaluating the suitability of several AR devices and tools for industrial applications / Battegazzorre, Edoardo; Calandra, Davide; Strada, Francesco; Bottino, Andrea; Lamberti, Fabrizio. - STAMPA. - 12243:(2020), pp. 248-267. (Intervento presentato al convegno 7th International Conference on Augmented Reality, Virtual Reality and Computer Graphics (AVR 2020) tenutosi a Lecce, Italia nel September 7-10, 2020) [10.1007/978-3-030-58468-9_19]. | 1-gen-2020 | Edoardo BattegazzorreDavide CalandraFrancesco StradaAndrea BottinoFabrizio Lamberti | Battegazzorre2020_Chapter_EvaluatingTheSuitabilityOfSeve.pdf; 00_paper.pdf |
| Evaluating the Urban Quality Through a Hybrid Approach: Application in the Milan (Italy) City Area / Oppio, Alessandra; Bottero, MARTA CARLA; Dell'Anna, Federico; Dell'Ovo, Marta; Gabrielli, Laura. - STAMPA. - 12253:(2020), pp. 300-315. (Intervento presentato al convegno International Conference on Computational Science and Its Applications 2020) [10.1007/978-3-030-58814-4_21]. | 1-gen-2020 | Bottero MartaDell'Anna Federico + | 504703_1_En_21_Chapter_OnlinePDF.pdf |
| An Evaluation Model to Support Strategic Urban Planning in Italy: The Application of Community Impact Evaluation / Cavana, Giulio; Dell’Anna, Federico. - 14108:(2023), pp. 528-542. (Intervento presentato al convegno ICCSA 2023: Computational Science and Its Applications – ICCSA 2023 Workshops tenutosi a Athens, Greece nel July 3–6, 2023) [10.1007/978-3-031-37117-2_36]. | 1-gen-2023 | Cavana, GiulioDell’Anna, Federico | Cavana&Dell'Anna_ICCSA23.pdf |
| Exploiting Symmetries for Testing Equivalence in the Spi Calculus / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3299:(2004), pp. 135-149. (Intervento presentato al convegno Second International Conference, ATVA 2004, Taipei, Taiwan, ROC tenutosi a Taipei (TW) nel October 31-November 3, 2004) [10.1007/978-3-540-30476-0_15]. | 1-gen-2004 | CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. | 978-3-540-30476-0_15.pdf |
| Facial Landmarks for Forensic Skull-Based 3D Face Reconstruction: A Literature Review / Vezzetti, Enrico; Marcolin, Federica; Tornincasa, Stefano; Moos, Sandro; Violante, Maria Grazia; Dagnes, Nicole; Monno, Giuseppe; Uva, Antonio Emmanuele; Fiorentino, Michele (LECTURE NOTES IN COMPUTER SCIENCE). - In: Lecture Notes in Computer Science[s.l] : Springer Verlag, 2016. - ISBN 978-3-319-40620-6. - pp. 172-180 | 1-gen-2016 | Vezzetti, EnricoMarcolin, FedericaTornincasa, StefanoMoos, SandroViolante, Maria GraziaDagnes, Nicole + | - |
| Faster-LTN: a neuro-symbolic, end-to-end object detection architecture / Manigrasso, Francesco; Davide Miro, Filomeno; Morra, Lia; Lamberti, Fabrizio. - STAMPA. - 12892:(2021), pp. 40-52. (Intervento presentato al convegno 30th International Conference on Artificial Neural Networks (ICANN 2021) tenutosi a Fully online event nel 14-17 September 2021) [10.1007/978-3-030-86340-1_4]. | 1-gen-2021 | Francesco ManigrassoLia MorraFabrizio Lamberti + | End_to_end_training_with_Logic_Tensor_Network__Clean_final_version_.pdf; Manigrasso2021_Chapter_Faster-LTNANeuro-SymbolicEnd-t.pdf |
| A flexible AR-based training system for industrial maintenance / Sanna, Andrea; Manuri, Federico; Piumatti, Giovanni; Paravati, Gianluca; Lamberti, Fabrizio; Pezzolla, P.. - STAMPA. - (2015), pp. 314-331. (Intervento presentato al convegno 2nd International Conference on Augmented and Virtual Reality tenutosi a Lecce, Italy nel August 31 - September 3, 2015) [10.1007/978-3-319-22888-4_23]. | 1-gen-2015 | SANNA, AndreaMANURI, FEDERICOPIUMATTI, GIOVANNIPARAVATI, GIANLUCALAMBERTI, FABRIZIO + | A_flexible.pdf; Sanna2015_Chapter_AFlexibleAR-basedTrainingSyste.pdf |
| Functional Testing with STLs: A Step Towards Reliable RISC-V-based HPC Commodity Clusters / Rodriguez Condia, Josie E.; Deligiannis, Nikolaos; Sini, Jacopo; Cantoro, Riccardo; SONZA REORDA, Matteo. - 13999:(2023), pp. 444-457. (Intervento presentato al convegno ISC High Performance 2023 International Workshops tenutosi a Hamburg (DEU) nel May 21–25, 2023) [10.1007/978-3-031-40843-4_33]. | 1-gen-2023 | Josie E. Rodriguez CondiaNikolaos DeligiannisJacopo SiniRiccardo CantoroMatteo Sonza Reorda | _RV_HPC2023__FULL_FORMAT__Functional_Testing_with_SLTs__A_step_towards_reliable_RISC_V_Based_HPC_commodity_clusters.pdf; 978-3-031-40843-4_33.pdf |
| Fuzzy Logic Visual Network (FLVN): A neuro-symbolic approach for visual features matching / Manigrasso, Francesco; Morra, Lia; Lamberti, Fabrizio. - ELETTRONICO. - 14234:(2023), pp. 456-467. (Intervento presentato al convegno 22nd International Conference on IMAGE ANALYSIS AND PROCESSING (ICIAP 2023) tenutosi a Udine nel 11-15 settembre 2023) [10.1007/978-3-031-43153-1_38]. | 1-gen-2023 | Francesco ManigrassoLia MorraFabrizio Lamberti | Fuzzy_Logic_Visual_Network__FLVN___ICIAP_2023__15_Luglio_.pdf; 978-3-031-43153-1_38.pdf |
| GeoBIM for Urban Sustainability Measuring: A State-of-the-Art in Building Permit Issuance / DELLA SCALA, Valerio; Quaglio, Caterina; Todella, Elena. - 14104:(2023), pp. 308-321. (Intervento presentato al convegno Computational Science and Its Applications 2023 (ICCSA 2023)) [10.1007/978-3-031-37105-9_21]. | 1-gen-2023 | Valerio Della ScalaCaterina QuaglioElena Todella | 2023_Della Scala et al_GeoBIM for urban sustainability measuring.pdf |
| High-level and low-level computer vision: Towards an integrated approach / Adorni, G.; Broggi, A.; Conte, G.; D'Andrea, V.; Sansoe', C.. - STAMPA. - 549:(1991), pp. 322-331. (Intervento presentato al convegno 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA 1991 tenutosi a Palermo, Italy nel October 1991) [10.1007/3-540-54712-6_244]. | 1-gen-1991 | Conte G.Sansoe' C. + | - |
| How Urban Resilience Can Change Cities: A System Dynamics Model Approach / Datola, Giulia; Bottero, Marta; De Angelis, Elena. - ELETTRONICO. - 11622:(2019), pp. 108-122. (Intervento presentato al convegno ICCSA 2019 The 19th International Conference on Computational Science and its Applications tenutosi a San Pietroburgo nel 1-4/7/2019) [10.1007/978-3-030-24305-0_9]. | 1-gen-2019 | Datola, GiuliaBottero, MartaDe Angelis, Elena | - |
| An ICT-Based Reference Model for E-grocery in Smart Cities / Tadei, Roberto; Fadda, Edoardo; Gobbato, Luca; Perboli, Guido; Rosano, Mariangela. - STAMPA. - (2016), pp. 22-31. (Intervento presentato al convegno First International Conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016 tenutosi a Málaga, Spain nel June 15-17) [10.1007/978-3-319-39595-1]. | 1-gen-2016 | TADEI, RobertoFADDA, EDOARDOGOBBATO, LUCAPERBOLI, GuidoROSANO, MARIANGELA | egrocery_PFGRT_v.3.0.pdf |
| Identifying Risks in Datasets for Automated Decision–Making / Mecati, Mariachiara; Cannavò, Flavio Emanuele; Vetrò, Antonio; Torchiano, Marco. - STAMPA. - 12219:(2020), pp. 332-344. (Intervento presentato al convegno EGOV2020 – IFIP EGOV-CeDEM-EPART 2020 tenutosi a Linköping University (Sweden) nel 31 August (Monday) – 2 September (Wednesday), 2020) [10.1007/978-3-030-57599-1_25]. | 1-gen-2020 | Mecati, MariachiaraCannavò, Flavio EmanueleVetrò, AntonioTorchiano, Marco | DEFINITIVO_Paper_EGOV2020.pdf; PUB-2020-egov-risks.pdf |
| Immersive virtual reality-based simulation to support the design of natural human-robot Interfaces for service robotic applications / Bazzano, Federica; Gentilini, Federico; Lamberti, Fabrizio; Sanna, Andrea; Paravati, Gianluca; Gatteschi, Valentina; Gaspardone, Marco. - STAMPA. - 9768:(2016), pp. 1-33. (Intervento presentato al convegno 3rd International Conference on Augmented Reality, Virtual Reality, and Computer Graphics (AVR 2016) tenutosi a Otranto, Lecce, Italy nel June 15-18, 2016) [10.1007/978-3-319-40621-3_3]. | 1-gen-2016 | BAZZANO, FEDERICALAMBERTI, FABRIZIOSANNA, AndreaPARAVATI, GIANLUCAGATTESCHI, VALENTINA + | - |
| Implementation and Characterization of an Advanced Scheduler / Risso, FULVIO GIOVANNI OTTAVIO. - STAMPA. - 2093:(2001), pp. 85-97. (Intervento presentato al convegno Networking - ICN 2001, 1st International Conference on Networking, Part I tenutosi a Colmar (France) nel July 9–13, 2001) [10.1007/3-540-47728-4_9]. | 1-gen-2001 | RISSO, FULVIO GIOVANNI OTTAVIO | 01ICN-published.pdf; 01ICN.pdf |
| Inclusively: An AI-Based Assistant for Inclusive Writing / LA QUATRA, Moreno; Greco, Salvatore; Cagliero, Luca; Cerquitelli, Tania. - 14175:(2023), pp. 361-365. (Intervento presentato al convegno European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases tenutosi a Turin (ITA) nel September 18th-22th 2023) [10.1007/978-3-031-43430-3_31]. | 1-gen-2023 | Moreno La QuatraSalvatore GrecoLuca CaglieroTania Cerquitelli | 978-3-031-43430-3_31.pdf |
| Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 2767:(2003), pp. 224-239. (Intervento presentato al convegno 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003) tenutosi a Berlin (DE) nel September 29 – October 2 2003) [10.1007/978-3-540-39979-7_15]. | 1-gen-2003 | CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. | 978-3-540-39979-7_15.pdf |
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