Zobrazeno 1 - 10 of 127 pro vyhledávání: '"Salvador, Lucas"'
2
Report
Specifying and Testing GPU Workgroup Progress Models
Autor: Sorensen, Tyler, Salvador, Lucas F., Raval, Harmit, Evrard, Hugues, Wickerson, John, Martonosi, Margaret, Donaldson, Alastair F.
As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-grained synchronization idioms; as such, their correct execution depen
Externí odkaz: http://arxiv.org/abs/2109.06132
Zobrazit plný text záznamu
3
Akademický článek
Natural History of MYH7-Related Dilated Cardiomyopathy
Autor: Cabrera-Romero, Eva, Cobo-Marcos, Marta, Escobar-Lopez, Luis, Domínguez, Fernando, González-López, Esther, Gimeno-Blanes, Juan Ramón, Dooijes, Dennis, López Ledesma, Bernabé, Roche Fortea, Inés, Bermejo, Javier, Espinosa, Maria Angeles, Fernández, Ana Isabel, Vilches, Silvia, Gómez, Cristina, Gómez, Juan, Coto, Eliecer, Rodríguez Reguero, José Julián, Heymans, S.R.B., Brunner, H.G., López-Díaz, Javier, Truszkowska, Grażyna, Ploski, Rafal, Chmielewski, Przemysław, Johnson, Renee, Robles-Mezcua, Ainhoa, Díaz-Expósito, Arancha, Pérez-Cabeza, Alejandro I., Jiménez-Rubio, Clara, Payá, Vicente Climent, Favilli, Silvia, Syrris, Petros, Cannie, Douglas, Billon, Clarisse, Lopez-Sainz, Angela, Calvo, Margarita, Fernández de Bobadilla, Ángela Cacicedo, Onaindia-Gandarias, Jose Juan, Gaztañaga-Arantzamendi, Larraitz, Zamarreño-Golvano, Estibaliz, Limeres, Javier, Gutiérrez-García, Laura, Villacorta, Eduardo, Haas, Jan, Krebsova, Alice, Mogensen, Jens, Cesar, Sergi, Campuzano, Oscar, Gutiérrez, Raúl Franco, Alvarez-Rubio, Jorge, Cremer-Luengos, David, Antoniutti, Guido, Caimi-Martinez, Fiama, Macías, Rosa, Jiménez-Jáimez, Juan, Peña-Peña, María Luisa, Díez-Aja López, Salvador Lucas, Acereda, Tania Pino, Corada, Blanca Arnáez, Piqueras-Flores, Jesús, Negreira-Caamaño, Martin, Río, Jorge Martinez-del, Mogollón Jiménez, María Victoria, Villanueva, Elena, Gonzáles, José Luis, Fernández, Adrián, Toscanini, Ulises, Favaloro, Lilian E., Díez, Carlota Hernández, de Frutos, Fernando, Ochoa, Juan Pablo, Navarro-Peñalver, Marina, Baas, Annette, Bjerre, Jesper Vandborg, Zorio, Esther, Méndez, Irene, Lorca, Rebeca, Verdonschot, Job A.J., García-Granja, Pablo Elpidio, Bilinska, Zofia, Fatkin, Diane, Fuentes-Cañamero, M. Eugenia, García-Pinilla, José M., García-Álvarez, María I., Girolami, Francesca, Barriales-Villa, Roberto, Díez-López, Carles, Lopes, Luis R., Wahbi, Karim, García-Álvarez, Ana, Rodríguez-Sánchez, Ibon, Rekondo-Olaetxea, Javier, Rodríguez-Palomares, José F., Gallego-Delgado, María, Meder, Benjamin, Kubanek, Milos, Hansen, Frederikke G., Restrepo-Córdoba, María Alejandra, Palomino-Doza, Julián, Ruiz-Guerrero, Luis, Sarquella-Brugada, Georgia, Perez-Perez, Alberto José, Bermúdez-Jiménez, Francisco José, Ripoll-Vera, Tomas, Rasmussen, Torsten Bloch, Jansen, Mark, Sabater-Molina, Maria, Elliot, Perry M., Garcia-Pavia, Pablo
Publikováno v: In Journal of the American College of Cardiology 11 October 2022 80(15):1447-1461
Zobrazit plný text záznamu
4
Natural History of MYH7-Related Dilated Cardiomyopathy
Autor: Fernando de Frutos, Juan Pablo Ochoa, Marina Navarro-Peñalver, Annette Baas, Jesper Vandborg Bjerre, Esther Zorio, Irene Méndez, Rebeca Lorca, Job A.J. Verdonschot, Pablo Elpidio García-Granja, Zofia Bilinska, Diane Fatkin, M. Eugenia Fuentes-Cañamero, José M. García-Pinilla, María I. García-Álvarez, Francesca Girolami, Roberto Barriales-Villa, Carles Díez-López, Luis R. Lopes, Karim Wahbi, Ana García-Álvarez, Ibon Rodríguez-Sánchez, Javier Rekondo-Olaetxea, José F. Rodríguez-Palomares, María Gallego-Delgado, Benjamin Meder, Milos Kubanek, Frederikke G. Hansen, María Alejandra Restrepo-Córdoba, Julián Palomino-Doza, Luis Ruiz-Guerrero, Georgia Sarquella-Brugada, Alberto José Perez-Perez, Francisco José Bermúdez-Jiménez, Tomas Ripoll-Vera, Torsten Bloch Rasmussen, Mark Jansen, Maria Sabater-Molina, Perry M. Elliot, Pablo Garcia-Pavia, Eva Cabrera-Romero, Marta Cobo-Marcos, Luis Escobar-Lopez, Fernando Domínguez, Esther González-López, Juan Ramón Gimeno-Blanes, Dennis Dooijes, Bernabé López Ledesma, Inés Roche Fortea, Javier Bermejo, Maria Angeles Espinosa, Ana Isabel Fernández, Silvia Vilches, Cristina Gómez, Juan Gómez, Eliecer Coto, José Julián Rodríguez Reguero, S.R.B. Heymans, H.G. Brunner, Javier López-Díaz, Grażyna Truszkowska, Rafal Ploski, Przemysław Chmielewski, Renee Johnson, Ainhoa Robles-Mezcua, Arancha Díaz-Expósito, Alejandro I. Pérez-Cabeza, Clara Jiménez-Rubio, Vicente Climent Payá, Silvia Favilli, Petros Syrris, Douglas Cannie, Clarisse Billon, Angela Lopez-Sainz, Margarita Calvo, Ángela Cacicedo Fernández de Bobadilla, Jose Juan Onaindia-Gandarias, Larraitz Gaztañaga-Arantzamendi, Estibaliz Zamarreño-Golvano, Javier Limeres, Laura Gutiérrez-García, Eduardo Villacorta, Jan Haas, Alice Krebsova, Jens Mogensen, Sergi Cesar, Oscar Campuzano, Raúl Franco Gutiérrez, Jorge Alvarez-Rubio, David Cremer-Luengos, Guido Antoniutti, Fiama Caimi-Martinez, Rosa Macías, Juan Jiménez-Jáimez, María Luisa Peña-Peña, Salvador Lucas Díez-Aja López, Tania Pino Acereda, Blanca Arnáez Corada, Jesús Piqueras-Flores, Martin Negreira-Caamaño, Jorge Martinez-del Río, María Victoria Mogollón Jiménez, Elena Villanueva, José Luis Gonzáles, Adrián Fernández, Ulises Toscanini, Lilian E. Favaloro, Carlota Hernández Díez
Publikováno v: Journal of the American College of Cardiology, 80, 1447-1461
Journal of the American College of Cardiology, 80, 15, pp. 1447-1461
Journal of the American College of Cardiology, 80(15), 1447-1461. Elsevier Science
JOURNAL OF THE AMERICAN COLLEGE OF CARDIOLOGY
r-IIS La Fe. Repositorio Institucional de Producción Científica del Instituto de Investigación Sanitaria La Fe
instname
Scopus
de Frutos, F, Ochoa, J P, Navarro-Peñalver, M, Baas, A, Bjerre, J V, Zorio, E, Méndez, I, Lorca, R, Verdonschot, J A J, García-Granja, P E, Bilinska, Z, Fatkin, D, Fuentes-Cañamero, M E, García-Pinilla, J M, García-Álvarez, M I, Girolami, F, Barriales-Villa, R, Díez-López, C, Lopes, L R, Wahbi, K, García-Álvarez, A, Rodríguez-Sánchez, I, Rekondo-Olaetxea, J, Rodríguez-Palomares, J F, Gallego-Delgado, M, Meder, B, Kubanek, M, Hansen, F G, Restrepo-Córdoba, M A, Palomino-Doza, J, Ruiz-Guerrero, L, Sarquella-Brugada, G, Perez-Perez, A J, Bermúdez-Jiménez, F J, Ripoll-Vera, T, Rasmussen, T B, Jansen, M, Sabater-Molina, M, Elliot, P M, Garcia-Pavia, P & European Genetic Cardiomyopathies Initiative Investigators 2022, ' Natural History of MYH7-Related Dilated Cardiomyopathy ', Journal of the American College of Cardiology, vol. 80, no. 15, pp. 1447-1461 . https://doi.org/10.1016/j.jacc.2022.07.023
r-ISABIAL. Repositorio Institucional de Producción Científica del Instituto de Investigación Biomédica y Sanitaria de Alicante
Instituto de Salud Carlos III (ISCIII), European Regional Development Fund/European Social Fund "A way to make Europe"/" Investing in your future" [PI18/0004, PI20/0320, PT17/0015/0043]; ISCIII; MCIN; Pro-CNIC Foundation; Severo Ochoa Centers of Exce
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61d05e32d5c9a7c19acdd82bf9eaf00a
https://doi.org/10.1016/j.jacc.2022.07.023
Zobrazit plný text záznamu
5
Akademický článek
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving
Autor: Salvador Lucas
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 200, Iss Proc. PROLE 2015, Pp 32-47 (2015)
Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In this setting,
Externí odkaz: https://doaj.org/article/406e4d861e244d3ab5860192e99c6581
Zobrazit plný text záznamu
6
Akademický článek
Termination of canonical context-sensitive rewriting and productivity of rewrite systems
Autor: Salvador Lucas
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 200, Iss Proc. PROLE 2015, Pp 18-31 (2015)
Termination of programs, i.e., the absence of infinite computations, ensures the existence of normal forms for all initial expressions, thus providing an essential ingredient for the definition of a normalization semantics for functional programs. In
Externí odkaz: https://doaj.org/article/e07e3a3f329341d08fbec0ffd78b8e6f
Zobrazit plný text záznamu
8
The origins of the halting problem
Autor: Salvador Lucas
[EN] The halting problem is a prominent example of undecidable problem and its formulation and undecidability proof is usually attributed to Turing's 1936 landmark paper. Copeland noticed in 2004, though, that it was so named and, apparently, first s
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f66fddcc4f6ec76659cd004791fb0306
https://hdl.handle.net/10251/189460
Zobrazit plný text záznamu
9
Uso de esquemas en diferencias finitas generalizadas para el modelado de dispersión de contaminantes bajo el efecto de islas de calor urbano en forma de viento mesoescala
Autor: Juan Salvador Lucas Martínez
Publikováno v: Universidad Michoacana de San Nicolás de Hidalgo
UMSNH
Repositorio Institucional de la Universidad Michoacana de San Nicolás de Hidalgo
Facultad de Ciencias Físico Matemáticas. Doctorado en Ciencias en Ingeniería Física In this project some schemes in generalized finite differences are presented, which were used in the study of steady-state, diffusion-advection phenomena, related
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::c8c2dc897b7be4c92e2c2b4cf68fc5da
http://bibliotecavirtual.dgb.umich.mx:8083/xmlui/handle/DGB_UMICH/6231
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje