Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

Autor: Gruteser, Jan, Roßbach, Jan, Vu, Fabian, Leuschel, Michael

Publikováno v: EPTCS 411, 2024, pp. 151-159

The certification of autonomous systems is an important concern in science and industry. The KI-LOK project explores new methods for certifying and safely integrating AI components into autonomous trains. We pursued a two-layered approach: (1) ensuri

Externí odkaz: http://arxiv.org/abs/2411.14374

When is a CPD weighted shift similar to a subnormal operator?

Autor: Jabłoński, Zenon Jan, Jung, Il Bong, Stochel, Jan

We prove that a CPD unilateral weighted shift $W_{\lambda}$ of type III is a quasi-affine transform of the operator $M_z$ of multiplication by the independent variable on the $L^2(\rho)$-closure of analytic complex polynomials on the complex plane, w

Externí odkaz: http://arxiv.org/abs/2411.04911

WorldCuisines: A Massive-Scale Benchmark for Multilingual and Multicultural Visual Question Answering on Global Cuisines

Autor: Winata, Genta Indra, Hudi, Frederikus, Irawan, Patrick Amadeus, Anugraha, David, Putri, Rifki Afina, Wang, Yutong, Nohejl, Adam, Prathama, Ubaidillah Ariq, Ousidhoum, Nedjma, Amriani, Afifa, Rzayev, Anar, Das, Anirban, Pramodya, Ashmari, Adila, Aulia, Wilie, Bryan, Mawalim, Candy Olivia, Cheng, Ching Lam, Abolade, Daud, Chersoni, Emmanuele, Santus, Enrico, Ikhwantri, Fariz, Kuwanto, Garry, Zhao, Hanyang, Wibowo, Haryo Akbarianto, Lovenia, Holy, Cruz, Jan Christian Blaise, Putra, Jan Wira Gotama, Myung, Junho, Susanto, Lucky, Machin, Maria Angelica Riera, Zhukova, Marina, Anugraha, Michael, Adilazuarda, Muhammad Farid, Santosa, Natasha, Limkonchotiwat, Peerat, Dabre, Raj, Audino, Rio Alexander, Cahyawijaya, Samuel, Zhang, Shi-Xiong, Salim, Stephanie Yulia, Zhou, Yi, Gui, Yinxuan, Adelani, David Ifeoluwa, Lee, En-Shiun Annie, Okada, Shogo, Purwarianti, Ayu, Aji, Alham Fikri, Watanabe, Taro, Wijaya, Derry Tanti, Oh, Alice, Ngo, Chong-Wah

Vision Language Models (VLMs) often struggle with culture-specific knowledge, particularly in languages other than English and in underrepresented cultural contexts. To evaluate their understanding of such knowledge, we introduce WorldCuisines, a mas

Externí odkaz: http://arxiv.org/abs/2410.12705

First Very Long Baseline Interferometry Detections at 870{\mu}m

