Sfoglia per Serie
Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs
2025 Boreale M.; Collodi L.
Modeling and analyzing information quality requirements for socio-technical systems: Experience report
2015 Gharib M.; Giorgini P.
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS
2025 Bilotta A.; Maggesi M.; Perini Brogi C.
On Attacks (Dis)Similarities to Test Adversarial Defense: Can We Reduce the Attack Set?
2024 Puccetti T.; Zoppi T.; Ceccarelli A.
On the Usage of ChatGPT for Integrating CAPEC Attacks into ADVISE Meta Ontology
2025 Kordi M.; Mariotti F.; Magrini R.; Lollini P.; Bondavalli A.
Please ASTRO, can you follow me? Design of a social assistive robot for monitoring gait parameters
2022 Sorrentino A.; Vezzi N.; La Viola C.; Rovini E.; Cavallo F.; Fiorini L.
Predict Cellular network traffic with Markov Logic
2018 Lippi M.; Mamei M.; Zambonellli F.
Preface
2022 Amabili G.; Andriella A.; Awaad I.; Beraldo G.; Bruno B.; Cortellessa G.; De Benedictis R.; Leone A.; Orlandini A.; Palumbo F.; Romeo M.; Rossi S.; Sorrentino A.; Staffa M.; Bevilacqua R.; Fiorini L.; Fracasso F.; Umbrico A.; Wieching R.
Preface
2018 Ferrari L.; Vamvakari M.
PURPLE: a PURPose-guided Log GEnerator (Extended Abstract)
2022 Burattin A.; Re B.; Rossi L.; Tiezzi F.
Reasoning with deep learning: An open challenge
2017 Lippi M.
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
2024 Cappanera P.; Caruso S.; Dodaro C.; Galata G.; Gavanelli M.; Maratea M.; Marte C.; Mochi M.; Nonato M.; Roma M.
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic
2025 Gianluca Amato; Nicola Balestra; Marco Maggesi; Maurizio Parton
Relational identity in adolescence: Between loneliness and sense of personal uniqueness
2019 Palma T.D.; Sica L.S.; Ciucci E.; Baroncelli A.; Carpenzano D.; Facci C.
RePROSitory: a Repository platform for sharing business PROcess models and logS
2021 Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
The rise of online teaching and digital learning during the health emergency from Covid-19 and teachers’ working self-efficacy: an Italian perspective.
2021 Carolina Facci, Marisabel Iacopino, Andrea Baroncelli, Enrica Ciucci
Risk assessment of a biometric continuous authentication protocol for internet services
2017 Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea
Risorse linguistiche di varietà storiche di italiano: il progetto TrAVaSI
2020 Marco Biffi, Manuel Favaro, Simonetta Montemagni
Setting the Path to the Combinatorial Characterization of Prime Double Square Polyominoes
2023 Michela Ascolese, Andrea Frosini
SI-ROBOTICS System: A preliminary study on usability of a rehabilitation program in patients with Parkinson's disease
2022 Bevilacqua R.; Benadduci M.; Riccardi G.R.; Melone G.; La Forgia A.; MacChiarulo N.; Rossetti L.; Marzorati M.; Rizzo G.; Di Bitonto P.; Potenza A.; Fiorini L.; Loizzo F.G.C.; La Viola C.; Cavallo F.; Leone A.; Rescio G.; Caroppo A.; Manni A.; Cesta A.; Cortellessa G.; Fracasso F.; Orlandini A.; Umbrico A.; Amabili G.; Rossi L.; Maranesi E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs | 2025 | Boreale M.; Collodi L. | |
| Modeling and analyzing information quality requirements for socio-technical systems: Experience report | 2015 | Gharib M.; Giorgini P. | |
| A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS | 2025 | Bilotta A.; Maggesi M.; Perini Brogi C. | |
| On Attacks (Dis)Similarities to Test Adversarial Defense: Can We Reduce the Attack Set? | 2024 | Puccetti T.; Zoppi T.; Ceccarelli A. | |
| On the Usage of ChatGPT for Integrating CAPEC Attacks into ADVISE Meta Ontology | 2025 | Kordi M.; Mariotti F.; Magrini R.; Lollini P.; Bondavalli A. | |
| Please ASTRO, can you follow me? Design of a social assistive robot for monitoring gait parameters | 2022 | Sorrentino A.; Vezzi N.; La Viola C.; Rovini E.; Cavallo F.; Fiorini L. | |
| Predict Cellular network traffic with Markov Logic | 2018 | Lippi M.; Mamei M.; Zambonellli F. | |
| Preface | 2022 | Amabili G.; Andriella A.; Awaad I.; Beraldo G.; Bruno B.; Cortellessa G.; De Benedictis R.; Leone A.; Orlandini A.; Palumbo F.; Romeo M.; Rossi S.; Sorrentino A.; Staffa M.; Bevilacqua R.; Fiorini L.; Fracasso F.; Umbrico A.; Wieching R. | |
| Preface | 2018 | Ferrari L.; Vamvakari M. | |
| PURPLE: a PURPose-guided Log GEnerator (Extended Abstract) | 2022 | Burattin A.; Re B.; Rossi L.; Tiezzi F. | |
| Reasoning with deep learning: An open challenge | 2017 | Lippi M. | |
| Recent Answer Set Programming Applications to Scheduling Problems in Digital Health | 2024 | Cappanera P.; Caruso S.; Dodaro C.; Galata G.; Gavanelli M.; Maratea M.; Marte C.; Mochi M.; Nonato M.; Roma M. | |
| Recurrent Neural Networks for Guiding Proof Search in Propositional Logic | 2025 | Gianluca Amato; Nicola Balestra; Marco Maggesi; Maurizio Parton | |
| Relational identity in adolescence: Between loneliness and sense of personal uniqueness | 2019 | Palma T.D.; Sica L.S.; Ciucci E.; Baroncelli A.; Carpenzano D.; Facci C. | |
| RePROSitory: a Repository platform for sharing business PROcess models and logS | 2021 | Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi | |
| The rise of online teaching and digital learning during the health emergency from Covid-19 and teachers’ working self-efficacy: an Italian perspective. | 2021 | Carolina Facci, Marisabel Iacopino, Andrea Baroncelli, Enrica Ciucci | |
| Risk assessment of a biometric continuous authentication protocol for internet services | 2017 | Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea | |
| Risorse linguistiche di varietà storiche di italiano: il progetto TrAVaSI | 2020 | Marco Biffi, Manuel Favaro, Simonetta Montemagni | |
| Setting the Path to the Combinatorial Characterization of Prime Double Square Polyominoes | 2023 | Michela Ascolese, Andrea Frosini | |
| SI-ROBOTICS System: A preliminary study on usability of a rehabilitation program in patients with Parkinson's disease | 2022 | Bevilacqua R.; Benadduci M.; Riccardi G.R.; Melone G.; La Forgia A.; MacChiarulo N.; Rossetti L.; Marzorati M.; Rizzo G.; Di Bitonto P.; Potenza A.; Fiorini L.; Loizzo F.G.C.; La Viola C.; Cavallo F.; Leone A.; Rescio G.; Caroppo A.; Manni A.; Cesta A.; Cortellessa G.; Fracasso F.; Orlandini A.; Umbrico A.; Amabili G.; Rossi L.; Maranesi E. |
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