Zobrazeno 1 - 10
of 2 495
pro vyhledávání: '"Ramos, Miguel A."'
We show how (well-established) type systems based on non-idempotent intersection types can be extended to characterize termination properties of functional programming languages with pattern matching features. To model such programming languages, we
Externí odkaz:
http://arxiv.org/abs/2408.11007
Reinforcement learning from human feedback (RLHF) is a recent technique to improve the quality of the text generated by a language model, making it closer to what humans would generate. A core ingredient in RLHF's success in aligning and improving la
Externí odkaz:
http://arxiv.org/abs/2311.09132
We show that recent approaches of static analysis based on quantitative typing systems can be extended to programming languages with global state. More precisely, we define a call-by-value language equipped with operations to access a global memory,
Externí odkaz:
http://arxiv.org/abs/2303.08940
Autor:
Faruk, Md. Omar1,2 (AUTHOR) mfaruk2@lsu.edu, Ramos, Miguel R.3 (AUTHOR), Ching, Umay1 (AUTHOR)
Publikováno v:
BJPsych International. Aug2024, Vol. 21 Issue 3, p62-66. 5p.
Autor:
Jon DelaCuesta-Barrutia, Oihane Martínez-Peula, Guadalupe Rivero, Jon A. Santas-Martín, Eva Munarriz-Cuezva, Iria Brocos-Mosquera, Patricia Miranda-Azpiazu, Rebeca Diez-Alarcia, Benito Morentin, William G. Honer, Luis F. Callado, Amaia M. Erdozain, Alfredo Ramos-Miguel
Publikováno v:
Translational Psychiatry, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract Antipsychotic-induced low availability of group II metabotropic glutamate receptors (including mGlu2R and mGlu3R) in brains of schizophrenia patients may explain the limited efficacy of mGlu2/3R ligands in clinical trials. Studies evaluating
Externí odkaz:
https://doaj.org/article/5c2c7314bce1491f9eb0e77df95c3820
Autor:
Jiménez-Guzmán, Graciela, Arroyo-Cosultchi, Gabriel, Martorell, Carlos, Martínez-Ramos, Miguel, Vega-Peña, Ernesto Vicente
Publikováno v:
In Journal of Arid Environments October 2024 224
Publikováno v:
In Children and Youth Services Review November 2024 166
Autor:
Ibarra-Velarde, Froylán, Flores-Ramos, Miguel, Cruz-Mendoza, Irene, Vera-Montenegro, Yolanda, Hernández-Campos, Alicia, Leyva-Gómez, Gerardo, Rojas-Campos, Tania, Tovar-Escobar, David, Castillo, Rafael, Arias-García, Rosa, Francisco-Márquez, Gerardo, Ezeta-Miranda, Alonso
Publikováno v:
In Experimental Parasitology November 2024 266
We define EVL, a minimal higher-order functional language to deal with generic events. The notion of generic event extends the well-known notion of event traditionally used in a variety of areas, such as database management, concurrency, reactive sys
Externí odkaz:
http://arxiv.org/abs/2109.08960
We have investigated the effects of hydrostatic pressure and compressive biaxial strain on the $\Gamma$-point energy states of GaN and InN with zincblende crystal structure via first-principles DFT+HSE06 computation. To correctly reproduce accepted e
Externí odkaz:
http://arxiv.org/abs/2108.07381