RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A General Glivenko–Gödel Theorem for Nuclei
2021-01-01 Fellin, Giulio; Schuster, Peter
A hFSM based cognitive control architecture for assistive task in R-MIS
2020-01-01 Sayols, Narcís; Sozzi, Alessio; Piccinelli, Nicola; Hernansanz, Albert; Casals, Alicia; Bonfè, Marcello; Muradore, Riccardo
A Java Framework for Smart Contracts
2020-01-01 Spoto, Nicola Fausto
A knowledge-intensive methodology for explainable sales prediction
2020-01-01 Cristani, M.; Pasetto, L.; Tomazzoli, C.
A Learned Query Optimizer for Spatial Join
2021-01-01 Vu, Tin; Belussi, Alberto; Migliorini, Sara; Eldawy, Ahmed
A Linear-Time Parameterized Algorithm for Computing the Width of a DAG
2021-01-01 Cáceres, Manuel; Cairo, Massimo; Mumey, Brendan; Rizzi, Romeo; Tomescu, Alexandru I.
A Logic for Locally Complete Abstract Interpretations
2021-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
A low-cost BLE-based distance estimation, occupancy detection and counting system
2021-01-01 Demrozi, F.; Chiarani, F.; Pravadelli, G.
A Modified Recursive Newton-Euler Algorithm Embedding a Collision Avoidance Module
2021-01-01 Trotti, Francesco; Ghignoni, Eros; Muradore, Riccardo
A Multi-Modal Learning System for On-Line Surgical Action Segmentation
2020-01-01 DE ROSSI, Giacomo; Roin, Serena; Setti, Francesco; Muradore, Riccardo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A General Glivenko–Gödel Theorem for Nuclei | 1-gen-2021 | Fellin, Giulio; Schuster, Peter | |
A hFSM based cognitive control architecture for assistive task in R-MIS | 1-gen-2020 | Sayols, Narcís; Sozzi, Alessio; Piccinelli, Nicola; Hernansanz, Albert; Casals, Alicia; Bonfè, Marcello; Muradore, Riccardo | |
A Java Framework for Smart Contracts | 1-gen-2020 | Spoto, Nicola Fausto | |
A knowledge-intensive methodology for explainable sales prediction | 1-gen-2020 | Cristani, M.; Pasetto, L.; Tomazzoli, C. | |
A Learned Query Optimizer for Spatial Join | 1-gen-2021 | Vu, Tin; Belussi, Alberto; Migliorini, Sara; Eldawy, Ahmed | |
A Linear-Time Parameterized Algorithm for Computing the Width of a DAG | 1-gen-2021 | Cáceres, Manuel; Cairo, Massimo; Mumey, Brendan; Rizzi, Romeo; Tomescu, Alexandru I. | |
A Logic for Locally Complete Abstract Interpretations | 1-gen-2021 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco | |
A low-cost BLE-based distance estimation, occupancy detection and counting system | 1-gen-2021 | Demrozi, F.; Chiarani, F.; Pravadelli, G. | |
A Modified Recursive Newton-Euler Algorithm Embedding a Collision Avoidance Module | 1-gen-2021 | Trotti, Francesco; Ghignoni, Eros; Muradore, Riccardo | |
A Multi-Modal Learning System for On-Line Surgical Action Segmentation | 1-gen-2020 | DE ROSSI, Giacomo; Roin, Serena; Setti, Francesco; Muradore, Riccardo |
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
Opzioni
Scopri
Tipologia
- 04 Contributo in atti di convegno 422
- 04 Contributo in atti di convegno... 422
Data di pubblicazione
- 2021 231
- 2020 191
Editore
- IEEE 25
- IEEE COMPUTER SOC 12
- Springer 5
- ASSOC COMPUTING MACHINERY 4
- CEUR 4
- Società Italiana Marketing 4
- Adi editore 3
- IATED 3
- IEEE Computer Society 3
- inScience Press 3
Rivista
- ELECTRONIC PROCEEDINGS IN THEORET... 3
- PROCEDIA COMPUTER SCIENCE 2
- EUROPEAN HEART JOURNAL 1
- JOURNAL OF THE PERIPHERAL NERVOUS... 1
- PROCEEDINGS - ACM-SIGMOD INTERNAT... 1
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL... 17
- LECTURE NOTES IN COMPUTER SCIENCE 17
- CEUR WORKSHOP PROCEEDINGS 10
- INTERNATIONAL CONFERENCE ON PATTE... 4
- PROCEEDINGS OF THE ... IEEE/RSJ I... 4
- ADVANCES IN INTELLIGENT SYSTEMS A... 3
- ICERI PROCEEDINGS 3
- LEIBNIZ INTERNATIONAL PROCEEDINGS... 3
- PROCEEDINGS INTERNATIONAL SYMPOSI... 3
- AIP CONFERENCE PROCEEDINGS 2
Keyword
- data management 6
- machine learning 6
- POMCP 6
- Covid-19 5
- Robotics 5
- Static analysis 5
- blockchain 4
- knowledge graph 4
- Knowledge representation 4
- POMDP 4
Lingua
- eng 356
- ita 57
- fre 5
- spa 4
- afh 1
- enm 1
Accesso al fulltext
- no fulltext 250
- restricted 77
- open 75
- reserved 20