Zobrazeno 1 - 10
of 755
pro vyhledávání: '"P Parno"'
Automated code generation with large language models has gained significant traction, but there remains no guarantee on the correctness of generated code. We aim to use formal verification to provide mathematical guarantees that the generated code is
Externí odkaz:
http://arxiv.org/abs/2412.06176
Autor:
Aker, M., Batzler, D., Beglarian, A., Beisenkötter, J., Biassoni, M., Bieringer, B., Biondi, Y., Block, F., Bornschein, B., Bornschein, L., Böttcher, M., Carminati, M., Chatrabhuti, A., Chilingaryan, S., Daniel, B. A., Descher, M., Barrero, D. Díaz, Doe, P. J., Dragoun, O., Drexlin, G., Edzards, F., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Felden, A., Fengler, C., Fiorini, C., Formaggio, J. A., Forstner, C., Fränkle, F. M., Gagliardi, G., Gauda, K., Gavin, A. S., Gil, W., Glück, F., Grössle, R., Gutknecht, N., Hannen, V., Hasselmann, L., Helbing, K., Henke, H., Heyns, S., Hiller, R., Hillesheimer, D., Hinz, D., Höhn, T., Huber, A., Jansen, A., Khosonthongkee, K., Köhler, C., Köllenberger, L., Kopmann, A., Kovač, N., La Cascio, L., Lasserre, T., Lauer, J., Le, T. L., Lebeda, O., Lehnert, B., Li, G., Lokhov, A., Machatschek, M., Mark, M., Marsteller, A., McMichael, K., Melzer, C., Mertens, S., Mohanty, S., Mostafa, J., Müller, K., Nava, A., Neumann, H., Niemes, S., Onillon, A., Parno, D. S., Pavan, M., Pinsook, U., Poon, A. W. P., Poyato, J. M. L., Priester, F., Ráliš, J., Ramachandran, S., Robertson, R. G. H., Rodenbeck, C., Röllig, M., Sack, R., Saenz, A., Salomon, R., Schäfer, P., Schlösser, K., Schlösser, M., Schlüter, L., Schneidewind, S., Schrank, M., Schürmann, J., Schütz, A. K., Schwemmer, A., Schwenck, A., Seeyangnok, J., Šefčík, M., Siegmann, D., Simon, F., Songwadhana, J., Spanier, F., Spreng, D., Sreethawong, W., Steidl, M., Štorek, J., Stribl, X., Sturm, M., Suwonjandee, N., Jerome, N. Tan, Telle, H. H., Thorne, L. A., Thümmler, T., Titov, N., Tkachev, I., Urban, K., Valerius, K., Vénos, D., Weinheimer, C., Welte, S., Wendel, J., Wetter, M., Wiesinger, C., Wilkerson, J. F., Wolf, J., Wüstling, S., Wydra, J., Xu, W., Zadorozhny, S., Zeller, G.
The precision measurement of the tritium $\beta$-decay spectrum performed by the KATRIN experiment provides a unique way to search for general neutrino interactions (GNI). All theoretical allowed GNI terms involving neutrinos are incorporated into a
Externí odkaz:
http://arxiv.org/abs/2410.13895
Autor:
Aker, M., Batzler, D., Beglarian, A., Behrens, J., Beisenkötter, J., Biassoni, M., Bieringer, B., Biondi, Y., Block, F., Bobien, S., Böttcher, M., Bornschein, B., Bornschein, L., Caldwell, T. S., Carminati, M., Chatrabhuti, A., Chilingaryan, S., Daniel, B. A., Debowski, K., Descher, M., Barrero, D. Díaz, Doe, P. J., Dragoun, O., Drexlin, G., Edzards, F., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Felden, A., Fengler, C., Fiorini, C., Formaggio, J. A., Forstner, C., Fränkle, F. M., Gauda, K., Gavin, A. S., Gil, W., Glück, F., Grössle, R., Gumbsheimer, R., Hannen, V., Hasselmann, L., Haußmann, N., Helbing, K., Heyns, S., Hickford, S., Hiller, R., Hillesheimer, D., Hinz, D., Höhn, T., Huber, A., Jansen, A., Karl, C., Kellerer, J., Khosonthongkee, K., Köhler, C., Köllenberger, L., Kopmann, A., Kovač, N., Krause, H., La Cascio, L., Lasserre, T., Lauer, J., Le, T. L., Lebeda, O., Lehnert, B., Li, G., Lokhov, A., Machatschek, M., Mark, M., Marsteller, A., Martin, E. L., McMichael, K., Melzer, C., Mertens, S., Mohanty, S., Mostafa, J., Müller, K., Nava, A., Neumann, H., Niemes, S., Parno, D. S., Pavan, M., Pinsook, U., Poon, A. W. P., Poyato, J. M. L., Pozzi, S., Priester, F., Ráliš, J., Ramachandran, S., Robertson, R. G. H., Rodenbeck, C., Röllig, M., Sack, R., Saenz, A., Salomon, R., Schäfer, P., Schlösser, M., Schlösser, K., Schlüter, L., Schneidewind, S., Schrank, M., Schürmann, J., Schütz, A. K., Schwemmer, A., Schwenck, A., Šefčík, M., Siegmann, D., Simon, F., Spanier, F., Spreng, D., Sreethawong, W., Steidl, M., Štorek, J., Stribl, X., Sturm, M., Suwonjandee, N., Jerome, N. Tan, Telle, H. H., Thorne, L. A., Thümmler, T., Titov, N., Tkachev, I., Urban, K., Valerius, K., Vénos, D., Weinheimer, C., Welte, S., Wendel, J., Wiesinger, C., Wilkerson, J. F., Wolf, J., Wüstling, S., Wydra, J., Xu, W., Zadorozhny, S., Zeller, G.
The projected sensitivity of the effective electron neutrino-mass measurement with the KATRIN experiment is below 0.3 eV (90 % CL) after five years of data acquisition. The sensitivity is affected by the increased rate of the background electrons fro
Externí odkaz:
http://arxiv.org/abs/2408.07022
Autor:
Adamski, S., Ahn, M., Barbeau, P. S., Belov, V., Bernardi, I., Bock, C., Bolozdynya, A., Bouabid, R., Browning, J., Cabrera-Palmer, B., Cedarblade-Jones, N., Rivera, J. Colón, Conley, E., da Silva, V., Daughhetee, J., Detwiler, J., Ding, K., Durand, M. R., Efremenko, Y., Elliott, S. R., Erlandson, A., Fabris, L., Galindo-Uribarri, A., Green, M. P., Hakenmüller, J., Heath, M. R., Hedges, S., Jeong, H., Johnson, B. A., Johnson, T., Jones, H., Khromov, A., Konovalov, A., Kozlova, E., Kumpan, A., Kyzylova, O., Lee, Y., Li, G., Li, L., Link, J. M., Liu, J., Luxnat, M., Major, A., Mann, K., Markoff, D. M., Mattingly, J., Moye, J., Mueller, P. E., Newby, J., Ogoi, N., O'Reilly, J., Parno, D. S., Pérez-Loureiro, D., Pershey, D., Prior, C. G., Queen, J., Rapp, R., Ray, H., Razuvaeva, O., Reyna, D., Rich, G. C., Rudik, D., Runge, J., Salvat, D. J., Sander, J., Scholberg, K., Shakirov, A., Simakov, G., Snow, W. M., Sosnovtsev, V., Stringer, M., Subedi, T., Suh, B., Sur, B., Tayloe, R., Tellez-Giron-Flores, K., Tsai, Y. -T., van Nieuwenhuizen, E. E., Virtue, C. J., Visser, G., Walkup, K., Ward, E. M., Wongjirad, T., Yang, Y., Yoo, J., Yu, C. -H., Zaalishvili, A.
We report the first detection of coherent elastic neutrino-nucleus scattering (CEvNS) on germanium, measured at the Spallation Neutron Source at Oak Ridge National Laboratory. The Ge-Mini detector of the COHERENT collaboration employs large-mass, low
Externí odkaz:
http://arxiv.org/abs/2406.13806
Autor:
Aker, M., Batzler, D., Beglarian, A., Behrens, J., Beisenkötter, J., Biassoni, M., Bieringer, B., Biondi, Y., Block, F., Bobien, S., Böttcher, M., Bornschein, B., Bornschein, L., Caldwell, T. S., Carminati, M., Chatrabhuti, A., Chilingaryan, S., Daniel, B. A., Debowski, K., Descher, M., Barrero, D. Díaz, Doe, P. J., Dragoun, O., Drexlin, G., Edzards, F., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Felden, A., Fengler, C., Fiorini, C., Formaggio, J. A., Forstner, C., Fränkle, F. M., Gauda, K., Gavin, A. S., Gil, W., Glück, F., Grohmann, S., Grössle, R., Gumbsheimer, R., Gutknecht, N., Hannen, V., Hasselmann, L., Haußmann, N., Helbing, K., Henke, H., Heyns, S., Hickford, S., Hiller, R., Hillesheimer, D., Hinz, D., Höhn, T., Huber, A., Jansen, A., Karl, C., Kellerer, J., Khosonthongkee, K., Kleifges, M., Klein, M., Kohpeiß, J., Köhler, C., Köllenberger, L., Kopmann, A., Kovač, N., Kovalík, A., Krause, H., La Cascio, L., Lasserre, T., Lauer, J., Le, T., Lebeda, O., Lehnert, B., Li, G., Lokhov, A., Machatschek, M., Mark, M., Marsteller, A., Martin, E. L., Melzer, C., Mertens, S., Mohanty, S., Mostafa, J., Müller, K., Nava, A., Neumann, H., Niemes, S., Onillon, A., Parno, D. S., Pavan, M., Pinsook, U., Poon, A. W. P., Poyato, J. M. Lopez, Pozzi, S., Priester, F., Ráliš, J., Ramachandran, S., Robertson, R. G. H., Rodenbeck, C., Röllig, M., Röttele, C., Ryšavý, M., Sack, R., Saenz, A., Salomon, R., Schäfer, P., Schlösser, M., Schlösser, K., Schlüter, L., Schneidewind, S., Schnurr, U., Schrank, M., Schürmann, J., Schütz, A., Schwemmer, A., Schwenck, A., Šefčík, M., Siegmann, D., Simon, F., Spanier, F., Spreng, D., Sreethawong, W., Steidl, M., Štorek, J., Stribl, X., Sturm, M., Suwonjandee, N., Jerome, N. Tan, Telle, H. H., Thorne, L. A., Thümmler, T., Tirolf, S., Titov, N., Tkachev, I., Urban, K., Valerius, K., Vénos, D., Weinheimer, C., Welte, S., Wendel, J., Wiesinger, C., Wilkerson, J. F., Wolf, J., Wüstling, S., Wydra, J., Xu, W., Zadorozhny, S., Zeller, G.
The fact that neutrinos carry a non-vanishing rest mass is evidence of physics beyond the Standard Model of elementary particles. Their absolute mass bears important relevance from particle physics to cosmology. In this work, we report on the search
Externí odkaz:
http://arxiv.org/abs/2406.13516
Autor:
Seelinger, Linus, Reinarz, Anne, Lykkegaard, Mikkel B., Akers, Robert, Alghamdi, Amal M. A., Aristoff, David, Bangerth, Wolfgang, Bénézech, Jean, Diez, Matteo, Frey, Kurt, Jakeman, John D., Jørgensen, Jakob S., Kim, Ki-Tae, Kent, Benjamin M., Martinelli, Massimiliano, Parno, Matthew, Pellegrini, Riccardo, Petra, Noemi, Riis, Nicolai A. B., Rosenfeld, Katherine, Serani, Andrea, Tamellini, Lorenzo, Villa, Umberto, Dodwell, Tim J., Scheichl, Robert
Uncertainty Quantification (UQ) is vital to safety-critical model-based analyses, but the widespread adoption of sophisticated UQ methods is limited by technical complexity. In this paper, we introduce UM-Bridge (the UQ and Modeling Bridge), a high-l
Externí odkaz:
http://arxiv.org/abs/2402.13768
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Coarse-grained reconfigurable arrays (CGRAs) have gained attention in recent years due to their promising power efficiency compared to traditional von Neumann architectures. To program these architectures using ordinary languages such as C, a dataflo
Externí odkaz:
http://arxiv.org/abs/2312.09326
Autor:
Barbeau, P. S., Belov, V., Bernardi, I., Bock, C., Bolozdynya, A., Bouabid, R., Browning, J., Cabrera-Palmer, B., Conley, E., da Silva, V., Daughhetee, J., Detwiler, J., Ding, K., Durand, M. R., Efremenko, Y., Elliott, S. R., Erlandson, A., Fabris, L., Febbraro, M., Galindo-Uribarri, A., Green, M. P., Hakenmüller, J., Heath, M. R., Hedges, S., Johnson, B. A., Johnson, T., Khromov, A., Konovalov, A., Kozlova, E., Kumpan, A., Kyzylova, O., Link, J. M., Liu, J., Major, A., Mann, K., Markoff, D. M., Mattingly, J., Mueller, P. E., Newby, J., Ogoi, N., O'Reilly, J., Parno, D. S., Pérez-Loureiro, D., Penttila, S. I., Pershey, D., Prior, C. G., Queen, J., Rapp, R., Ray, H., Razuvaeva, O., Reyna, D., Rich, G. C., Rudik, D., Runge, J., Salvat, D. J., Sander, J., Scholberg, K., Shakirov, A., Simakov, G., Snow, W. M., Sosnovtsev, V., Stringer, M., Subedi, T., Suh, B., Sur, B., Tayloe, R., Tellez-Giron-Flores, K., Tsai, Y. -T., Vanderwerp, J., van Nieuwenhuizen, E. E., Varner, R. L., Virtue, C. J., Visser, G., Walkup, K., Ward, E. M., Wongjirad, T., Yang, Y., Yoo, J., Yu, C. -H., Zaalishvili, A.
We consider the potential for a 10-kg undoped cryogenic CsI detector operating at the Spallation Neutron Source to measure coherent elastic neutrino-nucleus scattering and its sensitivity to discover new physics beyond the standard model. Through a c
Externí odkaz:
http://arxiv.org/abs/2311.13032