IRIS Institutional Research Information System

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 2.221 a 2.240 di 19.169
Titolo Data di pubblicazione Autore(i) File
Automatic translation memory cleaning 1-gen-2017 Negri, Matteo; Ataman, Duygu; Sabet, Masoud Jalili; Turchi, Marco; Federico, Marcello
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees 1-gen-1999 S., Lapierre; E., Merlo; G., Savard; G., Antoniol; R., Fiutem; Tonella, Paolo
Automatic Unit Test Data Genration Using Mixed-Integer Linear Programming and Execution Trees 1-gen-1997 S., Lapierre; E., Merlo; G., Savard; G., Antoniol; R., Fiutem; Tonella, Paolo
Automatic Verification of Coding Standards 1-gen-2001 Potrich, Alessandra; Tonella, Paolo
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 1-gen-2004 Bozzano, Marco; G., Delzanno
Automatic Video Composition 1-gen-2003 Zancanaro, Massimo; Rocchi, Cesare; Stock, Oliviero
Automatic Visual Tracking and Social Behaviour Analysis with Multiple Mice 1-gen-2013 Luca, Giancardo; Sona, Diego; Huiping, Huang; Sara, Sannino; Francesca, Managò; Diego, Scheggia; Francesco, Papaleo; Vittorio, Murino
Automatic White Matter Fiber Clustering Using Dominant Sets 1-gen-2013 Luca, Dodero; Sebastiano, Vascon; Luca, Giancardo; Alessandro, Gozzi; Sona, Diego; Vittorio, Murino
Automatically Assess Children’s Reading Skills 1-gen-2020 Mich, Ornella; Mana, Nadia; Gretter, Roberto; Matassoni, Marco; Falavigna, Giuseppe Daniele
Automatically detecting Crohn’s disease and Ulcerative Colitis from endoscopic imaging 1-gen-2022 Chierici, Marco; Puica, Nicolae; Pozzi, Matteo; Capistrano, Antonello; Dorian Donzella, Marcello; Colangelo, Antonio; Osmani, Venet; Jurman, Giuseppe
Automatically evaluating the quality of textual descriptions in cultural heritage records 1-gen-2021 Lorenzini, Matteo; Rospocher, Marco; Tonelli, Sara
Automatically finding execution scenarios to deploy security-sensitive workflows 1-gen-2017 Dos santos, Daniel ricardo; Ranise, Silvio; Compagna, Luca; Ponta, Serena elisa
Automatically Generated and Experimentally Validated System-Level Model of a Microelectromechanical RF Switch 1-gen-2009 M., Niessner; G., Schrag; G., Wachutka; Iannacci, Jacopo; Margesin, Benno
Automating meta-theory creation and system extension 1-gen-1991 David, Basin; Giunchiglia, Fausto; Traverso, Paolo
Automating Model Transformations in Agent-Oriented Modelling 1-gen-2005 Perini, Anna; Susi, Angelo
Automating user-feedback driven requirements prioritization 1-gen-2021 Kifetew, Fitsum Meshesha; Perini, Anna; Susi, Angelo; Siena, Aberto; Mu(~(n))ante, Denisse; Morales-Ramirez, Itzel
Automation and Evaluation of the Keyword Method for Second Language Learning 1-gen-2014 Özbal, Gözde; Pighin, Daniele; Strapparava, Carlo
Automation in 3D reconstruction: results on different kinds of close-range blocks 1-gen-2010 L., Barazzetti; Remondino, Fabio; M., Scaioni
Automation in multi-image spherical photogrammetry for 3D architectural reconstructions 1-gen-2010 L., Barazzetti; G., Fangi; Remondino, Fabio; M., Scaioni
Automation of Linguistic Creativitas for Adslogia 1-gen-2013 Özbal, Gözde; Strapparava, Carlo
Mostrati risultati da 2.221 a 2.240 di 19.169
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