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.
Abstraction refinement of Linear Programs with Arrays
2007-01-01 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
2005-01-01 Armando, Alessandro; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Drielsma, P. H.; Heam, P.; Kouchnarenko, O.; Mantovani, J.; Moedersheim, S.; VON OHEIMB, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Vigano', L.; Vigneron, L.
Using C-OWL for the Alignment and Merging of Medical Ontologies
2004-01-01 H., Stuckenschmidt; H. F., Van; Serafini, Luciano; P., Bouquet; F., Giunchiglia
Affective Text Variation and Animation for Dynamic Advertisement
2007-01-01 Strapparava, Carlo; Valitutti, Alessandro; Stock, Oliviero
Mixture Models for Cognitive Brain State Prediction
2007-01-01 Olivetti, Emanuele; Sona, Diego; Avesani, Paolo; Moretta, Renato; Zini, Floriano; Veeramachaneni, Sriharsha; Jens, Schwarzbach
Building SMT-based Software Model Checkers: an Experience Report
2009-01-01 Armando, Alessandro
Produzione di ioni ed elettroni da ablazione laser di Ta e Cu
2005-01-01 Margarone, D; Torrisi, L; Picciotto, Antonino; Caridi, F; Gammino, S.
Phase-change based tuning for automatic chord recognition
2009-01-01 Khadkevich, Maksim; Omologo, Maurizio
A self-adapting high dynamic-range visual representation algorithm for AER imagers
2008-01-01 M., Tiziani; Massari, Nicola; S. A., Jawed; Gottardi, Massimo
On the Use of Neural Networks to Solve the Reverse Modelling Problem for the Quantification of Dopant Profiles Extracted by Scanning Probe Microscopy Techniques
2004-01-01 M., Ciappa; M., Stangoni; W., Fichtner; A., Scorzoni; Ricci, Elisa
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstraction refinement of Linear Programs with Arrays | 1-gen-2007 | Armando, Alessandro; Benerecetti, M.; Mantovani, J. | |
| The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications | 1-gen-2005 | Armando, Alessandro; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Drielsma, P. H.; Heam, P.; Kouchnarenko, O.; Mantovani, J.; Moedersheim, S.; VON OHEIMB, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Vigano', L.; Vigneron, L. | |
| Using C-OWL for the Alignment and Merging of Medical Ontologies | 1-gen-2004 | H., Stuckenschmidt; H. F., Van; Serafini, Luciano; P., Bouquet; F., Giunchiglia | |
| Affective Text Variation and Animation for Dynamic Advertisement | 1-gen-2007 | Strapparava, Carlo; Valitutti, Alessandro; Stock, Oliviero | |
| Mixture Models for Cognitive Brain State Prediction | 1-gen-2007 | Olivetti, Emanuele; Sona, Diego; Avesani, Paolo; Moretta, Renato; Zini, Floriano; Veeramachaneni, Sriharsha; Jens, Schwarzbach | |
| Building SMT-based Software Model Checkers: an Experience Report | 1-gen-2009 | Armando, Alessandro | |
| Produzione di ioni ed elettroni da ablazione laser di Ta e Cu | 1-gen-2005 | Margarone, D; Torrisi, L; Picciotto, Antonino; Caridi, F; Gammino, S. | |
| Phase-change based tuning for automatic chord recognition | 1-gen-2009 | Khadkevich, Maksim; Omologo, Maurizio | |
| A self-adapting high dynamic-range visual representation algorithm for AER imagers | 1-gen-2008 | M., Tiziani; Massari, Nicola; S. A., Jawed; Gottardi, Massimo | |
| On the Use of Neural Networks to Solve the Reverse Modelling Problem for the Quantification of Dopant Profiles Extracted by Scanning Probe Microscopy Techniques | 1-gen-2004 | M., Ciappa; M., Stangoni; W., Fichtner; A., Scorzoni; Ricci, Elisa |
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 ... 2446
- 4 Contributo in Atti di Convegno ... 2309
- 4 Contributo in Atti di Convegno ... 88
- 4 Contributo in Atti di Convegno ... 49
Data di pubblicazione
- 2009 399
- 2008 339
- 2007 265
- 2006 260
- 2005 249
- 2004 261
- 2003 200
- 2002 205
- 2001 136
- 2000 132
Editore
- IEEE 215
- Springer 150
- ACM 49
- ACL 36
- IEEE Computer Society 28
- CEUR-WS.org 20
- Springer Verlag 20
- ISCA 18
- AAAI Press 15
- IOS Press 15
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 16
- TECHNOLOGY AND HEALTH CARE 7
- IEEE ENGINEERING IN MEDICINE AND ... 4
- JOURNAL OF PHYSICS. CONFERENCE SE... 3
- PHYSICA. B, CONDENSED MATTER 3
- PROCEEDINGS OF SPIE, THE INTERNAT... 3
- EUROPEAN BIOPHYSICS JOURNAL WITH ... 2
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- MATERIALS RESEARCH SOCIETY SYMPOS... 2
- SENSORS AND ACTUATORS. A, PHYSICAL 2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 8
- LECTURE NOTES OF THE INSTITUTE FO... 2
- CEUR WORKSHOP PROCEEDINGS 1
- I LIBRI DI VIELLA 1
Keyword
- NLP 35
- Content Processing 33
- automatic speech recognition 29
- silicon radiation detectors 26
- infrastructure 20
- BIOSUPERFICI 19
- model checking 18
- agent-oriented software engineering 16
- semantic Web 15
- planning 13
Lingua
- eng 1977
- ita 77
- ger 12
- fre 3
- spa 3
- enm 2
Accesso al fulltext
- no fulltext 2422
- reserved 17
- restricted 4
- open 3