Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 15.055 a 15.074 di 19.120
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
Mostrati risultati da 15.055 a 15.074 di 19.120
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