Zobrazeno 1 - 10
of 7 525
pro vyhledávání: '"Esparza, P"'
Population protocols are a model of distributed computation in which an arbitrary number of indistinguishable finite-state agents interact in pairs to decide some property of their initial configuration. We investigate the behaviour of population pro
Externí odkaz:
http://arxiv.org/abs/2412.11783
Autor:
Blondin, Michael, Cadilhac, Michaël, Cui, Xin-Yi, Czerner, Philipp, Esparza, Javier, Schulz, Jakob
Ordered binary decision diagrams (OBDDs) are a fundamental data structure for the manipulation of Boolean functions, with strong applications to finite-state symbolic model checking. OBDDs allow for efficient algorithms using top-down dynamic program
Externí odkaz:
http://arxiv.org/abs/2411.17250
Autor:
Esparza-Arredondo, D., Almeida, C. Ramos, Audibert, A., Pereira-Santaella, M., García-Bernete, I., García-Burillo, S., Shimizu, T., Davies, R., Muñoz, L. Hermosa, Alonso-Herrero, A., Combes, F., Speranza, G., Zhang, L., Campbell, S., Bellocchi, E., Bunker, A. J., Díaz-Santos, T., García-Lorenzo, B., González-Martín, O., Hicks, E. K. S., Labiano, A., Levenson, N. A., Ricci, C., Rosario, D., Hoenig, S., Packham, C., Stalevski, M., Fuller, L., Izumi, T., López-Rodríguez, E., Rigopoulou, D., Rouan, D., Ward, M.
Understanding the processes that drive the morphology and kinematics of molecular gas in galaxies is crucial for comprehending star formation and, ultimately, galaxy evolution. Using data obtained with the James Webb Space Telescope (JWST) and the At
Externí odkaz:
http://arxiv.org/abs/2411.12398
Starting from a microscopic model for the particle-particle interactions in a Weyl semimetal, we analyzed the possibility for conventional as well as monopole Cooper pairing between quasiparticle excitations at the same (intra-nodal) or opposite (int
Externí odkaz:
http://arxiv.org/abs/2411.07338
Autor:
Esparza, Javier, Nielsen, Mogens
Publikováno v:
J. Inf. Process. Cybern. 30(3): 143-160 (1994)
We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics.
Externí odkaz:
http://arxiv.org/abs/2411.01592
Publikováno v:
Bulletin of the European Association for Theoretical Computer Science 72: 169-177 (2000)
In a paper published in Information Processing Letters in 2000, Bouajjani et al. presented an automata-based approach to a number of elementary problems on context-free grammars. This approach is of pedagogical interest since it provides a uniform so
Externí odkaz:
http://arxiv.org/abs/2410.19386
Autor:
Kirk, James, Ahrer, Eva-Maria, Claringbold, Alastair B., Zamyatina, Maria, Fisher, Chloe, McCormack, Mason, Panwar, Vatsal, Powell, Diana, Taylor, Jake, Thorngren, Daniel P., Christie, Duncan A., Esparza-Borges, Emma, Tsai, Shang-Min, Alderson, Lili, Booth, Richard A., Fairman, Charlotte, López-Morales, Mercedes, Mayne, N. J., Meech, Annabella, Molliere, Paul, Owen, James E., Penzlin, Anna B. T., Sergeev, Denis E., Valentine, Daniel, Wakeford, Hannah R., Wheatley, Peter J.
We present a transmission spectrum of the misaligned hot Jupiter WASP-15b from 2.8--5.2 microns observed with JWST's NIRSpec/G395H grating. Our high signal to noise data, which has negligible red noise, reveals significant absorption by H$_2$O ($4.2\
Externí odkaz:
http://arxiv.org/abs/2410.08116
Autor:
Masuda, Kento, Libby-Roberts, Jessica E., Livingston, John H., Stevenson, Kevin B., Gao, Peter, Vissapragada, Shreyas, Fu, Guangwei, Han, Te, Greklek-McKeon, Michael, Mahadevan, Suvrath, Agol, Eric, Bello-Arufe, Aaron, Berta-Thompson, Zachory, Canas, Caleb I., Chachan, Yayaati, Hebb, Leslie, Hu, Renyu, Kawashima, Yui, Knutson, Heather A., Morley, Caroline V., Murray, Catriona A., Ohno, Kazumasa, Tokadjian, Armen, Zhang, Xi, Welbanks, Luis, Nixon, Matthew C., Freedman, Richard, Narita, Norio, Fukui, Akihiko, de Leon, Jerome P., Mori, Mayuko, Palle, Enric, Murgas, Felipe, Parviainen, Hannu, Esparza-Borges, Emma, Jontof-Hutter, Daniel, Collins, Karen A., Benni, Paul, Barkaoui, Khalid, Pozuelos, Francisco J., Gillon, Michael, Jehin, Emmanuel, Benkhaldoun, Zouhair, Hawley, Suzanne, Lin, Andrea S. J., Stefansson, Gudmundur, Bieryla, Allyson, Yilmaz, Mesut, Senavci, Hakan Volkan, Girardin, Eric, Marino, Giuseppe, Wang, Gavin
Kepler-51 is a $\lesssim 1\,\mathrm{Gyr}$-old Sun-like star hosting three transiting planets with radii $\approx 6$-$9\,R_\oplus$ and orbital periods $\approx 45$-$130\,\mathrm{days}$. Transit timing variations (TTVs) measured with past Kepler and Hu
Externí odkaz:
http://arxiv.org/abs/2410.01625
Autor:
Stangret, M., Palle, E., Esparza-Borges, E., Miquel, J. Orell, Casasayas-Barris, N., Osorio, M. R. Zapatero, Cristo, E., Allart, R., Alibert, Y., Borsa, F., Demangeon, O. D. S., Di Marcantonio, P., Ehrenreich, D., Figueira, P., Hernandez, J. I. Gonzalez, Herrero-Cisneros, E., Martins, C. J. A. P., Santos, N. C., Seidel, J. V., Silva, T. Azevedo, Sozzetti, A., Steiner, M., Mascareno, A. Suarez, Udry, S.
Thanks to their short orbital periods and hot extended atmospheres, hot Jupiters are ideal candidates for atmosphere studies with high-resolution spectroscopy. New stable spectrographs help improve our understanding of the evolution and composition o
Externí odkaz:
http://arxiv.org/abs/2410.00800
Autor:
Silva, A. R. Costa, Demangeon, O. D. S., Santos, N. C., Ehrenreich, D., Lovis, C., Chakraborty, H., Lendl, M., Pepe, F., Cristiani, S., Rebolo, R., Zapatero-Osorio, M. R., Adibekyan, V., Alibert, Y., Allart, R., Prieto, C. Allende, Silva, T. Azevedo, Borsa, F., Bourrier, V., Cristo, E., Di Marcantonio, P., Esparza-Borges, E., Figueira, P., Hernández, J. I. González, Herrero-Cisneros, E., Curto, G. Lo, Martins, C. J. A. P., Mehner, A., Nunes, N. J., Palle, E., Pelletier, S., Seidel, J. V., Silva, A. M., Sousa, S. G., Sozzetti, A., Steiner, M., Mascareño, A. Suárez, Udry, S.
Publikováno v:
Astronomy & Astrophysics, 689, A8, 15 (2024)
Ultra hot Jupiters (gas giants, Teq>2000 K) are intriguing exoplanets due to their extreme atmospheres. Their torrid daysides can be characterised using ground-based high-resolution emission spectroscopy. We search for signatures of neutral and singl
Externí odkaz:
http://arxiv.org/abs/2409.13519