Automatic Analysis of the NRL Pump
2004-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
Computed tomography quality indexes: evaluation experience
2009-01-01 Sabina, Strocchi; Cristina, Vite; Novario, Raffaele; Marco, Cacciatori; Giovanni, Frigerio; Leopoldo, Conte
Life of the cavecells. Sketches of the hard tissue populations.
2008-01-01 Pazzaglia, U. E.; Dell'Orbo, Carlo; Quacci, DANIELA ELENA; Congiu, Terenzio
Formal analysis of Publish-Subscribe systems by probabilistic timed automata
2007-01-01 Fei, He; Baresi, L.; Ghezzi, C; Spoletini, Paola
On the use of Alloy to analyze graph transformation systems
2006-01-01 Baresi, L.; Spoletini, Paola
Commitment monitoring in a multiagent system
2007-01-01 Spoletini, Paola; Verdicchio, M.
Model checking temporal metric specifications with Trio2Promela
2007-01-01 Bianculli, D.; Spoletini, Paola; Morzenti, A.; Pradella, M.; San Pietro, P.
Quantifying the discord: order discrepancies in message sequence charts
2007-01-01 Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola
A fuzzy extension for the XPath query language
2006-01-01 Campi, A.; Guinea, S.; Spoletini, Paola
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
2007-01-01 Matta, A.; Rossi, M.; Spoletini, Paola; Mandrioli, D.; Semeraro, Q.; Tolio, T.
A “must” for a double beta decay experiment: the reduction of the background
2006-01-01 C., Nones; L., Foggetta; Giuliani, ANDREA ERNESTO GUIDO; Pedretti, Marisa; Salvioni, Chiara; S., Sangiorgio
Fractal measures and polynomial sampling: IFS-Gaussian integration
2007-01-01 Mantica, GIORGIO DOMENICO PIO
Oxygen reactivity of the flavoenzyme cholesterol oxidase
2007-01-01 Piubelli, Luciano; Pedotti, M.; Molla, Gianluca; Pilone, M. S.; Pollegioni, Loredano; Feindler Boeckh, S.; Ghisla, S.
Notes on Generative Probabilistic Bisimulation
2007-01-01 Tini, Simone
Dedicated dental volumetric and total body multislice computed tomography: a comparison of image quality and radiation dose
2007-01-01 Strocchi, S.; Colli, V.; Novario, Raffaele; Carrafiello, G.; Giorgianni, A.; Macchi, Aldo; Fugazzola, Carlo; Conte, L.
Molecular cloning and real-time quantification of a glucocorticoid receptor in sea bass (Dicentrarchus labrax, L) exposed to stress.
2005-01-01 Terova, Genciana; Gornati, Rosalba; Bernardini, GIOVANNI BATTISTA; Rimoldi, Simona; Saroglia, Marco
A new method for quantitative analysis of gated SPECT polar scintigraphic maps
2006-01-01 F., Tanzi; Novario, Raffaele; C., Bianchi; U., Nocco; S., Garancini; Conte, L.
Dosimetric and image quality assessment of different acquisition protocols of a novel 64 slices CT scanner
2006-01-01 Vite, C.; Mangini, M.; Strocchi, S.; Novario, Raffaele; Tanzi, F.; Carrafiello, G.; Conte, L.; Fugazzola, Carlo
Confronto della variabilità genetica tra popolazioni delle specie endemica Primula glaucescens Moretti a fini conservazionistici.
2005-01-01 Ceriani, R. M.; Perini, D.; De Andreis, R.; Brusa, Guido; Cerabolini, BRUNO ENRICO LEONE
Strategie delle piante e tipi funzionali nello studi della dinamica di vegetazione in ambienti periglaciale.
2005-01-01 Luzzaro, A.; Cerabolini, BRUNO ENRICO LEONE; Caccianiga, M.; Pierce, S.; Andreis, C.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automatic Analysis of the NRL Pump | 1-gen-2004 | Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E. | |
| Computed tomography quality indexes: evaluation experience | 1-gen-2009 | Sabina, Strocchi; Cristina, Vite; Novario, Raffaele; Marco, Cacciatori; Giovanni, Frigerio; Leopoldo, Conte | |
| Life of the cavecells. Sketches of the hard tissue populations. | 1-gen-2008 | Pazzaglia, U. E.; Dell'Orbo, Carlo; Quacci, DANIELA ELENA; Congiu, Terenzio | |
| Formal analysis of Publish-Subscribe systems by probabilistic timed automata | 1-gen-2007 | Fei, He; Baresi, L.; Ghezzi, C; Spoletini, Paola | |
| On the use of Alloy to analyze graph transformation systems | 1-gen-2006 | Baresi, L.; Spoletini, Paola | |
| Commitment monitoring in a multiagent system | 1-gen-2007 | Spoletini, Paola; Verdicchio, M. | |
| Model checking temporal metric specifications with Trio2Promela | 1-gen-2007 | Bianculli, D.; Spoletini, Paola; Morzenti, A.; Pradella, M.; San Pietro, P. | |
| Quantifying the discord: order discrepancies in message sequence charts | 1-gen-2007 | Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola | |
| A fuzzy extension for the XPath query language | 1-gen-2006 | Campi, A.; Guinea, S.; Spoletini, Paola | |
| FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems | 1-gen-2007 | Matta, A.; Rossi, M.; Spoletini, Paola; Mandrioli, D.; Semeraro, Q.; Tolio, T. | |
| A “must” for a double beta decay experiment: the reduction of the background | 1-gen-2006 | C., Nones; L., Foggetta; Giuliani, ANDREA ERNESTO GUIDO; Pedretti, Marisa; Salvioni, Chiara; S., Sangiorgio | |
| Fractal measures and polynomial sampling: IFS-Gaussian integration | 1-gen-2007 | Mantica, GIORGIO DOMENICO PIO | |
| Oxygen reactivity of the flavoenzyme cholesterol oxidase | 1-gen-2007 | Piubelli, Luciano; Pedotti, M.; Molla, Gianluca; Pilone, M. S.; Pollegioni, Loredano; Feindler Boeckh, S.; Ghisla, S. | |
| Notes on Generative Probabilistic Bisimulation | 1-gen-2007 | Tini, Simone | |
| Dedicated dental volumetric and total body multislice computed tomography: a comparison of image quality and radiation dose | 1-gen-2007 | Strocchi, S.; Colli, V.; Novario, Raffaele; Carrafiello, G.; Giorgianni, A.; Macchi, Aldo; Fugazzola, Carlo; Conte, L. | |
| Molecular cloning and real-time quantification of a glucocorticoid receptor in sea bass (Dicentrarchus labrax, L) exposed to stress. | 1-gen-2005 | Terova, Genciana; Gornati, Rosalba; Bernardini, GIOVANNI BATTISTA; Rimoldi, Simona; Saroglia, Marco | |
| A new method for quantitative analysis of gated SPECT polar scintigraphic maps | 1-gen-2006 | F., Tanzi; Novario, Raffaele; C., Bianchi; U., Nocco; S., Garancini; Conte, L. | |
| Dosimetric and image quality assessment of different acquisition protocols of a novel 64 slices CT scanner | 1-gen-2006 | Vite, C.; Mangini, M.; Strocchi, S.; Novario, Raffaele; Tanzi, F.; Carrafiello, G.; Conte, L.; Fugazzola, Carlo | |
| Confronto della variabilità genetica tra popolazioni delle specie endemica Primula glaucescens Moretti a fini conservazionistici. | 1-gen-2005 | Ceriani, R. M.; Perini, D.; De Andreis, R.; Brusa, Guido; Cerabolini, BRUNO ENRICO LEONE | |
| Strategie delle piante e tipi funzionali nello studi della dinamica di vegetazione in ambienti periglaciale. | 1-gen-2005 | Luzzaro, A.; Cerabolini, BRUNO ENRICO LEONE; Caccianiga, M.; Pierce, S.; Andreis, C. |
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
- Atti di Convegno463
- Articoli su Riviste1
Data di pubblicazione
- 2020 - 202555
- 2010 - 2019201
- 2000 - 2009139
- 1990 - 199959
- 1980 - 19899
- 1978 - 19791
Editore
- Bulzoni1
- Elsevier BV:PO Box 211, 1000 AE A...1
- Italian Association of Chemical E...1
- Lippincott, Williams & Wilkin...1
- Marine Biological Laboratory:7 MB...1
- Trans Tech Publications Limited:B...1
Rivista
- BLOOD16
- HAEMATOLOGICA16
- RIVISTA ITALIANA DI CHIRURGIA PLA...16
- JOURNAL OF PHYSICS. CONFERENCE SE...14
- LECTURE NOTES IN COMPUTER SCIENCE13
- GIORNALE ITALIANO DI MEDICINA DEL...12
- POS PROCEEDINGS OF SCIENCE11
- ELECTRONIC NOTES IN THEORETICAL C...9
- MINERVA ANESTESIOLOGICA9
- EPJ WEB OF CONFERENCES8
Serie
- CEUR WORKSHOP PROCEEDINGS10
- PROCEEDINGS OF SPIE, THE INTERNAT...9
- LECTURE NOTES IN ARTIFICIAL INTEL...6
- PROCEEDINGS OF THE ... ANNUAL CON...4
- WIT TRANSACTIONS ON ECOLOGY AND T...4
- CONTEMPORARY MATHEMATICS3
- IEEE ENGINEERING IN MEDICINE AND ...3
- CHEMICAL ENGINEERING TRANSACTIONS2
- IFIP ADVANCES IN INFORMATION AND ...2
- LECTURE NOTES IN COMPUTER SCIENCE2
Keyword
- Physics and Astronomy (all)13
- Condensed Matter Physics5
- Nuclear and High Energy Physics5
- and Optics4
- Atomic and Molecular Physics4
- Double beta decay4
- Materials Science (all)4
- Instrumentation3
- Multidisciplinary3
- municipal solid waste3
Lingua
- eng198
- ita55
- fre3
- und1
Accesso al fulltext
- no fulltext405
- reserved31
- open28