IRIS

Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 5.741 a 5.760 di 5.877
Titolo Data di pubblicazione Autore(i) File
Vacuum silicon photo multiplier tube (VSiPMT): Towards a new generation of photon detectors 1-gen-2014 Barbarino, G.; Barbato, F. C. T.; De Rosa, G.; Fiorillo, G.; Vivolo, D.; de Asmundis, R.; Migliozzi, P.; Mollo, C. M.; Rossi, B.
Vacuum silicon photomultipliers: Recent developments 1-gen-2013 Barbarino, Giancarlo; Barbato, Felicia Carla Tiziana; Campajola, Luigi; de Asmundis, Riccardo; De Rosa, Gianfranca; Mollo, Carlos Maximiliano; Vivolo, Daniele
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 1-gen-2015 Bigi, Giancarlo; Bracciali, Andrea; Meacci, Giovanni; Tuosto, E
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 1-gen-2015 Bigi, Giancarlo; Bracciali, Andrea; Meacci, Giovanni; Tuosto, E
Validation of techniques to mitigate copper surface contamination in CUORE 1-gen-2013 Ferroni, Fernando
Variability Modeling of Service Robots: Experiences and Challenges 1-gen-2019 García, Sergio; Strüber, Daniel; Brugali, Davide; Di Fava, Alessandro; Schillinger, Philipp; Pelliccione, Patrizio; Berger, Thorsten
A Variance-aware Multiobjective Louvain-like Method for Community Detection in Multiplex Networks 1-gen-2022 Venturini, Sara; Cristofari, Andrea; Rinaldi, Francesco; Tudisco, Francesco
Variational models for the incompressible Euler equations 1-gen-2013 Figalli, Alessio; Daneri, S
A variational non-linear constrained model for the inversion of FDEM data* 1-gen-2021 diaz de alba, Patricia; Buccini, Alessandro
Variational Problems for Tree Roots and Branches 1-gen-2020 Bressan, A; Palladino, M; Sun, Q
The Variegated Economics and the Potential Politics of the Smart City 1-gen-2016 Rossi, Ugo
Vector-tensor and vector-vector decay amplitude analysis of B-0 ->phi K*0 1-gen-2007 Ferroni, Fernando
Velocity and Attenuation Characterization of the LIGO Site near Livingston, Louisiana 1-gen-2011 Harms, J; O'Reilly, B
Velocity-space cascade in magnetized plasmas: Numerical simulations 1-gen-2018 Pezzi, O.; Servidio, S.; Perrone, D.; Valentini, F.; Sorriso-Valvo, L.; Greco, A.; Matthaeus, W. H.; Veltri, P.
Verdict machinery: On the need to automatically make sense of test results 1-gen-2016 Fagerström, Mikael; Ismail Emre, Emir; Liebel, Grischa; Guliani, Rohit; Larsson, Fredrik; Nordling, Karin; Knauss, Eric; Pelliccione, Patrizio
Verication On The Web Of Mobile Systems 1-gen-2004 Ferrari, Luigi; Gnesi, Stefania; Montanari, Ugo; Raggi, Roberto; Trentanni, Gianluca; Tuosto, E
Verifiable abstractions for contract-oriented systems 1-gen-2017 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Verification of Distributed Systems via Sequential Emulation 1-gen-2022 Di Stefano, Luca; De Nicola, Rocco; Inverso, Omar
Verifying AbC Specifications via Emulation 1-gen-2020 De Nicola, Rocco; Duong, Tan; Inverso, Omar
Verifying Concurrent Programs by Memory Unwinding 1-gen-2015 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Mostrati risultati da 5.741 a 5.760 di 5.877
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