Targeting Completeness: Automated Complexity Analysis of Integer Programs

Autor: Lommen, Nils, Meyer, Éléanore, Giesl, Jürgen

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

Comparing recent PTA results on the nanohertz stochastic gravitational wave background

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

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs

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

Long-Term Density Trend in the Mesosphere and Lower Thermosphere from Occultations of the Crab Nebula with X-Ray Astronomy Satellites

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

Distance- and density-dependent recruitment of common ragwort is not driven by plant-soil feedbacks

Autor: Xiangyu Liu, Dong He, Klaas Vrieling, Suzanne T.E. Lommen, Chenguang Gao, T. Martijn Bezemer

Publikováno v: Basic and Applied Ecology, Vol 76, Iss , Pp 1-13 (2024)

Janzen-Connell effects state that the accumulation of host-specific natural enemies near parent plants can negatively affect their offspring. Negative plant-soil feedbacks can produce patterns of seedling performance predicted by Janzen-Connell effec

Externí odkaz: https://doaj.org/article/7a427546f23a4916b7f5998fdc369c3a