Zobrazeno 1 - 10
of 42 969
pro vyhledávání: '"Lago, A."'
Since their appearance in the 1950s, computational models capable of performing probabilistic choices have received wide attention and are nowadays pervasive in almost every areas of computer science. Their development was also inextricably linked wi
Externí odkaz:
http://arxiv.org/abs/2409.11999
Multiparty Session Types (MPSTs) offer a structured way of specifying communication protocols and guarantee relevant communication properties, such as deadlock-freedom. In this paper, we extend a minimal MPST system with quantum data and operations,
Externí odkaz:
http://arxiv.org/abs/2409.11133
Autor:
Batista, Rafael Alves, Benoit-Lévy, Aurélien, Bister, Teresa, Bohacova, Martina, Bustamante, Mauricio, Carvalho, Washington, Chen, Yiren, Cheng, LingMei, Chiche, Simon, Colley, Jean-Marc, Correa, Pablo, Laurenciu, Nicoleta Cucu, Dai, Zigao, de Almeida, Rogerio M., de Errico, Beatriz, de Jong, Sijbrand, Neto, João R. T. de Mello, de Vries, Krijn D, Decoene, Valentin, Denton, Peter B., Duan, Bohao, Duan, Kaikai, Engel, Ralph, Erba, William, Fan, Yizhong, Ferrière, Arsène, Gou, QuanBu, Gu, Junhua, Guelfand, Marion, Guo, Jianhua, Guo, Yiqing, Guépin, Claire, Gülzow, Lukas, Haungs, Andreas, Havelka, Matej, He, Haoning, Hivon, Eric, Hu, Hongbo, Huang, Xiaoyuan, Huang, Yan, Huege, Tim, Jiang, Wen, Koirala, Ramesh, Kong, ChuiZheng, Kotera, Kumiko, Köhler, Jelena, Lago, Bruno L., Lai, Zhisen, Coz, Sandra Le, Legrand, François, Leisos, Antonios, Li, Rui, Li, Xingyu, Li, YiFei, Liu, Cheng, Liu, Ruoyu, Liu, Wei, Ma, Pengxiong, Macias, Oscar, Magnard, Frédéric, Marcowith, Alexandre, Martineau-Huynh, Olivier, McKinley, Thomas, Minodier, Paul, Mitra, Pragati, Mostafá, Miguel, Murase, Kohta, Niess, Valentin, Nonis, Stavros, Ogio, Shoichi, Oikonomou, Foteini, Pan, Hongwei, Papageorgiou, Konstantinos, Pierog, Tanguy, Piotrowski, Lech Wiktor, Prunet, Simon, Qian, Xiangli, Roth, Markus, Sako, Takashi, Schoorlemmer, Harm, Szálas-Motesiczky, Dániel, Sławiński, Szymon, Tian, Xishui, Timmermans, Anne, Timmermans, Charles, Tobiska, Petr, Tsirigotis, Apostolos, Tueros, Matías, Vittakis, George, Wang, Hanrui, Wang, Jiale, Wang, Shen, Wang, Xiangyu, Wang, Xu, Wei, Daming, Wei, Feng, Wu, Xiangping, Wu, Xuefeng, Xu, Xin, Xu, Xing, Yang, Fufu, Yang, Lili, Yang, Xuan, Yuan, Qiang, Zarka, Philippe, Zeng, Houdun, Zhang, Chao, Zhang, Jianli, Zhang, Kewen, Zhang, Pengfei, Zhang, Qingchi, Zhang, Songbo, Zhang, Yi, Zhou, Hao, Wissel, Stephanie, Zeolla, Andrew, Deaconu, Cosmin, Hughes, Kaeli, Martin, Zachary, Mulrey, Katharine, Cummings, Austin, Krömer, Oliver, Plant, Kathryn, Schroeder, Frank G.
This is an index of the contributions by the Giant Radio Array for Neutrino Detection (GRAND) Collaboration to the 10th International Workshop on Acoustic and Radio EeV Neutrino Detection Activities (ARENA 2024, University of Chicago, June 11-14, 202
Externí odkaz:
http://arxiv.org/abs/2409.03427
A $\lambda$-calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographic constructions and adversaries for them, even when the latter a
Externí odkaz:
http://arxiv.org/abs/2408.17340
Autor:
Munakata, K., Hayashi, Y., Kozai, M., Kato, C., Miyashita, N., Kataoka, R., Kadokura, A., Miyake, S., Iwai, K., Echer, E., Lago, A. Dal, Rockenbach, M., Schuch, N. J., Bageston, J. V., Braga, C. R., Jassar, H. K. Al, Sharma, M. M., Duldig, M. L., Humble, J. E., Sabbah, I., Evenson, P., Kuwabara, T., Kóta, J.
This paper presents the global analysis of two extended decreases of the galactic cosmic ray intensity observed by world-wide networks of ground-based detectors in 2012. This analysis is capable of separately deriving the cosmic ray density (or omnid
Externí odkaz:
http://arxiv.org/abs/2408.14696
Autor:
GRAND Collaboration, Batista, Rafael Alves, Benoit-Lévy, Aurélien, Bister, Teresa, Bohacova, Martina, Bustamante, Mauricio, Carvalho, Washington, Chen, Yiren, Cheng, LingMei, Chiche, Simon, Colley, Jean-Marc, Correa, Pablo, Laurenciu, Nicoleta Cucu, Dai, Zigao, de Almeida, Rogerio M., de Errico, Beatriz, de Jong, Sijbrand, Neto, João R. T. de Mello, de Vries, Krijn D., Decoene, Valentin, Denton, Peter B., Duan, Bohao, Duan, Kaikai, Engel, Ralph, Erba, William, Fan, Yizhong, Ferrière, Arsène, Gou, QuanBu, Gu, Junhua, Guelfand, Marion, Guo, Jianhua, Guo, Yiqing, Guépin, Claire, Gülzow, Lukas, Haungs, Andreas, Havelka, Matej, He, Haoning, Hivon, Eric, Hu, Hongbo, Huang, Xiaoyuan, Huang, Yan, Huege, Tim, Jiang, Wen, Koirala, Ramesh, Kong, ChuiZheng, Kotera, Kumiko, Köhler, Jelena, Lago, Bruno L., Lai, Zhisen, Coz, Sandra Le, Legrand, François, Leisos, Antonios, Li, Rui, Li, Xingyu, Li, YiFei, Liu, Cheng, Liu, Ruoyu, Liu, Wei, Ma, Pengxiong, Macias, Oscar, Magnard, Frédéric, Marcowith, Alexandre, Martineau-Huynh, Olivier, McKinley, Thomas, Minodier, Paul, Mitra, Pragati, Mostafá, Miguel, Murase, Kohta, Niess, Valentin, Nonis, Stavros, Ogio, Shoichi, Oikonomou, Foteini, Pan, Hongwei, Papageorgiou, Konstantinos, Pierog, Tanguy, Piotrowski, Lech Wiktor, Prunet, Simon, Qian, Xiangli, Roth, Markus, Sako, Takashi, Schoorlemmer, Harm, Szálas-Motesiczky, Dániel, Sławiński, Szymon, Tian, Xishui, Timmermans, Anne, Timmermans, Charles, Tobiska, Petr, Tsirigotis, Apostolos, Tueros, Matías, Vittakis, George, Wang, Hanrui, Wang, Jiale, Wang, Shen, Wang, Xiangyu, Wang, Xu, Wei, Daming, Wei, Feng, Wu, Xiangping, Wu, Xuefeng, Xu, Xin, Xu, Xing, Yang, Fufu, Yang, Lili, Yang, Xuan, Yuan, Qiang, Zarka, Philippe, Zeng, Houdun, Zhang, Chao, Zhang, Jianli, Zhang, Kewen, Zhang, Pengfei, Zhang, Qingchi, Zhang, Songbo, Zhang, Yi, Zhou, Hao
The operation of upcoming ultra-high-energy cosmic-ray, gamma-ray, and neutrino radio-detection experiments, like the Giant Radio Array for Neutrino Detection (GRAND), poses significant computational challenges involving the production of numerous si
Externí odkaz:
http://arxiv.org/abs/2408.10926
Autor:
The Pierre Auger Collaboration, Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Cheminant, K. Almeida, Almela, A., Aloisio, R., Alvarez-Muñiz, J., Ambrosone, A., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Dourado, L. Andrade, Andringa, S., Apollonio, L., Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Assis, P., Avila, G., Avocone, E., Bakalova, A., Barbato, F., Mocellin, A. Bartz, Bellido, J. A., Berat, C., Bertaina, M. E., Bhatta, G., Bianciotto, M., Biermann, P. L., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Orchera, P. G. Brichetto, Briechle, F. L., Bueno, A., Buitink, S., Buscemi, M., Büsken, M., Bwembya, A., Caballero-Mora, K. S., Cabana-Freire, S., Caccianiga, L., Campuzano, F., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Čermáková, B., Cermenati, A., Chinellato, J. A., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Conceição, R., Condorelli, A., Consolati, G., Conte, M., Convenga, F., Santos, D. Correia dos, Costa, P. J., Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Errico, B., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., De Vito, E., Del Popolo, A., Deligny, O., Denner, N., Deval, L., di Matteo, A., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Dorosti, Q., Anjos, J. C. dos, Anjos, R. C. dos, Ebr, J., Ellwanger, F., Emam, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Evoli, C., Falcke, H., Farrar, G., Fauth, A. C., Fehler, T., Feldbusch, F., Fernandes, A., Fick, B., Figueira, J. M., Filip, P., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Freitas, M., Fujii, T., Fuster, A., Galea, C., García, B., Gaudu, C., Ghia, P. L., Giaccari, U., Gobbi, F., Gollan, F., Golup, G., Berisso, M. Gómez, Vitale, P. F. Gómez, Gongora, J. P., González, J. M., González, N., Góra, D., Gorgi, A., Gottowik, M., Guarino, F., Guedes, G. P., Guido, E., Gülzow, L., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harvey, V. M., Haungs, A., Hebbeker, T., Hojvat, C., Hörandel, J. R., Horvath, P., Hrabovský, M., Huege, T., Insolia, A., Isar, P. G., Janecek, P., Jilek, V., Jurysek, J., Kampert, K. -H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Knapp, F., Köhler, J., Krieger, F., Kubatova, M., Kunka, N., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lema-Capeans, Y., Letessier-Selvon, A., Lhenry-Yvon, I., Lopes, L., Lundquist, J. P., Payeras, A. Machado, Mandat, D., Manning, B. C., Mantsch, P., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Bravo, O. Martínez, Martins, M. A., Mathes, H. -J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Merx, C., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Mulrey, K., Mussa, R., Namasaka, W. M., Negi, S., Nellen, L., Nguyen, K., Nicora, G., Niechciol, M., Nitz, D., Nosek, D., Novotny, V., Nožka, L., Nucita, A., Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Panja, S., Parente, G., Paulsen, T., Pawlowsky, J., Pech, M., Pękala, J., Pelayo, R., Pelgrims, V., Pereira, L. A. S., Martins, E. E. Pereira, Bertolli, C. Pérez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shahvar, M. Pourmohammad, Privitera, P., Prouza, M., Querchfeld, S., Rautenberg, J., Ravignani, D., Akim, J. V. Reginatto, Reuzki, A., Ridky, J., Riehn, F., Risse, M., Rizi, V., Rodriguez, E., Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Roulet, E., Rovero, A. C., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Sampathkumar, P., Gomez, J. D. Sanabria, Sánchez, F., Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Schäfer, C. M., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Sciutto, S. J., Scornavacche, M., Sedoski, A., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Simkova, K., Simon, F., Šmída, R., Sommers, P., Squartini, R., Stadelmaier, M., Stanič, S., Stasielak, J., Stassi, P., Strähnz, S., Straub, M., Suomijärvi, T., Supanitsky, A. D., Svozilikova, Z., Szadkowski, Z., Tairli, F., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Tueros, M., Unger, M., Uzeiroska, R., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Vašíčková, V., Vásquez-Ramírez, A., Veberič, D., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Vink, J., Vorobiov, S., Watanabe, C., Watson, A. A., Weindl, A., Weitz, M., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Yue, B., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., Zavrtanik, M.
Results are presented for the measurement of large-scale anisotropies in the arrival directions of ultra-high-energy cosmic rays detected at the Pierre Auger Observatory during 19 years of operation, prior to AugerPrime, the upgrade of the Observator
Externí odkaz:
http://arxiv.org/abs/2408.05292
Autor:
Colledan, Andrea, Lago, Ugo Dal
We introduce a type system for the Quipper language designed to derive upper bounds on the size of the circuits produced by the typed program. This size can be measured according to various metrics, including width, depth and gate count, but also var
Externí odkaz:
http://arxiv.org/abs/2408.03121
Autor:
Kim, Andrea, Saharkhiz, Niloufar, Sizikova, Elena, Lago, Miguel, Sahiner, Berkman, Delfino, Jana, Badano, Aldo
Development of artificial intelligence (AI) techniques in medical imaging requires access to large-scale and diverse datasets for training and evaluation. In dermatology, obtaining such datasets remains challenging due to significant variations in pa
Externí odkaz:
http://arxiv.org/abs/2408.00191
Autor:
Gemma Team, Riviere, Morgane, Pathak, Shreya, Sessa, Pier Giuseppe, Hardin, Cassidy, Bhupatiraju, Surya, Hussenot, Léonard, Mesnard, Thomas, Shahriari, Bobak, Ramé, Alexandre, Ferret, Johan, Liu, Peter, Tafti, Pouya, Friesen, Abe, Casbon, Michelle, Ramos, Sabela, Kumar, Ravin, Lan, Charline Le, Jerome, Sammy, Tsitsulin, Anton, Vieillard, Nino, Stanczyk, Piotr, Girgin, Sertan, Momchev, Nikola, Hoffman, Matt, Thakoor, Shantanu, Grill, Jean-Bastien, Neyshabur, Behnam, Bachem, Olivier, Walton, Alanna, Severyn, Aliaksei, Parrish, Alicia, Ahmad, Aliya, Hutchison, Allen, Abdagic, Alvin, Carl, Amanda, Shen, Amy, Brock, Andy, Coenen, Andy, Laforge, Anthony, Paterson, Antonia, Bastian, Ben, Piot, Bilal, Wu, Bo, Royal, Brandon, Chen, Charlie, Kumar, Chintu, Perry, Chris, Welty, Chris, Choquette-Choo, Christopher A., Sinopalnikov, Danila, Weinberger, David, Vijaykumar, Dimple, Rogozińska, Dominika, Herbison, Dustin, Bandy, Elisa, Wang, Emma, Noland, Eric, Moreira, Erica, Senter, Evan, Eltyshev, Evgenii, Visin, Francesco, Rasskin, Gabriel, Wei, Gary, Cameron, Glenn, Martins, Gus, Hashemi, Hadi, Klimczak-Plucińska, Hanna, Batra, Harleen, Dhand, Harsh, Nardini, Ivan, Mein, Jacinda, Zhou, Jack, Svensson, James, Stanway, Jeff, Chan, Jetha, Zhou, Jin Peng, Carrasqueira, Joana, Iljazi, Joana, Becker, Jocelyn, Fernandez, Joe, van Amersfoort, Joost, Gordon, Josh, Lipschultz, Josh, Newlan, Josh, Ji, Ju-yeong, Mohamed, Kareem, Badola, Kartikeya, Black, Kat, Millican, Katie, McDonell, Keelin, Nguyen, Kelvin, Sodhia, Kiranbir, Greene, Kish, Sjoesund, Lars Lowe, Usui, Lauren, Sifre, Laurent, Heuermann, Lena, Lago, Leticia, McNealus, Lilly, Soares, Livio Baldini, Kilpatrick, Logan, Dixon, Lucas, Martins, Luciano, Reid, Machel, Singh, Manvinder, Iverson, Mark, Görner, Martin, Velloso, Mat, Wirth, Mateo, Davidow, Matt, Miller, Matt, Rahtz, Matthew, Watson, Matthew, Risdal, Meg, Kazemi, Mehran, Moynihan, Michael, Zhang, Ming, Kahng, Minsuk, Park, Minwoo, Rahman, Mofi, Khatwani, Mohit, Dao, Natalie, Bardoliwalla, Nenshad, Devanathan, Nesh, Dumai, Neta, Chauhan, Nilay, Wahltinez, Oscar, Botarda, Pankil, Barnes, Parker, Barham, Paul, Michel, Paul, Jin, Pengchong, Georgiev, Petko, Culliton, Phil, Kuppala, Pradeep, Comanescu, Ramona, Merhej, Ramona, Jana, Reena, Rokni, Reza Ardeshir, Agarwal, Rishabh, Mullins, Ryan, Saadat, Samaneh, Carthy, Sara Mc, Cogan, Sarah, Perrin, Sarah, Arnold, Sébastien M. R., Krause, Sebastian, Dai, Shengyang, Garg, Shruti, Sheth, Shruti, Ronstrom, Sue, Chan, Susan, Jordan, Timothy, Yu, Ting, Eccles, Tom, Hennigan, Tom, Kocisky, Tomas, Doshi, Tulsee, Jain, Vihan, Yadav, Vikas, Meshram, Vilobh, Dharmadhikari, Vishal, Barkley, Warren, Wei, Wei, Ye, Wenming, Han, Woohyun, Kwon, Woosuk, Xu, Xiang, Shen, Zhe, Gong, Zhitao, Wei, Zichuan, Cotruta, Victor, Kirk, Phoebe, Rao, Anand, Giang, Minh, Peran, Ludovic, Warkentin, Tris, Collins, Eli, Barral, Joelle, Ghahramani, Zoubin, Hadsell, Raia, Sculley, D., Banks, Jeanine, Dragan, Anca, Petrov, Slav, Vinyals, Oriol, Dean, Jeff, Hassabis, Demis, Kavukcuoglu, Koray, Farabet, Clement, Buchatskaya, Elena, Borgeaud, Sebastian, Fiedel, Noah, Joulin, Armand, Kenealy, Kathleen, Dadashi, Robert, Andreev, Alek
In this work, we introduce Gemma 2, a new addition to the Gemma family of lightweight, state-of-the-art open models, ranging in scale from 2 billion to 27 billion parameters. In this new version, we apply several known technical modifications to the
Externí odkaz:
http://arxiv.org/abs/2408.00118