IRIS Institutional Research Information System

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.321 a 3.340 di 7.938
Titolo Data di pubblicazione Autore(i) File
Il paziente con Bronchite cronica ostruttiva e Insufficienza cardiaca una ricerca epidemiologica per costruire un network di cura 1-gen-2013 Chiumeo, F.; Nollo, Giandomenico
Evaluating radiographic characteristics of polymeric implant with osseointegrative coatings by a tissue-equivalent phantom 1-gen-2013 Miori, G.; Pace, N.; Tessarolo, Francesco; Zappini, G.; Nollo, Giandomenico; Recla, M.; Valen, A.
Il paziente diabetico con fattori multipli di rischio cardiovascolare. Sperimentazione di un network di cura. 1-gen-2013 Chiumeo, F; Nollo, Giandomenico
Valutazione di appropriatezza della dialisi peritoneale in una unità operativa multizonale 1-gen-2013 Nollo, Giandomenico; Rigoni, Marta; Torri, Emanuele; Brunori, G; Laudon, A; Zarantonello, D; Sottini, L.
Percorso diagnostico AMCLI: Infezioni delle protesi articolari e dei mezzi di osteosintesi 1-gen-2013 Caola, I.; Drago, L.; Sarti, M.; Zamparini, E.; Conte, M.; Causero, A.; Romanò, C. L.; Viale, P.; De Vecchi, E.; Dorigotti, P.; Caciagli, P.; Tessarolo, Francesco
Relating the strangeness content of the nucleon with the mass shift of the ϕ meson in nuclear matter 1-gen-2016 Gubler, Philipp; Ohtani, Keisuke
Pixel-level continuous-time incremental sigma-delta A/D converter for THz sensors 1-gen-2016 Khatib, Moustafa Ahmed Soliman; Perenzoni, Matteo
The Death and Life of Great Italian Cities: A Mobile Phone Data Perspective 1-gen-2016 De Nadai, Marco; Staiano, Jacopo; Roberto, Larcher; Nicu, Sebe; Daniele, Quercia; Lepri, Bruno
The xSAP Safety Analysis Platform 1-gen-2016 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Formal Verification of Infinite-State BIP Models 1-gen-2015 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
Comparing Different Functional Allocations in Automated Air Traffic Control Design 1-gen-2015 Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Rozier, Kristin Yvonne
Efficient Anytime Techniques for Model-Based Safety Analysis 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 1-gen-2015 Gario, Marco Elio Gustavo; Micheli, Andrea
Large Vocabulary Children’s Speech Recognition with DNN-HMM and SGMM Acoustic Modeling 1-gen-2015 Giuliani, Diego
D-RPL: Overcoming memory limitations in RPL point-to-multipoint routing 1-gen-2015 Kiraly, Csaba; Istomin, Timofei; Iova, Oana; Picco, Gian Pietro
Compiling NATO authorization policies for enforcement in the cloud and SDNs 1-gen-2015 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 1-gen-2015 De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes 1-gen-2015 Bertolissi, Clara; Dos Santos, Daniel Ricardo; Ranise, Silvio
Security Threat Identification and Testing 1-gen-2015 Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform 1-gen-2015 Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.321 a 3.340 di 7.938
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 ...7937
Autore
  • Cimatti, Alessandro261
  • 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 - 20261561
  • 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 SCIENCE230
  • 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 fulltext6823
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1