A first-order logic characterisation of safety and co-safety languages
2022-01-01 Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Searching for Ribbon-Shaped Paths in Fair Transition Systems
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Tonetta, Stefano; Vozárová, Viktória
3μm Pitch, 1μm Active Diameter SPAD Arrays in 130nm CMOS Imaging Technology
2017-01-01 You, Ziyang; Parmesan, Luca; Pellegrini, Sara; Henderson, Robert K.
Online Learning of Action Models for PDDL Planning
2021-01-01 Lamanna, Leonardo; Saetti, Alessandro; Serafini, Luciano; Emilio Gerevini, Alfonso; Traverso, Paolo
New Trends in HCI and Sports
2022-01-01 Mencarini, Eleonora; Rapp, Amon; Colley, Ashley; Daiber, Florian; Jones, Michael D.; Kosmalla, Felix; Lukosch, Stephan; Niess, Jasmin; Niforatos, Evangelos; Woźniak, Paweł W.; Zancanaro, Massimo
Referral Incentives in Crowdfunding
2014-01-01 Naroditskiy, V; Stein, S; Tonin, M; Tran-Thanh, L; Vlassopoulos, M; Jennings, Nr
Exploring User Perceptions of Online Privacy Disclosures
2015-01-01 Marreiros, H; Gomer, R; Vlassopoulos, M; Tonin, M; Schraefel, Mc
Optimizing the number of printed layers in a PET inkjet-printed chipless RFID sensor
2022-01-01 Zanazzi, Enrico; Marchi, Giada; Mulloni, Viviana; Donelli, Massimo; Lorenzelli, Leandro
TREMOD: un modello di microsimulazione per il Trentino
2020-01-01 Bazzoli, Martina
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
2021-01-01 Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick
Neutron induced radiation damage of KETEK SiPMs
2016-01-01 Centis Vignali, Matteo; Chmill, V.; Garutti, E.; Klanner, R.; Nitschke, M.; Schwandt, J.; Sonder, S.
SoK: A Survey on Technological Trends for (pre)Notified eIDAS Electronic Identity Schemes
2022-01-01 Sharif, Amir; Ranzi, Matteo; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio
From Masked Language Modeling to Translation: Non-English Auxiliary Tasks Improve Zero-shot Spoken Language Understanding
2021-01-01 van der Goot, Rob; Sharaf, Ibrahim; Imankulova, Aizhan; Üstün, Ahmet; Stepanović, Marija; Ramponi, Alan; Khairunnisa, Siti Oryza; Komachi, Mamoru; Plank, Barbara
Human-in-the-Loop for Data Collection: a Multi-Target Counter Narrative Dataset to Fight Online Hate Speech
2021-01-01 Fanton, Margherita; Bonaldi, Helena; Tekiroğlu, Serra Sinem; Guerini, Marco
Towards Application-Aware Provisioning of Security Services with Kubernetes
2022-01-01 Doriguzzi-Corin, Roberto; Cretti, Silvio; Catena, Tiziana; Magnani, Simone; Siracusa, Domenico
Chemoresistive Gas Sensor based on SiC Thick Film: Possible Distinctive Sensing Properties between H2S and SO2
2016-01-01 Gaiardo, A.; Bellutti, P.; Fabbri, B.; Gherardi, S.; Giberti, A.; Guidi, V.; Landini, N.; Malag(`u), C.; Pepponi, G.; Valt, M.; Zonta, G.
Hidden Markov models implementation for tangible interfaces
2009-01-01 Zappi, P.; Farella, E.; Benini, L.
Towards a Domain-Specific Neural Network Approach for EEG Bad Channel Detection
2021-01-01 Kumaravel, Velu Prabhakar; Paissan, Francesco; Farella, Elisabetta
End-to-End Low Resource Keyword Spotting Through Character Recognition and Beam-Search Re-Scoring
2022-01-01 Mekonnen, Ephrem Tibebe; Brutti, Alessio; Falavigna, Daniele
NewYeS: A Corpus of New Year’s Speeches with a Comparative Analysis
2022-01-01 Tramarin, Anna; Strapparava, Carlo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A first-order logic characterisation of safety and co-safety languages | 1-gen-2022 | Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
| Searching for Ribbon-Shaped Paths in Fair Transition Systems | 1-gen-2022 | Bozzano, Marco; Cimatti, Alessandro; Tonetta, Stefano; Vozárová, Viktória | |
| 3μm Pitch, 1μm Active Diameter SPAD Arrays in 130nm CMOS Imaging Technology | 1-gen-2017 | You, Ziyang; Parmesan, Luca; Pellegrini, Sara; Henderson, Robert K. | |
| Online Learning of Action Models for PDDL Planning | 1-gen-2021 | Lamanna, Leonardo; Saetti, Alessandro; Serafini, Luciano; Emilio Gerevini, Alfonso; Traverso, Paolo | |
| New Trends in HCI and Sports | 1-gen-2022 | Mencarini, Eleonora; Rapp, Amon; Colley, Ashley; Daiber, Florian; Jones, Michael D.; Kosmalla, Felix; Lukosch, Stephan; Niess, Jasmin; Niforatos, Evangelos; Woźniak, Paweł W.; Zancanaro, Massimo | |
| Referral Incentives in Crowdfunding | 1-gen-2014 | Naroditskiy, V; Stein, S; Tonin, M; Tran-Thanh, L; Vlassopoulos, M; Jennings, Nr | |
| Exploring User Perceptions of Online Privacy Disclosures | 1-gen-2015 | Marreiros, H; Gomer, R; Vlassopoulos, M; Tonin, M; Schraefel, Mc | |
| Optimizing the number of printed layers in a PET inkjet-printed chipless RFID sensor | 1-gen-2022 | Zanazzi, Enrico; Marchi, Giada; Mulloni, Viviana; Donelli, Massimo; Lorenzelli, Leandro | |
| TREMOD: un modello di microsimulazione per il Trentino | 1-gen-2020 | Bazzoli, Martina | |
| Optimization Modulo Non-linear Arithmetic via Incremental Linearization | 1-gen-2021 | Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick | |
| Neutron induced radiation damage of KETEK SiPMs | 1-gen-2016 | Centis Vignali, Matteo; Chmill, V.; Garutti, E.; Klanner, R.; Nitschke, M.; Schwandt, J.; Sonder, S. | |
| SoK: A Survey on Technological Trends for (pre)Notified eIDAS Electronic Identity Schemes | 1-gen-2022 | Sharif, Amir; Ranzi, Matteo; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio | |
| From Masked Language Modeling to Translation: Non-English Auxiliary Tasks Improve Zero-shot Spoken Language Understanding | 1-gen-2021 | van der Goot, Rob; Sharaf, Ibrahim; Imankulova, Aizhan; Üstün, Ahmet; Stepanović, Marija; Ramponi, Alan; Khairunnisa, Siti Oryza; Komachi, Mamoru; Plank, Barbara | |
| Human-in-the-Loop for Data Collection: a Multi-Target Counter Narrative Dataset to Fight Online Hate Speech | 1-gen-2021 | Fanton, Margherita; Bonaldi, Helena; Tekiroğlu, Serra Sinem; Guerini, Marco | |
| Towards Application-Aware Provisioning of Security Services with Kubernetes | 1-gen-2022 | Doriguzzi-Corin, Roberto; Cretti, Silvio; Catena, Tiziana; Magnani, Simone; Siracusa, Domenico | |
| Chemoresistive Gas Sensor based on SiC Thick Film: Possible Distinctive Sensing Properties between H2S and SO2 | 1-gen-2016 | Gaiardo, A.; Bellutti, P.; Fabbri, B.; Gherardi, S.; Giberti, A.; Guidi, V.; Landini, N.; Malag(`u), C.; Pepponi, G.; Valt, M.; Zonta, G. | |
| Hidden Markov models implementation for tangible interfaces | 1-gen-2009 | Zappi, P.; Farella, E.; Benini, L. | |
| Towards a Domain-Specific Neural Network Approach for EEG Bad Channel Detection | 1-gen-2021 | Kumaravel, Velu Prabhakar; Paissan, Francesco; Farella, Elisabetta | |
| End-to-End Low Resource Keyword Spotting Through Character Recognition and Beam-Search Re-Scoring | 1-gen-2022 | Mekonnen, Ephrem Tibebe; Brutti, Alessio; Falavigna, Daniele | |
| NewYeS: A Corpus of New Year’s Speeches with a Comparative Analysis | 1-gen-2022 | Tramarin, Anna; Strapparava, Carlo |
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