Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Martinucci, Marco"'
Autor:
Leone, Gemma, Pepi, Simone, Consumi, Marco, Lamponi, Stefania, Fragai, Marco, Martinucci, Marco, Baldoneschi, Veronica, Francesconi, Oscar, Nativi, Cristina, Magnani, Agnese
Publikováno v:
In Carbohydrate Polymers 1 November 2021 271
Autor:
Francesconi, Oscar1 oscar.francesconi@unifi.it, Martinucci, Marco1, Badii, Lorenzo1, Nativi, Cristina1, Roelens, Stefano1
Publikováno v:
Chemistry - A European Journal. 5/7/2018, Vol. 24 Issue 26, p6828-6836. 9p.
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:
Autili, Marco, Chen, Taolue, Chilton, Chris, Han, Tingting, Holık, Lukas, Inverardi, Paola, Jonsson, Bengt, Kwiatkowska, Marta, Martinucci, Marco, Qu, Hongyang, Tivoli, Massimo
Publikováno v:
[Research Report] 2012
We supply details of a compositional specification theory we have been working on for modelling connectors and components. This supports the operations of parallel composition, for examining the structural behaviour of networked systems, logical conj
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cab1fb9b319bc56fb2cec747352d5247
https://inria.hal.science/hal-00695583/document
https://inria.hal.science/hal-00695583/document
Autor:
Autili, Marco, Bertolino, Antonia, Chilton, Chris, Di Marco, Antinisca, Di Giandomenico, Felicita, Inverardi, Paola, Jonsson, Bengt, Kwiatkowska, Marta, Martinucci, Marco, Qu, Hongyang, Sabetta, Antonino, Tivoli, Massimo
Publikováno v:
[Research Report] 2011
The CONNECT project aims to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with each other via on-the-fly synthesis of emergent connectors. The role of Work Package 2 (WP2) is to investigate the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3f503382c37750bc6a4cd9eaad82a8f2
https://hal.inria.fr/inria-00584915
https://hal.inria.fr/inria-00584915
Autor:
Bertolino, Antonia, Calabro, Antonello, Chiaradonna, Silvano, Costa, Gabriele, Di Giandomenico, Felicita, Di Marco, Antinisca, Fusani, Mario, Grandoni, Fabrizio, Issarny, Valerie, Kwiatkowska, Marta, Marcheti, Eda, Martinelli, Fabio, Martinucci, Marco, Masci, Paolo, Matteucci, Ilaria, Qu, Hongyang, Saadi, Rachid, Sabetta, Antonino, Vaccarelli, Anna
Publikováno v:
[Research Report] 2011
The aim of CONNECT is to achieve universal interoperability between heterogeneous Networked Systems. For this, the non-functional properties required at each side of the connection going to be established must be fulfilled. By the one inclusive term
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0b45a30c9350246fd66d9c531f32d5bc
https://hal.inria.fr/inria-00584920/document
https://hal.inria.fr/inria-00584920/document
Autor:
Carle, Flavia, Gesuita, Rosaria, Bruno, Graziella, Coppa, Giovanni V, Falorni, Alberto, Lorini, Renata, Martinucci, Marco E, Pozzilli, Paolo, Prisco, Francesco, Songini, Marco, Tenconi, Maria T, Cherubini, Valentino, RIDI Study Group (Piffer, S, Franchini, S, Bianchi, L, Cerutti, F, Merletti, F, Pagano, G, Cotellessa, M, Minicucci, L, Barbieri, P, Devoti, G, D’Annunzio, G, Bazzano, S, Toni, S, Reali, Ms, Medici, A, Iughetti, L, Predieri, B, Balli, F, Visalli, N, Sebastiani, L, Marietti, G, Santeusanio, F, De Giorgi, G, Santilli, E, Iannilli, A, Pinelli, A, Mascioli, G, Altobelli, E, Chiarelli, F, Tumini, S, Iafusco, D, De Felice, E, Ingenito, N, Casu, A, Frongia, P, Marinaro, A)
The Registry for Type 1 Diabetes Mellitus in Italy (RIDI) Study Group was established to coordinate the registries of type 1 diabetes in Italy. This report is based on 3,606 children younger than 15 years diagnosed with type 1 diabetes and prospectiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::4dea54f0084fc4f1137d51af8c2182b6
http://hdl.handle.net/2318/38984
http://hdl.handle.net/2318/38984
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation; 2010, p263-277, 15p
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:
D'Auria;, Francesco, Muellner, Nikolaus, Martinucci, Marco, Laudazi, Federico, D'Amato;, Renzo, Tambasco, Pasqualino
Publikováno v:
International Journal of Nuclear Knowledge Management; 2011, Vol. 5 Issue 4, p334-347, 14p