IRIS Institutional Research Information System

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.221 a 3.240 di 7.926
Titolo Data di pubblicazione Autore(i) File
Resumming large higher-order corrections in non-linear QCD evolution 1-gen-2016 Iancu, Edmond; Madrigal, J. D.; Mueller, A. H.; Soyez, Gregory Emmanuel Ghislain; Triantafyllopoulos, Dionysios
Reference-free and Confidence-independent Binary Quality Estimation for Automatic Speech Recognition 1-gen-2015 Zamani, Hamed; de Souza, José G. C.; Negri, Matteo; Turchi, Marco; Falavigna, Giuseppe Daniele
WAGS: A Beautiful English-Italian Benchmark Supporting Word Alignment Evaluation on Rare Words 1-gen-2016 Bentivogli, Luisa; Cettolo, Mauro; Farajian, Mohammad; Federico, Marcello
The IWSLT Evaluation Campaign: Challenges, Achievements, Future Directions 1-gen-2016 Bentivogli, Luisa; Federico, Marcello; Stüker, Sebastian; Cettolo, Mauro; Niehues, Jan
1st Shared Task on Automatic Translation Memory Cleaning: Preparation and Lessons Learned 1-gen-2016 Barbu, Eduard; Escartín, Carla Parra; Bentivogli, Luisa; Negri, Matteo; Turchi, Marco; Federico, Marcello; Mastrostefano, Luca; Orasan, Constantin
Quantify Yourself: are older adults ready? 1-gen-2017 Massa, Paolo; Mazzali, Adele; Zampini, Jessica; Zancanaro, Massimo
Towards context-aware processes in people-centered factories of the future 1-gen-2015 Kannengiesser, Udo; Neubauer, Matthias; Krenn, Florian; Di Francescomarino, Chiara; Majoe, Dennis; Bonaldi, David
Completing Workflow Traces Using Action Languages 1-gen-2015 Di Francescomarino, Chiara; Ghidini, Chiara; Tessaris, Sergio; Sandoval, Itzel Vázquez
Complex Symbolic Sequence Encodings for Predictive Monitoring of Business Processes 1-gen-2015 Leontjeva, Anna; Conforti, Raffaele; Di Francescomarino, Chiara; Dumas, Marlon; Maggi, Fabrizio Maria
Towards understanding digital sharing practices in outdoor sports 1-gen-2016 Fedosov, Anton; Mencarini, Eleonora; Woźniak, Paweł W.; Knaving, Kristina; Langheinrich, Marc
Emotions in climbing: a design opportunity for haptic communication 1-gen-2016 Mencarini, Eleonora; De Angeli, Antonella; Zancanaro, Massimo
Numerical Simulation and Experimental Characterization of Emitter Wrap through Solar Cells with Deep Grooved Base Contact (EWT-DGB) 1-gen-2016 Nicolai, Massimo; Zanuccoli, Mauro; Paternoster, Giovanni; de Ceglia, Giuseppe; Ferrario, Lorenza; Bellutti, Pierluigi; Sangiorgi, Enrico; Fiegna, Claudio
Automated Synthesis of Timed Failure Propagation Graphs 1-gen-2016 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
Verification of Railway Interlocking - Compositional Approach with OCRA 1-gen-2016 Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano
Safely Using the AUTOSAR End-to-End Protection Library 1-gen-2015 Arts, Thomas; Tonetta, Stefano
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano
Combining MILS with Contract-Based Design for Safety and Security Requirements 1-gen-2015 Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano
HYCOMP - an SMT-based model checker for hybrid systems 1-gen-2015 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Static Analysis and Penetration Testing from the Perspective of Maintenance Teams 1-gen-2016 Ceccato, Mariano; Scandariato, Riccardo
Tightening a Contract Refinement 1-gen-2016 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.221 a 3.240 di 7.926
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 ...7925
Autore
  • Cimatti, Alessandro261
  • Remondino, Fabio250
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo179
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa5
  • 2020 - 20261546
  • 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...92
  • 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 SCIENCE230
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE22
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • PROCEEDINGS OF SPIE10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6418
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6831
  • open476
  • restricted450
  • reserved165
  • partially open2
  • mixed1