Zobrazeno 1 - 10
of 375
pro vyhledávání: '"L. Di Vito"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Materials at High Temperatures. 39:613-621
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5fb64b61e0b51bd89fb59c04905ccf8
https://doi.org/10.1080/09603409.2022.2058246
https://doi.org/10.1080/09603409.2022.2058246
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
M Lombardi, M Molisana, E Genovesi, C De Innocentiis, U Limbruno, L Misuraca, L Di Vito, M Zimarino, G Renda, M Di Nicola, R De Caterina
Publikováno v:
European Heart Journal. 42
Background Contrast-induced acute kidney injury (CI-AKI) after coronary angiography and percutaneous interventions (PCI) impacts on hospitalization duration and mortality. Pre-procedural hydration is the sole strategy currently recommended for preven
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::103c138d66e81562ec499fddfd506303
https://doi.org/10.1093/eurheartj/ehab724.2919
https://doi.org/10.1093/eurheartj/ehab724.2919
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ben L. Di Vito, Ashlie B. Hocking
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030763831
NFM
NFM
Geometric algorithms can present significant challenges for formal methods. We describe the formalization and verification of an algorithm posing such challenges. Given two overlapping polygons A and B, the Polygon Merge algorithm derives a new polyg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5122119942cd6fd12a56b2d70ce2eeb
https://doi.org/10.1007/978-3-030-76384-8_6
https://doi.org/10.1007/978-3-030-76384-8_6
Autor:
Elena Pasini, Laura Mirandola, Paolo Tinuper, L. Di Vito, Marcella Malagoli, Laura Tassi, Stefano Meletti, Francesca Bisulli, Roberto Michelucci, Anna Elisabetta Vaudano, Giuliana Gessaroli, Lilia Volpi, Francesco Cardinale, Giulia Monti, Giada Giovannini, Louis Lemieux, Patrizia Riguzzi, Francesca Talami, Giacomo Pavesi
Simultaneous EEG-fMRI can contribute to identify the epileptogenic zone (EZ) in focal epilepsies. However, fMRI maps related to Interictal Epileptiform Discharges (IED) commonly show multiple regions of signal change rather than focal ones. Dynamic c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4459e045bd47eecb179a2ac5e04a2574
http://hdl.handle.net/11585/854187
http://hdl.handle.net/11585/854187