Metabolic algorithm with time-varying reaction maps
2005-01-01 Bianco, Luca; Fontana, Federico; Manca, Vincenzo
On the nature of TELLUS
1989-01-01 Manca, Vincenzo; Salibra, A.; Scollo, G.
Logical Splicing
1998-01-01 Manca, Vincenzo
‘Russkaja tema’ i russkaja literatura v tvorčestve Primo Levi
2015-01-01 Boschiero, Manuel
Il "Tempio di Serapide" a Pozzuoli: la storia delle interpretazioni e il suo uso pubblico nella didattica e nella divulgazione
2015-01-01 Ciancio, Luca
Results and research topics in equational type logic
1990-01-01 Manca, Vincenzo; Salibra, A.; Scollo, G.
On the estimation of assertion interestingness
2015-01-01 Ghasempouri, Tara; Pravadelli, Graziano
A time-window based approach for dynamic assertions mining on control signals
2015-01-01 Danese, Alessandro; Filini, Francesca; Pravadelli, Graziano
A parallelizable approach for mining likely invariants
2015-01-01 Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
`Induction in algebra: a first case study'
2012-01-01 Schuster, Peter Michael
Improving the Accuracy of Interferometric Measurements through Adaptive Vibration Cancellation
2015-01-01 Pettazzi, Lorenzo; Fedrigo, Enrico; Muradore, Riccardo; Haguenauer, Pierre; Pallanca, Laurent
Autonomous Execution of Surgical Tasks: the Next Step in Robotic Surgery
2015-01-01 Muradore, Riccardo; DE ROSSI, Giacomo; Bonfe', M.; Preda, N.; Secchi, C.; Ferraguti, F.; Fiorini, Paolo
Phase identification for product quality prediction in batch processes: application to industrial resin production
2015-01-01 Depalo, Andrea; Barolo, M.; Bezzo, Fabrizio; Muradore, Riccardo
New conjectures on perfect matchings in cubic graphs
2013-01-01 Mazzuoccolo, Giuseppe
Evolution and Oscillation in P systems: Applications to biological phenomena
2004-01-01 Manca, Vincenzo; Bianco, Luca; Fontana, Federico
HB-EGF/HER -1 signalling in bone marrow mesenchymal stem cells: inducing cell expansion and preventing reversibly multi-lineage differentiation
2005-01-01 Krampera, Mauro; Pasini, A.; Rigo, Antonella; Scupoli, Maria; Tecchio, Cristina; Malpeli, G.; Scarpa, Aldo; Dazzi, F.; Pizzolo, G.; Vinante, Fabrizio
Dynamic Choreographies Safe Runtime Updates of Distributed Applications.
2015-01-01 DALLA PREDA, Mila; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications.
2015-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
A Two-Layer Approach for Shared Control in Semi-Autonomous Robotic Surgery
2015-01-01 Ferraguti, Federica; Preda, Nicola; DE ROSSI, Giacomo; Bonfe, Marcello; Muradore, Riccardo; Fiorini, Paolo; Secchi, Cristian
Evaluation of basic object manipulation modes for low-cost immersive Virtual Reality
2015-01-01 Caputo, Fabio Marco; Giachetti, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Metabolic algorithm with time-varying reaction maps | 1-gen-2005 | Bianco, Luca; Fontana, Federico; Manca, Vincenzo | |
| On the nature of TELLUS | 1-gen-1989 | Manca, Vincenzo; Salibra, A.; Scollo, G. | |
| Logical Splicing | 1-gen-1998 | Manca, Vincenzo | |
| ‘Russkaja tema’ i russkaja literatura v tvorčestve Primo Levi | 1-gen-2015 | Boschiero, Manuel | |
| Il "Tempio di Serapide" a Pozzuoli: la storia delle interpretazioni e il suo uso pubblico nella didattica e nella divulgazione | 1-gen-2015 | Ciancio, Luca | |
| Results and research topics in equational type logic | 1-gen-1990 | Manca, Vincenzo; Salibra, A.; Scollo, G. | |
| On the estimation of assertion interestingness | 1-gen-2015 | Ghasempouri, Tara; Pravadelli, Graziano | |
| A time-window based approach for dynamic assertions mining on control signals | 1-gen-2015 | Danese, Alessandro; Filini, Francesca; Pravadelli, Graziano | |
| A parallelizable approach for mining likely invariants | 1-gen-2015 | Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano | |
| `Induction in algebra: a first case study' | 1-gen-2012 | Schuster, Peter Michael | |
| Improving the Accuracy of Interferometric Measurements through Adaptive Vibration Cancellation | 1-gen-2015 | Pettazzi, Lorenzo; Fedrigo, Enrico; Muradore, Riccardo; Haguenauer, Pierre; Pallanca, Laurent | |
| Autonomous Execution of Surgical Tasks: the Next Step in Robotic Surgery | 1-gen-2015 | Muradore, Riccardo; DE ROSSI, Giacomo; Bonfe', M.; Preda, N.; Secchi, C.; Ferraguti, F.; Fiorini, Paolo | |
| Phase identification for product quality prediction in batch processes: application to industrial resin production | 1-gen-2015 | Depalo, Andrea; Barolo, M.; Bezzo, Fabrizio; Muradore, Riccardo | |
| New conjectures on perfect matchings in cubic graphs | 1-gen-2013 | Mazzuoccolo, Giuseppe | |
| Evolution and Oscillation in P systems: Applications to biological phenomena | 1-gen-2004 | Manca, Vincenzo; Bianco, Luca; Fontana, Federico | |
| HB-EGF/HER -1 signalling in bone marrow mesenchymal stem cells: inducing cell expansion and preventing reversibly multi-lineage differentiation | 1-gen-2005 | Krampera, Mauro; Pasini, A.; Rigo, Antonella; Scupoli, Maria; Tecchio, Cristina; Malpeli, G.; Scarpa, Aldo; Dazzi, F.; Pizzolo, G.; Vinante, Fabrizio | |
| Dynamic Choreographies Safe Runtime Updates of Distributed Applications. | 1-gen-2015 | DALLA PREDA, Mila; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro | |
| Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. | 1-gen-2015 | DALLA PREDA, Mila; Mastroeni, Isabella | |
| A Two-Layer Approach for Shared Control in Semi-Autonomous Robotic Surgery | 1-gen-2015 | Ferraguti, Federica; Preda, Nicola; DE ROSSI, Giacomo; Bonfe, Marcello; Muradore, Riccardo; Fiorini, Paolo; Secchi, Cristian | |
| Evaluation of basic object manipulation modes for low-cost immersive Virtual Reality | 1-gen-2015 | Caputo, Fabio Marco; Giachetti, Andrea |
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
- 04 Contributo in atti di convegno14131
Data di pubblicazione
- In corso di stampa42
- 2020 - 20261620
- 2010 - 20194108
- 2000 - 20095808
- 1990 - 19991752
- 1980 - 1989654
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer266
- IEEE220
- Springer-Verlag68
- ACM56
- SPRINGER INTERNATIONAL PUBLISHING AG48
- Springer Verlag45
- IEEE Computer Society41
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- IEEE COMPUTER SOC28
Rivista
- HAEMATOLOGICA64
- JOURNAL OF HEPATOLOGY52
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL48
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE41
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA37
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE256
- LECTURE NOTES IN ARTIFICIAL INTEL...64
- CEUR WORKSHOP PROCEEDINGS61
- LEIBNIZ INTERNATIONAL PROCEEDINGS...29
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- LECTURE NOTES IN COMPUTER SCIENCE15
- PROCEEDINGS - INTERNATIONAL WORKS...13
- MECHANISMS AND MACHINE SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
- EDULEARN PROCEEDINGS10
Keyword
- pattern recognition63
- Verona63
- CdTe51
- abstract interpretation50
- Italia49
- asthma44
- children44
- diagnosi41
- treatment41
- trattamento40
Lingua
- eng8668
- ita4548
- fre163
- ger112
- spa87
- rus38
- und7
- por5
- cat3
- enm3
Accesso al fulltext
- no fulltext12317
- open907
- restricted609
- reserved294
- embargoed2
- mixed1
- partially open1