Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
A programmable System-on-Chip based digital pulse processing for high resolution X-ray spectroscopy
2016-01-01 Cicuttin, Andres; Crespo, Maria Liz; Mannatunga, Kasun Sameera; Garcia, Victor Villaverde; Baldazzi, Giuseppe; Rignanese, Luigi Pio; Ahangarianabhari, Mahdi; Bertuccio, Giuseppe; Fabiani, Sergio; Rachevski, Alexander; Rashevskaya, Irina; Vacchi, Andrea; Zampa, Gianluigi; Zampa, Nicola; Bellutti, Pierluigi; Picciotto, Antonino; Piemonte, Claudio; Zorzi, Nicola
RAMBLE ON: Tracing Movements of Popular Historical Figures
2017-01-01 Menini, Stefano; Sprugnoli, Rachele; Moretti, Giovanni; Enrico, Bignotti; Tonelli, Sara; Lepri, Bruno
T-Rex: A Milano Retinex Implementation based on Intensity Thresholding
2017-01-01 Lecca, Michela; Modena, Carla Maria; Rizzi, Alessandro
The Content Types Dataset: a New Resource to Explore Semantic and Functional Characteristics of Texts
2017-01-01 Sprugnoli, Rachele; Tommaso, Caselli; Tonelli, Sara; Moretti, Giovanni
Color Vision is a Spatial Process: The Retinex Theory
2017-01-01 Lecca, Michela
Accuracy of £D reconstruction in an illumination dome
2016-01-01 Macdonald, Lindsay; Toschi, Isabella; Nocerino, Erica; Hess, Mona; Remondino, Fabio; Robson, Stuart
3D modelling and rapid prototyping for cardiovascular surgical planning - Two case studies
2016-01-01 Nocerino, Erica; Remondino, Fabio; Uccheddu, F.; Gallo, M.; Gerosa, G.
Underwater Calibration of Dome Port Pressure Housings
2016-01-01 Nocerino, Erica; Menna, Fabio; Fassi, F.; Remondino, Fabio
Experiments on calibrating tilt-shift lenses for close-range photogrammetry
2016-01-01 Nocerino, Erica; Menna, Fabio; Remondino, Fabio; Beraldin, J. A.; Cournoyer, L.; Reain, G.
3D digitalization of an heritage masterpiece - A critical analysis on quality assessment
2016-01-01 Menna, Fabio; Nocerino, Erica; Remondino, Fabio; Dellepiane, M.; Callieri, M.; Scopigno, R.
Knowledge and valorization of historical sites through 3D documentation and modeling
2016-01-01 Farella, Elisa Mariarosaria; Menna, Fabio; Nocerino, Erica; Morabito, Daniele; Remondino, Fabio; Campi, M.
Biosensors based on Si3N4 Asymmetric Mach-Zehnder Interferometers
2016-01-01 Tatevik, Chalyan; Pasquardini, Laura; Floris H., Falke; Manuela, Zaneti; Romain, Guider; Davide, Gandolfi; Erik, Schreuder; Pederzolli, Cecilia; Rene G., Heideman; Lorenzo, Pavesi
Development of an all-purpose free photogrammetric tool
2016-01-01 González Aguilera, D.; López Fernández, L.; Rodriguez Gonzalvez, Pablo; Guerrero, D.; Hernandez Lopez, D.; Remondino, Fabio; Menna, Fabio; Nocerino, Erica; Toschi, Isabella; Ballabeni, A.; Gaiani, M.
Automatic generation of opaque constants based on the k-clique problem for resilient data obfuscation
2017-01-01 Tiella, Roberto; Ceccato, Mariano
Time resolved electro-optic measurements in strained silicon racetrack resonators
2016-01-01 Borghi, Massimo; Mancinelli, Mattia; Merget, Florian; Witzens, Jeremy; Bernard, Martino; Ghulinyan, Mher; Pucker, Georg; Pavesi, Lorenzo
Stereotypical Motor Movement Detection in Dynamic Feature Space
2016-01-01 Mohammadian Rad, Nastaran; Kia, Seyed Mostafa; Zarbo, Calogero; Jurman, Giuseppe; Venuti, Paola; Furlanello, Cesare
High Performance RF-MEMS cantilever switch
2006-01-01 Farinelli, P.; Ocera, A.; Margesin, Benno; Giacomozzi, Flavio; Sorrentino, R.
Dynamic Characterization of Series RF MEMS Switches
2006-01-01 Marchetti, Barbara; Cannella, Ferdinando; Caso, Tammaro; Margesin, Benno; Giacomozzi, Flavio
Experimental – numerical dynamic characterization of series RF MEMS
2006-01-01 Marchetti, Barbara; Cannella, Ferdinando; Caso, Tammaro; Margesin, Benno
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| A programmable System-on-Chip based digital pulse processing for high resolution X-ray spectroscopy | 1-gen-2016 | Cicuttin, Andres; Crespo, Maria Liz; Mannatunga, Kasun Sameera; Garcia, Victor Villaverde; Baldazzi, Giuseppe; Rignanese, Luigi Pio; Ahangarianabhari, Mahdi; Bertuccio, Giuseppe; Fabiani, Sergio; Rachevski, Alexander; Rashevskaya, Irina; Vacchi, Andrea; Zampa, Gianluigi; Zampa, Nicola; Bellutti, Pierluigi; Picciotto, Antonino; Piemonte, Claudio; Zorzi, Nicola | |
| RAMBLE ON: Tracing Movements of Popular Historical Figures | 1-gen-2017 | Menini, Stefano; Sprugnoli, Rachele; Moretti, Giovanni; Enrico, Bignotti; Tonelli, Sara; Lepri, Bruno | |
| T-Rex: A Milano Retinex Implementation based on Intensity Thresholding | 1-gen-2017 | Lecca, Michela; Modena, Carla Maria; Rizzi, Alessandro | |
| The Content Types Dataset: a New Resource to Explore Semantic and Functional Characteristics of Texts | 1-gen-2017 | Sprugnoli, Rachele; Tommaso, Caselli; Tonelli, Sara; Moretti, Giovanni | |
| Color Vision is a Spatial Process: The Retinex Theory | 1-gen-2017 | Lecca, Michela | |
| Accuracy of £D reconstruction in an illumination dome | 1-gen-2016 | Macdonald, Lindsay; Toschi, Isabella; Nocerino, Erica; Hess, Mona; Remondino, Fabio; Robson, Stuart | |
| 3D modelling and rapid prototyping for cardiovascular surgical planning - Two case studies | 1-gen-2016 | Nocerino, Erica; Remondino, Fabio; Uccheddu, F.; Gallo, M.; Gerosa, G. | |
| Underwater Calibration of Dome Port Pressure Housings | 1-gen-2016 | Nocerino, Erica; Menna, Fabio; Fassi, F.; Remondino, Fabio | |
| Experiments on calibrating tilt-shift lenses for close-range photogrammetry | 1-gen-2016 | Nocerino, Erica; Menna, Fabio; Remondino, Fabio; Beraldin, J. A.; Cournoyer, L.; Reain, G. | |
| 3D digitalization of an heritage masterpiece - A critical analysis on quality assessment | 1-gen-2016 | Menna, Fabio; Nocerino, Erica; Remondino, Fabio; Dellepiane, M.; Callieri, M.; Scopigno, R. | |
| Knowledge and valorization of historical sites through 3D documentation and modeling | 1-gen-2016 | Farella, Elisa Mariarosaria; Menna, Fabio; Nocerino, Erica; Morabito, Daniele; Remondino, Fabio; Campi, M. | |
| Biosensors based on Si3N4 Asymmetric Mach-Zehnder Interferometers | 1-gen-2016 | Tatevik, Chalyan; Pasquardini, Laura; Floris H., Falke; Manuela, Zaneti; Romain, Guider; Davide, Gandolfi; Erik, Schreuder; Pederzolli, Cecilia; Rene G., Heideman; Lorenzo, Pavesi | |
| Development of an all-purpose free photogrammetric tool | 1-gen-2016 | González Aguilera, D.; López Fernández, L.; Rodriguez Gonzalvez, Pablo; Guerrero, D.; Hernandez Lopez, D.; Remondino, Fabio; Menna, Fabio; Nocerino, Erica; Toschi, Isabella; Ballabeni, A.; Gaiani, M. | |
| Automatic generation of opaque constants based on the k-clique problem for resilient data obfuscation | 1-gen-2017 | Tiella, Roberto; Ceccato, Mariano | |
| Time resolved electro-optic measurements in strained silicon racetrack resonators | 1-gen-2016 | Borghi, Massimo; Mancinelli, Mattia; Merget, Florian; Witzens, Jeremy; Bernard, Martino; Ghulinyan, Mher; Pucker, Georg; Pavesi, Lorenzo | |
| Stereotypical Motor Movement Detection in Dynamic Feature Space | 1-gen-2016 | Mohammadian Rad, Nastaran; Kia, Seyed Mostafa; Zarbo, Calogero; Jurman, Giuseppe; Venuti, Paola; Furlanello, Cesare | |
| High Performance RF-MEMS cantilever switch | 1-gen-2006 | Farinelli, P.; Ocera, A.; Margesin, Benno; Giacomozzi, Flavio; Sorrentino, R. | |
| Dynamic Characterization of Series RF MEMS Switches | 1-gen-2006 | Marchetti, Barbara; Cannella, Ferdinando; Caso, Tammaro; Margesin, Benno; Giacomozzi, Flavio | |
| Experimental – numerical dynamic characterization of series RF MEMS | 1-gen-2006 | Marchetti, Barbara; Cannella, Ferdinando; Caso, Tammaro; Margesin, Benno |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...7925
Data di pubblicazione
- In corso di stampa5
- 2020 - 20261546
- 2010 - 20193439
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE620
- Springer357
- ACM148
- Association for Computational Lin...91
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...92
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE22
- JOURNAL OF PHYSICS. CONFERENCE SE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- THE INTERNATIONAL ARCHIVES OF THE...12
- EPJ WEB OF CONFERENCES10
- LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE230
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- PROCEEDINGS OF SPIE10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6418
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6831
- open476
- restricted450
- reserved165
- partially open2
- mixed1