Sfoglia per Titolo
Sample holder implement for very small samples on SC-Ultra SIMS instrument
2004-01-01 Barozzi, Mario; Giubertoni, Damiano; M., Sbetti; Anderle, Mariano; Bersani, Massimo
Sample topography developed by sputtering in a Cameca instruments: an AFM and SEM study
2002-01-01 Iacob, Erica; Bersani, Massimo; Lui, Alberto; Vanzetti, Lia Emanuela; Giubertoni, Damiano; Barozzi, Mario; Anderle, Mariano
Sample topography developed by sputtering in Cameca instruments
2002-01-01 Iacob, Erica; Bersani, Massimo; Alberto, Lui; Vanzetti, Lia Emanuela; Giubertoni, Damiano; Barozzi, Mario; Anderle, Mariano
Sampling based approximation of linear functionals in reproducing kernel Hilbert spaces
2022-01-01 Santin, Gabriele; Karvonen, Toni; Haasdonk, Bernard
Sampling Modulation: an Energy Efficient Novel Feature Extraction for Biosignal Processing
2016-01-01 Causo, Matteo; Benatti, Simone; Frappé, Antoine; Cathelin, Andreia; Farella, Elisabetta; Kaiser, Andreas; Benini, Luca; Rabaey, Jan M.
Sampling Strategies for Conformant Planning
2018-01-01 Grastien, Alban; Scala, Enrico
Sampling techniques for audio-visual tracking and head pose estimation
2012-01-01 J. M., Odobez; Lanz, Oswald
Sanremo's Winner Is... Category-driven Selection Strategies for Active Learning
2017-01-01 Minard, Anne-Lyse Myriam; Speranza, Manuela; Qwaider, Mohammed R. H.; Magnini, Bernardo
SARA: Secure Asynchronous Remote Attestation for IoT Systems
2020-01-01 Dushku, Edlira; Rabbani, Md Masoom; Conti, Mauro; Mancini, Luigi V.; Ranise, Silvio
SARS-CoV-2 spike protein detection through a plasmonic D-shaped plastic optical fiber aptasensor
2021-01-01 Cennamo, Nunzio; Pasquardini, Laura; Arcadio, Francesco; Lunelli, Lorenzo; Vanzetti, Lia; Carafa, Vincenzo; Altucci, Lucia; Zeni, Luigi
SARS-CoV-2 transmission patterns in educational settings during the Alpha wave in Reggio-Emilia, Italy
2023-01-01 Molina Grané, Carla; Mancuso, Pamela; Vicentini, Massimo; Venturelli, Francesco; Djuric, Olivera; Manica, Mattia; Guzzetta, Giorgio; Marziano, Valentina; Zardini, Agnese; D'Andrea, Valeria; Trentini, Filippo; Bisaccia, Eufemia; Larosa, Elisabetta; Cilloni, Silvia; Cassinadri, Maria Teresa; Pezzotti, Patrizio; Ajelli, Marco; Rossi, Paolo Giorgi; Merler, Stefano; Poletti, Piero
SARS-CoV-2 variants: what have we learnt so far? Commentary
2022-01-01 Ambrosio, Luigina; Chiara, Matteo; Lo Presti, Alessandra; Poletti, Piero; Alteri, Claudia; Cacchiarelli, Davide; Bouchè, Valentina; Morgante, Michele; Ballabio, Andrea; Perno, Carlo Federico; Merler, Stefano; Pesole, Graziano; Stefanelli, Paola
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
2000-01-01 E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella
*SAT, KsatC, DLP and TA: a comparative analysis
1999-01-01 E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
SAT-Based Cooperative Planning: A Proposal
2004-01-01 Benedetti, Marco; Carlucci Aiello, Luigia
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
2002-01-01 Armando, Alessandro; C., Castellini; E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective
2005-01-01 Armando, Alessandro; Castellini, C.; Giunghiglia, E.; Giunchiglia, F.; Tacchella, A.
SAT-Based Decision Procedures for Classical Modal Logics
2000-01-01 E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
SAT-based decision procedures for normal modal logics: a theoretical framework
1998-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo
SAT-based Model Checking for Security Protocols Analysis
2008-01-01 Armando, Alessandro; L., Compagna
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Sample holder implement for very small samples on SC-Ultra SIMS instrument | 1-gen-2004 | Barozzi, Mario; Giubertoni, Damiano; M., Sbetti; Anderle, Mariano; Bersani, Massimo | |
Sample topography developed by sputtering in a Cameca instruments: an AFM and SEM study | 1-gen-2002 | Iacob, Erica; Bersani, Massimo; Lui, Alberto; Vanzetti, Lia Emanuela; Giubertoni, Damiano; Barozzi, Mario; Anderle, Mariano | |
Sample topography developed by sputtering in Cameca instruments | 1-gen-2002 | Iacob, Erica; Bersani, Massimo; Alberto, Lui; Vanzetti, Lia Emanuela; Giubertoni, Damiano; Barozzi, Mario; Anderle, Mariano | |
Sampling based approximation of linear functionals in reproducing kernel Hilbert spaces | 1-gen-2022 | Santin, Gabriele; Karvonen, Toni; Haasdonk, Bernard | |
Sampling Modulation: an Energy Efficient Novel Feature Extraction for Biosignal Processing | 1-gen-2016 | Causo, Matteo; Benatti, Simone; Frappé, Antoine; Cathelin, Andreia; Farella, Elisabetta; Kaiser, Andreas; Benini, Luca; Rabaey, Jan M. | |
Sampling Strategies for Conformant Planning | 1-gen-2018 | Grastien, Alban; Scala, Enrico | |
Sampling techniques for audio-visual tracking and head pose estimation | 1-gen-2012 | J. M., Odobez; Lanz, Oswald | |
Sanremo's Winner Is... Category-driven Selection Strategies for Active Learning | 1-gen-2017 | Minard, Anne-Lyse Myriam; Speranza, Manuela; Qwaider, Mohammed R. H.; Magnini, Bernardo | |
SARA: Secure Asynchronous Remote Attestation for IoT Systems | 1-gen-2020 | Dushku, Edlira; Rabbani, Md Masoom; Conti, Mauro; Mancini, Luigi V.; Ranise, Silvio | |
SARS-CoV-2 spike protein detection through a plasmonic D-shaped plastic optical fiber aptasensor | 1-gen-2021 | Cennamo, Nunzio; Pasquardini, Laura; Arcadio, Francesco; Lunelli, Lorenzo; Vanzetti, Lia; Carafa, Vincenzo; Altucci, Lucia; Zeni, Luigi | |
SARS-CoV-2 transmission patterns in educational settings during the Alpha wave in Reggio-Emilia, Italy | 1-gen-2023 | Molina Grané, Carla; Mancuso, Pamela; Vicentini, Massimo; Venturelli, Francesco; Djuric, Olivera; Manica, Mattia; Guzzetta, Giorgio; Marziano, Valentina; Zardini, Agnese; D'Andrea, Valeria; Trentini, Filippo; Bisaccia, Eufemia; Larosa, Elisabetta; Cilloni, Silvia; Cassinadri, Maria Teresa; Pezzotti, Patrizio; Ajelli, Marco; Rossi, Paolo Giorgi; Merler, Stefano; Poletti, Piero | |
SARS-CoV-2 variants: what have we learnt so far? Commentary | 1-gen-2022 | Ambrosio, Luigina; Chiara, Matteo; Lo Presti, Alessandra; Poletti, Piero; Alteri, Claudia; Cacchiarelli, Davide; Bouchè, Valentina; Morgante, Michele; Ballabio, Andrea; Perno, Carlo Federico; Merler, Stefano; Pesole, Graziano; Stefanelli, Paola | |
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation | 1-gen-2000 | E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella | |
*SAT, KsatC, DLP and TA: a comparative analysis | 1-gen-1999 | E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
SAT-Based Cooperative Planning: A Proposal | 1-gen-2004 | Benedetti, Marco; Carlucci Aiello, Luigia | |
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective | 1-gen-2002 | Armando, Alessandro; C., Castellini; E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunghiglia, E.; Giunchiglia, F.; Tacchella, A. | |
SAT-Based Decision Procedures for Classical Modal Logics | 1-gen-2000 | E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
SAT-based decision procedures for normal modal logics: a theoretical framework | 1-gen-1998 | Sebastiani, Roberto; Villafiorita Monteleone, Adolfo | |
SAT-based Model Checking for Security Protocols Analysis | 1-gen-2008 | Armando, Alessandro; L., Compagna |
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