RicercaCancella la ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 801 - 810 di 6537 (tempo di esecuzione: 0.012 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2020 ARCH-COMP 2020 category report: Falsification Ernst, G.; Arcaini, P.; Bennani, I.; Donze, A.; Fainekos, G.; Frehse, G.; Mathesen, L.; Menghi, Claudio; Pedrielli, G.; Pouzet, M.; Yaghoubi, S.; Yamagata, Y.; Zhang, Z. 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 ARCH-COMP 2021 Category Report: Falsification with Validation of Results Ernst, Gidon; Arcaini, Paolo; Bennani, Ismail; Chandratre, Aniruddh; Donze, Alexandre; Fainekos, Georgios; Frehse, Goran; Gaaloul, Khouloud; Inoue, Jun; Khandait, Tanmay; Mathesen, Logan; Menghi, Claudio; Pedrielli, Giulia; Pouzet, Marc; Waga, Masaki; Yaghoubi, Shakiba; Yamagata, Yoriyuki; Zhang, Zhenya 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources Ernst, Gidon; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2023 ARCH-COMP 2023 Category Report: Falsification Menghi, Claudio; Arcaini, Paolo; Baptista, Walstan; Ernst, Gidon; Fainekos, Georgios; Formica, Federico; Gon, Sauvik; Khandait, Tanmay; Kundu, Atanu; Pedrielli, Giulia; Peltomäki, Jarkko; Porres, Ivan; Ray, Rajarshi; Waga, Masaki; Zhang, Zhenya 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2023 Architecting a big data-driven software architecture for smart street lighting Ali, M.; Scandurra, Patrizia; Moretti, F.; Blaso, L. 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2023 Architecting Explainable Service Robots Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaella; Rossi, Matteo; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Architectural decisions for HW/SW partitioning based on multiple extra-functional properties Sapienza, Gaetana; Crnkovic, Ivica; Potena, Pasqualina 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts
1-gen-2015 Architetti e uomini d'arme di fronte al "Mechanicorum liber" di Guidobaldo dal Monte Trabucco, Oreste 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-dic-2020 Architetture adattive mediante un nuovo modulo tensegrale pieghevole di tipo T4 Ruscica, Giuseppe; Micheletti, Andrea 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 Are citizens always right? Investigating why citizens’ inputs are not always beneficial to public services co-production Magno, Francesca; Cassia, Fabio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati 801 - 810 di 6537 (tempo di esecuzione: 0.012 secondi).
↑ Back to top
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

Filtra la ricerca per:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 1.4.01 Contributi in atti di convegno - Conference presentations 5667
  • 1.4.02 Abstract in atti di convegno - Conference abstracts 715
  • 1.4.03 Testi di poster in atti di convegno - Conference posters 155
  • DIPSI Workshop 2012 3
  • DIPSI Workshop 2018 3
  • GRASPA15 3
  • L&F by issue - Fascicoli della rivista L&F 3
  • DIPSI Workshop 2019 2
  • GRASPA19 2
  • DIPSI Workshop 2011 1
Autore
  • PREVIDI, Fabio 136
  • GARGANTINI, Angelo Michele 135
  • RIVA, Paolo 133
  • RE, Valerio 122
  • CAVALIERI, Sergio 116
  • GAIARDELLI, Paolo 114
  • BELLERI, Andrea 113
  • CARDACI, Alessio 112
  • PEZZOTTA, Giuditta 111
  • RIZZI, Caterina 110
Data di pubblicazione
  • 2020 - 2025 1541
  • 2010 - 2019 3628
  • 2000 - 2009 1233
  • 1990 - 1999 125
  • 1984 - 1989 10
Editore
  • Springer 408
  • IEEE 280
  • IEEE (Institute of Electrical and Electronics Engineers) 197
  • Elsevier 180
  • IEEE (Institute of Electric and Electronics Engineers) 130
  • Institute of Electrical and Electronics Engineers Inc. 65
  • Springer Nature Switzerland AG 56
  • ASME (American Society of Mechanical Engineers) 42
  • Trans Tech Publications 38
  • ASME 37
Rivista
  • ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS 42
  • POS PROCEEDINGS OF SCIENCE 35
  • PROCEDIA STRUCTURAL INTEGRITY 22
  • IOP CONFERENCE SERIES: MATERIALS SCIENCE AND ENGINEERING 15
  • FINANCIAL MANAGEMENT OF FIRMS AND FINANCIAL INSTITUTIONS 14
  • JOURNAL OF PHYSICS. CONFERENCE SERIES 14
  • PROCEDIA ENGINEERING 14
  • ACADEMY OF MANAGEMENT ANNUAL MEETING PROCEEDINGS 13
  • MEMORIE GEOGRAFICHE 11
  • PROCEDIA COMPUTER SCIENCE 11
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 107
  • IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY 100
  • IFAC-PAPERSONLINE 75
  • LECTURE NOTES IN COMPUTER SCIENCE 58
  • PROCEDIA CIRP 46
  • KEY ENGINEERING MATERIALS 40
  • CEUR WORKSHOP PROCEEDINGS 38
  • SOCIETÀ ITALIANA DI PEDAGOGIA 35
  • IFAC PROCEEDINGS VOLUMES 34
  • LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 32
Keyword
  • Electrical and Electronic Engineering 38
  • Industry 4.0 38
  • TRIZ 38
  • Sustainability 35
  • Nuclear and High Energy Physics 31
  • Control and Systems Engineering 30
  • microelectronics 29
  • CMOS 28
  • Software 27
  • sustainability 27
Lingua
  • eng 4889
  • ita 1503
  • fre 53
  • ger 46
  • rus 33
  • spa 33
  • mul 12
  • chi 3
  • cze 2
  • lat 2
Accesso al fulltext
  • reserved 3480
  • no fulltext 1830
  • open 1164
  • partially open 62
  • embargoed 1
Settore disciplinare
  • Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni 450
  • Settore ING-IND/17 - Impianti Industriali Meccanici 345
  • Settore ING-INF/04 - Automatica 199
  • Settore ING-IND/35 - Ingegneria Economico-Gestionale 195
  • Settore ING-IND/15 - Disegno e Metodi dell'Ingegneria Industriale 191
  • Settore ICAR/09 - Tecnica delle Costruzioni 181
  • Settore M-PED/03 - Didattica e Pedagogia Speciale 160
  • Settore ING-IND/22 - Scienza e Tecnologia dei Materiali 156
  • Settore ING-INF/01 - Elettronica 145
  • Settore SECS-P/08 - Economia e Gestione delle Imprese 134
Settore disciplinare (2024)
  • Settore IIND-06/A - Macchine a fluido 24
  • Settore IIND-05/A - Impianti industriali meccanici 14
  • Settore IMAT-01/A - Scienza e tecnologia dei materiali 14
  • Settore GLOT-01/A - Glottologia e linguistica 13
  • Settore IINF-04/A - Automatica 11
  • Settore CEAR-12/A - Tecnica e pianificazione urbanistica 10
  • Settore IIND-03/B - Disegno e metodi dell'ingegneria industriale 10
  • Settore LIFI-01/A - Linguistica italiana 10
  • Settore ASIA-01/F - Lingue e letterature della Cina e dell'Asia sud-orientale 9
  • Settore PHIL-02/A - Logica e filosofia della scienza 9
Appartenenza
  • Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione 2101
  • Dipartimento di Ingegneria e Scienze Applicate 1821
  • Dipartimento di Scienze Umane e Sociali 893
  • Universita' degli Studi di Bergamo 488
  • Dipartimento di Lingue, Letterature e Culture Straniere 479
  • Dipartimento di Lettere, Filosofia, Comunicazione 427
  • Dipartimento di Scienze Economiche 332
  • Dipartimento di Scienze Aziendali 312
  • Dipartimento di Giurisprudenza 178
  • Scuola di Alta Formazione Dottorale 66