Zobrazeno 1 - 10
of 12 417
pro vyhledávání: '"A, Lommen"'
There exist several approaches to infer runtime or resource bounds for integer programs automatically. In this paper, we study the subclass of periodic rational solvable loops (prs-loops), where questions regarding the runtime and the size of variabl
Externí odkaz:
http://arxiv.org/abs/2412.01832
Autor:
Kalin, Martin
I denna studie undersöks den känsla av författarnärvaro som präglar Asta Olivia Nordenhofs roman Penge på lommen. Genom att undersöka hur Nordenhofs ethos och persona förhåller sig till bokens berättartekniker, samt hur detta samverkar med
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-476783
Autor:
Jannie Uhre Ejstrud
Publikováno v:
Tidsskrift for Kulturforskning, Iss 1 (2020)
Death on the Internet has received much attention from the world of research, where focus has largely been on private memorial sites and the use of social network sites like Facebook for commemoration. In a more private sphere, however, the pictures
Externí odkaz:
https://doaj.org/article/fd203fbc5d3a4b438f94d1887dd59da2
Recently, we showed how to use control-flow refinement (CFR) to improve automatic complexity analysis of integer programs. While up to now CFR was limited to classical programs, in this paper we extend CFR to probabilistic programs and show its sound
Externí odkaz:
http://arxiv.org/abs/2402.03891
Autor:
The International Pulsar Timing Array Collaboration, Agazie, G., Antoniadis, J., Anumarlapudi, A., Archibald, A. M., Arumugam, P., Arumugam, S., Arzoumanian, Z., Askew, J., Babak, S., Bagchi, M., Bailes, M., Nielsen, A. -S. Bak, Baker, P. T., Bassa, C. G., Bathula, A., Bécsy, B., Berthereau, A., Bhat, N. D. R., Blecha, L., Bonetti, M., Bortolas, E., Brazier, A., Brook, P. R., Burgay, M., Burke-Spolaor, S., Burnette, R., Caballero, R. N., Cameron, A., Case, R., Chalumeau, A., Champion, D. J., Chanlaridis, S., Charisi, M., Chatterjee, S., Chatziioannou, K., Cheeseboro, B. D., Chen, S., Chen, Z. -C., Cognard, I., Cohen, T., Coles, W. A., Cordes, J. M., Cornish, N. J., Crawford, F., Cromartie, H. T., Crowter, K., Curyło, M., Cutler, C. J., Dai, S., Dandapat, S., Deb, D., DeCesar, M. E., DeGan, D., Demorest, P. B., Deng, H., Desai, S., Desvignes, G., Dey, L., Dhanda-Batra, N., Di Marco, V., Dolch, T., Drachler, B., Dwivedi, C., Ellis, J. A., Falxa, M., Feng, Y., Ferdman, R. D., Ferrara, E. C., Fiore, W., Fonseca, E., Franchini, A., Freedman, G. E., Gair, J. R., Garver-Daniels, N., Gentile, P. A., Gersbach, K. A., Glaser, J., Good, D. C., Goncharov, B., Gopakumar, A., Graikou, E., Grießmeier, J. -M., Guillemot, L., Gültekin, K., Guo, Y. J., Gupta, Y., Grunthal, K., Hazboun, J. S., Hisano, S., Hobbs, G. B., Hourihane, S., Hu, H., Iraci, F., Islo, K., Izquierdo-Villalba, D., Jang, J., Jawor, J., Janssen, G. H., Jennings, R. J., Jessner, A., Johnson, A. D., Jones, M. L., Joshi, B. C., Kaiser, A. R., Kaplan, D. L., Kapur, A., Kareem, F., Karuppusamy, R., Keane, E. F., Keith, M. J., Kelley, L. Z., Kerr, M., Key, J. S., Kharbanda, D., Kikunaga, T., Klein, T. C., Kolhe, N., Kramer, M., Krishnakumar, M. A., Kulkarni, A., Laal, N., Lackeos, K., Lam, M. T., Lamb, W. G., Larsen, B. B., Lazio, T. J. W., Lee, K. J., Levin, Y., Lewandowska, N., Littenberg, T. B., Liu, K., Liu, T., Liu, Y., Lommen, A., Lorimer, D. R., Lower, M. E., Luo, J., Luo, R., Lynch, R. S., Lyne, A. G., Ma, C. -P., Maan, Y., Madison, D. R., Main, R. A., Manchester, R. N., Mandow, R., Mattson, M. A., McEwen, A., McKee, J. W., McLaughlin, M. A., McMann, N., Meyers, B. W., Meyers, P. M., Mickaliger, M. B., Miles, M., Mingarelli, C. M. F., Mitridate, A., Natarajan, P., Nathan, R. S., Ng, C., Nice, D. J., Niţu, I. C., Nobleson, K., Ocker, S. K., Olum, K. D., Osłowski, S., Paladi, A. K., Parthasarathy, A., Pennucci, T. T., Perera, B. B. P., Perrodin, D., Petiteau, A., Petrov, P., Pol, N. S., Porayko, N. K., Possenti, A., Prabu, T., Leclere, H. Quelquejay, Radovan, H. A., Rana, P., Ransom, S. M., Ray, P. S., Reardon, D. J., Rogers, A. F., Romano, J. D., Russell, C. J., Samajdar, A., Sanidas, S. A., Sardesai, S. C., Schmiedekamp, A., Schmiedekamp, C., Schmitz, K., Schult, L., Sesana, A., Shaifullah, G., Shannon, R. M., Shapiro-Albert, B. J., Siemens, X., Simon, J., Singha, J., Siwek, M. S., Speri, L., Spiewak, R., Srivastava, A., Stairs, I. H., Stappers, B. W., Stinebring, D. R., Stovall, K., Sun, J. P., Surnis, M., Susarla, S. C., Susobhanan, A., Swiggum, J. K., Takahashi, K., Tarafdar, P., Taylor, J., Taylor, S. R., Theureau, G., Thrane, E., Thyagarajan, N., Tiburzi, C., Toomey, L., Turner, J. E., Unal, C., Vallisneri, M., van der Wateren, E., van Haasteren, R., Vecchio, A., Krishnan, V. Venkatraman, Verbiest, J. P. W., Vigeland, S. J., Wahl, H. M., Wang, S., Wang, Q., Witt, C. A., Wang, J., Wang, L., Wayt, K. E., Wu, Z., Young, O., Zhang, L., Zhang, S., Zhu, X. -J., Zic, A.
The Australian, Chinese, European, Indian, and North American pulsar timing array (PTA) collaborations recently reported, at varying levels, evidence for the presence of a nanohertz gravitational wave background (GWB). Given that each PTA made differ
Externí odkaz:
http://arxiv.org/abs/2309.00693
There exist several results on deciding termination and computing runtime bounds for triangular weakly non-linear loops (twn-loops). We show how to use results on such subclasses of programs where complexity bounds are computable within incomplete ap
Externí odkaz:
http://arxiv.org/abs/2307.10061
Autor:
Lommen, Nils, Giesl, Jürgen
We present a new procedure to infer size bounds for integer programs automatically. Size bounds are important for the deduction of bounds on the runtime complexity or in general, for the resource analysis of programs. We show that our technique is co
Externí odkaz:
http://arxiv.org/abs/2307.06921
Autor:
Agazie, Gabriella, Anumarlapudi, Akash, Archibald, Anne M., Arzoumanian, Zaven, Baker, Paul T., Becsy, Bence, Blecha, Laura, Brazier, Adam, Brook, Paul R., Burke-Spolaor, Sarah, Burnette, Rand, Case, Robin, Charisi, Maria, Chatterjee, Shami, Chatziioannou, Katerina, Cheeseboro, Belinda D., Chen, Siyuan, Cohen, Tyler, Cordes, James M., Cornish, Neil J., Crawford, Fronefield, Cromartie, H. Thankful, Crowter, Kathryn, Cutler, Curt J., DeCesar, Megan E., DeGan, Dallas, Demorest, Paul B., Deng, Heling, Dolch, Timothy, Drachler, Brendan, Ellis, Justin A., Ferrara, Elizabeth C., Fiore, William, Fonseca, Emmanuel, Freedman, Gabriel E., Garver-Daniels, Nate, Gentile, Peter A., Gersbach, Kyle A., Glaser, Joseph, Good, Deborah C., Gultekin, Kayhan, Hazboun, Jeffrey S., Hourihane, Sophie, Islo, Kristina, Jennings, Ross J., Johnson, Aaron D., Jones, Megan L., Kaiser, Andrew R., Kaplan, David L., Kelley, Luke Zoltan, Kerr, Matthew, Key, Joey S., Klein, Tonia C., Laal, Nima, Lam, Michael T., Lamb, William G., Lazio, T. Joseph W., Lewandowska, Natalia, Littenberg, Tyson B., Liu, Tingting, Lommen, Andrea, Lorimer, Duncan R., Luo, Jing, Lynch, Ryan S., Ma, Chung-Pei, Madison, Dustin R., Mattson, Margaret A., McEwen, Alexander, McKee, James W., McLaughlin, Maura A., McMann, Natasha, Meyers, Bradley W., Meyers, Patrick M., Mingarelli, Chiara M. F., Mitridate, Andrea, Natarajan, Priyamvada, Ng, Cherry, Nice, David J., Ocker, Stella Koch, Olum, Ken D., Pennucci, Timothy T., Perera, Benetge B. P., Petrov, Polina, Pol, Nihan S., Radovan, Henri A., Ransom, Scott M., Ray, Paul S., Romano, Joseph D., Sardesai, Shashwat C., Schmiedekamp, Ann, Schmiedekamp, Carl, Schmitz, Kai, Schult, Levi, Shapiro-Albert, Brent J., Siemens, Xavier, Simon, Joseph, Siwek, Magdalena S., Stairs, Ingrid H., Stinebring, Daniel R., Stovall, Kevin, Sun, Jerry P., Susobhanan, Abhimanyu, Swiggum, Joseph K., Taylor, Jacob, Taylor, Stephen R., Turner, Jacob E., Unal, Caner, Vallisneri, Michele, van Haasteren, Rutger, Vigeland, Sarah J., Wahl, Haley M., Wang, Qiaohong, Witt, Caitlin A., Young, Olivia
We report multiple lines of evidence for a stochastic signal that is correlated among 67 pulsars from the 15-year pulsar-timing data set collected by the North American Nanohertz Observatory for Gravitational Waves. The correlations follow the Hellin
Externí odkaz:
http://arxiv.org/abs/2306.16213
Autor:
Katsuda, Satoru, Enoto, Teruaki, Lommen, Andrea N., Mori, Koji, Motizuki, Yuko, Nakajima, Motoki, Ruhl, Nathaniel C., Sato, Kosuke, Stober, Gunter, Tashiro, Makoto S., Terada, Yukikatsu, Wood, Kent S.
We present long-term density trends of the Earth's upper atmosphere at altitudes between 71 and 116 km, based on atmospheric occultations of the Crab Nebula observed with X-ray astronomy satellites, ASCA, RXTE, Suzaku, NuSTAR, and Hitomi. The combina
Externí odkaz:
http://arxiv.org/abs/2302.05335