Zobrazeno 1 - 10
of 2 257
pro vyhledávání: '"Lommen A"'
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
Autor:
Lin Ke, Kools Harrie, de Groot Philip J., Gavai Anand K., Basnet Ram K., Cheng Feng, Wu Jian, Wang Xiaowu, Lommen Arjen, Hooiveld Guido J. E. J., Bonnema Guusje, Visser Richard G. F., Muller Michael R., Leunissen Jack A. M.
Publikováno v:
Journal of Integrative Bioinformatics, Vol 8, Iss 2, Pp 59-74 (2011)
The rapid increase of ~omics datasets generated by microarray, mass spectrometry and next generation sequencing technologies requires an integrated platform that can combine results from different ~omics datasets to provide novel insights in the unde
Externí odkaz:
https://doaj.org/article/dd1820654bd549cbb911849aa4c18319
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
Publikováno v:
European Journal of Psychotraumatology, Vol 15, Iss 1 (2024)
Background: Firefighters face regular exposure to potentially traumatic events, which is associated with the development of post-traumatic stress disorder (PTSD) and depression. Despite the high comorbidity, there remains limited understanding of the
Externí odkaz:
https://doaj.org/article/f457fa683ee4470ea912e097374e4185
Publikováno v:
Plastic and Reconstructive Surgery, Global Open, Vol 12, Iss 7, p e6000 (2024)
Background:. The past few years have seen a 50% increase in breast implant explantations. Patients with ptotic breasts may desire mastopexy, although conventional techniques are often invasive. We describe our experience with the omega mastopexy tech
Externí odkaz:
https://doaj.org/article/8a6fcf674f7c4fd09dbc3c26fdb71520