Reasoning on privacy policies
2025 Huang, Yilian; Perini Brogi, Cosimo; De Nicola, Rocco
A conditional generative diffusion model for spatio-temporal data
2025 Loddi, Giulio; Betti, Alessandro; Pinelli, Fabio
Knowledge network analysis applied to an energy company to study problem solving, energy transition and innovation networks
2025 Nassirian, Tiffany Rana; Galluzzo Saverio, Gioacchino; Gilio, Francesco; Monti, Claudia; Di Lullo, Alberto; Riccaboni, Massimo
A modular framework for proof-search via formalised modal completeness in HOL light
2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
WalkthroughCyber: teaching cyber-awareness in Montessori middle schools
2025 Renieri, Margherita; Renieri, Alessandra; Galletta, Letterio
Filling gaps in motion capture data: a comparison of three statistical methods
In corso di stampa Romano, Gabriele; Perazzini, Selene; Gnecco, Giorgio Stefano
Human-like trajectories generation via receding horizon tracking applied to the TickTacking interface
2025 Masti, Daniele; Menchetti, Stefano; Erdem, C¸agrı; Gnecco, Giorgio Stefano; Rocchesso, Davide
Diffusion control of wildland fire via a cooperative game-theoretic model
2026 Bagnerini, Patrizia; Gaggero, Mauro; Gnecco, Giorgio Stefano; Sanguineti, Marcello
A computational framework for identifying salient moments in motion capture data
2025 Romano, Gabriele; Sabharwal Sanket, Rajeev; Gnecco, Giorgio Stefano; Camurri, Antonio
Semi-supervised classification with augmented-Laplacian SVM: application to MammoWave breast cancer data
2026 Naeem, Bisma; Gnecco, Giorgio Stefano; Riccaboni, Massimo; Badia, Mario; Tiberi, Gianluigi
Stock price time series forecasting using dynamic graph neural networks and attention mechanism in recurrent neural networks
2025 Gregnanin, Marco; De Smedt, Johannes; Gnecco, Giorgio Stefano; Parton, Maurizio
On the approximation of the Shapley value via machine learning in transportation network cooperative games
2026 Gnecco, Giorgio Stefano; Hadas, Yuval; Passacantando, Mauro; Sanguineti, Marcello
A generative adversarial graph neural network for synthetic time series data
2025 Gregnanin, Marco; De Smedt, Johannes; Gnecco, Giorgio Stefano; Parton, Maurizio
La rappresentazione di monumenti e architetture nella pratica artistica romana: una proposta di lettura fenomenologica
In corso di stampa Olivito, Riccardo
Effect Semantics for Quantum Process Calculi
2024 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Testing Quantum Processes
2025 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
A Coalgebraic Model of Quantum Bisimulation
2024 Ceragioli, Lorenzo; Di Lavore, Elena; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers
2025 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers
2025 Ceragioli, Lorenzo; Lomurno, Giuseppe; Tedeschi, Gabriele
Non-intact families and children's vaccination coverage: evidence from Italy
2025 Dorgali Maria, Veronica; Guetto, Raffaele; Tocchioni, Valentina; Dominici, Alice; Vignoli, Daniele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reasoning on privacy policies | 1-gen-2025 | Huang, Yilian; Perini Brogi, Cosimo; De Nicola, Rocco | |
| A conditional generative diffusion model for spatio-temporal data | 1-gen-2025 | Loddi, Giulio; Betti, Alessandro; Pinelli, Fabio | |
| Knowledge network analysis applied to an energy company to study problem solving, energy transition and innovation networks | 1-gen-2025 | Nassirian, Tiffany Rana; Galluzzo Saverio, Gioacchino; Gilio, Francesco; Monti, Claudia; Di Lullo, Alberto; Riccaboni, Massimo | |
| A modular framework for proof-search via formalised modal completeness in HOL light | 1-gen-2026 | Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo | |
| WalkthroughCyber: teaching cyber-awareness in Montessori middle schools | 1-gen-2025 | Renieri, Margherita; Renieri, Alessandra; Galletta, Letterio | |
| Filling gaps in motion capture data: a comparison of three statistical methods | In corso di stampa | Romano, Gabriele; Perazzini, Selene; Gnecco, Giorgio Stefano | |
| Human-like trajectories generation via receding horizon tracking applied to the TickTacking interface | 1-gen-2025 | Masti, Daniele; Menchetti, Stefano; Erdem, C¸agrı; Gnecco, Giorgio Stefano; Rocchesso, Davide | |
| Diffusion control of wildland fire via a cooperative game-theoretic model | 1-gen-2026 | Bagnerini, Patrizia; Gaggero, Mauro; Gnecco, Giorgio Stefano; Sanguineti, Marcello | |
| A computational framework for identifying salient moments in motion capture data | 1-gen-2025 | Romano, Gabriele; Sabharwal Sanket, Rajeev; Gnecco, Giorgio Stefano; Camurri, Antonio | |
| Semi-supervised classification with augmented-Laplacian SVM: application to MammoWave breast cancer data | 1-gen-2026 | Naeem, Bisma; Gnecco, Giorgio Stefano; Riccaboni, Massimo; Badia, Mario; Tiberi, Gianluigi | |
| Stock price time series forecasting using dynamic graph neural networks and attention mechanism in recurrent neural networks | 1-gen-2025 | Gregnanin, Marco; De Smedt, Johannes; Gnecco, Giorgio Stefano; Parton, Maurizio | |
| On the approximation of the Shapley value via machine learning in transportation network cooperative games | 1-gen-2026 | Gnecco, Giorgio Stefano; Hadas, Yuval; Passacantando, Mauro; Sanguineti, Marcello | |
| A generative adversarial graph neural network for synthetic time series data | 1-gen-2025 | Gregnanin, Marco; De Smedt, Johannes; Gnecco, Giorgio Stefano; Parton, Maurizio | |
| La rappresentazione di monumenti e architetture nella pratica artistica romana: una proposta di lettura fenomenologica | In corso di stampa | Olivito, Riccardo | |
| Effect Semantics for Quantum Process Calculi | 1-gen-2024 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Testing Quantum Processes | 1-gen-2025 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| A Coalgebraic Model of Quantum Bisimulation | 1-gen-2024 | Ceragioli, Lorenzo; Di Lavore, Elena; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers | 1-gen-2025 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers | 1-gen-2025 | Ceragioli, Lorenzo; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Non-intact families and children's vaccination coverage: evidence from Italy | 1-gen-2025 | Dorgali Maria, Veronica; Guetto, Raffaele; Tocchioni, Valentina; Dominici, Alice; Vignoli, Daniele |
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 ...1202
Data di pubblicazione
- In corso di stampa5
- 2020 - 2026320
- 2010 - 2019568
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE110
- Springer58
- Institute of Electrical and Elect...38
- Elsevier33
- Association for Computing Machinery23
- IEEE Computer Society17
- Springer Verlag17
- Association for Computing Machine...11
- EURAM11
- CEUR-WS10
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...10
- LECTURE NOTES IN COMPUTER SCIENCE6
- SLEEP6
- ENERGY PROCEDIA5
- PROCEEDINGS OF THE IEEE CONFERENC...5
- CEUR WORKSHOP PROCEEDINGS4
- JOURNAL OF SLEEP RESEARCH4
- LECTURE NOTES IN APPLIED AND COMP...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE59
- IFAC-PAPERSONLINE23
- CEUR WORKSHOP PROCEEDINGS22
- PROCEEDINGS OF THE IEEE CONFERENC...22
- PROCEEDINGS OF THE ... IEEE CONFE...11
- COMMUNICATIONS IN COMPUTER AND IN...9
- EUROPEAN CONTROL CONFERENCE8
- LECTURE NOTES IN COMPUTER SCIENCE7
- LECTURE NOTES OF THE INSTITUTE FO...7
- PROCEEDINGS OF THE AMERICAN CONTR...6
Keyword
- Security12
- Machine learning10
- Cybersecurity9
- Deep Learning8
- Games7
- Malware7
- security7
- Blockchain6
- Uncertainty6
- Artificial intelligence5
Lingua
- eng886
- ita103
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext679
- reserved317
- open161
- partially open41
- mixed3
- embargoed1