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): 3.381 a 3.400 di 14.131
Titolo Data di pubblicazione Autore(i) File
Security is Beautiful (Transcript of Discussion) 1-gen-2015 Vigano', Luca
Security is Beautiful 1-gen-2015 Bella, Giampaolo; Vigano', Luca
Automated analysis of RBAC policies with temporal constraints and static role hierarchies 1-gen-2015 Ranise, Silvio; Truong, Anh; Vigano', Luca
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment 1-gen-2015 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Vigano', Luca
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection 1-gen-2016 DE MEO, Federico; Rocchetto, Marco; Vigano', Luca
An automated approach for testing the security of web applications against chained attacks 1-gen-2016 Calvi, Alberto; Vigano', Luca
Minimal multiset grammars for recurrent dynamics 1-gen-2017 Farinelli, Alessandro; Franco, Giuditta; Rizzi, Romeo
Asymptotically efficient estimation in measurement error models 1-gen-2017 Scricciolo, Catia
CRISPR/Cas9 as a tool for the study of the interactions between viruses and host 1-gen-2017 Parolini, Francesca; Mutascio, Simona; Serena, Michela; Fochi, Stefania; Romanelli, Maria; Zipeto, Donato
Bi-decomposition using Boolean Relations 1-gen-2015 Bernasconi, Anna; Brayton, Robert; Ciriani, Valentina; Trucco, Gabriella; Villa, Tiziano
In vivo and in vitro biodistribution of solid lipid nanoparticles 1-gen-2017 Mannucci, Silvia; Boschi, Federico; Esposito, Elisabetta; Cortesi, Rita; Nastruzzi, Claudio; Malatesta, Manuela; Calderan, Laura
Hamilton-Jacobi-Bellman Equation for a Time-Optimal Control Problem in the Space of Probability Measures 1-gen-2016 Cavagnari, Giulia; Marigonda, Antonio; Orlandi, Giandomenico
Analog fault testing through abstraction 1-gen-2017 Fraccaroli, Enrico; Fummi, Franco
Point-Cloud Shape Retrieval of Non-Rigid Toys 1-gen-2017 Limberger, F. A.; Wilson, R. C.; Aono, M.; Audebert, N.; Boulch, A.; Bustos, B.; Giachetti, Andrea; Godil, A.; Le Saux, B.; Li, B.; Lu, Y.; Nguyen, H. D.; Nguyen, V. T.; Pham, V. K.; Sipiran, I.; Tatsuma, A.; Tran, M. T.; Velasco Forero, S.
Feature Selection via Eigenvector Centrality 1-gen-2016 Roffo, Giorgio; Melzi, Simone
Experimental performance evaluation of cloud-based analytics-As-A-service 1-gen-2016 Pace, Francesco; Milanesio, Marco; Venzano, Daniele; Carra, Damiano; Michiardi, Pietro
Access-Time Aware Cache Algorithms 1-gen-2016 Neglia, Giovanni; Carra, Damiano; Feng, Mingdong; Janardhan, Vaishnav; Michiardi, Pietro; Tsigkari, Dimitra
A Game-Theoretic Probabilistic Approach For Detecting Conversational Groups 1-gen-2014 Vascon, S.; Mequanint, E. Z.; Cristani, Marco; Hung, H.; Pelillo, M.; Murino, Vittorio
Segmentation and tracking of multiple interacting mice by temperature and shape information 1-gen-2012 Giancardo, L.; Sona, D.; Scheggia, D.; Papaleo, F.; Murino, Vittorio
A unifying framework for vector-valued manifold regularization and multi-view learning 1-gen-2013 Minh, H. Q.; Bazzani, Loris; Murino, Vittorio
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.381 a 3.400 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