Zobrazeno 1 - 10
of 108
pro vyhledávání: '"di Cosmo, R."'
Autor:
Danelutto, M., Di Cosmo, R.
Publikováno v:
In Procedia Computer Science 2012 9:1837-1846
Publikováno v:
In Parallel Computing 2006 32(7):539-550
Autor:
Di Cosmo R., Gonzalez Lopez J.B., Abramatic J-F., Graf K., Colom M., Manghi P., Harrison M., Barborini Y., Tenhunen V., Wagner M, Dalitz W., Maassen J., Martinez-Ortiz C., Ronchieri E., Yates S., Schubotz M., Candela L., Fenner M., Jeangirard E.
Publikováno v:
ISTI, Reseach reports, 2020
The TF on Scholarly Infrastructures of Research Software, as part of the Architecture WG of the European Open Science Cloud (EOSC) Executive Board, has established a set of recommendations to allow EOSC to include software, next to other research out
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f9da6cda110911d1cc6588f706632267
https://openportal.isti.cnr.it/doc?id=people______::f9da6cda110911d1cc6588f706632267
https://openportal.isti.cnr.it/doc?id=people______::f9da6cda110911d1cc6588f706632267
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:
Guariso, Graziella, Visonà Dalla Pozza, Laura, Manea, Silvia, Salmaso, Laura, Lodde, Veronica, Facchin, Paola, Alberti, D., Baldassarre, M., Baldi, M., Balli, F., Barbera, C., Brolese, A., Cacciaguerra, S., Campanozzi, A., Castellano, E., D'Antiga, L., Di Cosmo, R., Frediani, T., Gridelli, B., Iorio, R., Maggiore, G., Marcellini, M., Masseria, R., Nebbia, G., Nobili, V., Pacifico, L., Pastore, M., Resti, M., Sartorelli, M., Torre, G., Vajro, P., Vegnente, A., Viola, L., Zancan, L.
The SIGENP Group has created an Italian Liver Transplantation database. The study considers all patients under 18 yr of age on the waiting list or transplanted between 1984 and 2005. Demographic and clinical data were collected and a descriptive anal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8a5f4b3eba925b5953ceee08757cbb4
http://hdl.handle.net/11392/2387440
http://hdl.handle.net/11392/2387440
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:
Di Cosmo, R., Kesner, D.
Publikováno v:
RR-1911, INRIA. 1993
Projet FORMEL; We add extensional equalities for the functional and product types to the typed l-calculus with not only products and terminal object, but also sums and bounded recursion (a version of recursion that does not allow recursive calls of i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13cfc09040e10bd46c89c548a1561700
https://hal.inria.fr/inria-00074762
https://hal.inria.fr/inria-00074762