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.
Development of Kids Detectors for Large Submillimetric Telescopes
2010-01-01 M., Calvo; Giordano, Claudia; P., de Bernardis; R., Battiston; A., Cruciani; Margesin, Benno; S., Masi; A., Monfardini
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays
2011-01-01 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
On the difficulty of computing the Truck Factor
2011-01-01 Filippo, Ricca; Marchetto, Alessandro; Marco, Torchiano
The Uppsala-FBK systems at WMT 2011
2011-01-01 Christian, Hardmeier; Jörg, Tiedemann; Markus, Saers; Federico, Marcello; Mathur, Prashant
Sivers distribution functions and the latest SIDIS data
2011-01-01 M., Anselmino; M., Boglione; U., D'Alesio; Melis, Stefano; F., Murgia; A., Prokudin
TiN/STO/TiN MIMcaps nanolayers on silicon characterized by SIMS and AFM
2011-01-01 Barozzi, Mario; Iacob, Erica; Jaap Van Den, Berg; Mike, Reading; Christoph, Adelmann; Hilde, Tielens; Bersani, Massimo; Mihaela, Popovici
Robust Biomedical Entity Recognition Using Optimal Feature Set
2010-01-01 Chowdhury, Faisal Mahbub; Lavelli, Alberto
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC
2010-01-01 A., Calvi; Ranise, Silvio; L., Vigano
A Combination of Rewriting and Constraint Solving for the Quantifier-free Interpolation of Arrays with Integer Difference Constraints
2011-01-01 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
Are Heroes common in FLOSS projects?
2010-01-01 Ricca, Filippo; Marchetto, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Development of Kids Detectors for Large Submillimetric Telescopes | 1-gen-2010 | M., Calvo; Giordano, Claudia; P., de Bernardis; R., Battiston; A., Cruciani; Margesin, Benno; S., Masi; A., Monfardini | |
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays | 1-gen-2011 | R., Bruttomesso; S., Ghilardi; Ranise, Silvio | |
On the difficulty of computing the Truck Factor | 1-gen-2011 | Filippo, Ricca; Marchetto, Alessandro; Marco, Torchiano | |
The Uppsala-FBK systems at WMT 2011 | 1-gen-2011 | Christian, Hardmeier; Jörg, Tiedemann; Markus, Saers; Federico, Marcello; Mathur, Prashant | |
Sivers distribution functions and the latest SIDIS data | 1-gen-2011 | M., Anselmino; M., Boglione; U., D'Alesio; Melis, Stefano; F., Murgia; A., Prokudin | |
TiN/STO/TiN MIMcaps nanolayers on silicon characterized by SIMS and AFM | 1-gen-2011 | Barozzi, Mario; Iacob, Erica; Jaap Van Den, Berg; Mike, Reading; Christoph, Adelmann; Hilde, Tielens; Bersani, Massimo; Mihaela, Popovici | |
Robust Biomedical Entity Recognition Using Optimal Feature Set | 1-gen-2010 | Chowdhury, Faisal Mahbub; Lavelli, Alberto | |
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC | 1-gen-2010 | A., Calvi; Ranise, Silvio; L., Vigano | |
A Combination of Rewriting and Constraint Solving for the Quantifier-free Interpolation of Arrays with Integer Difference Constraints | 1-gen-2011 | R., Bruttomesso; S., Ghilardi; Ranise, Silvio | |
Are Heroes common in FLOSS projects? | 1-gen-2010 | Ricca, Filippo; Marchetto, Alessandro |
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 ... 3788
- 4 Contributo in Atti di Convegno ... 3331
- 4 Contributo in Atti di Convegno ... 273
- 4 Contributo in Atti di Convegno ... 184
Data di pubblicazione
- 2019 273
- 2018 294
- 2017 371
- 2016 355
- 2015 376
- 2014 447
- 2013 439
- 2012 434
- 2011 416
- 2010 383
Editore
- IEEE 302
- Springer 158
- ACM 92
- Association for Computational Lin... 40
- CEUR-WS.org 33
- IEEE Computer Society 32
- ieee 25
- European Language Resources Assoc... 24
- SPIE 24
- Springer International Publishing 18
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO... 25
- LECTURE NOTES IN COMPUTER SCIENCE 25
- POS PROCEEDINGS OF SCIENCE 16
- PROCEEDINGS 15
- PROCEEDINGS OF SPIE, THE INTERNAT... 14
- CEUR WORKSHOP PROCEEDINGS 13
- JOURNAL OF PHYSICS. CONFERENCE SE... 10
- PROCEDIA ENGINEERING 8
- LECTURE NOTES IN ARTIFICIAL INTEL... 7
- EPJ WEB OF CONFERENCES 6
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 93
- LECTURE NOTES IN ARTIFICIAL INTEL... 23
- LECTURE NOTES IN COMPUTER SCIENCE 18
- CEUR WORKSHOP PROCEEDINGS 17
- IEEE ENGINEERING IN MEDICINE AND ... 11
- PROCEEDINGS OF SPIE, THE INTERNAT... 11
- LECTURE NOTES IN ELECTRICAL ENGIN... 6
- LECTURE NOTES OF THE INSTITUTE FO... 6
- PROCEEDINGS OF SPIE 6
- AIP CONFERENCE PROCEEDINGS 5
Keyword
- RF-MEMS 22
- SiPM 22
- Machine Translation 21
- MEMS 21
- Protocols 18
- Wireless communication 16
- Computer architecture 14
- Internet of Things 14
- Mobile communication 13
- CMOS 12
Lingua
- eng 2967
- ita 77
- spa 3
- enm 2
- fre 2
- rum 1
Accesso al fulltext
- no fulltext 3300
- open 205
- restricted 164
- reserved 116
- partially open 2
- mixed 1