Verification and Repair of Neural Networks
2021-01-01 Guidotti, D.
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis
2021-01-01 Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A.
Counter-Example Guided Abstract Refinement for Verification of Neural Networks
2022-01-01 Demarchi, S.; Guidotti, D.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
2022-01-01 Demarchi, S.; Guidotti, D.; Pitto, A.; Tacchella, A.
Verification of Neural Networks for Safety and Security-critical Domains
2022-01-01 Guidotti, D.
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
2023-01-01 Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando
Exploring responsive and adaptive building skins: texture, materials, color, and environmental integration
2024-01-01 Gasparini, Katia
Hpv vaccination and adolescent girls: a 18 months observational study
2007-01-01 F., Borruto; Zampieri, Nicola; Camoglio, Francesco Saverio
Spermatogenesis in patients treated for cryptorchidism before puberty
1998-01-01 S., Bianchi; G., Divirgilio; G., Bettili; Camoglio, Francesco Saverio; Cecchetto, Mariangela; H. M., Ghandour; P., Piovesan; G., Dipaola; M., Spalletta; Giacomello, Luca
Torsione del testicolo: risultati funzionali a lungo termine
2023-01-01 Zampieri, N; Boscaini, V; Giambanco, A; Cecchetto, M; Camoglio, Fs
Peritoniti "complesse" in età pediatrica: descrizione di alcuni casi insoliti
2015-01-01 Zampieri, Nicola; Scire', Gabriella; Peretti, Marta; Bianchi, Federica; Camoglio, Francesco Saverio
Elastosonography of the corpus spongiosum in hypospadic penis
2015-01-01 Zampieri, Nicola; Bianchi, Federica; Peretti, Marta; Camoglio, Francesco Saverio
Totally endoscopic excision of prostatic utricle in infant
2010-01-01 Giacomello, Luca; A., Mantovani; L., Bortoli; Cecchetto, Mariangela; M., Corropolo; Camoglio, Francesco Saverio
Autologous splenic transplantation and partial splenectomy in an experimental model
1998-01-01 Giacomello, Luca; P., Zaupa; L., Fasoli; Camoglio, Francesco Saverio; P., Flessati; P., Piovesan
Varicocele idiopatico in età pediatrica: studio epidemiologico e proposta di un approccio alternativo
2002-01-01 R. M., Cervellione; Camoglio, Francesco Saverio; Corroppolo, Michele; C., Chironi; Zampieri, Nicola; A., Ottolenghi
La mobilizzazione intraoperatoria durante la varicocelectomia laparoscopica permette di identificare collaterali refluenti
2017-01-01 Peretti, M; Patanè, S; Bianchi, F; Zampieri, N; Camoglio, Fs
The role of elastosonography in the evaluation of testis for pediatric varicocele
2015-01-01 Zampieri, Nicola; Peretti, Marta; Scire', Gabriella; Bianchi, Federica; Camoglio, Francesco Saverio
Empiema pleurico complicato nel paziente pediatrico: esperienza di 5 anni in un singolo centro
2023-01-01 Cavaliere, B; Zampieri, N; Scirè, G; Giambanco, A; Garcia Magne, M; Cecchetto, M; Del Prete, F; Camoglio, Fs
Torsione testicolare bilaterale in età neonatale: case report
2002-01-01 Cecchetto, Mariangela; Chironi, C.; Camoglio, Francesco Saverio; Bianchi, S.; Giacomello, Luca; Cervellione, R. M.; D’Onofrio, M.; Corroppolo, Michele; Ottolenghi, Alberto
Masse inguinali non riducibili in età pediatrica: 2 casi particolari
2006-01-01 Zampieri, Nicola; Corroppolo, Michele; Zuin, Veronica; Cecchetto, Mariangela; Camoglio, Francesco Saverio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Verification and Repair of Neural Networks | 1-gen-2021 | Guidotti, D. | |
| Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis | 1-gen-2021 | Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A. | |
| Counter-Example Guided Abstract Refinement for Verification of Neural Networks | 1-gen-2022 | Demarchi, S.; Guidotti, D. | |
| Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control | 1-gen-2022 | Demarchi, S.; Guidotti, D.; Pitto, A.; Tacchella, A. | |
| Verification of Neural Networks for Safety and Security-critical Domains | 1-gen-2022 | Guidotti, D. | |
| Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet | 1-gen-2023 | Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando | |
| Exploring responsive and adaptive building skins: texture, materials, color, and environmental integration | 1-gen-2024 | Gasparini, Katia | |
| Hpv vaccination and adolescent girls: a 18 months observational study | 1-gen-2007 | F., Borruto; Zampieri, Nicola; Camoglio, Francesco Saverio | |
| Spermatogenesis in patients treated for cryptorchidism before puberty | 1-gen-1998 | S., Bianchi; G., Divirgilio; G., Bettili; Camoglio, Francesco Saverio; Cecchetto, Mariangela; H. M., Ghandour; P., Piovesan; G., Dipaola; M., Spalletta; Giacomello, Luca | |
| Torsione del testicolo: risultati funzionali a lungo termine | 1-gen-2023 | Zampieri, N; Boscaini, V; Giambanco, A; Cecchetto, M; Camoglio, Fs | |
| Peritoniti "complesse" in età pediatrica: descrizione di alcuni casi insoliti | 1-gen-2015 | Zampieri, Nicola; Scire', Gabriella; Peretti, Marta; Bianchi, Federica; Camoglio, Francesco Saverio | |
| Elastosonography of the corpus spongiosum in hypospadic penis | 1-gen-2015 | Zampieri, Nicola; Bianchi, Federica; Peretti, Marta; Camoglio, Francesco Saverio | |
| Totally endoscopic excision of prostatic utricle in infant | 1-gen-2010 | Giacomello, Luca; A., Mantovani; L., Bortoli; Cecchetto, Mariangela; M., Corropolo; Camoglio, Francesco Saverio | |
| Autologous splenic transplantation and partial splenectomy in an experimental model | 1-gen-1998 | Giacomello, Luca; P., Zaupa; L., Fasoli; Camoglio, Francesco Saverio; P., Flessati; P., Piovesan | |
| Varicocele idiopatico in età pediatrica: studio epidemiologico e proposta di un approccio alternativo | 1-gen-2002 | R. M., Cervellione; Camoglio, Francesco Saverio; Corroppolo, Michele; C., Chironi; Zampieri, Nicola; A., Ottolenghi | |
| La mobilizzazione intraoperatoria durante la varicocelectomia laparoscopica permette di identificare collaterali refluenti | 1-gen-2017 | Peretti, M; Patanè, S; Bianchi, F; Zampieri, N; Camoglio, Fs | |
| The role of elastosonography in the evaluation of testis for pediatric varicocele | 1-gen-2015 | Zampieri, Nicola; Peretti, Marta; Scire', Gabriella; Bianchi, Federica; Camoglio, Francesco Saverio | |
| Empiema pleurico complicato nel paziente pediatrico: esperienza di 5 anni in un singolo centro | 1-gen-2023 | Cavaliere, B; Zampieri, N; Scirè, G; Giambanco, A; Garcia Magne, M; Cecchetto, M; Del Prete, F; Camoglio, Fs | |
| Torsione testicolare bilaterale in età neonatale: case report | 1-gen-2002 | Cecchetto, Mariangela; Chironi, C.; Camoglio, Francesco Saverio; Bianchi, S.; Giacomello, Luca; Cervellione, R. M.; D’Onofrio, M.; Corroppolo, Michele; Ottolenghi, Alberto | |
| Masse inguinali non riducibili in età pediatrica: 2 casi particolari | 1-gen-2006 | Zampieri, Nicola; Corroppolo, Michele; Zuin, Veronica; Cecchetto, Mariangela; Camoglio, Francesco Saverio |
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 ...10560
Data di pubblicazione
- In corso di stampa43
- 2020 - 2025615
- 2010 - 20192708
- 2000 - 20094733
- 1990 - 19991876
- 1980 - 1989522
- 1971 - 197962
Editore
- Carocci editore165
- Institute of Electrical and Elect...85
- Carocci Editore63
- IEEE60
- Springer57
- All'Insegna del Giglio54
- Carlo Delfino Editore45
- IEEE Computer Society41
- Springer-Verlag41
- Società Italiana delle Scienze Ve...40
Rivista
- ATTI DELLA SOCIETA' ITALIANA DELL...91
- LECTURE NOTES IN COMPUTER SCIENCE86
- COLLANA DEL DIPARTIMENTO DI STORI...66
- PARASSITOLOGIA62
- BIOLOGIA MARINA MEDITERRANEA38
- ATTI (CENTRO LIGURE PER LA STORIA...37
- ATTI DELLA SOCIETÀ ITALIANA DELLE...29
- ITALIAN JOURNAL OF BIOCHEMISTRY28
- JOURNAL OF NUCLEAR MEDICINE AND A...27
- INTERNATIONAL ARCHIVES OF THE PHO...22
Serie
- LECTURE NOTES IN COMPUTER SCIENCE37
- CEUR WORKSHOP PROCEEDINGS20
- LECTURE NOTES IN CIVIL ENGINEERING14
- LECTURE NOTES IN ARTIFICIAL INTEL...11
- LEIBNIZ INTERNATIONAL PROCEEDINGS...10
- COLLANA DEL DIPARTIMENTO DI STORI...7
- LECTURE NOTES IN CIVIL ENGINEERING7
- EPIGRAFIA E ANTICHITÀ6
- DIGEST OF TECHNICAL PAPER4
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...4
Keyword
- Sardegna349
- Sardinia116
- epigrafia42
- Olbia37
- archeologia30
- Cellular Automata30
- età romana28
- trattamento27
- Computer Science (all)26
- Physics and Astronomy (all)26
Lingua
- ita4818
- eng4736
- fre143
- spa66
- ger26
- und15
- rum7
- lat5
- por3
- rus3
Accesso al fulltext
- no fulltext10023
- open523
- reserved8
- restricted4
- partially open2