Sfoglia per Titolo
HYCOMP - an SMT-based model checker for hybrid systems
2015-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Hydrogen as a probe of the electronic properties of (InGa)(AsN)/GaAs heterostructures
2003-01-01 A. Bissiri M., Polimeni; Höger von Högersthal G., Baldassarri; M., Capizzi; Giubertoni, Damiano; Barozzi, Mario; Bersani, Massimo; D., Gollub; M., Fischer; A., Forchel
Hydrogen diffusion in GaAs1−xNx
2009-01-01 Rinaldo, Trotta; Giubertoni, Damiano; Antonio, Polimeni; Bersani, Massimo; Mario, Capizzi; F., Martelli; S., Rubini; G., Bisognin; Marina, Berti
Hydrogen effect on structure and mechanical properties of ZnO films deposited in Ar/H2 plasma
2010-01-01 Bartali, Ruben; Micheli, Victor; Gottardi, Gloria; Luciu, Ioana; Bensaada Laidani, Nadhira
Hydrogen effect on structure and mechanical properties of ZnO films deposited in Ar/H2 plasma
2010-01-01 Bartali, Ruben; Micheli, Victor; Gottardi, Gloria; Luciu, Ioana; Bensaada Laidani, Nadhira
Hydrogen emission in enclosed volume (tunnel for mobility)
2022-01-01 Farajimoghadam, Farhad; Testi, Matteo; Crema, Luigi
Hydrogen Implantation into (100) Silicon: A Study of the Released Damage
1989-01-01 L., Meda; G. F., Cerofolini; R., Dierckx; G., Mercurio; M., Servidori; F., Cembali; Anderle, Mariano; Canteri, Roberto; G., Ottaviani; C. L., Claeys; J., Vanhellement
Hydrogen Isotope Separation in Carbon Nanotubes: Calculation of Coupled Rotational and Translational States at High Densities
2010-01-01 Garberoglio, Giovanni; J. K., Johnson
Hydrogen permeation through a slab sample in the case of high hydrogen concentration
2006-01-01 Dapor, Maurizio; A., Miotello; A., Sabbioni
Hydrogen- related complexes as the Stressing Species in High-Fluence, Hydrogen-Implanted, Single Crystal Silicon
1992-01-01 G. F., Cerofolini; L., Meda; R., Balboni; F., Corni; S., Frabboni; G., Ottaviani; Rita, Tonini; Anderle, Mariano; Canteri, Roberto
Hydrogenated amorphous silicon detectors for particle detection, beam flux monitoring and dosimetry in high-dose radiation environment
2020-01-01 Menichelli, M.; Boscardin, M.; Crivellari, M.; Davis, J.; Dunand, S.; Fanò, L.; Morozzi, A.; Moscatelli, F.; Movileanu-Ionica, M.; Passeri, D.; Petasecca, M.; Piccini, M.; Rossi, A.; Scorzoni, A.; Servoli, L.; Verzellesi, G.; Wyrsch, N.
Hydrophilic polymer surface of optical element and e.g. personal protection equipment, comprises gold and has contact angle below preset value
2013-01-01 Bartali, Ruben; Bensaada Laidani, Nadhira; Mozzi, F; Gottardi, Gloria; Mazzurana, M.
HyperAudio – o del Museo Aumentato
1999-01-01 Petrelli, D.
HyperAudio: Location Awareness + Adaptivity
1999-01-01 D., Petrelli; Not, Elena; M., Sarini; Stock, Oliviero; Strapparava, Carlo; Zancanaro, Massimo
HyperBF networks for real object recognition
1991-01-01 Brunelli, Roberto; T., Poggio
Hypernavigation in the Physical Space: Adapting Presentations to the User and to the Situational Context
1998-01-01 Not, Elena; D., Petrelli; M., Sarini; Stock, Oliviero; Strapparava, Carlo; Zancanaro, Massimo
Hypernetworks based Radio Spectrum Profiling in Cognitive Radio Networks
2015-01-01 Khan, Shah Nawaz; Andreas, Mitschele-thiel
Hyperons in nuclear matter from SU(3) chiral effective field theory
2016-01-01 Petschauer, S.; Haidenbauer, J.; Kaiser, N.; Meißner, Ulf G.; Weise, Wolfram
Hyperon–nucleon interaction at next-to-leading order in chiral effective field theory
2013-01-01 J., Haidenbauer; S., Petschauer; N., Kaiser; U. G., Meiβner; A., Nogga; Weise, Wolfram
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
HYCOMP - an SMT-based model checker for hybrid systems | 1-gen-2015 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Hydrogen as a probe of the electronic properties of (InGa)(AsN)/GaAs heterostructures | 1-gen-2003 | A. Bissiri M., Polimeni; Höger von Högersthal G., Baldassarri; M., Capizzi; Giubertoni, Damiano; Barozzi, Mario; Bersani, Massimo; D., Gollub; M., Fischer; A., Forchel | |
Hydrogen diffusion in GaAs1−xNx | 1-gen-2009 | Rinaldo, Trotta; Giubertoni, Damiano; Antonio, Polimeni; Bersani, Massimo; Mario, Capizzi; F., Martelli; S., Rubini; G., Bisognin; Marina, Berti | |
Hydrogen effect on structure and mechanical properties of ZnO films deposited in Ar/H2 plasma | 1-gen-2010 | Bartali, Ruben; Micheli, Victor; Gottardi, Gloria; Luciu, Ioana; Bensaada Laidani, Nadhira | |
Hydrogen effect on structure and mechanical properties of ZnO films deposited in Ar/H2 plasma | 1-gen-2010 | Bartali, Ruben; Micheli, Victor; Gottardi, Gloria; Luciu, Ioana; Bensaada Laidani, Nadhira | |
Hydrogen emission in enclosed volume (tunnel for mobility) | 1-gen-2022 | Farajimoghadam, Farhad; Testi, Matteo; Crema, Luigi | |
Hydrogen Implantation into (100) Silicon: A Study of the Released Damage | 1-gen-1989 | L., Meda; G. F., Cerofolini; R., Dierckx; G., Mercurio; M., Servidori; F., Cembali; Anderle, Mariano; Canteri, Roberto; G., Ottaviani; C. L., Claeys; J., Vanhellement | |
Hydrogen Isotope Separation in Carbon Nanotubes: Calculation of Coupled Rotational and Translational States at High Densities | 1-gen-2010 | Garberoglio, Giovanni; J. K., Johnson | |
Hydrogen permeation through a slab sample in the case of high hydrogen concentration | 1-gen-2006 | Dapor, Maurizio; A., Miotello; A., Sabbioni | |
Hydrogen- related complexes as the Stressing Species in High-Fluence, Hydrogen-Implanted, Single Crystal Silicon | 1-gen-1992 | G. F., Cerofolini; L., Meda; R., Balboni; F., Corni; S., Frabboni; G., Ottaviani; Rita, Tonini; Anderle, Mariano; Canteri, Roberto | |
Hydrogenated amorphous silicon detectors for particle detection, beam flux monitoring and dosimetry in high-dose radiation environment | 1-gen-2020 | Menichelli, M.; Boscardin, M.; Crivellari, M.; Davis, J.; Dunand, S.; Fanò, L.; Morozzi, A.; Moscatelli, F.; Movileanu-Ionica, M.; Passeri, D.; Petasecca, M.; Piccini, M.; Rossi, A.; Scorzoni, A.; Servoli, L.; Verzellesi, G.; Wyrsch, N. | |
Hydrophilic polymer surface of optical element and e.g. personal protection equipment, comprises gold and has contact angle below preset value | 1-gen-2013 | Bartali, Ruben; Bensaada Laidani, Nadhira; Mozzi, F; Gottardi, Gloria; Mazzurana, M. | |
HyperAudio – o del Museo Aumentato | 1-gen-1999 | Petrelli, D. | |
HyperAudio: Location Awareness + Adaptivity | 1-gen-1999 | D., Petrelli; Not, Elena; M., Sarini; Stock, Oliviero; Strapparava, Carlo; Zancanaro, Massimo | |
HyperBF networks for real object recognition | 1-gen-1991 | Brunelli, Roberto; T., Poggio | |
Hypernavigation in the Physical Space: Adapting Presentations to the User and to the Situational Context | 1-gen-1998 | Not, Elena; D., Petrelli; M., Sarini; Stock, Oliviero; Strapparava, Carlo; Zancanaro, Massimo | |
Hypernetworks based Radio Spectrum Profiling in Cognitive Radio Networks | 1-gen-2015 | Khan, Shah Nawaz; Andreas, Mitschele-thiel | |
Hyperons in nuclear matter from SU(3) chiral effective field theory | 1-gen-2016 | Petschauer, S.; Haidenbauer, J.; Kaiser, N.; Meißner, Ulf G.; Weise, Wolfram | |
Hyperon–nucleon interaction at next-to-leading order in chiral effective field theory | 1-gen-2013 | J., Haidenbauer; S., Petschauer; N., Kaiser; U. G., Meiβner; A., Nogga; Weise, Wolfram |
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