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.340 a 5.359 di 7.407
Titolo Data di pubblicazione Autore(i) File
Rational verification in iterated electric boolean bames 1-gen-2016 Oualhadj, Y; Troquard, N
RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network 1-gen-2017 Zhang, Pengcheng; Zhou, Xuewu; Pelliccione, Patrizio; Leung, Hareton
Re-defining the Boundaries of Major Italian Cities 1-gen-2013 Calafati, Antonio G.; Veneri, Paolo
Reactive Systems: Modelling, Specification and Verification 1-gen-2007 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
Reactor antineutrino anomaly in light of recent flux model refinements 1-gen-2022 Giunti, C.; Li, Y. F.; Ternes, C. A.; Xin, Z.
Reactor neutrino background in next-generation dark matter detectors 1-gen-2024 Aristizabal Sierra, D.; De Romeri, Valentina; Ternes, Christoph A.
Reactor rate modulation oscillation analysis with two detectors in Double Chooz 1-gen-2021 Null, Null; Abrahão, T.; Almazan, H.; dos Anjos, J. C.; Appel, S.; Barriere, J. C.; Bekman, I.; Bezerra, T. J. C.; Bezrukov, L.; Blucher, E.; Brugière, T.; Buck, C.; Busenitz, J.; Cabrera, A.; Cerrada, M.; Chauveau, E.; Chimenti, P.; Corpace, O.; Dawson, J. V.; Djurcic, Z.; Etenko, A.; Furuta, H.; Gil-Botella, I.; Givaudan, A.; Gomez, H.; Gonzalez, L. F. G.; Goodman, M. C.; Hara, T.; Haser, J.; Hellwig, D.; Hourlier, A.; Ishitsuka, M.; Jochum, J.; Jollet, C.; Kale, K.; Kaneda, M.; Karakac, M.; Kawasaki, T.; Kemp, E.; de Kerret, H.; Kryn, D.; Kuze, M.; Lachenmaier, T.; Lane, C. E.; Lasserre, T.; Lastoria, C.; Lhuillier, D.; Pessoa Lima Junior, H.; Lindner, M.; López-Castaño, J. M.; Losecco, J. M.; Lubsandorzhiev, B.; Maeda, J.; Mariani, C.; Maricic, J.; Martino, J.; Matsubara, T.; Mention, G.; Meregaglia, A.; Miletic, T.; Milincic, R.; Minotti, A.; Navas-Nicolás, D.; Novella, P.; Oberauer, L.; Obolensky, M.; Onillon, A.; Oralbaev, A.; Palomares, C.; Pepe, I. M.; Pronost, G.; Reichenbacher, J.; Reinhold, B.; Schönert, S.; Schoppmann, S.; Scola, L.; Sharankova, R.; Sibille, V.; Sinev, V.; Skorokhvatov, M.; Soldin, P.; Stahl, A.; Stancu, I.; Stokes, L. F. F.; Suekane, F.; Sukhotin, S.; Sumiyoshi, T.; Sun, Y.; Veyssiere, C.; Viaud, B.; Vivier, M.; Wagner, S.; Wiebusch, C.; Yang, G.; Yermia, F.
Reading between the Lines: Context-Aware AI-based generation of software exploits 1-gen-2026 Improta, Cristina; Liguori, Pietro; Natella, Roberto; Cukic, Bojan; Cotroneo, Domenico
Readout technologies for directional WIMP Dark Matter detection 1-gen-2016 Battat, Jbr; Irastorza, Ig; Aleksandrov, A; Asada, T; Baracchini, E; Billard, J; Bosson, G; Bourrion, O; Bouvier, J; Buonaura, A; Burdge, K; Cebrian, S; Colas, P; Consiglio, L; Dafni, T; D'Ambrosio, N; Deaconu, C; De Lellis, G; Descombes, T; Di Crescenzo, A; Di Marco, N; Druitt, G; Eggleston, R; Ferrer-Ribas, E; Fusayasu, T; Galan, J; Galati, G; Garcia, Ja; Garza, Jg; Gentile, V; Garcia-Sciveres, M; Giomataris, Y; Guerrero, N; Guillaudin, O; Guler, Am; Harton, J; Hashimoto, T; Hedges, Mt; Iguaz, Fj; Ikeda, T; Jaegle, I; Kadyk, Ja; Katsuragawa, T; Komura, S; Kubo, H; Kuge, K; Lamblin, J; Lauria, A; Lee, Er; Lewis, P; Leyton, M; Loomba, D; Lopez, Jp; Luzon, G; Mayet, F; Mirallas, H; Miuchi, K; Mizumoto, T; Mizumura, Y; Monacelli, P; Monroe, J; Montesi, Mc; Naka, T; Nakamura, K; Nishimura, H; Ochi, A; Papevangelou, T; Parker, Jd; Phan, Ns; Pupilli, F; Richer, Jp; Riffard, Q; Rosa, G; Santos, D; Sawano, T; Sekiya, H; Seong, Is; Snowden-Ifft, Dp; Spooner, Njc; Sugiyama, A; Taishaku, R; Takada, A; Takeda, A; Tanaka, M; Tanimori, T; Thorpe, Tn; Tioukov, V; Tomita, H; Umemoto, A; Vahsen, Se; Yamaguchi, Y; Yoshimoto, M; Zayas, E
Real time supernova neutrino burst detection with MACRO 1-gen-1998 Ambrosio, M.; Antolini, R.; Auriemma, G.; Baker, R.; Baldini, A.; Barbarino, G. C.; Barish, B. C.; Battistoni, G.; Bellotti, R.; Bemporad, C.; Bernardini, P.; Bilokon, H.; Bisi, V.; Bloise, C.; Bower, C.; Bussino, S.; Cafagna, F.; Calicchio, M.; Campana, D.; Carboni, M.; Castellano, M.; Cecchini, S.; Cei, F.; Celio, P.; Chiarella, V.; Corona, A.; Coutu, S.; De Benedictis, L.; De Cataldo, G.; Dekhissi, H.; De Marzo, C.; De Mitri, I.; De Vincenzi, M.; Di Credico, A.; Erriquez, O.; Favuzzi, C.; Forti, C.; Fusco, P.; Giacomelli, G.; Giannini, G.; Giglietto, N.; Grassi, M.; Gray, L.; Grillo, A.; Guarino, F.; Guarnaccia, P.; Gustavino, C.; Habig, A.; Hanson, K.; Hawthorne, A.; Heinz, R.; Hong, J. T.; Iarocci, E.; Katsavounidis, E.; Kearns, E.; Kyriazopoulou, S.; Lamanna, E.; Lane, C.; Levin, D. S.; Lipari, P.; Liu, R.; Longley, N. P.; Longo, M. J.; Ludlam, G.; Maaroufi, F.; Mancarella, G.; Mandrioli, G.; Manzoor, S.; Margiotta Neri, A.; Marini, A.; Martello, D.; Marzari-Chiesa, A.; Mazziotta, M. N.; Mazzotta, C.; Michael, D. G.; Mikheyev, S.; Miller, L.; Monacelli, P.; Montaruli, T.; Monteno, M.; Mufson, S.; Musser, J.; Nicoló, D.; Nolty, R.; Okada, C.; Orth, C.; Osteria, G.; Palamara, O.; Parlati, S.; Patera, V.; Patrizii, L.; Pazzi, R.; Peck, C. W.; Petrera, S.; Pistilli, P.; Popa, V.; Rainó, A.; Reynoldson, J.; Ronga, F.; Rubizzo, U.; Sanzgiri, A.; Satriano, C.; Satta, L.; Scapparone, E.; Scholberg, K.; Sciubba, A.; Serra-Lugaresi, P.; Severi, M.; Sioli, M.; Sitta, M.; Spinelli, P.; Spinetti, M.; Spurio, M.; Steinberg, R.; Stone, J. L.; Sulak, L. R.; Surdo, A.; Tarlé, G.; Togo, V.; Valente, V.; Walter, C. W.; Webb, R.
Real-time earthquake warning for astronomical observatories 1-gen-2015 Coughlin, M; Stubbs, C; Barrientos, S; Claver, C; Harms, J; Chris Smith, R; Warner, M
Realisability of pomsets 1-gen-2019 Roberto, Guanciale; Tuosto, E
Realisability of Pomsets via Communicating Automata 1-gen-2018 Guanciale, Roberto; Tuosto, E
Realistic filter cavities for advanced gravitational wave detectors 1-gen-2013 Evans, M; Barsotti, L; Kwee, P; Harms, J; Miao, H
Realizing architecture frameworks through megamodelling techniques 1-gen-2010 Rich, Hilliard; Ivano, Malavolta; Muccini, Henry; Pelliccione, Patrizio
Realizing Ethical-Aware Business Processes 1-gen-2025 Pettinari, Sara; De Sanctis, Martina; Inverardi, Paola
Reasoning about choice 1-gen-2013 Van Der Hoek, W; Troquard, N; Wooldridge, M
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 1-gen-2014 Troquard, N
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints 1-gen-2015 Busard, S.; Pecheur, C.; Qu, H.; Raimondi, F.
Reasoning About Social Choice Functions 1-gen-2011 Troquard, N; van der Hoek, W; Wooldridge, M
Mostrati risultati da 5.340 a 5.359 di 7.407
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