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 forward unprovability calculus for intuitionistic propositional logic
2017-01-01 Fiorentini, Camillo; Ferrari, Mauro
A Framework for Trust-Based Multidisciplinary Team Recommendation
2013-01-01 Trombetta, Alberto; Bossi, Lorenzo; Braghin, Stefano
A framework for User-Assisted Sketch-Based Fitting of Geometric Primitives
2010-01-01 D., Portelli; F., Ganovelli; Tarini, Marco; P., Cignoni; M., Dellepiane; R., Scopigno
A function elimination method for checking satisfiability of arithmetical logics
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A general syntax for nonrecursive higher inductive types
2020-01-01 Girardi, M.; Zunino, R.; Benini, M.
A Language and an Inference Engine for Twitter Filtering Rules
2016-01-01 Bartoli, Alberto; Carminati, Barbara; Ferrari, Elena; Medvet, Eric
A linear time active learning algorithm for link classification
2012-01-01 Cesa Bianchi, N; Gentile, Claudio; Vitale, F; Zappella, G.
A local and iterative neural reconstruction algorithm for cone-beam data
2010-01-01 Gallo, Ignazio
A localization game in wireless sensor networks
2010-01-01 Gatti, N.; Monga, M.; Sicari, SABRINA SOPHY
A meta-model supporting the decomposition of problem descriptions
2010-01-01 Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto; Colombo, Pietro; Vieri del, Bianco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A forward unprovability calculus for intuitionistic propositional logic | 1-gen-2017 | Fiorentini, Camillo; Ferrari, Mauro | |
A Framework for Trust-Based Multidisciplinary Team Recommendation | 1-gen-2013 | Trombetta, Alberto; Bossi, Lorenzo; Braghin, Stefano | |
A framework for User-Assisted Sketch-Based Fitting of Geometric Primitives | 1-gen-2010 | D., Portelli; F., Ganovelli; Tarini, Marco; P., Cignoni; M., Dellepiane; R., Scopigno | |
A function elimination method for checking satisfiability of arithmetical logics | 1-gen-2014 | Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone | |
A general syntax for nonrecursive higher inductive types | 1-gen-2020 | Girardi, M.; Zunino, R.; Benini, M. | |
A Language and an Inference Engine for Twitter Filtering Rules | 1-gen-2016 | Bartoli, Alberto; Carminati, Barbara; Ferrari, Elena; Medvet, Eric | |
A linear time active learning algorithm for link classification | 1-gen-2012 | Cesa Bianchi, N; Gentile, Claudio; Vitale, F; Zappella, G. | |
A local and iterative neural reconstruction algorithm for cone-beam data | 1-gen-2010 | Gallo, Ignazio | |
A localization game in wireless sensor networks | 1-gen-2010 | Gatti, N.; Monga, M.; Sicari, SABRINA SOPHY | |
A meta-model supporting the decomposition of problem descriptions | 1-gen-2010 | Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto; Colombo, Pietro; Vieri del, Bianco |
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
- Atti di Convegno 1578
- Atti di Convegno::Relazione (in V... 1578
Data di pubblicazione
- 2020 80
- 2019 103
- 2018 109
- 2017 134
- 2016 144
- 2015 143
- 2014 157
- 2013 160
- 2012 210
- 2011 181
Editore
- Institute of Electrical and Elect... 69
- IEEE 40
- Springer 34
- IEEE Computer Society 30
- Springer Verlag 30
- ACM 22
- CISA Publisher 21
- WITPress 17
- CEUR-WS 16
- SPIE 14
Rivista
- ACM INTERNATIONAL CONFERENCE PROC... 1
- INTERNATIONAL JOURNAL OF ENERGY P... 1
- RIVISTA ARCHEOLOGICA DELL'ANTICA ... 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 32
- CEUR WORKSHOP PROCEEDINGS 16
- LECTURE NOTES IN ARTIFICIAL INTEL... 10
- WIT TRANSACTIONS ON ECOLOGY AND T... 10
- WIT TRANSACTIONS ON ECOLOGY AND T... 10
- Optics InfoBase Conference Papers 9
- PROCEEDINGS OF SPIE, THE INTERNAT... 9
- AIP CONFERENCE PROCEEDINGS 7
- LECTURE NOTES IN COMPUTER SCIENCE 7
- COMMUNICATIONS IN COMPUTER AND IN... 5
Keyword
- MSW 33
- Physics and Astronomy (all) 21
- Computer Networks and Communications 20
- Electrical and Electronic Enginee... 19
- Computer Science (all) 18
- Nuclear and High Energy Physics 17
- Software 17
- SRF 17
- bio-drying 15
- Computer Science Applications1707... 15
Lingua
- eng 747
- ita 165
- fre 13
- rus 3
- spa 3
- ger 2
- gre 2
- enm 1
- mul 1
- rum 1
Accesso al fulltext
- no fulltext 1373
- reserved 126
- open 76
- restricted 3