IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7939] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.021 a 5.040 di 7.939
Titolo Data di pubblicazione Autore(i) File
Change Sensitivity Based Prioritization for Audit Testing of Webservice Compositions 1-gen-2011 Nguyen, Duy Cu; Marchetto, Alessandro; Tonella, Paolo
Challenges in Audit Testing of Web Services 1-gen-2011 Nguyen, Duy Cu; Marchetto, Alessandro; Tonella, Paolo
Automated Detection of Discontinuities in Models Inferred from Execution Traces 1-gen-2011 Marchetto, Alessandro; Nguyen, Duy Cu; Tonella, Paolo
Towards strong cyclic planning under partial observability 1-gen-2006 Piergiorgio, Bertoli; Cimatti, Alessandro; Marco, Pistore
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 1-gen-2006 Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Alessandro, Santuari; Sebastiani, Roberto
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 1-gen-2005 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 1-gen-2006 Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Bootstrapping Arabic-Italian SMT through Comparable Texts and Pivot Translation 1-gen-2011 Cettolo, Mauro; Bertoldi, Nicola; Federico, Marcello
Stimulating Development Through Transnational Living Labs: the Italo-Mozambican Vision 1-gen-2011 Ciaghi, Aaron; Villafiorita Monteleone, Adolfo; Lourino, Chemane; Macueve, Gertrudes
Use of reflected wavefronts for acoustic source localization with a line array 1-gen-2011 Svaizer, Piergiorgio; Brutti, Alessio; Omologo, Maurizio
Self-clustering non-Euclidean kernels for improving the estimation of multidimensional TDOA of multiple sources 1-gen-2011 Nesta, Francesco; Brutti, Alessio
A Socially Aware Persuasive Systems for Supporting Conversations at the Museum Café 1-gen-2011 Stock, Oliviero; Zancanaro, Massimo; Tomasini, Daniel; Pianesi, Fabio
Diagnostic of Ar/C2H2/H2 RF Plasma Beam for Nanostructured Carbon Deposition 1-gen-2008 S., Vizireanu; Luciu, Ioana; T., Acsente; L., Nistor; B., Mitu; G., Dinescu
Operation Domains of an Inside-Gap RF Discharge 1-gen-2007 C., Stancu; Luciu, Ioana; R. E., Ionita; B., Mitu; G., Dinescu
Modification of PET foils by high energy ion irradiation and plasma treatments 1-gen-2007 Luciu, Ioana; V., Satulu; M. D., Ionita; G., Suliman; D. G., Ghita; L., Nistor; B., Mitu; L. I., Kravets; G., Dinescu
Low and atmospheric pressure plasma treatment of natural textile fibers 1-gen-2008 Luciu, Ioana; B., Mitu; V., Satulu; A., Matei; G., Dinescu
Electrical characteristics of nitrogen RF plasma jet source operated at intermediate pressure 1-gen-2006 E. R., Ionita; Luciu, Ioana; B., Mitu; G., Dinescu
AFM reveals polyribosomes 1-gen-2009 Viero, Gabriella; Lunelli, Lorenzo; N., Arseni; Alessandro, Provenzani; Pederzolli, Cecilia; Alessandro, Quattrone
Material surface properties greatly influence DNA purification and PCR yield in microsystems 1-gen-2009 Potrich, Cristina; Lunelli, Lorenzo; Marocchi, Lorenza; Pasquardini, Laura; G., Guella; D., Vozzi; Vanzetti, Lia Emanuela; P., Gasparini; Pederzolli, Cecilia
SkipBlock: Self-Indexing for Block-Based Inverted List 1-gen-2011 S., Campinas; R., Delbru; Tummarello, Giovanni
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.021 a 5.040 di 7.939
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

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...7938
Autore
  • Cimatti, Alessandro260
  • Remondino, Fabio256
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261562
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...98
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE229
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6441
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6824
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1