Sfoglia per Serie
Polynomial-time satisfiability tests for Boolean fragments of set theory
2019-01-01 Cantone, Domenico; DE DOMENICO, Andrea; Maugeri, Pietro; Omodeo, Eugenio G.
Polynomial-time satisfiability tests for ’small’ membership theories
2019-01-01 Cantone, Domenico; Maugeri, Pietro
A potential-based variant of the Bellman-Ford algorithm
2019-01-01 Cantone, Domenico; Maugeri, Pietro; Scafiti, Stefano
Profiling Cryptocurrency Influencers with Few-Shot Learning Using Data Augmentation and ELECTRA
file da validare2023-01-01 Siino, M.; Tesconi, M.; Tinnirello, I.
Pruned BNDM: Extending the Bit-Parallel Suffix Automaton to Long Strings
2021-01-01 Faro, S.; Scafiti, S.
A quadratic reduction of constraints over nested sets to purely boolean formulae in CNF
2020-01-01 Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G.
The Quantum Cyclic Rotation Gate
file da validare2023-01-01 Pavone, A.; Viola, C.
Reducing the psychological burden of isolated oncological patients by means of decision trees
file da validare2020-01-01 Russo, S.; Illari, S. I.; Avanzato, R.; Napoli, C.
A Robust and Automatic Approach for Matching Algorithms
file da validare2023-01-01 Midolo, A.; Tramontana, E.
Scene understanding and interaction anticipation from first person vision
file da validare2020-01-01 Rodin, I.; Furnari, A.; Mavroeidis, D.; Farinella, G. M.
A Set-Based Reasoner for the Description Logic DL4, xD
file da validare2018-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO
The shape of a Benedictine monastery: The SaintGall ontology
file da validare2017-01-01 Cantale, C; Cantone, D; Rinato, M. L.; Nicolosi-Asmundo, M; Santamaria, D. F.
Shape-preserving pattern matching
2020-01-01 Cantone, D.; Faro, S.; Oguzhan Kulekci, M.
Simulating pandemic emergency scenarios considering mobility patterns through an agent-based model
2022-01-01 Fazio, M.; Pluchino, A.; Inturri, G.; Le Pira, M.; Giuffrida, N.; Ignaccolo, M.
Social robots for older users: A possibility to support assessment and social interventions
file da validare2019-01-01 Conti, D.; Nuovo, A. D.; Nuovo, S. D.
Steam generator performance by means of Over Fire Air and Reburning techniques
file da validare2017-01-01 Monforte, P.
Suggesting just enough (un)crowded routes and destinations
file da validare2020-01-01 Cavallaro, C.; Verga, G.; Tramontana, E.; Muscato, O.
An SVM Ensamble Approach to Detect Irony and Stereotype Spreaders on Twitter
file da validare2022-01-01 Croce, D.; Garlisi, D.; Siino, M.
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption
file da validare2021-01-01 Longo, Carmelo F.; Santoro, Corrado; Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO
Symposium for Young Scientists in Technology, Engineering and Mathematics (SYSTEM 2017)
file da validare2017-01-01 Damaševičius, R; Napoli, Christian; Tramontana, EMILIANO ALESSIO; Wozniak, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Polynomial-time satisfiability tests for Boolean fragments of set theory | 1-gen-2019 | Cantone, Domenico; DE DOMENICO, Andrea; Maugeri, Pietro; Omodeo, Eugenio G. | |
| Polynomial-time satisfiability tests for ’small’ membership theories | 1-gen-2019 | Cantone, Domenico; Maugeri, Pietro | |
| A potential-based variant of the Bellman-Ford algorithm | 1-gen-2019 | Cantone, Domenico; Maugeri, Pietro; Scafiti, Stefano | |
| Profiling Cryptocurrency Influencers with Few-Shot Learning Using Data Augmentation and ELECTRA | 1-gen-2023 | Siino, M.; Tesconi, M.; Tinnirello, I. | file da validare |
| Pruned BNDM: Extending the Bit-Parallel Suffix Automaton to Long Strings | 1-gen-2021 | Faro, S.; Scafiti, S. | |
| A quadratic reduction of constraints over nested sets to purely boolean formulae in CNF | 1-gen-2020 | Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G. | |
| The Quantum Cyclic Rotation Gate | 1-gen-2023 | Pavone, A.; Viola, C. | file da validare |
| Reducing the psychological burden of isolated oncological patients by means of decision trees | 1-gen-2020 | Russo, S.; Illari, S. I.; Avanzato, R.; Napoli, C. | file da validare |
| A Robust and Automatic Approach for Matching Algorithms | 1-gen-2023 | Midolo, A.; Tramontana, E. | file da validare |
| Scene understanding and interaction anticipation from first person vision | 1-gen-2020 | Rodin, I.; Furnari, A.; Mavroeidis, D.; Farinella, G. M. | file da validare |
| A Set-Based Reasoner for the Description Logic DL4, xD | 1-gen-2018 | Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO | file da validare |
| The shape of a Benedictine monastery: The SaintGall ontology | 1-gen-2017 | Cantale, C; Cantone, D; Rinato, M. L.; Nicolosi-Asmundo, M; Santamaria, D. F. | file da validare |
| Shape-preserving pattern matching | 1-gen-2020 | Cantone, D.; Faro, S.; Oguzhan Kulekci, M. | |
| Simulating pandemic emergency scenarios considering mobility patterns through an agent-based model | 1-gen-2022 | Fazio, M.; Pluchino, A.; Inturri, G.; Le Pira, M.; Giuffrida, N.; Ignaccolo, M. | |
| Social robots for older users: A possibility to support assessment and social interventions | 1-gen-2019 | Conti, D.; Nuovo, A. D.; Nuovo, S. D. | file da validare |
| Steam generator performance by means of Over Fire Air and Reburning techniques | 1-gen-2017 | Monforte, P. | file da validare |
| Suggesting just enough (un)crowded routes and destinations | 1-gen-2020 | Cavallaro, C.; Verga, G.; Tramontana, E.; Muscato, O. | file da validare |
| An SVM Ensamble Approach to Detect Irony and Stereotype Spreaders on Twitter | 1-gen-2022 | Croce, D.; Garlisi, D.; Siino, M. | file da validare |
| SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption | 1-gen-2021 | Longo, Carmelo F.; Santoro, Corrado; Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO | file da validare |
| Symposium for Young Scientists in Technology, Engineering and Mathematics (SYSTEM 2017) | 1-gen-2017 | Damaševičius, R; Napoli, Christian; Tramontana, EMILIANO ALESSIO; Wozniak, M. | file da validare |
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