Sfoglia per Titolo
NuSMV: a New Symbolic Model Verifier
1999-01-01 Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco
Nutrire l'Anima. Religioni in cucina
2015-01-01 Giorda, M.; Hejazi, S.
NUV and VUV sensitive Silicon Photomultipliers technologies optimized for operation at cryogenic temperatures
2023-01-01 Acerbi, Fabio; Paternoster, Giovanni; Merzi, Stefano; Zorzi, Nicola; Gola, Alberto
NUV Silicon Photomultipliers With High Detection Efficiency and Reduced Delayed Correlated-Noise
2015-01-01 Acerbi, Fabio; Ferri, Alessandro; G., Zappalà; Paternoster, Giovanni; Picciotto, Antonino; Gola, Alberto Giacomo; Zorzi, Nicola; Piemonte, Claudio
NUV-HD SiPMs with metal-filled trenches
2023-01-01 Merzi, Stefano; Brunner, Stefan E.; Gola, Alberto; Inglese, Alessandro; Mazzi, Alberto; Paternoster, Giovanni; Penna, Michele; Piemonte, Claudio; Ruzzarin, Maria
NUV-HD SiPMs with Metal-filled Trenches
2022-01-01 Merzi, S.; Gola, A.; Mazzi, A.; Paternoster, G.; Ruzzarin, M.; Piemonte, C.; Inglese, A.; Brunner, S.
NUV-Sensitive Silicon Photomultiplier Technologies Developed at Fondazione Bruno Kessler
2019-01-01 Gola, Alberto; Acerbi, Fabio; Capasso, Massimo; Marcante, Marco; Mazzi, Alberto; Paternoster, Giovanni; Piemonte, Claudio; Regazzoni, Veronica; Zorzi, Nicola
N–p–n bipolar-junction-transistor detector with integrated p–n–p biasing transistor — feasibility study, design and first experimental results
2006-01-01 G., Verzellesi; D., Bergamini; G. F., Dalla Betta; Piemonte, Claudio; Boscardin, Maurizio; L., Bosisio; S., Bettarini; G., Batignani
OASIs: oracle assessment and improvement tool
2018-01-01 Jahangirova, Gunel; Clark, David; Harman, Mark; Tonella, Paolo
Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries
2018-01-01 Pizzolotto, Davide; Ceccato, Mariano
OBGMX: A Web-Based Generator of GROMACS Topologies for Molecular and Periodic Systems Using the Universal Force Field
2012-01-01 Garberoglio, Giovanni
Object Localization by Topological Coverages
2008-01-01 Lecca, Michela
Object Models with Temporal Constraints
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Object Oriented Design Pattern Inference from Code
1999-01-01 Tonella, Paolo; G., Antoniol
Object Oriented programming and fast computation techniques in Maud, a program for powder diffraction analysis written in Java
2003-01-01 L., Lutterotti; Bortolotti, Mauro
Object Recognition in Color Images by the Self Configuring System MEMORI
2006-01-01 Lecca, Michela
Object Retrieval in Digital Images Using Subgraph Isomorphism
2003-01-01 Lecca, Michela
Object-based classification and building extraction by integrating airborne LiDAR data and aerial image2012 IEEE International Geoscience and Remote Sensing Symposium
2012-01-01 Yongmin, Kim; Han, Youkyung; Junho, Yeom; Dongyeob, Han; Yongil, Kim
Object-centric Attention for Egocentric Activity Recognition
2018-01-01 Sudhakaran, Swathikiran; Lanz, Oswald
Object-Oriented Design Patterns Recovery
1998-01-01 G., Antoniol; R., Fiutem; Cristoforetti, Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
NuSMV: a New Symbolic Model Verifier | 1-gen-1999 | Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco | |
Nutrire l'Anima. Religioni in cucina | 1-gen-2015 | Giorda, M.; Hejazi, S. | |
NUV and VUV sensitive Silicon Photomultipliers technologies optimized for operation at cryogenic temperatures | 1-gen-2023 | Acerbi, Fabio; Paternoster, Giovanni; Merzi, Stefano; Zorzi, Nicola; Gola, Alberto | |
NUV Silicon Photomultipliers With High Detection Efficiency and Reduced Delayed Correlated-Noise | 1-gen-2015 | Acerbi, Fabio; Ferri, Alessandro; G., Zappalà; Paternoster, Giovanni; Picciotto, Antonino; Gola, Alberto Giacomo; Zorzi, Nicola; Piemonte, Claudio | |
NUV-HD SiPMs with metal-filled trenches | 1-gen-2023 | Merzi, Stefano; Brunner, Stefan E.; Gola, Alberto; Inglese, Alessandro; Mazzi, Alberto; Paternoster, Giovanni; Penna, Michele; Piemonte, Claudio; Ruzzarin, Maria | |
NUV-HD SiPMs with Metal-filled Trenches | 1-gen-2022 | Merzi, S.; Gola, A.; Mazzi, A.; Paternoster, G.; Ruzzarin, M.; Piemonte, C.; Inglese, A.; Brunner, S. | |
NUV-Sensitive Silicon Photomultiplier Technologies Developed at Fondazione Bruno Kessler | 1-gen-2019 | Gola, Alberto; Acerbi, Fabio; Capasso, Massimo; Marcante, Marco; Mazzi, Alberto; Paternoster, Giovanni; Piemonte, Claudio; Regazzoni, Veronica; Zorzi, Nicola | |
N–p–n bipolar-junction-transistor detector with integrated p–n–p biasing transistor — feasibility study, design and first experimental results | 1-gen-2006 | G., Verzellesi; D., Bergamini; G. F., Dalla Betta; Piemonte, Claudio; Boscardin, Maurizio; L., Bosisio; S., Bettarini; G., Batignani | |
OASIs: oracle assessment and improvement tool | 1-gen-2018 | Jahangirova, Gunel; Clark, David; Harman, Mark; Tonella, Paolo | |
Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries | 1-gen-2018 | Pizzolotto, Davide; Ceccato, Mariano | |
OBGMX: A Web-Based Generator of GROMACS Topologies for Molecular and Periodic Systems Using the Universal Force Field | 1-gen-2012 | Garberoglio, Giovanni | |
Object Localization by Topological Coverages | 1-gen-2008 | Lecca, Michela | |
Object Models with Temporal Constraints | 1-gen-2008 | Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano | |
Object Oriented Design Pattern Inference from Code | 1-gen-1999 | Tonella, Paolo; G., Antoniol | |
Object Oriented programming and fast computation techniques in Maud, a program for powder diffraction analysis written in Java | 1-gen-2003 | L., Lutterotti; Bortolotti, Mauro | |
Object Recognition in Color Images by the Self Configuring System MEMORI | 1-gen-2006 | Lecca, Michela | |
Object Retrieval in Digital Images Using Subgraph Isomorphism | 1-gen-2003 | Lecca, Michela | |
Object-based classification and building extraction by integrating airborne LiDAR data and aerial image2012 IEEE International Geoscience and Remote Sensing Symposium | 1-gen-2012 | Yongmin, Kim; Han, Youkyung; Junho, Yeom; Dongyeob, Han; Yongil, Kim | |
Object-centric Attention for Egocentric Activity Recognition | 1-gen-2018 | Sudhakaran, Swathikiran; Lanz, Oswald | |
Object-Oriented Design Patterns Recovery | 1-gen-1998 | G., Antoniol; R., Fiutem; Cristoforetti, Luca |
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