Zobrazeno 1 - 10
of 6 843
pro vyhledávání: '"Lindley, P."'
Autor:
Asai, Shoji, Ballarino, Amalia, Bose, Tulika, Cranmer, Kyle, Cyr-Racine, Francis-Yan, Demers, Sarah, Geddes, Cameron, Gershtein, Yuri, Heeger, Karsten, Heinemann, Beate, Hewett, JoAnne, Huber, Patrick, Mahn, Kendall, Mandelbaum, Rachel, Maricic, Jelena, Merkel, Petra, Monahan, Christopher, Murayama, Hitoshi, Onyisi, Peter, Palmer, Mark, Raubenheimer, Tor, Sanchez, Mayly, Schnee, Richard, Seidel, Sally, Seo, Seon-Hee, Thaler, Jesse, Touramanis, Christos, Vieregg, Abigail, Weinstein, Amanda, Winslow, Lindley, Yu, Tien-Tien, Zwaska, Robert
This is the report from the 2023 Particle Physics Project Prioritization Panel (P5) approved by High Energy Physics Advisory Panel (HEPAP) on December 8, 2023. The final version was made public on May 8, 2024 and submitted to DOE SC and NSF MPS.
Externí odkaz:
http://arxiv.org/abs/2407.19176
We propose a novel type system for effects and handlers using modal types. Conventional effect systems attach effects to function types, which can lead to verbose effect-polymorphic types, especially for higher-order functions. Our modal effect syste
Externí odkaz:
http://arxiv.org/abs/2407.11816
Dark matter makes up approximately 85% of total matter in our universe, yet it has never been directly observed in any laboratory on Earth. The origin of dark matter is one of the most important questions in contemporary physics, and a convincing det
Externí odkaz:
http://arxiv.org/abs/2406.04378
Autor:
Benjamin, Jesse Josua, Lindley, Joseph, Edwards, Elizabeth, Rubegni, Elisa, Korjakow, Tim, Grist, David, Sharkey, Rhiannon
Generative AI technologies demand new practical and critical competencies, which call on design to respond to and foster these. We present an exploratory study guided by Research-through-Design, in which we partnered with a primary school to develop
Externí odkaz:
http://arxiv.org/abs/2405.04677
Autor:
KamLAND, Collaborations, Super-Kamiokande, Abe, Seisho, Eizuka, Minori, Futagi, Sawako, Gando, Azusa, Gando, Yoshihito, Goto, Shun, Hachiya, Takahiko, Hata, Kazumi, Ichimura, Koichi, Ieki, Sei, Ikeda, Haruo, Inoue, Kunio, Ishidoshiro, Koji, Kamei, Yuto, Kawada, Nanami, Kishimoto, Yasuhiro, Koga, Masayuki, Kurasawa, Maho, Mitsui, Tadao, Miyake, Haruhiko, Morita, Daisuke, Nakahata, Takeshi, Nakajima, Rika, Nakamura, Kengo, Nakamura, Rikuo, Nakamura, Ryo, Nakane, Jun, Ozaki, Hideyoshi, Saito, Keita, Sakai, Taichi, Shimizu, Itaru, Shirai, Junpei, Shiraishi, Kensuke, Shoji, Ryunosuke, Suzuki, Atsuto, Takeuchi, Atsuto, Tamae, Kyoko, Watanabe, Hiroko, Watanabe, Kazuho, Yoshida, Sei, Umehara, Saori, Fushimi, Ken-Ichi, Kotera, Kenta, Urano, Yusuke, Berger, Bruce E., Fujikawa, Brian K., Larned, John G., Maricic, Jelena, Fu, Zhenghao, Smolsky, Joseph, Winslow, Lindley A., Efremenko, Yuri, Karwowski, Hugon J., Markoff, Diane M., Tornow, Werner, Dell'Oro, Stefano, O'Donnell, Thomas, Detwiler, Jason A., Enomoto, Sanshiro, Decowski, Michal P., Weerman, Kelly M., Grant, Christopher, Song, Hasung, Li, Aobo, Axani, Spencer N., Garcia, Miles, Abe, Ko, Bronner, Christophe, Hayato, Yoshinari, Hiraide, Katsuki, Hosokawa, Keishi, Ieki, Kei, Ikeda, Motoyasu, Kameda, June, Kanemura, Yuki, Kaneshima, Ryota, Kashiwagi, Yuri, Kataoka, Yousuke, Miki, Shintaro, Mine, Shunichi, Miura, Makoto, Moriyama, Shigetaka, Nakahata, Masayuki, Nakano, Yuuki, Nakayama, Shoei, Noguchi, Yohei, Sato, Kazufumi, Sekiya, Hiroyuki, Shiba, Hayato, Shimizu, Kotaro, Shiozawa, Masato, Sonoda, Yutaro, Suzuki, Yoichiro, Takeda, Atsushi, Takemoto, Yasuhiro, Tanaka, Hidekazu K., Yano, Takatomi, Han, Seungho, Kajita, Takaaki, Okumura, Kimihiro, Tashiro, Takuya, Tomiya, Takuya, Wang, Xubin, Yoshida, Shunsuke, Fernandez, Pablo, Labarga, Luis, Ospina, Nataly, Zaldivar, Bryan, Pointon, Barry W., Kearns, Edward, Raaf, Jennifer L., Wan, Linyan, Wester, Thomas, Bian, Jianming, Griskevich, Jeff, Smy, Michael B., Sobel, Henry W., Takhistov, Volodymyr, Yankelevich, Alejandro, Hill, James, Jang, MinCheol, Lee, Seonghak, Moon, DongHo, Park, RyeongGyoon, Bodur, Baran, Scholberg, Kate, Walter, Chris W., Beauchêne, Antoine, Drapier, Olivier, Giampaolo, Alberto, Mueller, Thomas A., Santos, Andrew D., Paganini, Pascal, Quilain, Benjamin, Rogly, Rudolph, Nakamura, Taku, Jang, Jee-Seung, Machado, Lucas N., Learned, John G., Choi, Koun, Iovine, Nadege, Cao, Son V., Anthony, Lauren H. V., Martin, Daniel G. R., Prouse, Nick W., Scott, Mark, Uchida, Yoshi, Berardi, Vincenzo, Calabria, Nicola F., Catanesi, M. G., Radicioni, Emilio, Langella, Aurora, de Rosa, Gianfranca, Collazuol, Gianmaria, Feltre, Matteo, Iacob, Fabio, Mattiazzi, Marco, Ludovici, Lucio, Gonin, Michel, Périssé, Lorenzo, Pronost, Guillaume, Fujisawa, Chiori, Horiuchi, Shogo, Kobayashi, Misaki, Liu, Yu-Ming, Maekawa, Yuto, Nishimura, Yasuhiro, Okazaki, Reo, Akutsu, Ryosuke, Friend, Megan, Hasegawa, Takuya, Ishida, Taku, Kobayashi, Takashi, Jakkapu, Mahesh, Matsubara, Tsunayuki, Nakadaira, Takeshi, Nakamura, Kenzo, Oyama, Yuichi, Sakashita, Ken, Sekiguchi, Tetsuro, Tsukamoto, Toshifumi, Yrey, Antoniosk Portocarrero, Bhuiyan, Nahid, Burton, George T., Di Lodovico, Francesca, Gao, Joanna, Goldsack, Alexander, Katori, Teppei, Migenda, Jost, Ramsden, Rory M., Xie, Zhenxiong, Zsoldos, Stephane, Suzuki, Atsumu T., Takagi, Yusuke, Takeuchi, Yasuo, Zhong, Haiwen, Feng, Jiahui, Feng, Li-Cheng, Hu, Jianrun, Hu, Zhuojun, Kawaue, Masaki, Kikawa, Tatsuya, Mori, Masamitsu, Nakaya, Tsuyoshi, Wendell, Roger A., Yasutome, Kenji, Jenkins, Sam J., McCauley, Neil K., Mehta, Pruthvi, Tarrant, Adam, Wilking, Mike J., Fukuda, Yoshiyuki, Itow, Yoshitaka, Menjo, Hiroaki, Ninomiya, Kotaro, Yoshioka, Yushi, Lagoda, Justyna, Mandal, Maitrayee, Mijakowski, Piotr, Prabhu, Yashwanth S., Zalipska, Joanna, Jia, Mo, Jiang, Junjie, Shi, Wei, Yanagisawa, Chiaki, Harada, Masayuki, Hino, Yota, Ishino, Hirokazu, Koshio, Yusuke, Nakanishi, Fumi, Sakai, Seiya, Tada, Tomoaki, Tano, Tomohiro, Ishizuka, Takeharu, Barr, Giles, Barrow, Daniel, Cook, Laurence, Samani, Soniya, Wark, David, Holin, Anna, Nova, Federico, Jung, Seunghyun, Yang, Byeongsu, Yang, JeongYeol, Yoo, Jonghee, Fannon, Jack E. P., Kneale, Liz, Malek, Matthew, McElwee, Jordan M., Thiesse, Matthew D., Thompson, Lee F., Wilson, Stephen T., Okazawa, Hiroko, Mohan, Lakshmi S., Kim, SooBong, Kwon, Eunhyang, Seo, Ji-Woong, Yu, Intae, Ichikawa, Atsuko K., Nakamura, Kiseki D., Tairafune, Seidai, Nishijima, Kyoshi, Eguchi, Aoi, Nakagiri, Kota, Nakajima, Yasuhiro, Shima, Shizuka, Taniuchi, Natsumi, Watanabe, Eiichiro, Yokoyama, Masashi, de Perio, Patrick, Fujita, Saki, Jesus-Valls, Cesar, Martens, Kai, Tsui, Ka M., Vagins, Mark R., Xia, Junjie, Izumiyama, Shota, Kuze, Masahiro, Matsumoto, Ryo, Terada, Kotaro, Asaka, Ryusei, Ishitsuka, Masaki, Ito, Hiroshi, Ommura, Yuga, Shigeta, Natsuki, Shinoki, Masataka, Yamauchi, Koki, Yoshida, Tsukasa, Gaur, Rhea, Gousy-Leblan, Vincent, Hartz, Mark, Konaka, Akira, Li, Xiaoyue, Chen, Shaomin, Xu, Benda, Zhang, Aiqiang, Zhang, Bin, Posiadala-Zezula, Magdalena, Boyd, Steven B., Edwards, Rory, Hadley, David, Nicholson, Matthew, O'Flaherty, Marcus, Richards, Benjamin, Ali, Ajmi, Jamieson, Blair, Amanai, Shogo, Marti-Magro, Lluis, Minamino, Akihiro, Shibayama, Ryo, Suzuki, Serina
Preceding a core-collapse supernova, various processes produce an increasing amount of neutrinos of all flavors characterized by mounting energies from the interior of massive stars. Among them, the electron antineutrinos are potentially detectable b
Externí odkaz:
http://arxiv.org/abs/2404.09920
Autor:
Fowler, Simon, Haller, Philipp, Kuhn, Roland, Lindley, Sam, Scalas, Alceste, Vasconcelos, Vasco T.
Publikováno v:
EPTCS 401, 2024, pp. 37-48
Behavioural types provide a promising way to achieve lightweight, language-integrated verification for communication-centric software. However, a large barrier to the adoption of behavioural types is that the current state of the art expects software
Externí odkaz:
http://arxiv.org/abs/2404.05479
Autor:
McDuff, Daniel, Korjakow, Tim, Cambo, Scott, Benjamin, Jesse Josua, Lee, Jenny, Jernite, Yacine, Ferrandis, Carlos Muñoz, Gokaslan, Aaron, Tarkowski, Alek, Lindley, Joseph, Cooper, A. Feder, Contractor, Danish
Growing concerns over negligent or malicious uses of AI have increased the appetite for tools that help manage the risks of the technology. In 2018, licenses with behaviorial-use clauses (commonly referred to as Responsible AI Licenses) were proposed
Externí odkaz:
http://arxiv.org/abs/2402.05979
Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and
Externí odkaz:
http://arxiv.org/abs/2402.03103
Organisations generate vast amounts of information, which has resulted in a long-term research effort into knowledge access systems for enterprise settings. Recent developments in artificial intelligence, in relation to large language models, are poi
Externí odkaz:
http://arxiv.org/abs/2312.10076
Autor:
Breitner, Joachim, Gardner, Philippa, Lee, Jaehyun, Lindley, Sam, Pretnar, Matija, Rao, Xiaojia, Rossberg, Andreas, Ryu, Sukyoung, Shin, Wonho, Watt, Conrad, Youn, Dongjun
WebAssembly (Wasm) is a low-level bytecode language and virtual machine, intended as a compilation target for a wide range of programming languages, which is seeing increasing adoption across diverse ecosystems. As a young technology, Wasm continues
Externí odkaz:
http://arxiv.org/abs/2311.07223