Sfoglia per Serie
Paradoxes of the Infinite and Ontological Dilemmas Between Ancient Philosophy and Modern Mathematical Solutions
2020-01-01 Caldarola, F.; Cortese, D.; D'Atri, G.; Maiolo, M.
Parallel Algorithms for Multifractal Analysis of River Networks
2020-01-01 Primavera, L.; Florio, E.
PARIS: A peer-to-peer architecture for large-scale semantic data integration
2007-01-01 Comito, C.; Patarin, S.; Talia, D.
Performance Management of Demand and Pressure Drive Analysis in a Monitored Water Distribution Network
2020-01-01 Bonora, M. A.; Carini, M.; Capano, G.; Cotrona, R.; Pantusa, D.; Sousa, J.; Maiolo, M.
Pinpointing Axioms in Ontologies via ASP
2022-01-01 Penaloza, R.; Ricca, F.
Preface
2022-01-01 Gottlob, G.; Inclezan, D.; Maratea, M.
Preface
2016-01-01 Adorni, G.; Cagnoni, S.; Gori, M.; Maratea, M.
Preface (LNCS volume 11973)
2020-01-01 Sergeev, Y; Kvasov, D
Preface (LNCS volume 11974)
2020-01-01 Sergeev, Y; Kvasov, D
Reasoning About Smart Contracts Encoded in LTL
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures
2020-01-01 Manna, Marco; Pieris, Andreas
Rethinking Answer Set Programming Templates
2024-01-01 Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica
A Semi-automatic Data Generator for Query Answering
2022-01-01 Angiulli, Fabrizio; Del Prete, Alessandra; Fassetti, Fabio; Nistico', Simona
SigIL: A Signature-Based Approach of Malware Detection on Intermediate Language
2024-01-01 Fortino, Giancarlo; Greco, Claudia; Guzzo, Antonella; Ianni, Michele
Skipping the Storage Phase in Container Transshipment Operations
2018-01-01 Monaco, M. F.; Sammarra, M.
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
2022-01-01 Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
Solving Problems in the Polynomial Hierarchy with ASP(Q)
2022-01-01 Amendola, Giovanni; Cuteri, Bernardo; Ricca, Francesco; Truszczynski, Mirek
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities
2022-01-01 Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica
A super-peer model for multiple job submission on a grid
2007-01-01 Cozza, P.; Mastroianni, C.; Talia, D.; Taylor, I.
Time-Scale Transformations: Effects on VaR models
2004-01-01 Lamantia, FABIO GIOVANNI; Ortobelli, S; Rachev, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Paradoxes of the Infinite and Ontological Dilemmas Between Ancient Philosophy and Modern Mathematical Solutions | 1-gen-2020 | Caldarola, F.; Cortese, D.; D'Atri, G.; Maiolo, M. | |
| Parallel Algorithms for Multifractal Analysis of River Networks | 1-gen-2020 | Primavera, L.; Florio, E. | |
| PARIS: A peer-to-peer architecture for large-scale semantic data integration | 1-gen-2007 | Comito, C.; Patarin, S.; Talia, D. | |
| Performance Management of Demand and Pressure Drive Analysis in a Monitored Water Distribution Network | 1-gen-2020 | Bonora, M. A.; Carini, M.; Capano, G.; Cotrona, R.; Pantusa, D.; Sousa, J.; Maiolo, M. | |
| Pinpointing Axioms in Ontologies via ASP | 1-gen-2022 | Penaloza, R.; Ricca, F. | |
| Preface | 1-gen-2022 | Gottlob, G.; Inclezan, D.; Maratea, M. | |
| Preface | 1-gen-2016 | Adorni, G.; Cagnoni, S.; Gori, M.; Maratea, M. | |
| Preface (LNCS volume 11973) | 1-gen-2020 | Sergeev, Y; Kvasov, D | |
| Preface (LNCS volume 11974) | 1-gen-2020 | Sergeev, Y; Kvasov, D | |
| Reasoning About Smart Contracts Encoded in LTL | 1-gen-2022 | Fionda, V.; Greco, G.; Mastratisi, M. A. | |
| Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures | 1-gen-2020 | Manna, Marco; Pieris, Andreas | |
| Rethinking Answer Set Programming Templates | 1-gen-2024 | Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica | |
| A Semi-automatic Data Generator for Query Answering | 1-gen-2022 | Angiulli, Fabrizio; Del Prete, Alessandra; Fassetti, Fabio; Nistico', Simona | |
| SigIL: A Signature-Based Approach of Malware Detection on Intermediate Language | 1-gen-2024 | Fortino, Giancarlo; Greco, Claudia; Guzzo, Antonella; Ianni, Michele | |
| Skipping the Storage Phase in Container Transshipment Operations | 1-gen-2018 | Monaco, M. F.; Sammarra, M. | |
| Smart Devices and Large Scale Reasoning via ASP: Tools and Applications | 1-gen-2022 | Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco | |
| Solving Problems in the Polynomial Hierarchy with ASP(Q) | 1-gen-2022 | Amendola, Giovanni; Cuteri, Bernardo; Ricca, Francesco; Truszczynski, Mirek | |
| The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities | 1-gen-2022 | Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica | |
| A super-peer model for multiple job submission on a grid | 1-gen-2007 | Cozza, P.; Mastroianni, C.; Talia, D.; Taylor, I. | |
| Time-Scale Transformations: Effects on VaR models | 1-gen-2004 | Lamantia, FABIO GIOVANNI; Ortobelli, S; Rachev, S. |
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