Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report
2024-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Bonafini, Federico; Campidelli, Matteo; Zasa, Andrea
Beyond Screens: Investigating Identity Proofing for the Metaverse Through Cross-Device Flows
2024-01-01 Pernpruner, Marco; Pasquini, Cecilia; Sciarretta, Giada; Ranise, Silvio
Towards Formal Design of FDIR Components with AI
2024-01-01 Bozzano, Marco; Cimatti, Alessandro; Cristoforetti, Marco; Griggio, Alberto; Svaizer, Piergiorgio; Tonetta, Stefano
Towards a Fine-Grained Threat Model for Video-Based Remote Identity Proofing
2025-01-01 Pasquini, Cecilia; Pernpruner, Marco; Sciarretta, Giada; Ranise, Silvio
Large-scale structural controls on hot spring mineral deposits of geothermal systems (Mt. Amiata, Italy) highlighted by machine learning algorithms?
2023-01-01 Garofalo, Paolo S.; Capitanio, Lara; Farella, Elisa Mariarosaria; Rigon, Simone; Remondino, Fabio; Callegari, Ivan; Rappuoli, Daniele
Listenable Maps for Audio Classifiers
2024-01-01 Paissan, Francesco; Ravanelli, Mirco; Subakan, Cem
Unsupervised sparse convolutional autoencoder for multi-class change detection in hyperspectral images
2024-01-01 Bergamasco, Luca; Bovolo, Francesca
Exploring the impact of total ionizing dose on the LAD detectors leakage current
2024-01-01 Della Casa, Giovanni; Ceraudo, Francesco; Bonvicini, Walter; Campana, Riccardo; Cirrincione, Daniela; Del Monte, Ettore; Evangelista, Yuri; Feroci, Marco; Ficorella, Francesco; Fiorini, Mauro; Pepponi, Giancarlo; Rachevski, Alexandre; Rashevskaya, Irina; Zampa, Gianluigi; Zampa, Nicola; Zorzi, Nicola
Improving the eXTP/LAD detector energy resolution with a novel sensor design
2024-01-01 Ceraudo, Francesco; Della Casa, Giovanni; Bertuccio, Giuseppe; Bonvicini, Walter; Campana, Riccardo; Cirrincione, Daniela; Del Monte, Ettore; Evangelista, Yuri; Feroci, Marco; Ficorella, Francesco; Fiorini, Mauro; Grassi, Marco; Malcovati, Piero; Mele, Filippo; Pepponi, Giancarlo; Rachevski, Alexandre; Rashevskaya, Irina; Zampa, Gianluigi; Zampa, Nicola; Zorzi, Nicola
Towards Flexible & Wearable Diabetes Monitoring: Printing of Metal Oxide Materials for Chemiresistive Gas Sensors
2024-01-01 Orlando, Antonio; Gaiardo, Andrea; Valt, Matteo; Trentini, Guglielmo; Magoni, Marco; Tosato, Pietro; Krik, Soufiane; Lugli, Paolo; Petti, Luisa; Lorenzelli, Leandro
Synthesis of Modular Electromagnetic Skins for Multiple Blind Spot Coverage in Urban Scenarios
2022-01-01 Ru, P. Da; Rocca, P.; Lorenzelli, L.; Massa, A.
Managing the mass production for the LAD instrument onboard eXTP
2024-01-01 Minervini, Gabriele; Argan, Andrea; Feroci, Marco; Trois, Alessio; Del Monte, Ettore; Brienza, Daniele; Ambrosi, Giovanni; Antonelli, Matias; Barbera, Marco; Baudin, David; Bayer, Joerg; Bellutti, Pierluigi; Bertucci, Bruna; Bi, Xingzi; Bonvicini, Walter; Bozzo, Enrico; Bouyjou, Florent; Cadoux, Franck; Campana, Riccardo; Cao, Jiewei; Cavazzuti, Elisabetta; Ceraudo, Francesco; Tianxiang, Chen; Wen, Chen; Cirrincione, Daniela; Collura, Alfonso; D'Anca, Fabio; De Angelis, Nicolas; De Rosa, Alessandra; Di Cosimo, Sergio; Didillo, Giuseppe; Evangelista, Yuri; Favre, Yannick; Fiandrini, Emanuele; Ficorella, Francesco; Gao, Na; Gevin, Olivier; Guedel, Manuel; Han, Xingbo; He, Huilin; Hedderman, Paul; Hinek, Richard; Kole, Merlin; Karas, Vladimir; Komarek, Martin; La Marra, Daniel; Liang, Hong; Limousin, Olivier; Liu, Rui; Lo Cicero, Ugo; Loehring, Jens; Lombardi, Giovanni; Lu, Fang-Jun; Luo, Tao; Merkl, Martin; Meuris, Aline; Michalska, Malgorzata; Morgante, Gianluca; Munini, Riccardo; Mussolin, Lorenzo; Novák, Petr; Nowosielski, Witold; Nuti, Alessio; Orleanski, Piotr; Ottensamer, Roland; Pacciani, Luigi; Paltani, Stephane; Pepponi, Giancarlo; Piazzolla, Raffaele; Picciotto, Antonino; Pliego Caballero, Samuel; Putz, Andreas; Rachevski, Alexandre; Rashevskaya, Irina; Samusenko, Alina; Santangelo, Andrea; Schanne, Stephane; Sciortino, Luisa; Skup, Konrad; Sveda, Libor; Svoboda, Jiri; Tenzer, Chris; Todaro, Michela; Vacchi, Andrea; Xiong, Hao; Wang, Jian; Wang, Xianqi; Winter, Berend; Wu, Xin; Zampa, Gianluigi; Zampa, Nicola; Zdziarski, Andrzej A.; Zhang, Shuang-Nan; Zhang, Xiaoli; Zhang, Zhen; Zhao, Zijian; Zhou, Yupeng; Zorzi, Nicola
The HERMES (High Energy Rapid Modular Ensemble of Satellites) Pathfinder mission
2024-01-01 Evangelista, Yuri; Fiore, Fabrizio; Campana, Riccardo; Baroni, Giulia; Ceraudo, Francesco; Della Casa, Giovanni; Demenev, Evgeny; Dilillo, Giuseppe; Fiorini, Mauro; Ghirlanda, Giancarlo; Grassi, Marco; Guzmán Cabrera, Alejandro; Hedderman, Paul; Marchesini, Ezequiel J.; Morgante, Gianluca; Mele, Filippo; Nava, Lara; Nogara, Paolo; Nuti, Alessio; Pliego-Caballero, Samuel; Rashevskaya, Irina; Russo, Francesco; Sottile, Giuseppe; Lavagna, Michèle; Colagrossi, Andrea; Silvestrini, Stefano; Quirino, Matteo; Bechini, Michele; Brandonisio, Andrea; De Cecio, Francesco; Dottori, Alice; Troisi, Ivan; Bertacin, Roberto; Bellutti, Pierluigi; Bertuccio, Giuseppe; Burderi, Luciano; Chen, Tianxiang; Citossi, Marco; Di Salvo, Tiziana; Feroci, Marco; Ficorella, Francesco; Gao, Na; Grappasonni, Chiara; Labanti, Claudio; La Rosa, Giovanni; Leone, Wladimiro; Malcovati, Piero; Negri, Barbara; Pepponi, Giancarlo; Perri, Matteo; Piazzolla, Raffaele; Picciotto, Antonino; Pirrotta, Simone; Puccetti, Simonetta; Rashevsky, Alexander; Riggio, Alessandro; Rinaldi, Marianna; Sanna, Andrea; Santangelo, Andrea; Tenzer, Christoph; Tiberia, Alessandra; Trenti, Michele; Trevisan, Sara; Vacchi, Andrea; Xiong, Shaolin; Zampa, Gianluigi; Zampa, Nicola; Zhang, Shuangnan; Zorzi, Nicola; Ripa, Jakub; Werner, Norbert
Is Safer Better? The Impact of Guardrails on the Argumentative Strength of LLMs in Hate Speech Countering
2024-01-01 Bonaldi, Helena; Damo, Greta; Ocampo, Nicolás Benjamín; Cabrio, Elena; Villata, Serena; Guerini, Marco
A preliminary study on the multitemporal analysis of cryosphere radar sounder data
2024-01-01 Donini, Elena; Hoyo Garcia, Miguel; Bovolo, Francesca
A 20×20-Pixels Mixed-Signal Silicon Photomultiplier with On-Chip Adjustable Front-End for Background Light Rejection
2024-01-01 Morciano, Arianna; Gandola, Massimo; Perenzoni, Matteo; Gasparini, Leonardo; Vincenzo Radogna, Antonio; D’Amico, Stefano
Fine-tuning with HED-IT: The impact of human post-editing for dialogical language models
2024-01-01 Occhipinti, Daniela; Marchi, Michele; Mondella, Irene; Lai, Huiyuan; Dell’Orletta, Felice; Nissim, Malvina; Guerini, Marco
PRODIGy: a PROfile-based DIalogue Generation dataset
2024-01-01 Occhipinti, Daniela; Tekiroglu, Serra Sinem; Guerini, Marco
Speech-MASSIVE: A Multilingual Speech Dataset for SLU and Beyond
2024-01-01 Lee, Beomseok; Calapodescu, Ioan; Gaido, Marco; Negri, Matteo; Besacier, Laurent
Evaluating the IWSLT2023 Speech Translation Tasks: Human Annotations, Automatic Metrics, and Segmentation
2024-01-01 Sperber, Matthias; Bojar, Ondřej; Haddow, Barry; Javorský, Dávid; Ma, Xutai; Negri, Matteo; Niehues, Jan; Polák, Peter; Salesky, Elizabeth; Sudoh, Katsuhito; Turchi, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report | 1-gen-2024 | Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Bonafini, Federico; Campidelli, Matteo; Zasa, Andrea | |
| Beyond Screens: Investigating Identity Proofing for the Metaverse Through Cross-Device Flows | 1-gen-2024 | Pernpruner, Marco; Pasquini, Cecilia; Sciarretta, Giada; Ranise, Silvio | |
| Towards Formal Design of FDIR Components with AI | 1-gen-2024 | Bozzano, Marco; Cimatti, Alessandro; Cristoforetti, Marco; Griggio, Alberto; Svaizer, Piergiorgio; Tonetta, Stefano | |
| Towards a Fine-Grained Threat Model for Video-Based Remote Identity Proofing | 1-gen-2025 | Pasquini, Cecilia; Pernpruner, Marco; Sciarretta, Giada; Ranise, Silvio | |
| Large-scale structural controls on hot spring mineral deposits of geothermal systems (Mt. Amiata, Italy) highlighted by machine learning algorithms? | 1-gen-2023 | Garofalo, Paolo S.; Capitanio, Lara; Farella, Elisa Mariarosaria; Rigon, Simone; Remondino, Fabio; Callegari, Ivan; Rappuoli, Daniele | |
| Listenable Maps for Audio Classifiers | 1-gen-2024 | Paissan, Francesco; Ravanelli, Mirco; Subakan, Cem | |
| Unsupervised sparse convolutional autoencoder for multi-class change detection in hyperspectral images | 1-gen-2024 | Bergamasco, Luca; Bovolo, Francesca | |
| Exploring the impact of total ionizing dose on the LAD detectors leakage current | 1-gen-2024 | Della Casa, Giovanni; Ceraudo, Francesco; Bonvicini, Walter; Campana, Riccardo; Cirrincione, Daniela; Del Monte, Ettore; Evangelista, Yuri; Feroci, Marco; Ficorella, Francesco; Fiorini, Mauro; Pepponi, Giancarlo; Rachevski, Alexandre; Rashevskaya, Irina; Zampa, Gianluigi; Zampa, Nicola; Zorzi, Nicola | |
| Improving the eXTP/LAD detector energy resolution with a novel sensor design | 1-gen-2024 | Ceraudo, Francesco; Della Casa, Giovanni; Bertuccio, Giuseppe; Bonvicini, Walter; Campana, Riccardo; Cirrincione, Daniela; Del Monte, Ettore; Evangelista, Yuri; Feroci, Marco; Ficorella, Francesco; Fiorini, Mauro; Grassi, Marco; Malcovati, Piero; Mele, Filippo; Pepponi, Giancarlo; Rachevski, Alexandre; Rashevskaya, Irina; Zampa, Gianluigi; Zampa, Nicola; Zorzi, Nicola | |
| Towards Flexible & Wearable Diabetes Monitoring: Printing of Metal Oxide Materials for Chemiresistive Gas Sensors | 1-gen-2024 | Orlando, Antonio; Gaiardo, Andrea; Valt, Matteo; Trentini, Guglielmo; Magoni, Marco; Tosato, Pietro; Krik, Soufiane; Lugli, Paolo; Petti, Luisa; Lorenzelli, Leandro | |
| Synthesis of Modular Electromagnetic Skins for Multiple Blind Spot Coverage in Urban Scenarios | 1-gen-2022 | Ru, P. Da; Rocca, P.; Lorenzelli, L.; Massa, A. | |
| Managing the mass production for the LAD instrument onboard eXTP | 1-gen-2024 | Minervini, Gabriele; Argan, Andrea; Feroci, Marco; Trois, Alessio; Del Monte, Ettore; Brienza, Daniele; Ambrosi, Giovanni; Antonelli, Matias; Barbera, Marco; Baudin, David; Bayer, Joerg; Bellutti, Pierluigi; Bertucci, Bruna; Bi, Xingzi; Bonvicini, Walter; Bozzo, Enrico; Bouyjou, Florent; Cadoux, Franck; Campana, Riccardo; Cao, Jiewei; Cavazzuti, Elisabetta; Ceraudo, Francesco; Tianxiang, Chen; Wen, Chen; Cirrincione, Daniela; Collura, Alfonso; D'Anca, Fabio; De Angelis, Nicolas; De Rosa, Alessandra; Di Cosimo, Sergio; Didillo, Giuseppe; Evangelista, Yuri; Favre, Yannick; Fiandrini, Emanuele; Ficorella, Francesco; Gao, Na; Gevin, Olivier; Guedel, Manuel; Han, Xingbo; He, Huilin; Hedderman, Paul; Hinek, Richard; Kole, Merlin; Karas, Vladimir; Komarek, Martin; La Marra, Daniel; Liang, Hong; Limousin, Olivier; Liu, Rui; Lo Cicero, Ugo; Loehring, Jens; Lombardi, Giovanni; Lu, Fang-Jun; Luo, Tao; Merkl, Martin; Meuris, Aline; Michalska, Malgorzata; Morgante, Gianluca; Munini, Riccardo; Mussolin, Lorenzo; Novák, Petr; Nowosielski, Witold; Nuti, Alessio; Orleanski, Piotr; Ottensamer, Roland; Pacciani, Luigi; Paltani, Stephane; Pepponi, Giancarlo; Piazzolla, Raffaele; Picciotto, Antonino; Pliego Caballero, Samuel; Putz, Andreas; Rachevski, Alexandre; Rashevskaya, Irina; Samusenko, Alina; Santangelo, Andrea; Schanne, Stephane; Sciortino, Luisa; Skup, Konrad; Sveda, Libor; Svoboda, Jiri; Tenzer, Chris; Todaro, Michela; Vacchi, Andrea; Xiong, Hao; Wang, Jian; Wang, Xianqi; Winter, Berend; Wu, Xin; Zampa, Gianluigi; Zampa, Nicola; Zdziarski, Andrzej A.; Zhang, Shuang-Nan; Zhang, Xiaoli; Zhang, Zhen; Zhao, Zijian; Zhou, Yupeng; Zorzi, Nicola | |
| The HERMES (High Energy Rapid Modular Ensemble of Satellites) Pathfinder mission | 1-gen-2024 | Evangelista, Yuri; Fiore, Fabrizio; Campana, Riccardo; Baroni, Giulia; Ceraudo, Francesco; Della Casa, Giovanni; Demenev, Evgeny; Dilillo, Giuseppe; Fiorini, Mauro; Ghirlanda, Giancarlo; Grassi, Marco; Guzmán Cabrera, Alejandro; Hedderman, Paul; Marchesini, Ezequiel J.; Morgante, Gianluca; Mele, Filippo; Nava, Lara; Nogara, Paolo; Nuti, Alessio; Pliego-Caballero, Samuel; Rashevskaya, Irina; Russo, Francesco; Sottile, Giuseppe; Lavagna, Michèle; Colagrossi, Andrea; Silvestrini, Stefano; Quirino, Matteo; Bechini, Michele; Brandonisio, Andrea; De Cecio, Francesco; Dottori, Alice; Troisi, Ivan; Bertacin, Roberto; Bellutti, Pierluigi; Bertuccio, Giuseppe; Burderi, Luciano; Chen, Tianxiang; Citossi, Marco; Di Salvo, Tiziana; Feroci, Marco; Ficorella, Francesco; Gao, Na; Grappasonni, Chiara; Labanti, Claudio; La Rosa, Giovanni; Leone, Wladimiro; Malcovati, Piero; Negri, Barbara; Pepponi, Giancarlo; Perri, Matteo; Piazzolla, Raffaele; Picciotto, Antonino; Pirrotta, Simone; Puccetti, Simonetta; Rashevsky, Alexander; Riggio, Alessandro; Rinaldi, Marianna; Sanna, Andrea; Santangelo, Andrea; Tenzer, Christoph; Tiberia, Alessandra; Trenti, Michele; Trevisan, Sara; Vacchi, Andrea; Xiong, Shaolin; Zampa, Gianluigi; Zampa, Nicola; Zhang, Shuangnan; Zorzi, Nicola; Ripa, Jakub; Werner, Norbert | |
| Is Safer Better? The Impact of Guardrails on the Argumentative Strength of LLMs in Hate Speech Countering | 1-gen-2024 | Bonaldi, Helena; Damo, Greta; Ocampo, Nicolás Benjamín; Cabrio, Elena; Villata, Serena; Guerini, Marco | |
| A preliminary study on the multitemporal analysis of cryosphere radar sounder data | 1-gen-2024 | Donini, Elena; Hoyo Garcia, Miguel; Bovolo, Francesca | |
| A 20×20-Pixels Mixed-Signal Silicon Photomultiplier with On-Chip Adjustable Front-End for Background Light Rejection | 1-gen-2024 | Morciano, Arianna; Gandola, Massimo; Perenzoni, Matteo; Gasparini, Leonardo; Vincenzo Radogna, Antonio; D’Amico, Stefano | |
| Fine-tuning with HED-IT: The impact of human post-editing for dialogical language models | 1-gen-2024 | Occhipinti, Daniela; Marchi, Michele; Mondella, Irene; Lai, Huiyuan; Dell’Orletta, Felice; Nissim, Malvina; Guerini, Marco | |
| PRODIGy: a PROfile-based DIalogue Generation dataset | 1-gen-2024 | Occhipinti, Daniela; Tekiroglu, Serra Sinem; Guerini, Marco | |
| Speech-MASSIVE: A Multilingual Speech Dataset for SLU and Beyond | 1-gen-2024 | Lee, Beomseok; Calapodescu, Ioan; Gaido, Marco; Negri, Matteo; Besacier, Laurent | |
| Evaluating the IWSLT2023 Speech Translation Tasks: Human Annotations, Automatic Metrics, and Segmentation | 1-gen-2024 | Sperber, Matthias; Bojar, Ondřej; Haddow, Barry; Javorský, Dávid; Ma, Xutai; Negri, Matteo; Niehues, Jan; Polák, Peter; Salesky, Elizabeth; Sudoh, Katsuhito; Turchi, Marco |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...7737
Data di pubblicazione
- In corso di stampa5
- 2020 - 20251385
- 2010 - 20193415
- 2000 - 20092317
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE614
- Springer353
- ACM147
- Association for Computational Lin...87
- CEUR-WS.org71
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press36
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...86
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE21
- JOURNAL OF PHYSICS. CONFERENCE SE...20
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- LECTURE NOTES IN ARTIFICIAL INTEL...9
- PROCEDIA ENGINEERING9
- ELECTRONIC PROCEEDINGS IN THEORET...8
Serie
- LECTURE NOTES IN COMPUTER SCIENCE214
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS34
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- LECTURE NOTES IN ELECTRICAL ENGIN...19
- LECTURE NOTES IN ELECTRICAL ENGIN...15
- LECTURE NOTES IN BUSINESS INFORMA...12
- IEEE ENGINEERING IN MEDICINE AND ...11
- PROCEEDINGS OF SPIE10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS30
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6253
- ita158
- ger15
- spa6
- fre5
- enm4
- lat1
- rum1
Accesso al fulltext
- no fulltext6713
- open445
- restricted412
- reserved164
- partially open2
- mixed1