Sfoglia per Serie
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-square
2017-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
New in Cocoa-5.2.4 and Cocoalib-0.99600 for SC-square
2018-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Palezzato, Elisa
A novel cyber-security framework leveraging programmable capabilities in digital services
2020-01-01 Repetto, M.; Carrega, A.; Duzha, A.
On the design space of mapreduce ROLLUP aggregates
2014-01-01 Phan, D. H.; Dell'Amico, M.; Michiardi, P.
On the feasibility of using OWL 2 reasoners in ontology alignment repair problems
2015-01-01 Solimando, Alessandro; Jimenez Ruiz, Ernesto; Guerrini, Giovanna
On the formalization of decentralized contact tracing protocols
2020-01-01 Abdulla, P. A.; Atig, M. F.; Delzanno, G.; Montali, M.; Sangnier, A.
On the parameterized verification of abstract models of contact tracing protocols
2021-01-01 Conchon, S.; Delzanno, G.; Sangnier, A.
On weak truthmaking
2019-01-01 Guarino, N.; Porello, D.; Guizzardi, G.
An ontological account of the action theory of economic exchanges
2020-01-01 Porello, D.; Guizzardi, G.; Sales, T. P.; Amaral, G.; Guarino, N.
Ontological foundations for trust management: Extending the reference ontology of trust
2021-01-01 Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.
An Ontology-Based Archive for Historical Research
2015-01-01 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
Orchestrating global systems science and information technologies for policy modelling: The SYMPHONY approach
2015-01-01 Bothos, Efthimios; Nikolakakou, Niki; Metnzas, Gregoris; Raberto, Marco; Teglio, Andrea; Cincotti, Silvano; Schütze, Franziska; Zimmermann, Hendrik; Grobelnik, Marko; Triantafillou, Anna
OT Cyber Security Frameworks Comparison Tool (CSFCTool)
2021-01-01 Murino, Giuseppina; Ribaudo, Marina; Pietro Romano, Simon; Tacchella, Armando
Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking
2018-01-01 Delzanno, G.
Pink panthers and toothless tigers: Three problems in classification
2019-01-01 Righetti, G.; Porello, D.; Kutz, O.; Troquard, N.; Masolo, C.
Preface
2016-01-01 Catania, B.; Engels, G.; Freivalds, R. M.; Spanek, R.
Preface to the proceedings of the demonstrations track of PRIMA 2017
2018-01-01 Mascardi, Viviana
PRELEARN @ EVALITA 2020: Overview of the prerequisite relation learning task for Italian
2020-01-01 Alzetta, C.; Miaschi, A.; Dell'Orletta, F.; Koceva, F.; Torre, I.
Prerequisite or Not Prerequisite? That’s the Problem! An NLP-based Approach for Concept Prerequisites Learning
2019-01-01 Alzetta, Chiara; Alessio, Miaschi; Adorni, Giovanni; Felice, Dell'Orletta; Koceva, Frosina; Passalacqua, Samuele; Torre, Ilaria
PRET: Prerequisite-enriched terminology. A case study on educational texts
2018-01-01 Alzetta, C.; Koceva, F.; Passalacqua, Samuele; Torre, I.; Adorni, G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-square | 1-gen-2017 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| New in Cocoa-5.2.4 and Cocoalib-0.99600 for SC-square | 1-gen-2018 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Palezzato, Elisa | |
| A novel cyber-security framework leveraging programmable capabilities in digital services | 1-gen-2020 | Repetto, M.; Carrega, A.; Duzha, A. | |
| On the design space of mapreduce ROLLUP aggregates | 1-gen-2014 | Phan, D. H.; Dell'Amico, M.; Michiardi, P. | |
| On the feasibility of using OWL 2 reasoners in ontology alignment repair problems | 1-gen-2015 | Solimando, Alessandro; Jimenez Ruiz, Ernesto; Guerrini, Giovanna | |
| On the formalization of decentralized contact tracing protocols | 1-gen-2020 | Abdulla, P. A.; Atig, M. F.; Delzanno, G.; Montali, M.; Sangnier, A. | |
| On the parameterized verification of abstract models of contact tracing protocols | 1-gen-2021 | Conchon, S.; Delzanno, G.; Sangnier, A. | |
| On weak truthmaking | 1-gen-2019 | Guarino, N.; Porello, D.; Guizzardi, G. | |
| An ontological account of the action theory of economic exchanges | 1-gen-2020 | Porello, D.; Guizzardi, G.; Sales, T. P.; Amaral, G.; Guarino, N. | |
| Ontological foundations for trust management: Extending the reference ontology of trust | 1-gen-2021 | Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D. | |
| An Ontology-Based Archive for Historical Research | 1-gen-2015 | Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca | |
| Orchestrating global systems science and information technologies for policy modelling: The SYMPHONY approach | 1-gen-2015 | Bothos, Efthimios; Nikolakakou, Niki; Metnzas, Gregoris; Raberto, Marco; Teglio, Andrea; Cincotti, Silvano; Schütze, Franziska; Zimmermann, Hendrik; Grobelnik, Marko; Triantafillou, Anna | |
| OT Cyber Security Frameworks Comparison Tool (CSFCTool) | 1-gen-2021 | Murino, Giuseppina; Ribaudo, Marina; Pietro Romano, Simon; Tacchella, Armando | |
| Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking | 1-gen-2018 | Delzanno, G. | |
| Pink panthers and toothless tigers: Three problems in classification | 1-gen-2019 | Righetti, G.; Porello, D.; Kutz, O.; Troquard, N.; Masolo, C. | |
| Preface | 1-gen-2016 | Catania, B.; Engels, G.; Freivalds, R. M.; Spanek, R. | |
| Preface to the proceedings of the demonstrations track of PRIMA 2017 | 1-gen-2018 | Mascardi, Viviana | |
| PRELEARN @ EVALITA 2020: Overview of the prerequisite relation learning task for Italian | 1-gen-2020 | Alzetta, C.; Miaschi, A.; Dell'Orletta, F.; Koceva, F.; Torre, I. | |
| Prerequisite or Not Prerequisite? That’s the Problem! An NLP-based Approach for Concept Prerequisites Learning | 1-gen-2019 | Alzetta, Chiara; Alessio, Miaschi; Adorni, Giovanni; Felice, Dell'Orletta; Koceva, Frosina; Passalacqua, Samuele; Torre, Ilaria | |
| PRET: Prerequisite-enriched terminology. A case study on educational texts | 1-gen-2018 | Alzetta, C.; Koceva, F.; Passalacqua, Samuele; Torre, I.; Adorni, G. |
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