Towards Verification Modulo Theories of asynchronous systems via abstraction refinement
2024-01-01 Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto
The Large Area Detector for the eXTP mission
2024-01-01 Feroci, Marco; Ambrosi, Giovanni; Antonelli, Matias; Argan, Andrea; Babinec, Viktor; Barbera, Marco; Bastia, Paolo; Bayer, Joerg; Bellutti, Pierluigi; Bertucci, Bruna; Bertuccio, Giuseppe; Bonfitto, Federica; Bonvicini, Valter; Bozzo, Enrico; Baudin, David; Bouyjou, Florent; Brienza, Daniele; Cadoux, Franck; Campana, Riccardo; Candia, Roberto; Cao, Jiewei; Cavazzuti, Elisabetta; Ceraudo, Francesco; Chen, Tianxiang; Chen, Wen; Coimbra, Artur; Colucci, Angelo; Cong, Xiaoqing; Cirrincione, Daniela; De Angelis, Nicolas; De Rosa, Alessandra; Della Casa, Giovanni; Del Monte, Ettore; Di Cicca, Gaspare; Di Cosimo, Sergio; Dilillo, Giuseppe; Dohnal, Roman; Donnarumma, Immacolata; Evangelista, Yuri; Fan, Peng; Fan, Qingmei; Favre, Yannick; Fiandrini, Emanuele; Ficorella, Francesco; Gao, Na; Gevin, Olivier; Grassi, Marco; Guedel, Manuel; Guzman Cabrera, Alejandro; Han, Dong; He, Huilin; Hedderman, Paul; den Herder, Jan-Willem; Hynek, Richard; Reynaard Kole, Merlin; Karas, Vladimir; Komarek, Martin; Labanti, Claudio; La Marra, Daniel; Lesci, Giuseppe; Li, Gang; Li, Loghui; Li, Tiangtong; Limousin, Olivier; Liu, Hongwei; Liu, Rui; Liu, Yichen; Liu, Xiaojing; Lo Cicero, Ugo; Loehring, Jens; Lombardi, Giovanni; Lu, Fang-Jun; Luo, Tao; Malcovati, Piero; Marinucci, Andrea; Mele, Filippo; Mendes, Vasco; Merkl, Martin; Meuris, Aline; Michalska, Malgorzata; Morbidini, Alfredo; Morgante, Gianluca; Muleri, Fabio; Munini, Riccardo; Mussolin, Lorenzo; Negri, Barbara; Novák, Petr; Nowosielski, Witold; Nuti, Alessio; Orleanski, Piotr; Ottensamer, Roland; Pacciani, Luigi; Paltani, Stephane; Pan, Teng; Pepponi, Giancarlo; Perinati, Emanuele; Piazzolla, Raffaele; Picciotto, Antonino; Pliego, Samuel; Putz, Andreas; Rachevski, Alexandre; Rashevskaia, Irina; Samusenko, Alina; Santangelo, Andrea; Schanne, Stephane; Serafinelli, Roberto; Skup, Konrad; Sveda, Libor; Svoboda, Jiri; Tenzer, Chris; Todaro, Michela; Torok, Gabriel; Trois, Alessio; Vacchi, Andrea; Varisco, Salvatore; Villa, Francesco; Virgilli, Enrico; Xiang, Hongwen; Xiong, Hao; Wang, Jian; Wang, Xianqi; Winter, Berend; Wu, Zhenyu; Wu, Xin; Xu, Yupeng; Zampa, Gianluigi; Zampa, Nicola; Zdziarski, Andrzej A.; Zhang, Long; Zhang, Shu; Zhang, Shuang-Nan; Zhang, Yonghe; Zhang, Wenda; Zhao, Qiao; Zhu, Cheng; Zhu, Xiaofei; Zorzi, Nicola
Indium-Gallium-Zinc-Oxide Based Semitransparent Electrodes on Flexible Substrates for Biodegradable Electronics
2024-01-01 Pompilio, M.; Gharehbagh, J. Shoae; Krik, S.; Trentini, G.; Lanthaler, A. H.; Pires, F.; Morgado, J.; Lugli, P.; Münzenrieder, N.; Gaiardo, A.; Ciocca, M.; Cacialli, F.
The detector assembly of the cameras of the Lunar Electromagnetic Monitor in X-rays (LEM-X)
2024-01-01 Ceraudo, Francesco; Nuti, Alessio; Bertuccio, Giuseppe; Campana, Riccardo; Cirrincione, Daniela; Della Casa, Giovanni; Del Monte, Ettore; Dilillo, Giuseppe; Evangelista, Yuri; Feroci, Marco; Fiorini, Mauro; Grassi, Marco; Lombardi, Giovanni; Malcovati, Piero; Mele, Filippo; Pepponi, Giancarlo; Rachevski, Alexandre; Rashevskaya, Irina; Zampa, Gianluigi; Zampa, Nicola; Esposito, Francesca; Donnarumma, Immacolata; Cortesi, Ugo; D'Amico, Fabio; Turchi, Alessandro; Gai, Marco; Argan, Andrea
PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths
2024-01-01 Bucchiarone, Antonio; Guidolin, Tommaso; Fasol, Lorenzo; Schiavo, Gianluca; Kienzle, Jörg; Gerard, Sebastien; Négrier, David; Martorella, Tommaso
Designing and Generating Lesson Plans combining Open Educational Content and Generative AI
2024-01-01 Bucchiarone, Antonio; Cicchetti, Antonio; Vázquez-Ingelmo, Andrea; Adami, Filippo; Schiavo, Gianluca; García-Holgado, Alicia; José García-Peñalvo, Francisco
"Doctor, Is It Normal?" Enabling Medical Chatbots to Provide Certified Replies to Normalcy Questions.
2024-01-01 Sanna, Leonardo; Magnolini, Simone; Bellan, Patrizio; Ghanbari Haez, Saba; Segala, Marina; Consolandi, Monica; Dragoni, Mauro
Risk Communication in Healthcare: The Management of Misunderstandings
2024-01-01 Consolandi, Monica; Magnolini, Simone; Dragoni, Mauro
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems
2025-01-01 Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice
2025-01-01 Micheli, Andrea
Sensing Performance of Visible Light-Activated SnO2Functionalized with CuInS2 @ZnS QDs for Hydrogen Detection
2024-01-01 Orlando, Antonio; Gaiardo, Andrea; Valt, Matteo; Trentini, Guglielmo; Magoni, Marco; Tosato, Pietro; Lugli, Paolo; Krik, Soufiane; Petti, Luisa
Status of the Lunar Electromagnetic Monitor in X-rays (LEM-X)
2024-01-01 Del Monte, Ettore; Ceraudo, Francesco; Della Casa, Giovanni; Dilillo, Giuseppe; Evangelista, Yuri; Feroci, Marco; Nuti, Alessio; Rapisarda, Massimo; Bertuccio, Giuseppe; Campana, Riccardo; Demenev, Evgeny; Ficorella, Francesco; Fiorini, Mauro; Grassi, Marco; Malcovati, Piero; Mele, Filippo; Pepponi, Giancarlo; Zampa, Gianluigi; Esposito, Francesca; Donnarumma, Immacolata; Cortesi, Ugo; D'Amico, Fabio; Turchi, Alessandro; Gai, Marco; Argan, Andrea
The ENUBET monitored neutrino beam: moving towards the implementation of a high precision cross section experiment at CERN
2024-01-01 Pupilli, Fabio; Acerbi, F.; Angelis, I.; Bomben, L.; Bonesini, M.; Bramati, F.; Branca, A.; Brizzolari, C.; Brunetti, G.; Calviani, M.; Capelli, S.; Carturan, S.; Catanesi, M. G.; Cecchini, S.; Charitonidis, N.; Cindolo, F.; Cogo, G.; Collazuol, G.; Dal Corso, F.; Delogu, C.; De Rosa, G.; Falcone, A.; Goddard, B.; Gola, A.; Guffanti, D.; Halić, L.; Iacob, F.; Jollet, C.; Kain, V.; Kallitsopoulou, A.; Klicek, B.; Kudenko, Y.; Lampoudis, Ch.; Laveder, M.; Legou, P.; Longhin, A.; Ludovici, L.; Lutsenko, E.; Magaletti, L.; Mandrioli, G.; Marangoni, S.; Margotti, A.; Mascagna, V.; Mauri, N.; Mcelwee, J.; Meazza, L.; Meregaglia, A.; Mezzetto, M.; Nessi, M.; Paoloni, A.; Pari, M.; Papaevangelou, T.; Parozzi, E. G.; Pasqualini, L.; Paternoster, G.; Patrizii, L.; Pozzato, M.; Prest, M.; Radicioni, E.; Ruggeri, A. C.; Saibene, G.; Sampsonidis, D.; Scian, C.; Sirri, G.; Stipcevic, M.; Tenti, M.; Terranova, F.; Torti, M.; Tzamarias, S. E.; Vallazza, E.; Velotti, F.; Votano, L.
A CNN Architecture Tailored For Quantum Feature Map-Based Radar Sounder Signal Segmentation
2024-01-01 Ghosh, Raktim; Delilbasic, Amer; Cavallaro, Gabriele; Bovolo, Francesca
Sea Ice Semantic Segmentation with Sentinel-2 Data Based on Adaptive Sample Training on U-Net Network
2024-01-01 Yin, Zhiyong; Tang, Yuqi; Yu, Miao; Bovolo, Francesca
Attention-based 3D convolutional neural network for crop boundary detection in high-resolution satellite image time series
2024-01-01 Meshkini, Khatereh; Bovolo, Francesca; Doktor, Daniel
Instantaneous infrastructure monitoring by Earth observation: SAR-based railway obstacle detection
2024-01-01 Zanetti, Massimo; Palm, Stephan; Bovolo, Francesca
Crop Field Boundary Detection Using 3d Convolutions in Multi-Spectral Multi-Temporal Hr Satellite Images
2024-01-01 Meshkini, Khatereh; Doktor, Daniel; Bovolo, Francesca
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory
2024-01-01 Diedrich, Alexander; Heesch, René; Bozzano, Marco; Ludwig, Björn; Cimatti, Alessandro; Niggemann, Oliver
Annotation and Classification of Relevant Clauses in Terms-and-Conditions Contracts
2024-01-01 Bizzaro, Pietro Giovanni; Della Valentina, Elena; Mana, Nadia; Napolitano, Maurizio; Zancanaro, Massimo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Towards Verification Modulo Theories of asynchronous systems via abstraction refinement | 1-gen-2024 | Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto | |
| The Large Area Detector for the eXTP mission | 1-gen-2024 | Feroci, Marco; Ambrosi, Giovanni; Antonelli, Matias; Argan, Andrea; Babinec, Viktor; Barbera, Marco; Bastia, Paolo; Bayer, Joerg; Bellutti, Pierluigi; Bertucci, Bruna; Bertuccio, Giuseppe; Bonfitto, Federica; Bonvicini, Valter; Bozzo, Enrico; Baudin, David; Bouyjou, Florent; Brienza, Daniele; Cadoux, Franck; Campana, Riccardo; Candia, Roberto; Cao, Jiewei; Cavazzuti, Elisabetta; Ceraudo, Francesco; Chen, Tianxiang; Chen, Wen; Coimbra, Artur; Colucci, Angelo; Cong, Xiaoqing; Cirrincione, Daniela; De Angelis, Nicolas; De Rosa, Alessandra; Della Casa, Giovanni; Del Monte, Ettore; Di Cicca, Gaspare; Di Cosimo, Sergio; Dilillo, Giuseppe; Dohnal, Roman; Donnarumma, Immacolata; Evangelista, Yuri; Fan, Peng; Fan, Qingmei; Favre, Yannick; Fiandrini, Emanuele; Ficorella, Francesco; Gao, Na; Gevin, Olivier; Grassi, Marco; Guedel, Manuel; Guzman Cabrera, Alejandro; Han, Dong; He, Huilin; Hedderman, Paul; den Herder, Jan-Willem; Hynek, Richard; Reynaard Kole, Merlin; Karas, Vladimir; Komarek, Martin; Labanti, Claudio; La Marra, Daniel; Lesci, Giuseppe; Li, Gang; Li, Loghui; Li, Tiangtong; Limousin, Olivier; Liu, Hongwei; Liu, Rui; Liu, Yichen; Liu, Xiaojing; Lo Cicero, Ugo; Loehring, Jens; Lombardi, Giovanni; Lu, Fang-Jun; Luo, Tao; Malcovati, Piero; Marinucci, Andrea; Mele, Filippo; Mendes, Vasco; Merkl, Martin; Meuris, Aline; Michalska, Malgorzata; Morbidini, Alfredo; Morgante, Gianluca; Muleri, Fabio; Munini, Riccardo; Mussolin, Lorenzo; Negri, Barbara; Novák, Petr; Nowosielski, Witold; Nuti, Alessio; Orleanski, Piotr; Ottensamer, Roland; Pacciani, Luigi; Paltani, Stephane; Pan, Teng; Pepponi, Giancarlo; Perinati, Emanuele; Piazzolla, Raffaele; Picciotto, Antonino; Pliego, Samuel; Putz, Andreas; Rachevski, Alexandre; Rashevskaia, Irina; Samusenko, Alina; Santangelo, Andrea; Schanne, Stephane; Serafinelli, Roberto; Skup, Konrad; Sveda, Libor; Svoboda, Jiri; Tenzer, Chris; Todaro, Michela; Torok, Gabriel; Trois, Alessio; Vacchi, Andrea; Varisco, Salvatore; Villa, Francesco; Virgilli, Enrico; Xiang, Hongwen; Xiong, Hao; Wang, Jian; Wang, Xianqi; Winter, Berend; Wu, Zhenyu; Wu, Xin; Xu, Yupeng; Zampa, Gianluigi; Zampa, Nicola; Zdziarski, Andrzej A.; Zhang, Long; Zhang, Shu; Zhang, Shuang-Nan; Zhang, Yonghe; Zhang, Wenda; Zhao, Qiao; Zhu, Cheng; Zhu, Xiaofei; Zorzi, Nicola | |
| Indium-Gallium-Zinc-Oxide Based Semitransparent Electrodes on Flexible Substrates for Biodegradable Electronics | 1-gen-2024 | Pompilio, M.; Gharehbagh, J. Shoae; Krik, S.; Trentini, G.; Lanthaler, A. H.; Pires, F.; Morgado, J.; Lugli, P.; Münzenrieder, N.; Gaiardo, A.; Ciocca, M.; Cacialli, F. | |
| The detector assembly of the cameras of the Lunar Electromagnetic Monitor in X-rays (LEM-X) | 1-gen-2024 | Ceraudo, Francesco; Nuti, Alessio; Bertuccio, Giuseppe; Campana, Riccardo; Cirrincione, Daniela; Della Casa, Giovanni; Del Monte, Ettore; Dilillo, Giuseppe; Evangelista, Yuri; Feroci, Marco; Fiorini, Mauro; Grassi, Marco; Lombardi, Giovanni; Malcovati, Piero; Mele, Filippo; Pepponi, Giancarlo; Rachevski, Alexandre; Rashevskaya, Irina; Zampa, Gianluigi; Zampa, Nicola; Esposito, Francesca; Donnarumma, Immacolata; Cortesi, Ugo; D'Amico, Fabio; Turchi, Alessandro; Gai, Marco; Argan, Andrea | |
| PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths | 1-gen-2024 | Bucchiarone, Antonio; Guidolin, Tommaso; Fasol, Lorenzo; Schiavo, Gianluca; Kienzle, Jörg; Gerard, Sebastien; Négrier, David; Martorella, Tommaso | |
| Designing and Generating Lesson Plans combining Open Educational Content and Generative AI | 1-gen-2024 | Bucchiarone, Antonio; Cicchetti, Antonio; Vázquez-Ingelmo, Andrea; Adami, Filippo; Schiavo, Gianluca; García-Holgado, Alicia; José García-Peñalvo, Francisco | |
| "Doctor, Is It Normal?" Enabling Medical Chatbots to Provide Certified Replies to Normalcy Questions. | 1-gen-2024 | Sanna, Leonardo; Magnolini, Simone; Bellan, Patrizio; Ghanbari Haez, Saba; Segala, Marina; Consolandi, Monica; Dragoni, Mauro | |
| Risk Communication in Healthcare: The Management of Misunderstandings | 1-gen-2024 | Consolandi, Monica; Magnolini, Simone; Dragoni, Mauro | |
| Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems | 1-gen-2025 | Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano | |
| Against the Clock: Lessons Learned by Applying Temporal Planning in Practice | 1-gen-2025 | Micheli, Andrea | |
| Sensing Performance of Visible Light-Activated SnO2Functionalized with CuInS2 @ZnS QDs for Hydrogen Detection | 1-gen-2024 | Orlando, Antonio; Gaiardo, Andrea; Valt, Matteo; Trentini, Guglielmo; Magoni, Marco; Tosato, Pietro; Lugli, Paolo; Krik, Soufiane; Petti, Luisa | |
| Status of the Lunar Electromagnetic Monitor in X-rays (LEM-X) | 1-gen-2024 | Del Monte, Ettore; Ceraudo, Francesco; Della Casa, Giovanni; Dilillo, Giuseppe; Evangelista, Yuri; Feroci, Marco; Nuti, Alessio; Rapisarda, Massimo; Bertuccio, Giuseppe; Campana, Riccardo; Demenev, Evgeny; Ficorella, Francesco; Fiorini, Mauro; Grassi, Marco; Malcovati, Piero; Mele, Filippo; Pepponi, Giancarlo; Zampa, Gianluigi; Esposito, Francesca; Donnarumma, Immacolata; Cortesi, Ugo; D'Amico, Fabio; Turchi, Alessandro; Gai, Marco; Argan, Andrea | |
| The ENUBET monitored neutrino beam: moving towards the implementation of a high precision cross section experiment at CERN | 1-gen-2024 | Pupilli, Fabio; Acerbi, F.; Angelis, I.; Bomben, L.; Bonesini, M.; Bramati, F.; Branca, A.; Brizzolari, C.; Brunetti, G.; Calviani, M.; Capelli, S.; Carturan, S.; Catanesi, M. G.; Cecchini, S.; Charitonidis, N.; Cindolo, F.; Cogo, G.; Collazuol, G.; Dal Corso, F.; Delogu, C.; De Rosa, G.; Falcone, A.; Goddard, B.; Gola, A.; Guffanti, D.; Halić, L.; Iacob, F.; Jollet, C.; Kain, V.; Kallitsopoulou, A.; Klicek, B.; Kudenko, Y.; Lampoudis, Ch.; Laveder, M.; Legou, P.; Longhin, A.; Ludovici, L.; Lutsenko, E.; Magaletti, L.; Mandrioli, G.; Marangoni, S.; Margotti, A.; Mascagna, V.; Mauri, N.; Mcelwee, J.; Meazza, L.; Meregaglia, A.; Mezzetto, M.; Nessi, M.; Paoloni, A.; Pari, M.; Papaevangelou, T.; Parozzi, E. G.; Pasqualini, L.; Paternoster, G.; Patrizii, L.; Pozzato, M.; Prest, M.; Radicioni, E.; Ruggeri, A. C.; Saibene, G.; Sampsonidis, D.; Scian, C.; Sirri, G.; Stipcevic, M.; Tenti, M.; Terranova, F.; Torti, M.; Tzamarias, S. E.; Vallazza, E.; Velotti, F.; Votano, L. | |
| A CNN Architecture Tailored For Quantum Feature Map-Based Radar Sounder Signal Segmentation | 1-gen-2024 | Ghosh, Raktim; Delilbasic, Amer; Cavallaro, Gabriele; Bovolo, Francesca | |
| Sea Ice Semantic Segmentation with Sentinel-2 Data Based on Adaptive Sample Training on U-Net Network | 1-gen-2024 | Yin, Zhiyong; Tang, Yuqi; Yu, Miao; Bovolo, Francesca | |
| Attention-based 3D convolutional neural network for crop boundary detection in high-resolution satellite image time series | 1-gen-2024 | Meshkini, Khatereh; Bovolo, Francesca; Doktor, Daniel | |
| Instantaneous infrastructure monitoring by Earth observation: SAR-based railway obstacle detection | 1-gen-2024 | Zanetti, Massimo; Palm, Stephan; Bovolo, Francesca | |
| Crop Field Boundary Detection Using 3d Convolutions in Multi-Spectral Multi-Temporal Hr Satellite Images | 1-gen-2024 | Meshkini, Khatereh; Doktor, Daniel; Bovolo, Francesca | |
| Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory | 1-gen-2024 | Diedrich, Alexander; Heesch, René; Bozzano, Marco; Ludwig, Björn; Cimatti, Alessandro; Niggemann, Oliver | |
| Annotation and Classification of Relevant Clauses in Terms-and-Conditions Contracts | 1-gen-2024 | Bizzaro, Pietro Giovanni; Della Valentina, Elena; Mana, Nadia; Napolitano, Maurizio; Zancanaro, Massimo |
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