Anytime system level verification via parallel random exhaustive hardware in the loop simulation
2016-01-01 Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E
On minimising the maximum expected verification time
2017-01-01 Mancini, T; Mari, F; Massini, A; Melatti, I; Salvo, I; Tronci, E
Residential Demand Management Using Individualized Demand Aware Price Policies
2017-01-01 Hayes, Barry; Melatti, Igor; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico
Linearizing Discrete-Time Hybrid Systems
2017-01-01 Alimguzhin, V; Mari, F; Melatti, I; Salvo, I; Tronci, E
Architectural support for software performance in continuous software engineering: A systematic mapping study
2024-01-01 Eramo, R.; Tucci, M.; Di Pompeo, D.; Cortellessa, V.; Di Marco, A.; Taibi, D.
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks
2020-01-01 Chen, Qm; Finzi, A; Mancinit, T; Melatti, I; Tronci, E
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
2022-01-01 Melatti, I; Mari, F; Mancini, T; Prodanovic, M; Tronci, E
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification
2022-01-01 Mancini, T; Melatti, I; Tronci, E
On checking equivalence of simulation scripts
2021-01-01 Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E
Posttransplant Donor-Specific Anti-HLA Antibodies Negatively Impact Pancreas Transplantation Outcome
2011-01-01 Cantarovich, D; De Amicis, S; Akl, A; Devys, A; Vistoli, Fabio; Karam, G; Soulillou, Jp
A benefit-risk assessment of basiliximab in renal transplantation
2004-01-01 Boggi, Ugo; Danesi, Romano; Vistoli, Fabio; Del Chiaro, M; Signori, S; Marchetti, Piero; Del Tacca, M; Mosca, F.
Practical implications of tumor proximity to landmark vessels in minimally invasive radical antegrade modular pancreatosplenectomy
2023-01-01 Kauffmann, Emanuele Federico; Napoli, Niccolò; Di Dato, Armando; Salamone, Alice; Ginesini, Michael; Gianfaldoni, Cesare; Viti, Virginia; Amorese, Gabriella; Cappelli, Carla; Vistoli, Fabio; Boggi, Ugo
Glucose intolerance and diabetes in recipients of kidney graft: Comparison of old and new ADA and WHO criteria
2001-01-01 Aragona, M; Coppelli, A; Giannarelli, R; Boggi, Ugo; Rizzo, G; Paleologo, G; Vistoli, Fabio; Mosca, F; DEL PRATO, Stefano; Marchetti, Piero
University of Wisconsion solution versus Celsior solution in clinical pancreas transplantation
2005-01-01 Boggi, Ugo; Signori, S; Vistoli, Fabio; Del Chiaro, M; Pietrabissa, A; Croce, C; Barsotti, M; Bartolo, Tv; Arnorese, G; Capocasale, E; Della Valle, R; Mazzoni, Mp; Mosca, Franco
Twenty years of robotic surgery: a challenge for human limits
2021-01-01 Boggi, U.; Vistoli, F.; Amorese, G.
Effects of pancreas-kidney transplantation on diabetic retinopathy
2005-01-01 Giannarelli, R; Coppelli, A; Sartini, M; Aragona, M; Boggi, Ugo; Vistoli, Fabio; Rizzo, G; DEL PRATO, Stefano; Mosca, F; Marchetti, Piero
Early morbidity after pancreas transplantation
2005-01-01 Bindi, Ml; Biancofiore, GIANDOMENICO LUIGI; Meacci, L; Bellissima, G; Nardi, S; Pieri, M; Vistoli, Fabio; Boggi, Ugo; Sansevero, A; Mosca, Franco
Feasibility and safety of robotic-assisted total pancreatectomy: a pilot western series
2021-01-01 Kauffmann, E. F.; Napoli, N.; Genovese, V.; Ginesini, M.; Gianfaldoni, C.; Vistoli, F.; Amorese, G.; Boggi, U.
Ca 125 is an independent prognostic marker in resected pancreatic cancer of the head of the pancreas
2023-01-01 Napoli, Niccolò; Kauffmann, Emanuele F; Ginesini, Michael; Lami, Lucrezia; Lombardo, Carlo; Vistoli, Fabio; Campani, Daniela; Boggi, Ugo
Robotic pancreatoduodenectomy with vascular resection
2016-01-01 Kauffmann, EMANUELE FEDERICO; Napoli, Niccolo'; Menonna, Francesca; Vistoli, Fabio; Amorese, Gabriella; Campani, Daniela; Pollina, Luca Emanuele; Funel, Niccola; Cappelli, Carla; Caramella, Davide; Boggi, Ugo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Anytime system level verification via parallel random exhaustive hardware in the loop simulation | 1-gen-2016 | Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E | |
| On minimising the maximum expected verification time | 1-gen-2017 | Mancini, T; Mari, F; Massini, A; Melatti, I; Salvo, I; Tronci, E | |
| Residential Demand Management Using Individualized Demand Aware Price Policies | 1-gen-2017 | Hayes, Barry; Melatti, Igor; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico | |
| Linearizing Discrete-Time Hybrid Systems | 1-gen-2017 | Alimguzhin, V; Mari, F; Melatti, I; Salvo, I; Tronci, E | |
| Architectural support for software performance in continuous software engineering: A systematic mapping study | 1-gen-2024 | Eramo, R.; Tucci, M.; Di Pompeo, D.; Cortellessa, V.; Di Marco, A.; Taibi, D. | |
| MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks | 1-gen-2020 | Chen, Qm; Finzi, A; Mancinit, T; Melatti, I; Tronci, E | |
| A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries | 1-gen-2022 | Melatti, I; Mari, F; Mancini, T; Prodanovic, M; Tronci, E | |
| Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification | 1-gen-2022 | Mancini, T; Melatti, I; Tronci, E | |
| On checking equivalence of simulation scripts | 1-gen-2021 | Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E | |
| Posttransplant Donor-Specific Anti-HLA Antibodies Negatively Impact Pancreas Transplantation Outcome | 1-gen-2011 | Cantarovich, D; De Amicis, S; Akl, A; Devys, A; Vistoli, Fabio; Karam, G; Soulillou, Jp | |
| A benefit-risk assessment of basiliximab in renal transplantation | 1-gen-2004 | Boggi, Ugo; Danesi, Romano; Vistoli, Fabio; Del Chiaro, M; Signori, S; Marchetti, Piero; Del Tacca, M; Mosca, F. | |
| Practical implications of tumor proximity to landmark vessels in minimally invasive radical antegrade modular pancreatosplenectomy | 1-gen-2023 | Kauffmann, Emanuele Federico; Napoli, Niccolò; Di Dato, Armando; Salamone, Alice; Ginesini, Michael; Gianfaldoni, Cesare; Viti, Virginia; Amorese, Gabriella; Cappelli, Carla; Vistoli, Fabio; Boggi, Ugo | |
| Glucose intolerance and diabetes in recipients of kidney graft: Comparison of old and new ADA and WHO criteria | 1-gen-2001 | Aragona, M; Coppelli, A; Giannarelli, R; Boggi, Ugo; Rizzo, G; Paleologo, G; Vistoli, Fabio; Mosca, F; DEL PRATO, Stefano; Marchetti, Piero | |
| University of Wisconsion solution versus Celsior solution in clinical pancreas transplantation | 1-gen-2005 | Boggi, Ugo; Signori, S; Vistoli, Fabio; Del Chiaro, M; Pietrabissa, A; Croce, C; Barsotti, M; Bartolo, Tv; Arnorese, G; Capocasale, E; Della Valle, R; Mazzoni, Mp; Mosca, Franco | |
| Twenty years of robotic surgery: a challenge for human limits | 1-gen-2021 | Boggi, U.; Vistoli, F.; Amorese, G. | |
| Effects of pancreas-kidney transplantation on diabetic retinopathy | 1-gen-2005 | Giannarelli, R; Coppelli, A; Sartini, M; Aragona, M; Boggi, Ugo; Vistoli, Fabio; Rizzo, G; DEL PRATO, Stefano; Mosca, F; Marchetti, Piero | |
| Early morbidity after pancreas transplantation | 1-gen-2005 | Bindi, Ml; Biancofiore, GIANDOMENICO LUIGI; Meacci, L; Bellissima, G; Nardi, S; Pieri, M; Vistoli, Fabio; Boggi, Ugo; Sansevero, A; Mosca, Franco | |
| Feasibility and safety of robotic-assisted total pancreatectomy: a pilot western series | 1-gen-2021 | Kauffmann, E. F.; Napoli, N.; Genovese, V.; Ginesini, M.; Gianfaldoni, C.; Vistoli, F.; Amorese, G.; Boggi, U. | |
| Ca 125 is an independent prognostic marker in resected pancreatic cancer of the head of the pancreas | 1-gen-2023 | Napoli, Niccolò; Kauffmann, Emanuele F; Ginesini, Michael; Lami, Lucrezia; Lombardo, Carlo; Vistoli, Fabio; Campani, Daniela; Boggi, Ugo | |
| Robotic pancreatoduodenectomy with vascular resection | 1-gen-2016 | Kauffmann, EMANUELE FEDERICO; Napoli, Niccolo'; Menonna, Francesca; Vistoli, Fabio; Amorese, Gabriella; Campani, Daniela; Pollina, Luca Emanuele; Funel, Niccola; Cappelli, Carla; Caramella, Davide; Boggi, Ugo |
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
- 1 Contributo su Rivista38797
- 2 Contributo in Volume2
Data di pubblicazione
- In corso di stampa29
- 2020 - 202610567
- 2010 - 201912538
- 2000 - 20098046
- 1990 - 19995281
- 1980 - 19892072
- 1970 - 1979262
- 1966 - 19694
Editore
- EDP Sciences2
- Eliseo Ranzi, Katharina Kohse-Höi...2
- Humana Press Inc.2
- Wiley Online Library2
- Brill1
- Cambridge University Press: 20111
- Edizioni dell'U.M.I.1
- Elsevier1
- GIOVANNI COSTA1
- IFIP1
Rivista
- PHYSICAL REVIEW LETTERS179
- PLOS ONE150
- IEEE TRANSACTIONS ON ELECTROMAGNE...141
- L'INDUSTRIA DELLE COSTRUZIONI140
- APPLIED SCIENCES137
- PHYSICAL REVIEW. B, CONDENSED MAT...135
- INTERNATIONAL JOURNAL OF MOLECULA...131
- SCIENTIFIC REPORTS125
- TRANSPLANTATION PROCEEDINGS118
- ENERGIES106
Serie
- METHODS IN MOLECULAR BIOLOGY2
Keyword
- Humans1211
- Female618
- Male577
- Adult341
- Italy311
- Middle Aged300
- Aged247
- COVID-19240
- Neurology (clinical)227
- Child212
Lingua
- eng27811
- ita5263
- fre99
- spa97
- ger42
- lat9
- pol7
- por6
- rus6
- enm5
Accesso al fulltext
- no fulltext27069
- open8257
- restricted2454
- reserved922
- partially open90
- mixed4
- embargoed3