Abstract Interpretation Repair
2022-01-01 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Graph Mixture Density Networks
2021-01-01 Errica, F; Bacciu, D; Micheli, A
Separating Bounded and Unbounded Asynchrony for Autonomous Robots: Point Convergence with Limited Visibility
2021-01-01 Kirkpatrick, D.; Kostitsyna, I.; Navarra, A.; Prencipe, G.; Santoro, N.
On Breaking Truss-Based Communities
2021-01-01 Chen, H.; Conte, A.; Grossi, R.; Loukides, G.; Pissis, S. P.; Sweering, M.
A Logic for Locally Complete Abstract Interpretations
2021-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
Fast and Deep Graph Neural Networks
2020-01-01 Gallicchio, Claudio; Micheli, Alessio
Leader election and compaction for asynchronous silent programmable matter
2020-01-01 D'Angelo, G.; D'Emidio, M.; Das, S.; Navarra, A.; Prencipe, G.
Hide and Mine in Strings: Hardness and Algorithms
2020-01-01 Bernardini, Giulia; Conte, Alessio; Gourdel, Garance; Grossi, Roberto; Loukides, Grigorios; Pisanti, Nadia; Pissis, Solon; Punzi, Giulia; Stougie, Leen; Michelle Sweering, And
A Fair Comparison of Graph Neural Networks for Graph Classification
2020-01-01 Errica, Federico; Podda, Marco; Bacciu, Davide; Micheli, Alessio
New techniques in diagnostic x-ray imaging: A simulation tool and experimental findings
2015-01-01 Oliva, Piernicola; Golosio, Bruno; Masala, G. L.; Schoonjans, Tom Paul; Brunetti, Antonio; Carpinelli, Massimo
Learning Style-Aware Symbolic Music Representations by Adversarial Autoencoders
2020-01-01 Valenti, Andrea; Carta, Antonio; Bacciu, Davide
A Custom Radiosonde Design for Environmental Measurements Over Maritime Areas
2023-01-01 Turi, Antonio; Gemignani, Matteo; Marcuccio, Salvo
Navigation of Sounding Balloons with Deep Reinforcement Learning
2023-01-01 Gannetti, Marco; Gemignani, Matteo; Marcuccio, Salvo
Path tracing in Production: The Path of Water
2023-01-01 Droske, Marc; Hanika, Johannes; Vorba, Jiří; Weidlich, Andrea; Sabbadin, Manuele
A Blockchain-Based Privacy-Preserving Auditable Data Structure Framework
2024-01-01 Tortola, Domenico; Felicioli, Claudio; Canciani, Andrea; Severino, Fabio
The graph structure of bitcoin
2019-01-01 Di Francesco Maesa, D.; Marino, A.; Ricci, L.
A Deep Generative Model for Fragment-Based Molecule Generation
2020-01-01 Podda, M; Bacciu, D; Micheli, A
Prove d'interdisciplinarità tra letteratura e arte: il caso degli Illuminated Manuscripts of the Divine Comedy
2020-01-01 Orsi, Elisa
SkinSource: A Data-Driven Toolbox for Predicting Touch-Elicited Vibrations in the Upper Limb
2024-01-01 Tummala, Neeli; Reardon, Gregory; Fani, Simone; Goetz, Dustin; Bianchi, Matteo; Visell, Yon
Prosthetic Upper-Limb Sensory Enhancement (PULSE): A Dual Haptic Feedback Device in a Prosthetic Socket
2024-01-01 Ivani, A. S.; Catalano, M. G.; Grioli, G.; Bianchi, M.; Bicchi, A.; Barontini, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract Interpretation Repair | 1-gen-2022 | Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F | |
| Graph Mixture Density Networks | 1-gen-2021 | Errica, F; Bacciu, D; Micheli, A | |
| Separating Bounded and Unbounded Asynchrony for Autonomous Robots: Point Convergence with Limited Visibility | 1-gen-2021 | Kirkpatrick, D.; Kostitsyna, I.; Navarra, A.; Prencipe, G.; Santoro, N. | |
| On Breaking Truss-Based Communities | 1-gen-2021 | Chen, H.; Conte, A.; Grossi, R.; Loukides, G.; Pissis, S. P.; Sweering, M. | |
| A Logic for Locally Complete Abstract Interpretations | 1-gen-2021 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco | |
| Fast and Deep Graph Neural Networks | 1-gen-2020 | Gallicchio, Claudio; Micheli, Alessio | |
| Leader election and compaction for asynchronous silent programmable matter | 1-gen-2020 | D'Angelo, G.; D'Emidio, M.; Das, S.; Navarra, A.; Prencipe, G. | |
| Hide and Mine in Strings: Hardness and Algorithms | 1-gen-2020 | Bernardini, Giulia; Conte, Alessio; Gourdel, Garance; Grossi, Roberto; Loukides, Grigorios; Pisanti, Nadia; Pissis, Solon; Punzi, Giulia; Stougie, Leen; Michelle Sweering, And | |
| A Fair Comparison of Graph Neural Networks for Graph Classification | 1-gen-2020 | Errica, Federico; Podda, Marco; Bacciu, Davide; Micheli, Alessio | |
| New techniques in diagnostic x-ray imaging: A simulation tool and experimental findings | 1-gen-2015 | Oliva, Piernicola; Golosio, Bruno; Masala, G. L.; Schoonjans, Tom Paul; Brunetti, Antonio; Carpinelli, Massimo | |
| Learning Style-Aware Symbolic Music Representations by Adversarial Autoencoders | 1-gen-2020 | Valenti, Andrea; Carta, Antonio; Bacciu, Davide | |
| A Custom Radiosonde Design for Environmental Measurements Over Maritime Areas | 1-gen-2023 | Turi, Antonio; Gemignani, Matteo; Marcuccio, Salvo | |
| Navigation of Sounding Balloons with Deep Reinforcement Learning | 1-gen-2023 | Gannetti, Marco; Gemignani, Matteo; Marcuccio, Salvo | |
| Path tracing in Production: The Path of Water | 1-gen-2023 | Droske, Marc; Hanika, Johannes; Vorba, Jiří; Weidlich, Andrea; Sabbadin, Manuele | |
| A Blockchain-Based Privacy-Preserving Auditable Data Structure Framework | 1-gen-2024 | Tortola, Domenico; Felicioli, Claudio; Canciani, Andrea; Severino, Fabio | |
| The graph structure of bitcoin | 1-gen-2019 | Di Francesco Maesa, D.; Marino, A.; Ricci, L. | |
| A Deep Generative Model for Fragment-Based Molecule Generation | 1-gen-2020 | Podda, M; Bacciu, D; Micheli, A | |
| Prove d'interdisciplinarità tra letteratura e arte: il caso degli Illuminated Manuscripts of the Divine Comedy | 1-gen-2020 | Orsi, Elisa | |
| SkinSource: A Data-Driven Toolbox for Predicting Touch-Elicited Vibrations in the Upper Limb | 1-gen-2024 | Tummala, Neeli; Reardon, Gregory; Fani, Simone; Goetz, Dustin; Bianchi, Matteo; Visell, Yon | |
| Prosthetic Upper-Limb Sensory Enhancement (PULSE): A Dual Haptic Feedback Device in a Prosthetic Socket | 1-gen-2024 | Ivani, A. S.; Catalano, M. G.; Grioli, G.; Bianchi, M.; Bicchi, A.; Barontini, F. |
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 ...36906
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa147
- 2020 - 20265047
- 2010 - 201911023
- 2000 - 200913956
- 1990 - 19995134
- 1980 - 19891432
- 1970 - 1979156
- 1961 - 19693
Editore
- Institute of Electrical and Elect...1772
- IEEE1226
- Springer608
- Springer Verlag328
- IEEE Computer Society264
- Springer Science and Business Med...215
- ETS179
- Elsevier155
- ACM130
- Pisa University Press128
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE431
- POS PROCEEDINGS OF SCIENCE136
- JOURNAL OF PHYSICS. CONFERENCE SE...123
- ELECTRONIC NOTES IN THEORETICAL C...71
- ACTA HORTICULTURAE69
- PROCEEDINGS OF SPIE, THE INTERNAT...58
- NUCLEAR PHYSICS B-PROCEEDINGS SUP...54
- ATTI DELLA SOCIETA' ITALIANA DELL...47
- IEEE ENGINEERING IN MEDICINE AND ...44
- PROCEDIA STRUCTURAL INTEGRITY44
Serie
- LECTURE NOTES IN COMPUTER SCIENCE340
- CEUR WORKSHOP PROCEEDINGS142
- LECTURE NOTES IN ARTIFICIAL INTEL...113
- LECTURE NOTES IN COMPUTER SCIENCE61
- COMMUNICATIONS IN COMPUTER AND IN...56
- DIGEST - IEEE ANTENNAS AND PROPAG...55
- IEEE ENGINEERING IN MEDICINE AND ...54
- LECTURE NOTES IN ELECTRICAL ENGIN...51
- LEIBNIZ INTERNATIONAL PROCEEDINGS...51
- PROCEEDINGS OF SPIE, THE INTERNAT...42
Keyword
- Computer Networks and Communications257
- Electrical and Electronic Enginee...244
- Computer Science (all)131
- Computer Science Applications1707...125
- Signal Processing124
- Artificial Intelligence117
- Instrumentation117
- Software117
- Theoretical Computer Science104
- Biomedical Engineering90
Lingua
- eng23689
- ita6906
- fre250
- spa126
- ger55
- rus45
- por28
- und23
- lat11
- grc7
Accesso al fulltext
- no fulltext34033
- open1591
- restricted893
- reserved233
- partially open154
- embargoed2
- mixed1