RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs
2022-01-01 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano
IFRIT: Focused Testing through Deep Reinforcement Learning
2022-01-01 Romdhana, A; Ceccato, M; Merlo, A; Tonella, P
Donne senza volto: le pittrici venete del Rinascimento
2022-01-01 Zamperini, Alessandra
Linear MPC-based Motion Planning for Autonomous Surgery
2022-01-01 Minelli, Marco; Sozzi, Alessio; De Rossi, Giacomo; Ferraguti, Federica; Farsoni, Saverio; Setti, Francesco; Muradore, Riccardo; Bonfe, Marcello; Secchi, Cristian
Misurare l’implementazione della sostenibilità aziendale: analisi del processo di definizione delle dimensioni e categorie per la costruzione di una scala multilivello
2022-01-01 Valcozzena, Silvia; Cantele, Silvia; Vernizzi, Silvia; Campedelli, Bettina
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts
2022-01-01 Oh, Chanwook; Lora, Michele; Nuzzo, Pierluigi
Dynamic Controllability of Parameterized CSTNUs
2023-01-01 Franceschetti, Marco; Posenato, Roberto; Combi, Carlo; Eder, Johann
It’s (still) alive. Riscritture di Frankenstein nel cinema americano contemporaneo
2022-01-01 Scandola, Alberto
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality
2022-01-01 Gaiardelli, Sebastiano; Spellini, Stefano; Pasqua, Michele; Ceccato, Mariano; Fummi, Franco
Robust zero-inflated interval regression for cyber security survey data
2022-01-01 Roner, C.; Di Caterina, C.; Ferrari, D.
I-SPLIT: Deep Network Interpretability for Split Computing
2022-01-01 Cunico, Federico; Capogrosso, Luigi; Setti, Francesco; Carra, Damiano; Fummi, Franco; Cristani, Marco
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing
2022-01-01 Sidahmed Alamin, Khaled Sidahmed; Chen, Yukai; Gaiardelli, Sebastiano; Spellini, Stefano; Calimera, Andrea; Beghi, Alessandro; Susto, Antonio; Fummi, Franco; Macii, Enrico; Vinco, Sara
Process Dynamics-Aware Flexible Manufacturing for Industry 4.0
2022-01-01 Balszun, Michael; Hobbs, Clara; Fraccaroli, Enrico; Roy, Debayan; Fummi, Franco; Chakraborty, Samarjit
On the Impact of Transport Times in Flexible Job Shop Scheduling Problems
2022-01-01 Gaiardelli, Sebastiano; Carra, Damiano; Spellini, Stefano; Fummi, Franco
Active, Constructive, Interactive… Co-creative! Suggestions for a participative instructional and assessment design
2022-01-01 Silva, Roberta; Bevilacqua, Alessia Maria Aurora
Algorithmic Aspects of Small Quasi-Kernels
2022-01-01 Langlois, Hélène; Meunier, Frédéric; Rizzi, Romeo; Vialette, Stéphane
Spatial embedding: a generic machine learning model for spatial query optimization
2022-01-01 Belussi, Alberto; Migliorini, Sara; Eldawy, Ahmed
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions
2022-01-01 Germiniani, Samuele; Pravadelli, Graziano
Assertion-aware approximate computing design exploration on behavioral models
2022-01-01 Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello
SHPIA: A Low-Cost Multi-purpose Smart Home Platform for Intelligent Applications
2022-01-01 Demrozi, Florenc; Pravadelli, Graziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs | 1-gen-2022 | Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano | |
| IFRIT: Focused Testing through Deep Reinforcement Learning | 1-gen-2022 | Romdhana, A; Ceccato, M; Merlo, A; Tonella, P | |
| Donne senza volto: le pittrici venete del Rinascimento | 1-gen-2022 | Zamperini, Alessandra | |
| Linear MPC-based Motion Planning for Autonomous Surgery | 1-gen-2022 | Minelli, Marco; Sozzi, Alessio; De Rossi, Giacomo; Ferraguti, Federica; Farsoni, Saverio; Setti, Francesco; Muradore, Riccardo; Bonfe, Marcello; Secchi, Cristian | |
| Misurare l’implementazione della sostenibilità aziendale: analisi del processo di definizione delle dimensioni e categorie per la costruzione di una scala multilivello | 1-gen-2022 | Valcozzena, Silvia; Cantele, Silvia; Vernizzi, Silvia; Campedelli, Bettina | |
| Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts | 1-gen-2022 | Oh, Chanwook; Lora, Michele; Nuzzo, Pierluigi | |
| Dynamic Controllability of Parameterized CSTNUs | 1-gen-2023 | Franceschetti, Marco; Posenato, Roberto; Combi, Carlo; Eder, Johann | |
| It’s (still) alive. Riscritture di Frankenstein nel cinema americano contemporaneo | 1-gen-2022 | Scandola, Alberto | |
| Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality | 1-gen-2022 | Gaiardelli, Sebastiano; Spellini, Stefano; Pasqua, Michele; Ceccato, Mariano; Fummi, Franco | |
| Robust zero-inflated interval regression for cyber security survey data | 1-gen-2022 | Roner, C.; Di Caterina, C.; Ferrari, D. | |
| I-SPLIT: Deep Network Interpretability for Split Computing | 1-gen-2022 | Cunico, Federico; Capogrosso, Luigi; Setti, Francesco; Carra, Damiano; Fummi, Franco; Cristani, Marco | |
| SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing | 1-gen-2022 | Sidahmed Alamin, Khaled Sidahmed; Chen, Yukai; Gaiardelli, Sebastiano; Spellini, Stefano; Calimera, Andrea; Beghi, Alessandro; Susto, Antonio; Fummi, Franco; Macii, Enrico; Vinco, Sara | |
| Process Dynamics-Aware Flexible Manufacturing for Industry 4.0 | 1-gen-2022 | Balszun, Michael; Hobbs, Clara; Fraccaroli, Enrico; Roy, Debayan; Fummi, Franco; Chakraborty, Samarjit | |
| On the Impact of Transport Times in Flexible Job Shop Scheduling Problems | 1-gen-2022 | Gaiardelli, Sebastiano; Carra, Damiano; Spellini, Stefano; Fummi, Franco | |
| Active, Constructive, Interactive… Co-creative! Suggestions for a participative instructional and assessment design | 1-gen-2022 | Silva, Roberta; Bevilacqua, Alessia Maria Aurora | |
| Algorithmic Aspects of Small Quasi-Kernels | 1-gen-2022 | Langlois, Hélène; Meunier, Frédéric; Rizzi, Romeo; Vialette, Stéphane | |
| Spatial embedding: a generic machine learning model for spatial query optimization | 1-gen-2022 | Belussi, Alberto; Migliorini, Sara; Eldawy, Ahmed | |
| Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions | 1-gen-2022 | Germiniani, Samuele; Pravadelli, Graziano | |
| Assertion-aware approximate computing design exploration on behavioral models | 1-gen-2022 | Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello | |
| SHPIA: A Low-Cost Multi-purpose Smart Home Platform for Intelligent Applications | 1-gen-2022 | Demrozi, Florenc; Pravadelli, Graziano |
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
- 04 Contributo in atti di convegno14131
Data di pubblicazione
- In corso di stampa42
- 2020 - 20261620
- 2010 - 20194108
- 2000 - 20095808
- 1990 - 19991752
- 1980 - 1989654
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer266
- IEEE220
- Springer-Verlag68
- ACM56
- SPRINGER INTERNATIONAL PUBLISHING AG48
- Springer Verlag45
- IEEE Computer Society41
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- IEEE COMPUTER SOC28
Rivista
- HAEMATOLOGICA64
- JOURNAL OF HEPATOLOGY52
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL48
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE41
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA37
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE256
- LECTURE NOTES IN ARTIFICIAL INTEL...64
- CEUR WORKSHOP PROCEEDINGS61
- LEIBNIZ INTERNATIONAL PROCEEDINGS...29
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- LECTURE NOTES IN COMPUTER SCIENCE15
- PROCEEDINGS - INTERNATIONAL WORKS...13
- MECHANISMS AND MACHINE SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
- EDULEARN PROCEEDINGS10
Keyword
- pattern recognition63
- Verona63
- CdTe51
- abstract interpretation50
- Italia49
- asthma44
- children44
- diagnosi41
- treatment41
- trattamento40
Lingua
- eng8668
- ita4548
- fre163
- ger112
- spa87
- rus38
- und7
- por5
- cat3
- enm3
Accesso al fulltext
- no fulltext12317
- open907
- restricted609
- reserved294
- embargoed2
- mixed1
- partially open1