Zobrazeno 1 - 10
of 25 283
pro vyhledávání: '"A. Talia"'
Autor:
Shlomovich, Talia
We present a quantitative version of Guessing Geodesics, which is a well-known theorem that provides a set of conditions to prove hyperbolicity of a given metric space. This version adds to the existing result by determining an explicit estimate of t
Externí odkaz:
http://arxiv.org/abs/2410.21525
Autor:
Zhang, Margaret J., Pradhan, Anvay A., Brei, Zachary, Bu, Xiangyun, Ye, Xiang, Jamal, Saima, Lim, Chae Woo, Huang, Xiaonan, Moore, Talia Y.
Tails serve various functions in both robotics and biology, including expression, grasping, and defense. The vertebrate tails associated with these functions exhibit diverse patterns of vertebral lengths, but the precise mechanisms linking form to fu
Externí odkaz:
http://arxiv.org/abs/2410.21445
Autor:
Kasibatla, Saketh Ram, Agarwal, Arpan, Brun, Yuriy, Lerner, Sorin, Ringer, Talia, First, Emily
Formal verification using proof assistants, such as Coq, is an effective way of improving software quality, but it is expensive. Writing proofs manually requires both significant effort and expertise. Recent research has used machine learning to auto
Externí odkaz:
http://arxiv.org/abs/2410.19940
Autor:
da Silva, Rafael Ferreira, Bard, Deborah, Chard, Kyle, de Witt, Shaun, Foster, Ian T., Gibbs, Tom, Goble, Carole, Godoy, William, Gustafsson, Johan, Haus, Utz-Uwe, Hudson, Stephen, Jha, Shantenu, Los, Laila, Paine, Drew, Suter, Frédéric, Ward, Logan, Wilkinson, Sean, Amaris, Marcos, Babuji, Yadu, Bader, Jonathan, Balin, Riccardo, Balouek, Daniel, Beecroft, Sarah, Belhajjame, Khalid, Bhattarai, Rajat, Brewer, Wes, Brunk, Paul, Caino-Lores, Silvina, Casanova, Henri, Cassol, Daniela, Coleman, Jared, Coleman, Taina, Colonnelli, Iacopo, Da Silva, Anderson Andrei, de Oliveira, Daniel, Elahi, Pascal, Elfaramawy, Nour, Elwasif, Wael, Etz, Brian, Fahringer, Thomas, Ferreira, Wesley, Filgueira, Rosa, Tande, Jacob Fosso, Gadelha, Luiz, Gallo, Andy, Garijo, Daniel, Georgiou, Yiannis, Gritsch, Philipp, Grubel, Patricia, Gueroudji, Amal, Guilloteau, Quentin, Hamalainen, Carlo, Enriquez, Rolando Hong, Huet, Lauren, Kesling, Kevin Hunter, Iborra, Paula, Jahangiri, Shiva, Janssen, Jan, Jordan, Joe, Kanwal, Sehrish, Kunstmann, Liliane, Lehmann, Fabian, Leser, Ulf, Li, Chen, Liu, Peini, Luettgau, Jakob, Lupat, Richard, Fernandez, Jose M., Maheshwari, Ketan, Malik, Tanu, Marquez, Jack, Matsuda, Motohiko, Medic, Doriana, Mohammadi, Somayeh, Mulone, Alberto, Navarro, John-Luke, Ng, Kin Wai, Noelp, Klaus, Kinoshita, Bruno P., Prout, Ryan, Crusoe, Michael R., Ristov, Sashko, Robila, Stefan, Rosendo, Daniel, Rowell, Billy, Rybicki, Jedrzej, Sanchez, Hector, Saurabh, Nishant, Saurav, Sumit Kumar, Scogland, Tom, Senanayake, Dinindu, Shin, Woong, Sirvent, Raul, Skluzacek, Tyler, Sly-Delgado, Barry, Soiland-Reyes, Stian, Souza, Abel, Souza, Renan, Talia, Domenico, Tallent, Nathan, Thamsen, Lauritz, Titov, Mikhail, Tovar, Benjamin, Vahi, Karan, Vardar-Irrgang, Eric, Vartina, Edite, Wang, Yuandou, Wouters, Merridee, Yu, Qi, Bkhetan, Ziad Al, Zulfiqar, Mahnoor
The Workflows Community Summit gathered 111 participants from 18 countries to discuss emerging trends and challenges in scientific workflows, focusing on six key areas: time-sensitive workflows, AI-HPC convergence, multi-facility workflows, heterogen
Externí odkaz:
http://arxiv.org/abs/2410.14943
Autor:
Arango-Toro, R. C., Ilbert, O., Ciesla, L., Shuntov, M., Aufort, G., Mercier, W., Laigle, C., Franco, M., Bethermin, M., Borgne, D. Le, Dubois, Y., McCracken, H. J., Paquereau, L., Huertas-Company, M., Kartaltepe, J., Casey, C. M., Akins, H., Allen, N., Andika, I., Brinch, M., Drakos, N. E., Faisst, A., Gozaliasl, G., Harish, S., Kaminsky, A., Koekemoer, A., Kokorev, V., Liu, D., Magdis, G., Martin, C. L., Moutard, T., Rhodes, J., Rich, R. M., Robertson, B., Sanders, D. B., Sheth, K., Talia, M., Toft, S., Tresse, L., Valentino, F., Vijayan, A., Weaver, J.
The stellar mass-star formation rate (M$_\star$ - SFR) plane is essential for distinguishing galaxy populations, but how galaxies move within this plane over cosmic time remains unclear. This study aims to describe galaxy migrations in the M$_\star$
Externí odkaz:
http://arxiv.org/abs/2410.05375
Autor:
Tangtartharakul, Kavin, Fauvel, Gaetan, Meir, Talia, Condamine, Florian, Weber, Stefan, Pomerantz, Ishay, Manuel, Mario, Arefiev, Alexey
In this paper, we investigate the conditions under which direct laser acceleration (DLA) of electrons in a laser-irradiated plasma can produce distinct photon emission profiles, focusing on the mechanisms responsible for single-lobed versus double-lo
Externí odkaz:
http://arxiv.org/abs/2409.16506
Dynamic representation learning plays a pivotal role in understanding the evolution of linguistic content over time. On this front both context and time dynamics as well as their interplay are of prime importance. Current approaches model context via
Externí odkaz:
http://arxiv.org/abs/2408.15689
Autor:
Long, Arianna S., Casey, Caitlin M., McKinney, Jed, Zavala, Jorge A., Akins, Hollis B., Cooper, Olivia R., Lambrides, Matthieu Bethermin Erini L., Franco, Maximilien, Caputi, Karina, Champagne, Jaclyn B., Man, Allison W. S., Treister, Ezequiel, Manning, Sinclaire M., Sanders, David B., Talia, Margherita, Aravena, Manuel, Clements, D. L., da Cunha, Elisabete, Faisst, Andreas L., Gentile, Fabrizio, Hodge, Jacqueline, Brammer, Gabriel, Brusa, Marcella, Finkelstein, Steven L., Fujimoto, Seiji, Hayward, Christopher C., Ilbert, Olivier, Jolly, Jean-Baptiste, Kartaltepe, Jeyhan S., Knudsen, Kirsten, Koekemoer, Anton M., Liu, Daizhong, Magdis, Georgios, McCracken, Henry Joy, Rhodes, Jason, Robertson, Brant E., Scoville, Nick, Sheth, Kartik, Smolcic, Vernesa, Spilker, Justin, Taniguchi, Yoshiaki, Toft, Sune, Urry, C. Megan, Yun, Min
One of the greatest challenges in galaxy evolution over the last decade has been constraining the prevalence of heavily dust-obscured galaxies in the early Universe. At $z>3$, these galaxies are increasingly rare, and difficult to identify as they ar
Externí odkaz:
http://arxiv.org/abs/2408.14546
Autor:
Gentile, Fabrizio, Casey, Caitlin M., Akins, Hollis B., Franco, Maximilien, McKinney, Jed, Berman, Edward, Cooper, Olivia R., Drakos, Nicole E., Hirschmann, Michaela, Long, Arianna S., Magdis, Georgios, Koekemoer, Anton M., Kokorev, Vasily, Shuntov, Marko, Talia, Margherita, Allen, Natalie, Harish, Santosh, Ilbert, Olivier, McCracken, Henry J., Kartaltepe, Jeyhan S., Liu, Daizhong, Paquereau, Louise, Rhodes, Jason, Rich, Michael R., Robertson, Brant, Toft, Sune, Gozaliasl, Ghassem
We present the properties of two candidate massive ($M_\star\sim10^{11}M_\odot$) and dusty ($A_{\rm v}>2.5$ mag) galaxies at $z=5-7$ in the first 0.28 deg$^2$ of the COSMOS-Web survey. One object is spectroscopically confirmed at $z_{\rm spec}=5.051$
Externí odkaz:
http://arxiv.org/abs/2408.10305
Autor:
Sanchez-Stern, Alex, Varghese, Abhishek, Kaufman, Zhanna, Zhang, Dylan, Ringer, Talia, Brun, Yuriy
Formal verification is a promising method for producing reliable software, but the difficulty of manually writing verification proofs severely limits its utility in practice. Recent methods have automated some proof synthesis by guiding a search thro
Externí odkaz:
http://arxiv.org/abs/2408.09237