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 'dynamic' land masking algorithm for synthetic aperture radar images
2015-01-01 Biamino, Walter; Borasi, Maria; Cavagnero, Marco; Croce, Alessandro; DI MATTEO, Lorenza; Fontebasso, Fabio; Tataranni, Francesco; Trivero, Paolo
A 3D PLANET BOUNDARY LAYER SCHEME FOR THE REPRESENTATION OF DISPERSION PROCESSES IN SUB-KILOMETER HORIZONTALLY NON-HOMOGENEOUS FLOWS
2017-01-01 Tomasi, Elena; Giovannini, Lorenzo; Jimenez, Pedro; Kosovic, Branko; Alessandrini, Stefano; Ferrero, Enrico; Falocchi, Marco; Zardi, Dino; Delle Monache, Luca
A Calculus of Located Entities
2014-01-01 A., Compagnoni; Giannini, Paola; C., Kim; M., Milideo; V., Sharma
A Calculus of Looping Sequences with Local Rules
2012-01-01 Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A.
A Case-based Approach to Business Process Monitoring
2010-01-01 Montani, Stefania; Leonardi, Giorgio
A Compact Index for Order-Preserving Pattern Matching
2017-01-01 Decaroli, Gianni; Gagie, Travis; Manzini, Giovanni
A conditional constructive logic for access control and its sequent calculus
2011-01-01 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
A constraint-based approach for the conciliation of clinical guidelines
2016-01-01 Piovesan, Luca; Terenziani, Paolo
A constructive conditional logic for access control: a completeness result and a sequent calculus
2010-01-01 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
A constructive conditional logic for access control: a preliminary report
2010-01-01 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A 'dynamic' land masking algorithm for synthetic aperture radar images | 1-gen-2015 | Biamino, Walter; Borasi, Maria; Cavagnero, Marco; Croce, Alessandro; DI MATTEO, Lorenza; Fontebasso, Fabio; Tataranni, Francesco; Trivero, Paolo | |
A 3D PLANET BOUNDARY LAYER SCHEME FOR THE REPRESENTATION OF DISPERSION PROCESSES IN SUB-KILOMETER HORIZONTALLY NON-HOMOGENEOUS FLOWS | 1-gen-2017 | Tomasi, Elena; Giovannini, Lorenzo; Jimenez, Pedro; Kosovic, Branko; Alessandrini, Stefano; Ferrero, Enrico; Falocchi, Marco; Zardi, Dino; Delle Monache, Luca | |
A Calculus of Located Entities | 1-gen-2014 | A., Compagnoni; Giannini, Paola; C., Kim; M., Milideo; V., Sharma | |
A Calculus of Looping Sequences with Local Rules | 1-gen-2012 | Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A. | |
A Case-based Approach to Business Process Monitoring | 1-gen-2010 | Montani, Stefania; Leonardi, Giorgio | |
A Compact Index for Order-Preserving Pattern Matching | 1-gen-2017 | Decaroli, Gianni; Gagie, Travis; Manzini, Giovanni | |
A conditional constructive logic for access control and its sequent calculus | 1-gen-2011 | Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L. | |
A constraint-based approach for the conciliation of clinical guidelines | 1-gen-2016 | Piovesan, Luca; Terenziani, Paolo | |
A constructive conditional logic for access control: a completeness result and a sequent calculus | 1-gen-2010 | Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L. | |
A constructive conditional logic for access control: a preliminary report | 1-gen-2010 | Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L. |
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
- 4 Contributo in Atti di Convegno ... 1187
- 4 Contributo in Atti di Convegno ... 1187
- 1 Contributo su Rivista 1
- 1 Contributo su Rivista::1.1 Arti... 1
Data di pubblicazione
- 2017 119
- 2016 108
- 2015 112
- 2014 104
- 2013 139
- 2012 173
- 2011 226
- 2010 207
Editore
- Springer 31
- IEEE 17
- ACM 10
- IEEE Computer Society 9
- Springer-Verlag 8
- Giappichelli 6
- Institute of Electrical and Elect... 6
- IrisNetwork 6
- Cell transplant society 5
- Editoriale Scientifica 5
Rivista
- CEUR WORKSHOP PROCEEDINGS 12
- LECTURE NOTES IN COMPUTER SCIENCE 9
- PROCEEDINGS OF THE PME CONFERENCE 8
- JOURNAL OF INSTRUMENTATION 7
- THE FEBS JOURNAL 7
- ELECTRONIC PROCEEDINGS IN THEORET... 6
- IL NUOVO CIMENTO C 6
- BOLLETTINO-LEGA ITALIANA CONTRO L... 5
- LECTURE NOTES IN ARTIFICIAL INTEL... 5
- BLOOD 4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 12
- CEUR WORKSHOP PROCEEDINGS 10
- PROCEEDINGS OF THE AMERICAN ACADE... 6
- LECTURE NOTES IN ARTIFICIAL INTEL... 4
- THEMATA 4
- ARCHÉOVISION 1
- BIBLIOTECA DI STUDI FRANCESI 1
- COLLECTION ÉCRITURE ET REPRÉSENTA... 1
- CULTURE ANTICHE. STUDI E TESTI 1
- DATA COMPRESSION CONFERENCE 1
Keyword
- melanoma 7
- Computer Science (all) 6
- Software 6
- Fault detection identification an... 5
- Probabilistic Graphical Models 5
- Reliability 5
- Michail Bachtin 4
- sentiment analysis 4
- Dynamic Bayesian Networks 3
- Fractional Differential Equations 3
Lingua
- eng 599
- ita 271
- fre 22
- ger 13
- spa 11
- rus 4
- por 2
- cze 1
- tur 1
- und 1
Accesso al fulltext
- no fulltext 886
- reserved 166
- open 67
- restricted 65
- partially open 4