CATALOGO DEI PRODOTTI DELLA RICERCA

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.281 a 1.300 di 14.019
Titolo Data di pubblicazione Autore(i) File
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 1-gen-2022 Germiniani, Samuele; Pravadelli, Graziano
Assertion-aware approximate computing design exploration on behavioral models 1-gen-2022 Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello
SHPIA: A Low-Cost Multi-purpose Smart Home Platform for Intelligent Applications 1-gen-2022 Demrozi, Florenc; Pravadelli, Graziano
Maximal Ideals in Countable Rings, Constructively 1-gen-2022 Blechschmidt, I; Schuster, P
A freely available system for human activity recognition based on a low-cost body area network 1-gen-2022 Turetta, Cristian; Demrozi, Florenc; Pravadelli, Graziano
A virtual coaching platform to support therapy compliance in obesity 1-gen-2022 Bissoli, Luisa; Bonacina, Davide; Dalla Riva, Nicoló; Demrozi, Florenc; Jereghi, Marin; Marchiotto, Nicola; Perbellini, Giovanni; Pernice, Bruno; Pizzocaro, Erica; Pravadelli, Graziano; Recchia, Giuseppe; Sacerdoti, ANNA LIA; Turetta, Cristian; Zamboni, Mauro
Enhancing Deep Reinforcement Learning Approaches for Multi-Robot Navigation via Single-Robot Evolutionary Policy Search 1-gen-2022 Marchesini, Enrico; Farinelli, Alessandro
La Felicísima victoria concedida del cielo al Señor don Juan de Austria: Lepanto nella letteratura spagnola 1-gen-2022 Zinato, Andrea
Supply Chain Resilience strategies to cope with disruptive events. A literature review and a study on Italian firms. 1-gen-2022 Baldi, Benedetta; Gaudenzi, Barbara; Pellegrino, Roberta
Beyond green products: how Gen Z value and is willing to buy circular products 1-gen-2022 D'Acunto, David Maria; Blasi, Silvia; Confente, Ilenia; Russo, Ivan
The Use of Hierarchical Information to Test Large Controllers 1-gen-1997 Fummi, Franco; D., Sciuto
Design Representation and Manipulation for High-Level Synthesis of DSP Algorithm 1-gen-1992 A., Balboni; C., Costi; Fummi, Franco; M., Porta; V., Rampa; D., Sciuto
The Request Testability Methodology for VHDL Based ASIC Design 1-gen-1998 M., Bombana; P., Cavalloro; F., Ferrandi; Fummi, Franco; D., Sciuto
Enabling tools for virtual platforms 1-gen-2012 Quaglia, Davide; Fummi, Franco; Stefanni, Francesco; Bombieri, Nicola
An Approach to a Design for Testability Personal Consultant 1-gen-1990 G., Buonanno; A., Burri; Fummi, Franco; D., Sciuto
A Design Methodology for the Correct Specification of VLSI Systems 1-gen-1993 C., Bolchini; M., Bombana; Fummi, Franco; P., Cavalloro; C., Costi; G., Zaza
Design for Testability Issues in the Implementation of Sequential Array Architectures 1-gen-1994 G., Bezzi; C., Bolchini; I., Bolzoni; S., Cantu`; Fummi, Franco; D., Sciuto
Functional Testing and Constrained Synthesis of Sequential Architectures 1-gen-1993 G., Buonanno; Fummi, Franco; D., Sciuto
Synthesis for Testability of Large Complexity Controllers 1-gen-1995 Fummi, Franco; D., Sciuto; M., Serra
Behavioral Testability and Test Pattern Generation of the Hopfield Network Model 1-gen-1994 C., Alippi; Fummi, Franco; V., Piuri; M., Sami; D., Sciuto
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.281 a 1.300 di 14.019
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 convegno14019
Autore
  • FUMMI, Franco329
  • ARMATO, Ubaldo247
  • MURINO, Vittorio220
  • FRANCHI, Massimo Piergiuseppe203
  • FATTOVICH, Giovanna180
  • CORROCHER, Roberto179
  • CRISTANI, Marco176
  • BERTAZZONI MINELLI, Elisa172
  • FARINELLI, Alessandro151
  • CEVESE, Antonio145
Data di pubblicazione
  • In corso di stampa41
  • 2020 - 20261509
  • 2010 - 20194108
  • 2000 - 20095809
  • 1990 - 19991751
  • 1980 - 1989654
  • 1970 - 1979142
  • 1967 - 19695
Editore
  • Springer265
  • IEEE219
  • Springer-Verlag68
  • ACM57
  • SPRINGER INTERNATIONAL PUBLISHING AG46
  • 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 SCIENCE247
  • LECTURE NOTES IN ARTIFICIAL INTEL...64
  • CEUR WORKSHOP PROCEEDINGS59
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...28
  • PROCEEDINGS OF SPIE, THE INTERNAT...22
  • LECTURE NOTES IN COMPUTER SCIENCE15
  • PROCEEDINGS - INTERNATIONAL WORKS...13
  • MECHANISMS AND MACHINE SCIENCE12
  • ADVANCES IN INTELLIGENT SYSTEMS A...9
  • COMMUNICATIONS IN COMPUTER AND IN...9
Keyword
  • pattern recognition63
  • Verona62
  • CdTe51
  • abstract interpretation50
  • Italia48
  • asthma44
  • children44
  • diagnosi41
  • treatment41
  • trattamento40
Lingua
  • eng8597
  • ita4512
  • fre162
  • ger107
  • spa86
  • rus38
  • und7
  • por5
  • cat3
  • enm3
Accesso al fulltext
  • no fulltext12256
  • open882
  • restricted594
  • reserved283
  • embargoed2
  • mixed1
  • partially open1