CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Rezultaty
The Data Management Plan describes the data management life cyclefor all data sets that will be collected processed or generated by the action It is adocument describing what data will be collected processed or generated andfollowing what methodology and standards whether and how this data will beshared andor made open and how it will be curated and preserved
Communication, Dissemination & Outreach Plan (odnośnik otworzy się w nowym oknie)The plan describes the planned measures to maximize the impact ofthe project, including the dissemination and exploitation measures that are planned,and the target group(s) addressed. Regarding communication measures and publicengagement strategy, the aim is to inform and reach out to society and show theactivities performed, and the use and the benefits the project will have for citizens.
Publikacje
Autorzy:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Opublikowane w:
Lecture Notes in Computer Science, Logic, Language, Information, and Computation, 2024
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-62687-6_4
Autorzy:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Opublikowane w:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023
Wydawca:
IEEE
DOI:
10.1109/LICS56636.2023.10175684
Autorzy:
Anupam Das, Marianna Girlando
Opublikowane w:
Journal of Automated Reasoning, Numer 67, 2023, ISSN 0168-7433
Wydawca:
Springer Science and Business Media LLC
DOI:
10.1007/s10817-023-09675-1
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników