Principi generali di gestione della manutenzione

por Furlanetto, Luciano, Garetti, Marco, Macchi, Marco
Publicado 2006

Cern Axion Solar Telescope (CAST)

Publicado 2002

Aims of the Workshop

por Dornan, P J
Publicado 2010

A measurement of the total charm production cross section in $pp$ interactions at 200 and 360 GeV/c

por Muciaccia, M T, Natali, S, Nuzzo, S, Ruggieri, F, Barth, Monique, Cobbaert, H, Geiregat, D, Roosen, R, Tavernier, Stefaan, Drevermann, H, Geissler, Kryno K, Hervé, A, Johansson, E K, Lecoq, P, Olivier, P, Bartley, J H, Bullock, F W, Coupland, M, Cranfield, R, Davis, D H, Duff, Brian G, Esten, M J, Gjerpe, I, Heymann, Franz F, Hobson, P R, Imrie, D C, Lush, G J, Tovee, D N, Williams, O R, Bailly, J L, Baland, J F, Grard, F, Henri, V P, Kesteman, J, Arnold, R, Maurer, G, Hrubec, H, Neuhofer, Günther, Taurok, Anton
Publicado 1984

Tests on 1999 Vacuum Photodiodes for the CMS Ecal Endcaps

por Camanzi, Barbara, Ergun, G, Hubson, P R, Imrie, Derek C
Publicado 2000

Updated baseline for a staged Compact Linear Collider

por Boland, M J, Felzmann, U, Giansiracusa, P J, Lucas, T G, Rassool, R P, Balazs, C, Charles, T K, Afanaciev, K, Emeliantchik, I, Ignatenko, A, Makarenko, V, Shumeiko, N, Patapenka, A, Zhuk, I, Abusleme Hoffman, A C, Diaz Gutierrez, M A, Gonzalez, M Vogel, Chi, Y, He, X, Pei, G, Pei, S, Shu, G, Wang, X, Zhang, J, Zhao, F, Zhou, Z, Chen, H, Gao, Y, Huang, W, Kuang, Y P, Li, B, Li, Y, Shao, J, Shi, J, Tang, C, Wu, X, Ma, L, Han, Y, Fang, W, Gu, Q, Huang, D, Huang, X, Tan, J, Wang, Z, Zhao, Z, Laštovička, T, Uggerhoj, U, Wistisen, T N, Aabloo, A, Eimre, K, Kuppart, K, Vigonski, S, Zadin, V, Aicheler, M, Baibuz, E, Brücken, E, Djurabekova, F, Eerola, P, Garcia, F, Haeggström, E, Huitu, K, Jansson, V, Karimaki, V, Kassamakov, I, Kyritsakis, A, Lehti, S, Meriläinen, A, Montonen, R, Niinikoski, T, Nordlund, K, Österberg, K, Parekh, M, Törnqvist, N A, Väinölä, J, Veske, M, Farabolini, W, Mollard, A, Napoly, O, Peauger, F, Plouin, J, Bambade, P, Chaikovska, I, Chehab, R, Davier, M, Kaabi, W, Kou, E, LeDiberder, F, Pöschl, R, Zerwas, D, Aimard, B, Balik, G, Baud, J-P, Blaising, J-J, Brunetti, L, Chefdeville, M, Drancourt, C, Geoffroy, N, Jacquemier, J, Jeremie, A, Karyotakis, Y, Nappa, J M, Vilalte, S, Vouters, G, Bernard, A, Peric, I, Gabriel, M, Simon, F, Szalay, M, van der Kolk, N, Alexopoulos, T, Gazis, E N, Gazis, N, Ikarios, E, Kostopoulos, V, Kourkoulis, S, Gupta, P D, Shrivastava, P, Arfaei, H, Dayyani, M K, Ghasem, H, Hajari, S S, Shaker, H, Ashkenazy, Y, Abramowicz, H, Benhammou, Y, Borysov, O, Kananov, S, Levy, A, Levy, I, Rosenblat, O, D'Auria, G, Di Mitri, S, Abe, T, Aryshev, A, Higo, T, Makida, Y, Matsumoto, S, Shidara, T, Takatomi, T, Takubo, Y, Tauchi, T, Toge, N, Ueno, K, Urakawa, J, Yamamoto, A, Yamanaka, M, Raboanary, R, Hart, R, van der Graaf, H, Eigen, G, Zalieckas, J, Adli, E, Lillestøl, R, Malina, L, Pfingstner, J, Sjobak, K N, Ahmed, W, Asghar, M I, Hoorani, H, Bugiel, S, Dasgupta, R, Firlej, M, Fiutowski, T A, Idzik, M, Kopec, M, Kuczynska, M, Moron, J, Swientek, K P, Daniluk, W, Krupa, B, Kucharczyk, M, Lesiak, T, Moszczynski, A, Pawlik, B, Sopicki, P, Wojtoń, T, Zawiejski, L, Kalinowski, J, Krawczyk, M, Żarnecki, A F, Firu, E, Ghenescu, V, Neagu, A T, Preda, T, Zgura, I-S, Aloev, A, Azaryan, N, Budagov, J, Chizhov, M, Filippova, M, Glagolev, V, Gongadze, A, Grigoryan, S, Gudkov, D, Karjavine, V, Lyablin, M, Olyunin, A, Samochkine, A, Sapronov, A, Shirkov, G, Soldatov, V, Solodko, A, Solodko, E, Trubnikov, G, Tyapkin, I, Uzhinsky, V, Vorozhtov, A, Levichev, E, Mezentsev, N, Piminov, P, Shatilov, D, Vobly, P, Zolotarev, K, Bozovic-Jelisavcic, I, Kacarevic, G, Lukic, S, Milutinovic-Dumbelovic, G, Pandurovic, M, Iriso, U, Perez, F, Pont, M, Trenado, J, Aguilar-Benitez, M, Calero, J, Garcia-Tabares, L, Gavela, D, Gutierrez, J L, Lopez, D, Toral, F, Moya, D, Ruiz-Jimeno, A, Vila, I, Argyropoulos, T, Blanch Gutierrez, C, Boronat, M, Esperante, D, Faus-Golfe, A, Fuster, J, Fuster Martinez, N, Galindo Muñoz, N, García, I, Giner Navarro, J, Ros, E, Vos, M, Brenner, R, Ekelöf, T, Jacewicz, M, Ögren, J, Olvegård, M, Ruber, R, Ziemann, V, Aguglia, D, Alipour Tehrani, N, Aloev, A, Andersson, A, Andrianala, F, Antoniou, F, Artoos, K, Atieh, S, Ballabriga Sune, R, Barnes, M J, Barranco Garcia, J, Bartosik, H, Belver-Aguilar, C, Benot Morell, A, Bett, D R, Bettoni, S, Blanchot, G, Blanco Garcia, O, Bonnin, X A, Brunner, O, Burkhardt, H, Calatroni, S, Campbell, M, Catalan Lasheras, N, Cerqueira Bastos, M, Cherif, A, Chevallay, E, Constance, B, Corsini, R, Cure, B, Curt, S, Dalena, B, Dannheim, D, De Michele, G, De Oliveira, L, Deelen, N, Delahaye, J P, Dobers, T, Doebert, S, Draper, M, Duarte Ramos, F, Dubrovskiy, A, Elsener, K, Esberg, J, Esposito, M, Fedosseev, V, Ferracin, P, Fiergolski, A, Foraz, K, Fowler, A, Friebel, F, Fuchs, J-F, Fuentes Rojas, C A, Gaddi, A, Garcia Fajardo, L, Garcia Morales, H, Garion, C, Gatignon, L, Gayde, J-C, Gerwig, H, Goldblatt, A N, Grefe, C, Grudiev, A, Guillot-Vignot, F G, Gutt-Mostowy, M L, Hauschild, M, Hessler, C, Holma, J K, Holzer, E, Hourican, M, Hynds, D, Inntjore Levinsen, Y, Jeanneret, B, Jensen, E, Jonker, M, Kastriotou, M, Kemppinen, J M K, Kieffer, R B, Klempt, W, Kononenko, O, Korsback, A, Koukovini Platia, E, Kovermann, J W, Kozsar, C-I, Kremastiotis, I, Kulis, S, Latina, A, Leaux, F, Lebrun, P, Lefevre, T, Linssen, L, Llopart Cudie, X, Maier, A A, Mainaud Durand, H, Manosperti, E, Marelli, C, Marin Lacoma, E, Martin, R, Mazzoni, S, Mcmonagle, G, Mete, O, Mether, L M, Modena, M, Münker, R M, Muranaka, T, Nebot Del Busto, E, Nikiforou, N, Nisbet, D, Nonglaton, J-M, Nuiry, F X, Nürnberg, A, Olvegard, M, Osborne, J, Papadopoulou, S, Papaphilippou, Y, Passarelli, A, Patecki, M, Pazdera, L, Pellegrini, D, Pepitone, K, Perez, F, Perez Codina, E, Perez Fontenla, A, Persson, T H B, Petrič, M, Pitters, F, Pittet, S, Plassard, F, Rajamak, R, Redford, S, Renier, Y, Rey, S F, Riddone, G, Rinolfi, L, Rodriguez Castro, E, Roloff, P, Rossi, C, Rude, V, Rumolo, G, Sailer, A, Santin, E, Schlatter, D, Schmickler, H, Schulte, D, Shipman, N, Sicking, E, Simoniello, R, Skowronski, P K, Sobrino Mompean, P, Soby, L, Sosin, M P, Sroka, S, Stapnes, S, Sterbini, G, Ström, R, Syratchev, I, Tecker, F, Thonet, P A, Timeo, L, Timko, H, Tomas Garcia, R, Valerio, P, Vamvakas, A L, Vivoli, A, Weber, M A, Wegner, R, Wendt, M, Woolley, B, Wuensch, W, Uythoven, J, Zha, H, Zisopoulos, P, Benoit, M, Vicente Barreto Pinto, M, Bopp, M, Braun, H H, Csatari Divall, M, Dehler, M, Garvey, T, Raguin, J Y, Rivkin, L, Zennaro, R, Aksoy, A, Nergiz, Z, Pilicer, E, Tapan, I, Yavas, O, Baturin, V, Kholodov, R, Lebedynskyi, S, Miroshnichenko, V, Mordyk, S, Profatilova, I, Storizhko, V, Watson, N, Winter, A, Goldstein, J, Green, S, Marshall, J S, Thomson, M A, Xu, B, Gillespie, W A, Pan, R, Tyrk, M A, Protopopescu, D, Robson, A, Apsimon, R, Bailey, I, Burt, G, Constable, D, Dexter, A, Karimian, S, Lingwood, C, Buckland, M D, Casse, G, Vossebeld, J, Bosco, A, Karataev, P, Kruchinin, K, Lekomtsev, K, Nevay, L, Snuverink, J, Yamakawa, E, Boisvert, V, Boogert, S, Boorman, G, Gibson, S, Lyapin, A, Shields, W, Teixeira-Dias, P, West, S, Jones, R, Joshi, N, Bodenstein, R, Burrows, P N, Christian, G B, Gamba, D, Perry, C, Roberts, J, Clarke, J A, Collomb, N A, Jamison, S P, Shepherd, B J A, Walsh, D, Demarteau, M, Repond, J, Weerts, H, Xia, L, Wells, J D, Adolphsen, C, Barklow, T, Breidenbach, M, Graf, N, Hewett, J., Markiewicz, T, McCormick, D, Moffeit, K, Nosochkov, Y, Oriunno, M, Phinney, N, Rizzo, T, Tantawi, S, Wang, F, Wang, J, White, G, Woodley, M
Publicado 2016

High-Luminosity Large Hadron Collider (HL-LHC): Technical design report

por Aberle, O., Béjar Alonso, I, Brüning, O, Fessia, P, Rossi, L, Tavian, L, Zerlauth, M, Adorisio, C., Adraktas, A., Ady, M., Albertone, J., Alberty, L., Alcaide Leon, M., Alekou, A., Alesini, D., Ferreira, B. Almeida, Lopez, P. Alvarez, Ambrosio, G., Andreu Munoz, P., Anerella, M., Angal-Kalinin, D., Antoniou, F., Apollinari, G., Apollonio, A., Appleby, R., Arduini, G., Alonso, B. Arias, Artoos, K., Atieh, S., Auchmann, B., Badin, V., Baer, T., Baffari, D., Baglin, V., Bajko, M., Ball, A., Ballarino, A., Bally, S., Bampton, T., Banfi, D., Barlow, R., Barnes, M., Barranco, J., Barthelemy, L., Bartmann, W., Bartosik, H., Barzi, E., Battistin, M., Baudrenghien, P., Alonso, I. Bejar, Belomestnykh, S., Benoit, A., Ben-Zvi, I., Bertarelli, A., Bertolasi, S., Bertone, C., Bertran, B., Bestmann, P., Biancacci, N., Bignami, A., Bliss, N., Boccard, C., Body, Y., Borburgh, J., Bordini, B., Borralho, F., Bossert, R., Bottura, L., Boucherie, A., Bozzi, R., Bracco, C., Bravin, E., Bregliozzi, G., Brett, D., Broche, A., Brodzinski, K., Broggi, F., Bruce, R., Brugger, M., Brüning, O., Buffat, X., Burkhardt, H., Burnet, J., Burov, A., Burt, G., Cabezas, R., Cai, Y., Calaga, R., Calatroni, S., Capatina, O., Capelli, T., Cardon, P., Carlier, E., Carra, F., Carvalho, A., Carver, L.R., Caspers, F., Cattenoz, G., Cerutti, F., Chancé, A., Rodrigues, M. Chastre, Chemli, S., Cheng, D., Chiggiato, P., Chlachidze, G., Claudet, S., Coello De Portugal, JM., Collazos, C., Corso, J., Costa Machado, S., Costa Pinto, P., Coulinge, E., Crouch, M., Cruikshank, P., Cruz Alaniz, E., Czech, M., Dahlerup-Petersen, K., Dalena, B., Daniluk, G., Danzeca, S., Day, H., De Carvalho Saraiva, J., De Luca, D., De Maria, R., De Rijk, G., De Silva, S., Dehning, B., Delayen, J., Deliege, Q., Delille, B., Delsaux, F., Denz, R., Devred, A., Dexter, A., Di Girolamo, B., Dietderich, D., Dilly, J.W., Doherty, A., Dos Santos, N., Drago, A., D.Drskovic, Ramos, D. Duarte, Ducimetière, L., Efthymiopoulos, I., Einsweiler, K., Esposito, L., Esteban Muller, J., Evrard, S., Fabbricatore, P., Farinon, S., Fartoukh, S., Faus-Golfe, A., Favre, G., Felice, H., Feral, B., Ferlin, G., Ferracin, P., Ferrari, A., Ferreira, L., Fessia, P., Ficcadenti, L., Fiotakis, S., Fiscarelli, L., Fitterer, M., Fleiter, J., Foffano, G., Fol, E., Folch, R., Foraz, K., Foussat, A., Frankl, M., Frasciello, O., Fraser, M., Menendez, P. Freijedo, Fuchs, J-F., Furuseth, S., Gaddi, A., Gallilee, M., Gallo, A., Alia, R. Garcia, Gavela, H. Garcia, Matos, J. Garcia, Garcia Morales, H., Valdivieso, A. Garcia-Tabares, Garino, C., Garion, C., Gascon, J., Gasnier, Ch., Gentini, L., Gentsos, C., Ghosh, A., Giacomel, L., Hernandez, K. Gibran, Gibson, S., Ginburg, C., Giordano, F., Giovannozzi, M., Goddard, B., Gomes, P., Gonzalez De La Aleja Cabana, M., Goudket, P., Gousiou, E., Gradassi, P., Costa, A. Granadeiro, Grand-Clément, L., Grillot, S., Guillaume, JC., Guinchard, M., Hagen, P., Hakulinen, T., Hall, B., Hansen, J., Heredia Garcia, N., Herr, W., Herty, A., Hill, C., Hofer, M., Höfle, W., Holzer, B., Hopkins, S., Hrivnak, J., Iadarola, G., Infantino, A., Bermudez, S. Izquierdo, Jakobsen, S., Jebramcik, M.A., Jenninger, B., Jensen, E., Jones, M., Jones, R., Jones, T., Jowett, J., Juchno, M., Julie, C., Junginger, T., Kain, V., Kaltchev, D., Karastathis, N., Kardasopoulos, P., Karppinen, M., Keintzel, J., Kersevan, R., Killing, F., Kirby, G., Korostelev, M., Kos, N., Kostoglou, S., Kozsar, I., Krasnov, A., Krave, S., Krzempek, L., Kuder, N., Kurtulus, A., Kwee-Hinzmann, R., Lackner, F., Lamont, M., Lamure, A.L., m, L. Lari, Lazzaroni, M., Le Garrec, M., Lechner, A., Lefevre, T., Leuxe, R., Li, K., Li, Z., Lindner, R., Lindstrom, B., Lingwood, C., Löffler, C., Lopez, C., Lopez-Hernandez, LA., Losito, R., Maciariello, F., Macintosh, P., Maclean, E.H., Macpherson, A., Maesen, P., Magnier, C., Durand, H. Mainaud, Malina, L., Manfredi, M., Marcellini, F., Marchevsky, M., Maridor, S., Marinaro, G., Marinov, K., Markiewicz, T., Marsili, A., Martinez Urioz, P., Martino, M., Masi, A., Mastoridis, T., Mattelaer, P., May, A., Mazet, J., Mcilwraith, S., McIntosh, E., Medina Medrano, L., Mejica Rodriguez, A., Mendes, M., Menendez, P., Mensi, M., Mereghetti, A., Mergelkuhl, D., Mertens, T., Mether, L., Métral, E., Migliorati, M., Milanese, A., Minginette, P., Missiaen, D., Mitsuhashi, T., Modena, M., Mokhov, N., Molson, J., Monneret, E., Montesinos, E., Moron-Ballester, R., Morrone, M., Mostacci, A., Mounet, N., Moyret, P., Muffat, P., Muratori, B., Muttoni, Y., Nakamoto, T., Navarro-Tapia, M., Neupert, H., Nevay, L., Nicol, T., Nilsson, E., Ninin, P., Nobrega, A., Noels, C., Nolan, E., Nosochkov, Y., Nuiry, FX., Oberli, L., Ogitsu, T., Ohmi, K., Olave R., Oliveira, J., Orlandi, Ph., Ortega, P., Osborne, J., Otto, T., Palumbo, L., Papadopoulou, S., Papaphilippou, Y., Paraschou, K., Parente, C., Paret, S., Park, H., Parma, V., Pasquino, Ch., Patapenka, A., Patnaik, L., Pattalwar, S., Payet, J., Pechaud, G., Pellegrini, D., Pepinster, P., Perez, J., Espinos, J. Perez, Marcone, A. Perillo, Perin, A., Perini, P., Persson, T.H.B., Peterson, T., Pieloni, T., Pigny, G., Pinheiro de Sousa, J.P., Pirotte, O., Plassard, F., Pojer, M., Pontercorvo, L., Poyet, A., Prelipcean, D., Prin, H., Principe, R., Pugnat, T., Qiang, J., Quaranta, E., Rafique, H., Rakhno, I., Duarte, D. Ramos, Ratti, A., Ravaioli, E., Raymond, M., Redaelli, S., Renaglia, T., Ricci, D., Riddone, G., Rifflet, J., Rigutto, E., Rijoff, T., Rinaldesi, R., Riu Martinez, O., Rivkin, L., Rodriguez Mateos, F., Roesler, S., Romera Ramirez, I., Rossi, A., Rossi, L., Rude, V., Rumolo, G., Rutkovksi, J., Sabate Gilarte, M., Sabbi, G., Sahner, T., Salemme, R., Salvant, B., Galan, F. Sanchez, Santamaria Garcia, A., Santillana, I., Santini, C., Santos, O., Diaz, P. Santos, Sasaki, K., Savary, F., Sbrizzi, A., Schaumann, M., Scheuerlein, C., Schmalzle, J., Schmickler, H., Schmidt, R., Schoerling, D., Segreti, M., Serluca, M., Serrano, J., Sestak, J., Shaposhnikova, E., Shatilov, D., Siemko, A., Sisti, M., Sitko, M., Skarita, J., Skordis, E., Skoufaris, K., Skripka, G., Smekens, D., Sobiech, Z., Sosin, M., Sorbio, M., Soubelet, F., Spataro, B., Spiezia, G., Stancari, G., Staterao, M., Steckert, J., Steele, G., Sterbini, G., Struik, M., Sugano, M., Szeberenyi, A., Taborelli, M., Tambasco, C., Rego, R. Tavares, Tavian, L., Teissandier, B., Templeton, N., Therasse, M., Thiesen, H., Thomas, E., Toader, A., Todesco, E., Tomás, R., Toral, F., Torres-Sanchez, R., Trad, G., Triantafyllou, N., Tropin, I., Tsinganis, A., Tuckamantel, J., Uythoven, J., Valishev, A., Van Der Veken, F., Van Weelderen, R., Vande Craen, A., Vazquez De Prada, B., Velotti, F., Verdu Andres, S., Verweij, A., Shetty, N. Vittal, Vlachoudis, V., Volpini, G., Wagner, U., Wanderer, P., Wang, M., Wang, X., Wanzenberg, R., Wegscheider, A., Weisz, S., Welsch, C., Wendt, M., Wenninger, J., Weterings, W., White, S., Widuch, K., Will, A., Willering, G., Wollmann, D., Wolski, A., Wozniak, J., Wu, Q., Xiao, B., Xiao, L., Xu, Q., Yakovlev, Y., Yammine, S., Yang, Y., Yu, M., Zacharov, I., Zagorodnova, O., Zannini, C., Zanoni, C., Zerlauth, M., Zimmermann, F., Zlobin, A., Zobov, M., Zurbano Fernandez, I.
Publicado 2020

Cracking the Einstein code: relativity and the birth of black hole physics

por Melia, Fulvio
Publicado 2009

Sviluppo di un nuovo trigger con identificazione di quark-b per il canale Z($\nu\nu$)H(bb) nell'esperimento CMS ad LHC

por Donato, Silvio
Publicado 2013

Decoding non-canonical mRNA decay by the endoplasmic-reticulum stress sensor IRE1α

por Le Thomas, Adrien, Ferri, Elena, Marsters, Scot, Harnoss, Jonathan M., Lawrence, David A., Zuazo-Gaztelu, Iratxe, Modrusan, Zora, Chan, Sara, Solon, Margaret, Chalouni, Cécile, Li, Weihan, Koeppen, Hartmut, Rudolph, Joachim, Wang, Weiru, Wu, Thomas D., Walter, Peter, Ashkenazi, Avi
Publicado 2021

A measurement of the total charm cross section in 200 and 360 GeV/c pN interactions using a holographic bubble chamber

por Erriquez, O, Calicchio, M, Muciaccia, M T, Natali, S, Nuzzo, S, Ruggieri, F, Barth, Monique, Cobbaert, H, Geiregat, D, Roosen, R, Tavernier, Stefaan, Drevermann, H, Geissler, Kryno K, Hervé, A, Johansson, E K, Lecoq, P, Minaev, N G, Olivier, P, Bartley, J H, Bullock, F W, Coupland, M, Cranfield, R, Duff, Brian G, Esten, M J, Gjerpe, I, Heymann, Franz F, Hobson, P R, Imrie, D C, Lush, G J, Williams, O R, Bailly, J L, Baland, J F, Grard, F, Henri, V P, Kesteman, J, Boratav, M, Touboul, M C, Touchard, A M, Arnold, R, Maurer, G, Hrubec, Josef, Neuhofer, Günther, Taurok, Anton
Publicado 1985

