Zobrazeno 1 - 10
of 42 973
pro vyhledávání: '"Ait, A."'
Publikováno v:
LPAR 2024 Complementary Volume, May 2024, Mauritius, France. pp.14-29
Choices in the semantics and the signature of a theory are integral in determining how the theory is used and how challenging it is to reason over it. Our interest in this paper lies in the SMT theory of sequences. Various versions of it exist in the
Externí odkaz:
http://arxiv.org/abs/2411.01961
Autor:
MAGIC Collaboration, Abe, H., Abe, S., Acciari, V. A., Agudo, I., Aniello, T., Ansoldi, S., Antonelli, L. A., Engels, A. Arbet, Arcaro, C., Artero, M., Asano, K., Baack, D., Babić, A., Baquero, A., de Almeida, U. Barres, Batković, I., Baxter, J., Bernardini, E., Bernardos, M., Bernete, J., Berti, A., Bigongiari, C., Biland, A., Blanch, O., Bonnoli, G., Bošnjak, Ž., Burelli, I., Busetto, G., Campoy-Ordaz, A., Carosi, A., Carosi, R., Carretero-Castrillo, M., Castro-Tirado, A. J., Chai, Y., Cifuentes, A., Cikota, S., Colombo, E., Contreras, J. L., Cortina, J., Covino, S., D'Amico, G., D'Elia, V., Da Vela, P., Dazzi, F., De Angelis, A., De Lotto, B., Del Popolo, A., Delfino, M., Delgado, J., Mendez, C. Delgado, Depaoli, D., Di Pierro, F., Di Venere, L., Prester, D. Dominis, Donini, A., Dorner, D., Doro, M., Elsaesser, D., Emery, G., Escudero, J., Fariña, L., Fattorini, A., Foffano, L., Font, L., Fukami, S., Fukazawa, Y., López, R. J. García, Gasparyan, S., Gaug, M., Paiva, J. G. Giesbrecht, Giglietto, N., Giordano, F., Gliwny, P., Grau, R., Green, J. G., Hadasch, D., Hahn, A., Heckmann, L., Herrera, J., Hrupec, D., Hütten, M., Imazawa, R., Inada, T., Iotov, R., Ishio, K., Martínez, I. Jiménez, Jormanainen, J., Kerszberg, D., Kluge, G. W., Kobayashi, Y., Kubo, H., Kushida, J., Lezáun, M. Láinez, Lamastra, A., Leone, F., Lindfors, E., Linhoff, L., Lombardi, S., Longo, F., López-Moya, M., López-Oramas, A., Loporchio, S., Lorini, A., Fraga, B. Machado de Oliveira, Majumdar, P., Makariev, M., Maneva, G., Mang, N., Manganaro, M., Mangano, S., Mannheim, K., Mariotti, M., Martínez, M., Mas-Aguilar, A., Mazin, D., Menchiari, S., Mender, S., Mićanović, S., Miceli, D., Miranda, J. M., Mirzoyan, R., Molina, E., Mondal, H. A., Morcuende, D., Nanci, C., Neustroev, V., Nigro, C., Nishijima, K., Ekoume, T. Njoh, Noda, K., Nozaki, S., Ohtani, Y., Otero-Santos, J., Paiano, S., Palatiello, M., Paneque, D., Paoletti, R., Paredes, J. M., Pavletić, L., Persic, M., Pihet, M., Pirola, G., Podobnik, F., Moroni, P. G. Prada, Prandini, E., Principe, G., Priyadarshi, C., Rhode, W., Ribó, M., Rico, J., Righi, C., Sahakyan, N., Saito, T., Satalecka, K., Saturni, F. G., Schleicher, B., Schmidt, K., Schmuckermaier, F., Schubert, J. L., Schweizer, T., Sitarek, J., Spolon, A., Stamerra, A., Strišković, J., Strom, D., Suda, Y., Surić, T., Suutarinen, S., Tajima, H., Takahashi, M., Takeishi, R., Tavecchio, F., Temnikov, P., Terzić, T., Teshima, M., Tosti, L., Truzzi, S., Ubach, S., van Scherpenberg, J., Ventura, S., Verguilov, V., Viale, I., Vigorito, C. F., Vitale, V., Walter, R., Yamamoto, T., Collaborators, Benkhali, F. Ait, Becherini, Y., Bi, B., Böttcher, M., Bolmont, J., Brown, A., Bulik, T., Casanova, S., Chand, T., Chandra, S., Chibueze, J., Chibueze, O., Egberts, K., Einecke, S., Ernenwein, J. -P., Fontaine, G., Gabici, S., Goswami, P., Holler, M., Jamrozy, M., Joshi, V., Kasai, E., Katarzyński, K., Khatoon, R., Khélifi, B., Kluzniak, W., Kosack, K., Stum, S. Le, Lemière, A., Marx, R., Moderski, R., Moghadam, M. O., de Naurois, M., Niemiec, J., O'Brien, P., Ostrowski, M., Peron, G., Pita, S., Pühlhofer, G., Quirrenbach, A., Rudak, B., Sahakian, V., Sanchez, D. A., Santangelo, A., Sasaki, M., Schutte, H. M., Seglar-Arroyo, M., Shapopi, J. N. S., Steenkamp, R., Steppa, C., Suzuki, H., Tanaka, T., Tluczykont, M., Venter, C., Wagner, S. J., Wierzcholska, A., Zdziarski, A. A., Żywucka, N., Collaboration, Fermi-LAT, González, J. Becerra, Ciprini, S., Venters, T. M., collaborators, MWL, D'Ammando, F., Esteban-Gutiérrez, A., Ramazani, V. Fallah, Filippenko, A. V., Hovatta, T., Jermak, H., Jorstad, S., Kiehlmann, S., Lähteenmäki, A., Larionov, V. M., Larionova, E., Marscher, A. P., Morozova, D., Max-Moerbeck, W., Readhead, A. C. S., Reeves, R., Steele, I. A., Tornikoski, M., Verrecchia, F., Xiao, H., Zheng, W.
OT 081 is a well-known, luminous blazar that is remarkably variable in many energy bands. We present the first broadband study of the source which includes very-high-energy (VHE, $E>$100\,GeV) $\gamma$-ray data taken by the MAGIC and H.E.S.S. imaging
Externí odkaz:
http://arxiv.org/abs/2410.22557
In the search for a light Higgs boson, the ATLAS and CMS experiments have observed excesses in both the diphoton ($\gamma\gamma$) and di-tau-pair ($\tau^+\tau^-$) decay channels at about $95$ GeV. The LEP collaboration has also previously reported an
Externí odkaz:
http://arxiv.org/abs/2410.11140
Software repositories is one of the sources of data in Empirical Software Engineering, primarily in the Mining Software Repositories field, aimed at extracting knowledge from the dynamics and practice of software projects. With the emergence of socia
Externí odkaz:
http://arxiv.org/abs/2410.00639
Autor:
Wiesmayr, Reinhard, Cammerer, Sebastian, Aoudia, Fayçal Aït, Hoydis, Jakob, Zakrzewski, Jakub, Keller, Alexander
We detail the steps required to deploy a multi-user multiple-input multiple-output (MU-MIMO) neural receiver (NRX) in an actual cellular communication system. This raises several exciting research challenges, including the need for real-time inferenc
Externí odkaz:
http://arxiv.org/abs/2409.02912
Our goal is to investigate the charged Higgs phenomenology in the framework of 2HDM at the upcoming $e^+e^-$ and muon colliders. We are primarily concerned with the associated production processes with a fermion pair: $\ell^+ \ell^- \to \tau^+ \nu_{\
Externí odkaz:
http://arxiv.org/abs/2408.13952
Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have a common zero in an algebraically closed field. Associated with this r
Externí odkaz:
http://arxiv.org/abs/2408.13027
Autor:
Braham, Nassim Ait Ali, Albrecht, Conrad M, Mairal, Julien, Chanussot, Jocelyn, Wang, Yi, Zhu, Xiao Xiang
Foundation models have triggered a paradigm shift in computer vision and are increasingly being adopted in remote sensing, particularly for multispectral imagery. Yet, their potential in hyperspectral imaging (HSI) remains untapped due to the absence
Externí odkaz:
http://arxiv.org/abs/2408.08447
Autor:
Aharonian, F., Benkhali, F. Ait, Aschersleben, J., Ashkar, H., Backes, M., Martins, V. Barbosa, Batzofin, R., Becherini, Y., Berge, D., Bernlöhr, K., Böttcher, M., Bolmont, J., de Lavergne, M. de Bony, Borowska, J., Brose, R., Brown, A., Brun, F., Bruno, B., Burger-Scheidlin, C., Casanova, S., Celic, J., Cerruti, M., Chand, T., Chandra, S., Chen, A., Chibueze, J., Chibueze, O., Cotter, G., Cristofari, P., Devin, J., Djannati-Ataï, A., Djuvsland, J., Dmytriiev, A., Egberts, K., Einecke, S., Feijen, K., Filipovic, M., Fontaine, G., Funk, S., Gabici, S., Gallant, Y. A., Glicenstein, J. F., Glombitza, J., Grolleron, G., Haerer, L., Heß, B., Hinton, J. A., Hofmann, W., Holch, T. L., Horns, D., Huang, Zhiqiu, Jamrozy, M., Jankowsky, F., Jung-Richardt, I., Kasai, E., Katarzyński, K., Khatoon, R., Khélifi, B., Kluźniak, W., Komin, Nu., Kosack, K., Kostunin, D., Kundu, A., Lang, R. G., Stum, S. Le, Lemière, A., Lemoine-Goumard, M., Lenain, J. -P., Leuschner, F., Mackey, J., Marandon, V., Martí-Devesa, G., Marx, R., Mehta, A., Mitchell, A., Moderski, R., Moghadam, M. O., Mohrmann, L., Montanari, A., Moulin, E., de Naurois, M., Niemiec, J., Ohm, S., Olivera-Nieto, L., Wilhelmi, E. de Ona, Ostrowski, M., Panny, S., Pensec, U., Peron, G., Pühlhofer, G., Quirrenbach, A., Ravikularaman, S., Regeard, M., Reimer, A., Reimer, O., Ren, H., Renaud, M., Reville, B., Rieger, F., Rowell, G., Rudak, B., Ruiz-Velasco, E., Sabri, K., Sahakian, V., Salzmann, H., Santangelo, A., Sasaki, M., Schäfer, J., Schüssler, F., Schutte, H. M., Sol, H., Spencer, S., Stawarz, Ł., Steinmassl, S., Steppa, C., Streil, K., Sushch, I., Taylor, A. M., Terrier, R., Tsirou, M., Tsuji, N., van Eldik, C., Vecchi, M., Venter, C., Vink, J., Wagner, S. J., White, R., Wierzcholska, A., Zacharias, M., Zdziarski, A. A., Zech, A., Żywucka, N.
Publikováno v:
Astrophysical Journal Letters 970, L21 (2024)
The Tarantula Nebula in the Large Magellanic Cloud is known for its high star formation activity. At its center lies the young massive star cluster R136, providing a significant amount of the energy that makes the nebula shine so brightly at many wav
Externí odkaz:
http://arxiv.org/abs/2407.16219
Automatic generation of loop invariants is a fundamental challenge in software verification. While this task is undecidable in general, it is decidable for certain restricted classes of programs. This work focuses on invariant generation for (branchi
Externí odkaz:
http://arxiv.org/abs/2407.09154