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.
20 Years of Planning via Model Checking: From Theory to Practice
2015-01-01 Traverso, Paolo
A Competitive Scheme for Edge Caching in 5G Networks
2016-01-01 De Pellegrini, Francesco; Massaro, Antonio; Goratti, Leonardo; Azouzi, E. R.
A ring-test to improve the correct use of diatoms to evaluate a water body strongly affected by urban waste water and pesticides. Case study Ribosc River (Trento, Italy)
2015-01-01 Torrisi, Mariacristina; Bella, Valentina Della; Monauni, Catia; Zorza, Raffaella; Wetzel, Carlos E.; Hlùbikovà, Dáša; Dell'Anna, Rossana; Ector, Luc
Acceptability Verification of a Mechatronic System for the rehabilitation of gait
2010-01-01 Rocchi, L.; Parel, I.; Tacconi, C.; Farella, E.
An ontologically well-founded framework for modelling Business Organizations, Processes and Services.
2012-01-01 Botti Benevides, Alessander
An organizational model differentiated by intensity of care may improve outcomes for severely ill medical patients
2015-01-01 Spagnolli, W; Cozzio, S; Peterlana, D; Dorigoni, S; Vettorato, E; Rigoni, Marta; Pace, N; Torri, E; Nollo, Giandomenico
Analisi dell’accuratezza diagnostica del NEWS ai fini prognostici di mortalità precoce in degenza medica: la curva ROC ed il best cut-off di 6
2016-01-01 Spagnolli, W; Cozzio, S; Dorigoni, S; Quarta, M; Peterlana, D; Pederzolli, L; Rigoni, Marta; Torri, E; Nollo, Giandomenico
Application of SMT solvers to hybrid system verification
2012-01-01 Cimatti, Alessandro
Aptamer coated microspheres for label-free detection of thrombin
2010-01-01 Pasquardini, Laura; Lunelli, Lorenzo; S., Soria; S., Berneschi; F., Cosi; G., Nunzi Conti; S., Pelli; Pederzolli, Cecilia; G. C., Righini
Aptamer-based protein biochip with a SPAD array time-resolved detection
2011-01-01 Pasquardini, Laura; Pancheri, Lucio; Morganti, Elisa; Lunelli, Lorenzo; Collini, Cristian; Lorenzelli, Leandro; Stoppa, David; Pederzolli, Cecilia
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
20 Years of Planning via Model Checking: From Theory to Practice | 1-gen-2015 | Traverso, Paolo | |
A Competitive Scheme for Edge Caching in 5G Networks | 1-gen-2016 | De Pellegrini, Francesco; Massaro, Antonio; Goratti, Leonardo; Azouzi, E. R. | |
A ring-test to improve the correct use of diatoms to evaluate a water body strongly affected by urban waste water and pesticides. Case study Ribosc River (Trento, Italy) | 1-gen-2015 | Torrisi, Mariacristina; Bella, Valentina Della; Monauni, Catia; Zorza, Raffaella; Wetzel, Carlos E.; Hlùbikovà, Dáša; Dell'Anna, Rossana; Ector, Luc | |
Acceptability Verification of a Mechatronic System for the rehabilitation of gait | 1-gen-2010 | Rocchi, L.; Parel, I.; Tacconi, C.; Farella, E. | |
An ontologically well-founded framework for modelling Business Organizations, Processes and Services. | 1-gen-2012 | Botti Benevides, Alessander | |
An organizational model differentiated by intensity of care may improve outcomes for severely ill medical patients | 1-gen-2015 | Spagnolli, W; Cozzio, S; Peterlana, D; Dorigoni, S; Vettorato, E; Rigoni, Marta; Pace, N; Torri, E; Nollo, Giandomenico | |
Analisi dell’accuratezza diagnostica del NEWS ai fini prognostici di mortalità precoce in degenza medica: la curva ROC ed il best cut-off di 6 | 1-gen-2016 | Spagnolli, W; Cozzio, S; Dorigoni, S; Quarta, M; Peterlana, D; Pederzolli, L; Rigoni, Marta; Torri, E; Nollo, Giandomenico | |
Application of SMT solvers to hybrid system verification | 1-gen-2012 | Cimatti, Alessandro | |
Aptamer coated microspheres for label-free detection of thrombin | 1-gen-2010 | Pasquardini, Laura; Lunelli, Lorenzo; S., Soria; S., Berneschi; F., Cosi; G., Nunzi Conti; S., Pelli; Pederzolli, Cecilia; G. C., Righini | |
Aptamer-based protein biochip with a SPAD array time-resolved detection | 1-gen-2011 | Pasquardini, Laura; Pancheri, Lucio; Morganti, Elisa; Lunelli, Lorenzo; Collini, Cristian; Lorenzelli, Leandro; Stoppa, David; Pederzolli, Cecilia |
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 ... 200
- 4 Contributo in Atti di Convegno ... 200
Data di pubblicazione
- 2016 35
- 2015 32
- 2014 55
- 2013 36
- 2012 12
- 2011 13
- 2010 17
Editore
- ACM 3
- CEUR-WS.org 2
- Springer 2
- A. Rossi, B. Elsener Grafiche Gh... 1
- Alexis V. Kudryashov, Alan H. Pax... 1
- Bucharest University 1
- CLiPS, University of Antwerp 1
- COMMUNICATION SERVICE UNITRENTO 1
- GI 1
- IEEE 1
Rivista
- DIABETES TECHNOLOGY & THERAPEUTICS 2
- EJNMMI PHYSICS 1
- EUROPEAN BIOPHYSICS JOURNAL WITH ... 1
- INVESTIGATIVE OPHTHALMOLOGY & VIS... 1
- PARKINSONISM & RELATED DISORDERS 1
- TOXICON 1
Serie
- CEUR WORKSHOP PROCEEDINGS 1
Keyword
- Arsenic 2
- Germanium 2
- Room Temperature 2
- silicon 2
- SIMS 2
- agent-based modeling 1
- arsenolite 1
- Cadmium Sulfide 1
- Chemoresistive Gas Sensors 1
- consumer engagement 1
Lingua
- eng 98
- ita 26
Accesso al fulltext
- no fulltext 199
- reserved 1