Autor: Raymond, Alexander W., Doeleman, Sheperd S., Asada, Keiichi, Blackburn, Lindy, Bower, Geoffrey C., Bremer, Michael, Broguiere, Dominique, Chen, Ming-Tang, Crew, Geoffrey B., Dornbusch, Sven, Fish, Vincent L., García, Roberto, Gentaz, Olivier, Goddi, Ciriaco, Han, Chih-Chiang, Hecht, Michael H., Huang, Yau-De, Janssen, Michael, Keating, Garrett K., Koay, Jun Yi, Krichbaum, Thomas P., Lo, Wen-Ping, Matsushita, Satoki, Matthews, Lynn D., Moran, James M., Norton, Timothy J., Patel, Nimesh, Pesce, Dominic W., Ramakrishnan, Venkatessh, Rottmann, Helge, Roy, Alan L., Sánchez, Salvador, Tilanus, Remo P. J., Titus, Michael, Torne, Pablo, Wagner, Jan, Weintroub, Jonathan, Wielgus, Maciek, Young, André, Akiyama, Kazunori, Albentosa-Ruíz, Ezequiel, Alberdi, Antxon, Alef, Walter, Algaba, Juan Carlos, Anantua, Richard, Azulay, Rebecca, Bach, Uwe, Baczko, Anne-Kathrin, Ball, David, Baloković, Mislav, Bandyopadhyay, Bidisha, Barrett, John, Bauböck, Michi, Benson, Bradford A., Bintley, Dan, Blundell, Raymond, Bouman, Katherine L., Boyce, Hope, Brissenden, Roger, Britzen, Silke, Broderick, Avery E., Bronzwaer, Thomas, Bustamante, Sandra, Carlstrom, John E., Chael, Andrew, Chan, Chi-kwan, Chang, Dominic O., Chatterjee, Koushik, Chatterjee, Shami, Chen, Yongjun, Cheng, Xiaopeng, Cho, Ilje, Christian, Pierre, Conroy, Nicholas S., Conway, John E., Crawford, Thomas M., Cruz-Osorio, Alejandro, Cui, Yuzhu, Dahale, Rohan, Davelaar, Jordy, De Laurentis, Mariafelicia, Deane, Roger, Dempsey, Jessica, Desvignes, Gregory, Dexter, Jason, Dhruv, Vedant, Dihingia, Indu K., Dzib, Sergio A., Eatough, Ralph P., Emami, Razieh, Falcke, Heino, Farah, Joseph, Fomalont, Edward, Fontana, Anne-Laure, Ford, H. Alyson, Foschi, Marianna, Fraga-Encinas, Raquel, Freeman, William T., Friberg, Per, Fromm, Christian M., Fuentes, Antonio, Galison, Peter, Gammie, Charles F., Georgiev, Boris, Gold, Roman, Gómez-Ruiz, Arturo I., Gómez, José L., Gu, Minfeng, Gurwell, Mark, Hada, Kazuhiro, Haggard, Daryl, Hesper, Ronald, Heumann, Dirk, Ho, Luis C., Ho, Paul, Honma, Mareki, Huang, Chih-Wei L., Huang, Lei, Hughes, David H., Ikeda, Shiro, Impellizzeri, C. M. Violette, Inoue, Makoto, Issaoun, Sara, James, David J., Jannuzi, Buell T., Jeter, Britton, Jiang, Wu, Jiménez-Rosales, Alejandra, Johnson, Michael D., Jorstad, Svetlana, Jones, Adam C., Joshi, Abhishek V., Jung, Taehyun, Karuppusamy, Ramesh, Kawashima, Tomohisa, Kettenis, Mark, Kim, Dong-Jin, Kim, Jae-Young, Kim, Jongsoo, Kim, Junhan, Kino, Motoki, Kocherlakota, Prashant, Kofuji, Yutaro, Koch, Patrick M., Koyama, Shoko, Kramer, Carsten, Kramer, Joana A., Kramer, Michael, Kubo, Derek, Kuo, Cheng-Yu, La Bella, Noemi, Lee, Sang-Sung, Levis, Aviad, Li, Zhiyuan, Lico, Rocco, Lindahl, Greg, Lindqvist, Michael, Lisakov, Mikhail, Liu, Jun, Liu, Kuo, Liuzzo, Elisabetta, Lobanov, Andrei P., Loinard, Laurent, Lonsdale, Colin J., Lowitz, Amy E., Lu, Ru-Sen, MacDonald, Nicholas R., Mahieu, Sylvain, Maier, Doris, Mao, Jirong, Marchili, Nicola, Markoff, Sera, Marrone, Daniel P., Marscher, Alan P., Martí-Vidal, Iván, Medeiros, Lia, Menten, Karl M., Mizuno, Izumi, Mizuno, Yosuke, Montgomery, Joshua, Moriyama, Kotaro, Moscibrodzka, Monika, Mulaudzi, Wanga, Müller, Cornelia, Müller, Hendrik, Mus, Alejandro, Musoke, Gibwa, Myserlis, Ioannis, Nagai, Hiroshi, Nagar, Neil M., Nakamura, Masanori, Narayanan, Gopal, Natarajan, Iniyan, Nathanail, Antonios, Fuentes, Santiago Navarro, Neilsen, Joey, Ni, Chunchong, Nowak, Michael A., Oh, Junghwan, Okino, Hiroki, Sánchez, Héctor Raúl Olivares, Oyama, Tomoaki, Özel, Feryal, Palumbo, Daniel C. M., Paraschos, Georgios Filippos, Park, Jongho, Parsons, Harriet, Pen, Ue-Li, Piétu, Vincent, PopStefanija, Aleksandar, Porth, Oliver, Prather, Ben, Principe, Giacomo, Psaltis, Dimitrios, Pu, Hung-Yi, Raffin, Philippe A., Rao, Ramprasad, Rawlings, Mark G., Ricarte, Angelo, Ripperda, Bart, Roelofs, Freek, Romero-Cañizales, Cristina, Ros, Eduardo, Roshanineshat, Arash, Ruiz, Ignacio, Ruszczyk, Chet, Rygl, Kazi L. J., Sánchez-Argüelles, David, Sánchez-Portal, Miguel, Sasada, Mahito, Satapathy, Kaushik, Savolainen, Tuomas, Schloerb, F. Peter, Schonfeld, Jonathan, Schuster, Karl-Friedrich, Shao, Lijing, Shen, Zhiqiang, Small, Des, Sohn, Bong Won, SooHoo, Jason, Salas, León David Sosapanta, Souccar, Kamal, Srinivasan, Ranjani, Stanway, Joshua S., Sun, He, Tazaki, Fumie, Tetarenko, Alexandra J., Tiede, Paul, Toma, Kenji, Toscano, Teresa, Traianou, Efthalia, Trent, Tyler, Trippe, Sascha, Turk, Matthew, van Bemmel, Ilse, van Langevelde, Huib Jan, van Rossum, Daniel R., Vos, Jesse, Ward-Thompson, Derek, Wardle, John, Washington, Jasmin E., Wharton, Robert, Wiik, Kaj, Witzel, Gunther, Wondrak, Michael F., Wong, George N., Wu, Qingwen, Yadlapalli, Nitika, Yamaguchi, Paul, Yfantis, Aristomenis, Yoon, Doosoo, Younsi, Ziri, Yu, Wei, Yuan, Feng, Yuan, Ye-Fei, Zensus, J. Anton, Zhang, Shuo, Zhao, Guang-Yao, Zhao, Shan-Shan

Publikováno v: The Astronomical Journal, Volume 168, Issue 3, id.130, 19 pp. 2024

The first very long baseline interferometry (VLBI) detections at 870$\mu$m wavelength (345$\,$GHz frequency) are reported, achieving the highest diffraction-limited angular resolution yet obtained from the surface of the Earth, and the highest-freque

Externí odkaz: http://arxiv.org/abs/2410.07453

Enhancing Photometric Redshift Catalogs Through Color-Space Analysis: Application to KiDS-Bright Galaxies

Autor: Jalan, Priyanka, Bilicki, Maciej, Hellwing, Wojciech A., Wright, Angus H., Dvornik, Andrej, Heymans, Catherine, Hildebrandt, Hendrik, Joudaki, Shahab, Kuijken, Konrad, Mahony, Constance, Nakoneczny, Szymon Jan, Radovich, Mario, Busch, Jan Luca van den, Yoon, Mijin

We present a method to refine photometric redshift galaxy catalogs by comparing their color-space matching with overlapping spectroscopic calibration data. We focus on cases where photometric redshifts (photo-$z$) are estimated empirically. Identifyi

Externí odkaz: http://arxiv.org/abs/2409.14799