Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
2021-01-01 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
A Systematic Assessment of Deep Learning Models for Molecule Generation
2020-01-01 Rigoni, Davide; Navarin, Nicolo'; Sperduti, Alessandro
The elliptic asymmetry of heavy quarkonia in pA collisions from the initial state
2021-01-01 Zhang, Cheng; Marquet, Cyrille; Qin, Guang-You; Shi, Yu; Wang, Lei; Wei, Shu-Yi; Xiao, Bo-Wen
Dual-radio discovery and ranging for infrastructure-less social distancing with Janus
2020-01-01 Istomin, Timofei; Leoni, Elia; Molteni, Davide; Murphy, Amy L.; Picco, Gian Pietro
Proactive Systems and Influenceable Users: Simulating Proactivity in Task-oriented Dialogues
2020-01-01 Balaraman, Vevake; Magnini, Bernardo
Distinctive 3D local deep descriptors
2020-01-01 Poiesi, Fabio; Boscaini, Davide
SeXAI: Introducing Concepts into Black Boxes for Explainable Artificial Intelligence
2020-01-01 Donadello, Ivan; Dragoni, Mauro
Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions
2020-01-01 Tacchella, Alberto; Tacchella, Armando
Analysis of control and sensing interfaces in a photonic integrated chip solution for quantum computing
2020-01-01 Gemma, Luca; Bernard, Martino; Ghulinyan, Mher; Brunelli, Davide
Electric field-induced second harmonic generation in silicon waveguide by interdigitated contacts (Conference Presentation)
2020-01-01 Vecchi, Chiara; Castellan, Claudio; Bernard, Martino; Ghulinyan, Mher; Pavesi, Lorenzo
Intermodal four-wave mixing for heralded single-photon sources in the MIR (Conference Presentation)
2020-01-01 Signorini, Stefano; Piccione, Sara; Finazzer, Matteo; Ghulinyan, Mher; Bernard, Martino; Pucker, Georg; Pavesi, Lorenzo
Synthesis of P-Stable Abstractions
2020-01-01 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
Wafer bonding process for zero level vacuum packaging of MEMS
2020-01-01 Sordo, Guido; Collini, Cristian; Moe, Sigurd; Poppe, Erik; Wright, Daniel Nilsen
The ENUBET experiment
2021-01-01 Terranova, Francesco; Acerbi, F.; Ballerini, G.; Bonesini, M.; Branca, A.; Brizzolari, C.; Brunetti, G.; Calviani, M.; Capelli, S.; Carturan, S.; Catanesi, M. G.; Cecchini, S.; Charitonidis, N.; Cindolo, F.; Collazuol, G.; Conti, E.; Dal Corso, F.; Delogu, C.; De Rosa, G.; Falcone, A.; Goddard, B.; Gola, A.; Jollet, C.; Kein, V.; Klicek, B.; Kudenko, Y. G.; Laveder, M.; Longhin, A.; Ludovici, L.; Lutsenko, E.; Magaletti, L.; Mandrioli, G.; Margotti, A.; Mascagna, V.; Mauri, N.; Meazza, L.; Meregaglia, A.; Mezzetto, M.; Nessi, M.; Paoloni, A.; Pari, M.; Parozzi, E.; Pasqualini, L.; Paternoster, G.; Patrizii, L.; Pozzato, M.; Prest, M.; Pupilli, F.; Radicioni, E.; Riccio, C.; Ruggeri, A. C.; Scian, C.; Sirri, G.; Stipcevic, M.; Terranova, F.; Tenti, M.; Torti, M.; Vallazza, E.; Velotti, F.; Vesco, M.; Votano, L.
Tint 2.0: An all-inclusive suite for NLP in Italian
2018-01-01 Palmero Aprosio, Alessio; Moretti, G.
From Sustainable Mobility to Good Deeds: Supporting School Participation during COVID-19 Emergency through a Playful Education Platform
2021-01-01 Marconi, Annapaola; Schiavo, Gianluca; Massa, Paolo; Mencarini, Eleonora; Deppieri, Giulia
Data-Driven Analysis of Parkinson's Disease and its Detection at an Early Stage
2020-01-01 Talitckii, Aleksandr; Anikina, Anna; Kovalenko, Ekaterina; Mayora, Oscar; Osmani, Venet; Zimniakova, Olga; Semenov, Maxim; Bril, Ekaterina; Dylov, Dmitry; Somov, Andrey
Remote Collaborative Childcare in the Workplace: Sharing Childcare with Colleagues during COVID-19 Emergency
2021-01-01 Leonardi, Chiara; Schiavo, Gianluca; Fasoli, Anna; Zancanaro, Massimo
Encoding Brain Networks Through Geodesic Clustering of Functional Connectivity for Multiple Sclerosis Classification
2021-01-01 Yamin, Muhammad Abubakar; Valsasina, Paola; Dayan, Michael; Vascon, Sebastiano; Tessadori, Jacopo; Filippi, Massimo; Murino, Vittorio; Rocca, Maria A.; Sona, Diego
Conditional Constrained Graph Variational Autoencoders for Molecule Design
2021-01-01 Rigoni, Davide; Navarin, Nicolo'; Sperduti, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays | 1-gen-2021 | Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark | |
| A Systematic Assessment of Deep Learning Models for Molecule Generation | 1-gen-2020 | Rigoni, Davide; Navarin, Nicolo'; Sperduti, Alessandro | |
| The elliptic asymmetry of heavy quarkonia in pA collisions from the initial state | 1-gen-2021 | Zhang, Cheng; Marquet, Cyrille; Qin, Guang-You; Shi, Yu; Wang, Lei; Wei, Shu-Yi; Xiao, Bo-Wen | |
| Dual-radio discovery and ranging for infrastructure-less social distancing with Janus | 1-gen-2020 | Istomin, Timofei; Leoni, Elia; Molteni, Davide; Murphy, Amy L.; Picco, Gian Pietro | |
| Proactive Systems and Influenceable Users: Simulating Proactivity in Task-oriented Dialogues | 1-gen-2020 | Balaraman, Vevake; Magnini, Bernardo | |
| Distinctive 3D local deep descriptors | 1-gen-2020 | Poiesi, Fabio; Boscaini, Davide | |
| SeXAI: Introducing Concepts into Black Boxes for Explainable Artificial Intelligence | 1-gen-2020 | Donadello, Ivan; Dragoni, Mauro | |
| Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions | 1-gen-2020 | Tacchella, Alberto; Tacchella, Armando | |
| Analysis of control and sensing interfaces in a photonic integrated chip solution for quantum computing | 1-gen-2020 | Gemma, Luca; Bernard, Martino; Ghulinyan, Mher; Brunelli, Davide | |
| Electric field-induced second harmonic generation in silicon waveguide by interdigitated contacts (Conference Presentation) | 1-gen-2020 | Vecchi, Chiara; Castellan, Claudio; Bernard, Martino; Ghulinyan, Mher; Pavesi, Lorenzo | |
| Intermodal four-wave mixing for heralded single-photon sources in the MIR (Conference Presentation) | 1-gen-2020 | Signorini, Stefano; Piccione, Sara; Finazzer, Matteo; Ghulinyan, Mher; Bernard, Martino; Pucker, Georg; Pavesi, Lorenzo | |
| Synthesis of P-Stable Abstractions | 1-gen-2020 | Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea | |
| Wafer bonding process for zero level vacuum packaging of MEMS | 1-gen-2020 | Sordo, Guido; Collini, Cristian; Moe, Sigurd; Poppe, Erik; Wright, Daniel Nilsen | |
| The ENUBET experiment | 1-gen-2021 | Terranova, Francesco; Acerbi, F.; Ballerini, G.; Bonesini, M.; Branca, A.; Brizzolari, C.; Brunetti, G.; Calviani, M.; Capelli, S.; Carturan, S.; Catanesi, M. G.; Cecchini, S.; Charitonidis, N.; Cindolo, F.; Collazuol, G.; Conti, E.; Dal Corso, F.; Delogu, C.; De Rosa, G.; Falcone, A.; Goddard, B.; Gola, A.; Jollet, C.; Kein, V.; Klicek, B.; Kudenko, Y. G.; Laveder, M.; Longhin, A.; Ludovici, L.; Lutsenko, E.; Magaletti, L.; Mandrioli, G.; Margotti, A.; Mascagna, V.; Mauri, N.; Meazza, L.; Meregaglia, A.; Mezzetto, M.; Nessi, M.; Paoloni, A.; Pari, M.; Parozzi, E.; Pasqualini, L.; Paternoster, G.; Patrizii, L.; Pozzato, M.; Prest, M.; Pupilli, F.; Radicioni, E.; Riccio, C.; Ruggeri, A. C.; Scian, C.; Sirri, G.; Stipcevic, M.; Terranova, F.; Tenti, M.; Torti, M.; Vallazza, E.; Velotti, F.; Vesco, M.; Votano, L. | |
| Tint 2.0: An all-inclusive suite for NLP in Italian | 1-gen-2018 | Palmero Aprosio, Alessio; Moretti, G. | |
| From Sustainable Mobility to Good Deeds: Supporting School Participation during COVID-19 Emergency through a Playful Education Platform | 1-gen-2021 | Marconi, Annapaola; Schiavo, Gianluca; Massa, Paolo; Mencarini, Eleonora; Deppieri, Giulia | |
| Data-Driven Analysis of Parkinson's Disease and its Detection at an Early Stage | 1-gen-2020 | Talitckii, Aleksandr; Anikina, Anna; Kovalenko, Ekaterina; Mayora, Oscar; Osmani, Venet; Zimniakova, Olga; Semenov, Maxim; Bril, Ekaterina; Dylov, Dmitry; Somov, Andrey | |
| Remote Collaborative Childcare in the Workplace: Sharing Childcare with Colleagues during COVID-19 Emergency | 1-gen-2021 | Leonardi, Chiara; Schiavo, Gianluca; Fasoli, Anna; Zancanaro, Massimo | |
| Encoding Brain Networks Through Geodesic Clustering of Functional Connectivity for Multiple Sclerosis Classification | 1-gen-2021 | Yamin, Muhammad Abubakar; Valsasina, Paola; Dayan, Michael; Vascon, Sebastiano; Tessadori, Jacopo; Filippi, Massimo; Murino, Vittorio; Rocca, Maria A.; Sona, Diego | |
| Conditional Constrained Graph Variational Autoencoders for Molecule Design | 1-gen-2021 | Rigoni, Davide; Navarin, Nicolo'; Sperduti, Alessandro |
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 ...7936
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261560
- 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...97
- 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 SCIENCE23
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6440
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6822
- open482
- restricted464
- reserved165
- partially open2
- mixed1