Avoiding the Shoals - A New Approach to Liveness Checking
2024-01-01 Xia, Yechuan; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen
Don`t Augment, Rewrite? Assessing Abusive Language Detection with Synthetic Data
2024-01-01 Casula, Camilla; Leonardelli, Elisa; Tonelli, Sara
ModaFact: Multi-paradigm Evaluation for Joint Event Modality and Factuality Detection
2025-01-01 Rovera, Marco; Cristoforetti, Serena; Tonelli, Sara
Chitin Nanocrystal Films for Flexible Biodegradable Electronics
2024-01-01 Trentini, Guglielmo; Valt, Matteo; Scarpa, Marina; Petti, Luisa; Orlando, Antonio; Novel, David; Krik, Soufiane; Gaiardo, Andrea
Combining Symbolic Execution with Predicate Abstraction and CEGAR
2024-01-01 Jonáš, Martin; Strejcek, Jan; Griggio, Alberto
Testing the Migration from Analog to Software-Based Railway Interlocking Systems
2024-01-01 Becchi, Anna; Cimatti, Alessandro; Scaglione, Giuseppe
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Avoiding the Shoals - A New Approach to Liveness Checking | 1-gen-2024 | Xia, Yechuan; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen | |
| Don`t Augment, Rewrite? Assessing Abusive Language Detection with Synthetic Data | 1-gen-2024 | Casula, Camilla; Leonardelli, Elisa; Tonelli, Sara | |
| ModaFact: Multi-paradigm Evaluation for Joint Event Modality and Factuality Detection | 1-gen-2025 | Rovera, Marco; Cristoforetti, Serena; Tonelli, Sara | |
| Chitin Nanocrystal Films for Flexible Biodegradable Electronics | 1-gen-2024 | Trentini, Guglielmo; Valt, Matteo; Scarpa, Marina; Petti, Luisa; Orlando, Antonio; Novel, David; Krik, Soufiane; Gaiardo, Andrea | |
| Combining Symbolic Execution with Predicate Abstraction and CEGAR | 1-gen-2024 | Jonáš, Martin; Strejcek, Jan; Griggio, Alberto | |
| Testing the Migration from Analog to Software-Based Railway Interlocking Systems | 1-gen-2024 | Becchi, Anna; Cimatti, Alessandro; Scaglione, Giuseppe | |
| 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 |
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 ...7921
Data di pubblicazione
- In corso di stampa5
- 2020 - 20261542
- 2010 - 20193439
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE620
- Springer357
- ACM148
- Association for Computational Lin...91
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...92
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE22
- JOURNAL OF PHYSICS. CONFERENCE SE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- THE INTERNATIONAL ARCHIVES OF THE...12
- EPJ WEB OF CONFERENCES10
- LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE230
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- PROCEEDINGS OF SPIE10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6417
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6827
- open476
- restricted450
- reserved165
- partially open2
- mixed1