CATALOGO DEI PRODOTTI DELLA RICERCA

04.01 Contributo in atti di convegno: [14131] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.421 a 1.440 di 14.131
Titolo Data di pubblicazione Autore(i) File
How an Evolving Fault Model Improves the Behavioral Test Generation 1-gen-1997 G., Buonanno; F., Ferrandi; L., Ferrandi; Fummi, Franco; D., Sciuto
Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels 1-gen-1997 M., Bacis; G., Buonanno; F., Ferrandi; Fummi, Franco; L., Gerli; D., Sciuto
Voci di Britannia: microstorie di latinizzazione 1-gen-2018 Cotugno, Francesca
Unsupervised Domain Adaptation for Video Transformers in Action Recognition 1-gen-2022 Turrisi da Costa, V. G.; Zara, G.; Rota, P.; Oliveira-Santos, T.; Sebe, N.; Murino, V.; Ricci, E.
Mixing Zero-Shot Learning Up: Learning Unseen Classes from Mixed Features 1-gen-2022 Ivan Davila Carrazco, Julio; Morerio, Pietro; Del Bue, Alessio; Murino, Vittorio
The Challenges of Coupling Digital-Twins with Multiple Classes of Faults 1-gen-2022 Tosoni, Francesco; Dall'Ora, Nicola; Fraccaroli, Enrico; Fummi, Franco
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era 1-gen-2022 Boldo, Michele; Bombieri, Nicola; Centomo, Stefano; DE MARCHI, Mirco; Demrozi, Florenc; Pravadelli, Graziano; Quaglia, Davide; Turetta, Cristian
Implicit test Generation for Behavioral VHDL Models 1-gen-1998 F., Ferrandi; Fummi, Franco; D., Sciuto
A Complete Test Strategy Based on Interacting and Hierarchical FSMs 1-gen-1997 Fummi, Franco; D., Sciuto
Test Generation for Networks of Interacting FSMs Using Symbolic Techniques 1-gen-1996 F., Ferrandi; Fummi, Franco; E., Macii; M., Poncino; D., Sciuto
Symbolic Functional Vector Generation for VHDL Specifications 1-gen-1999 F., Ferrandi; Fummi, Franco; L., Gerli; D., Sciuto
Sequential Test Compaction for Test Embedding 1-gen-1996 R., Bevacqua; F., Ferrandi; Fummi, Franco; L., Guerrazzi
Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: a Mixed Functional/Structural Method 1-gen-1994 Fummi, Franco; D., Sciuto; M., Serra
Power Estimation of Behavioral Descriptions 1-gen-1998 F., Ferrandi; Fummi, Franco; E., Macii; M., Poncino; D., Sciuto
Biblioteche scolastiche, biblioterapia e benessere: quale benefici, quale formazione? 1-gen-2023 Formiga, Federica
Improving learning abilities and inclusion through movement: the Movi-Mente© method 1-gen-2023 Traina, Ivan; Sangalli, Luigi; Tognon, Fabio; Lascioli, Angelo
Aldo Neppi Modona e gli antichisti italiani nei carteggi del Gabinetto Vieusseux. Gli anni 1933-1940 1-gen-2022 Bianchi, Edoardo
ZusammenQA: Data Augmentation with Specialized Models for Cross-lingual Open-retrieval Question Answering System 1-gen-2022 Hung, Chia-Chien; Green, Tommaso; Litschko, Robert; Tsereteli, Tornike; Takeshita, Sotaro; Bombieri, Marco; Glavaš, Goran; Paolo Ponzetto, Simone
Dynamic Controllability of Temporal Networks via Supervisory Control 1-gen-2022 Zavatteri, Matteo; Bresolin, Davide; Rizzi, Romeo; Villa, Tiziano
Intervento in Tavola Rotonda: Dallo shareholder value alla tutela degli stakeholders 1-gen-2022 Genovese, Anna
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.421 a 1.440 di 14.131
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
  • 04 Contributo in atti di convegno14131
Autore
  • FUMMI, Franco330
  • ARMATO, Ubaldo247
  • MURINO, Vittorio220
  • FRANCHI, Massimo Piergiuseppe203
  • FATTOVICH, Giovanna180
  • CORROCHER, Roberto179
  • CRISTANI, Marco177
  • BERTAZZONI MINELLI, Elisa172
  • FARINELLI, Alessandro152
  • CEVESE, Antonio145
Data di pubblicazione
  • In corso di stampa42
  • 2020 - 20261620
  • 2010 - 20194108
  • 2000 - 20095808
  • 1990 - 19991752
  • 1980 - 1989654
  • 1970 - 1979142
  • 1967 - 19695
Editore
  • Springer266
  • IEEE220
  • Springer-Verlag68
  • ACM56
  • SPRINGER INTERNATIONAL PUBLISHING AG48
  • Springer Verlag45
  • IEEE Computer Society41
  • Monduzzi Editore37
  • ESGAR - European Society Gastoint...28
  • IEEE COMPUTER SOC28
Rivista
  • HAEMATOLOGICA64
  • JOURNAL OF HEPATOLOGY52
  • BLOOD49
  • EUROPEAN RESPIRATORY JOURNAL48
  • PATHOLOGICA44
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • JOURNAL OF CRANIO-MAXILLOFACIAL S...38
  • MINERVA CARDIOANGIOLOGICA37
  • ITALIAN JOURNAL OF GASTROENTEROLOGY35
  • BOLLETTINO DI OCULISTICA33
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE256
  • LECTURE NOTES IN ARTIFICIAL INTEL...64
  • CEUR WORKSHOP PROCEEDINGS61
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...29
  • PROCEEDINGS OF SPIE, THE INTERNAT...22
  • LECTURE NOTES IN COMPUTER SCIENCE15
  • PROCEEDINGS - INTERNATIONAL WORKS...13
  • MECHANISMS AND MACHINE SCIENCE12
  • COMMUNICATIONS IN COMPUTER AND IN...10
  • EDULEARN PROCEEDINGS10
Keyword
  • pattern recognition63
  • Verona63
  • CdTe51
  • abstract interpretation50
  • Italia49
  • asthma44
  • children44
  • diagnosi41
  • treatment41
  • trattamento40
Lingua
  • eng8668
  • ita4548
  • fre163
  • ger112
  • spa87
  • rus38
  • und7
  • por5
  • cat3
  • enm3
Accesso al fulltext
  • no fulltext12317
  • open907
  • restricted609
  • reserved294
  • embargoed2
  • mixed1
  • partially open1