The ascent of gravity: the quest to understand the force that explains everything

por Chown, Marcus
Publicado 2017

Radiation hardness of a shashlik-type calorimeter

por Dobrzynski, Ludwik, Aspell, P, Bates, S, Bloch, P, Grabit, R, Jarron, Pierre, Lemeilleur, F, Loos, R, Marchioro, A, Kloukinas, Kostas C, Rosso, E, Chendvankar, S R, Sen-Gupta, S K, Ganguli, S N, Gurtu, A, Maity, M, Majumder, G, Mazumdar, K, Moulik, T, Brown, R M, Cockerill, D J A, Connolly, J, Denton, Lynn, Cheremukhin, I, Golutvin, I A, Moisenz, P V, Sergeev, S, Zubarev, E V, Zamiatin, N I, Siolios, N, Triantis, F A, Bordello, P, Ramos, S, Varela, J, Clayton, E, Miller, D, Seez, Christopher J, Virdee, Tejinder S, Djilkibaev, R, Gninenko, S N, Guschin, E, Musienko, Yu V, Popov, S, Popov, V, Skasyrskaya, A, Semenyuk, I N, Badier, J, Busata, A, Busson, P, Charlot, C, Ferreira, O, Gregory, C, Karar, A, Manigot, P, Tanaka, R, Sun, Z, Vanel, J C, Bityukov, S I, Obraztsov, V F, Ostankov, A P, Protopopov, Yu, Rykalin, V I, Spiridonov, P, Soushkov, V, Vasilchenko, V G, Godinovic, N, Puljak, I, Soric, I, Hobson, P R, Imrie, D C
Publicado 1996

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

por Benzmüller, Christoph
Publicado 2019

The development of vacuum phototriodes for the CMS electromagnetic calorimeter

por Bell, K W, Brown, R M, Cockerill, D J A, Flower, P S, Hobson, P R, Imrie, D C, Kennedy, B W, Lintern, A L, Pattison, C A X, Sproston, M, Williams, J H
Publicado 2001