Zobrazeno 1 - 10
of 188
pro vyhledávání: '"González, Emmanuel"'
Dafny is a popular verification language, which automates proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires guidance in the form of helper assertions creating a burden for the proof en
Externí odkaz:
http://arxiv.org/abs/2405.16792
Autor:
Barke, Shraddha, Gonzalez, Emmanuel Anaya, Kasibatla, Saketh Ram, Berg-Kirkpatrick, Taylor, Polikarpova, Nadia
Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output. Unfortunately, purely neural a
Externí odkaz:
http://arxiv.org/abs/2405.15880
Autor:
Mysore, Sheshera, Lu, Zhuoran, Wan, Mengting, Yang, Longqi, Sarrafzadeh, Bahareh, Menezes, Steve, Baghaee, Tina, Gonzalez, Emmanuel Barajas, Neville, Jennifer, Safavi, Tara
Powerful large language models have facilitated the development of writing assistants that promise to significantly improve the quality and efficiency of composition and communication. However, a barrier to effective assistance is the lack of persona
Externí odkaz:
http://arxiv.org/abs/2311.09180
Autor:
Blakney, Andrew J.C., Morvan, Simon, Lucotte, Marc, Moingt, Matthieu, Charbonneau, Ariane, Bipfubusa, Marie, Gonzalez, Emmanuel, Pitre, Frédéric E.
Publikováno v:
In Science of the Total Environment 20 May 2024 926
Autor:
Luo, Wenting, Gonzalez, Emmanuel, Zarei, Ariyan, Calleja, Sebastian, Rozzi, Bruno, Demieville, Jeffrey, Li, Haiquan, Truco, Maria-Jose, Lavelle, Dean, Michelmore, Richard, Dyer, John M., Jenks, Matthew A., Pauli, Duke
Publikováno v:
In Heliyon 15 March 2024 10(5)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rol, Mary Luz, Lucas, Eric, Hernández, María de la Luz, Sánchez, Gloria Inés, Murillo, Raul, Jerónimo, Jose, Ferreccio, Catterina, Rodríguez, María Isabel, Cabrera, Yessy, Salgado, Brenda, Colucci, María Celeste, Saino, Maria Agustina, Rodríguez de la Peña, Margarita, Fernández, Daniel Llanos, García, Laura, Caserta, Benedicta, Doimi, Franco, Lazcano-Ponce, Eduardo, Ramírez, Arianis Tatiana, Valls, Joan, Baena, Armando, Rojas, Freddy David, Ramírez, Katherine, Álvarez, Rodrigo, Cristaldo, Carmen, Henríquez, Odessa, Moreno, Adrián, Reynaga, Daysi Colque, Palma, Hans González, Robinson, Isabel, Hernández, Diana Carolina, Bardales, Rosa, Cardinal, Lucia, Salgado, Yuly, Martínez, Sandra, González, Emmanuel, Guillén, Diego, Fleider, Laura, Tatti, Silvio, Villagra, Verónica, Venegas, Gino, Cruz-Valdez, Aurelio, Valencia, Marleny, Rodríguez, Guillermo, Terán, Carolina, Picconi, María Alejandra, Ferrera, Annabelle, Kasamatsu, Elena, Mendoza, Laura, Calderon, Alejandro, Luciani, Silvana, Broutet, Nathalie, Darragh, Teresa, Almonte, Maribel, Herrero, Rolando
Publikováno v:
In The Lancet Regional Health - Americas October 2023 26
We report the discovery of a new eclipsing polar, CRTS J035010.7+323230 (hereafter CRTS J0350+3232). We identified this cataclysmic variable (CV) candidate as a possible polar from its multi-year Catalina Real-Time Transient Survey (CRTS) optical lig
Externí odkaz:
http://arxiv.org/abs/1906.07767
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.