Epigallocatechin-3-gallate improves cardiac hypertrophy and short-term memory deficits in a Williams-Beuren syndrome mouse model.

Autor: Paula Ortiz-Romero, Cristina Borralleras, Mònica Bosch-Morató, Biuse Guivernau, Guillermo Albericio, Francisco J Muñoz, Luis A Pérez-Jurado, Victoria Campuzano

Publikováno v: PLoS ONE, Vol 13, Iss 3, p e0194476 (2018)

Williams-Beuren syndrome (WBS) is a neurodevelopmental disorder caused by a heterozygous deletion of 26-28 genes at chromosome band 7q11.23. The complete deletion (CD) mouse model mimics the most common deletion found in WBS patients and recapitulate

Externí odkaz: https://doaj.org/article/d89695bfdf0347a09128c9dce9e13461

CO-CREATING: DESIGNING MULTI-DISCIPLINARY SOLUTIONS WITH FAMILY CAREGIVERS OF PERSONS WITH ALZHEIMER'S AND BRINGING THE THIRD AND PRIVATE SECTOR INTO THE CLASSROOMS

Autor: Sergi Grau-Carrión, Anna Ramon-Aribau, Jose Antonio Merchán-Baeza, Eduard Minobes-Molina, Cristina Borralleras-Andreu

Publikováno v: INTED2023 Proceedings.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7f0947bae857790ffc584a5d0c8cd747
https://doi.org/10.21125/inted.2023.0185

[Effectiveness of treatment with Pygeum africanum in patients with lower urinary tract symptoms and benign prostatic hyperplasia: a cross-sectional study in the real-world clinical practice in Spain (The PROFIT Study)]

Autor: Javier, Cambronero, Jose Manuel, Osca-García, Sergio, Merino-Salas, Juan Manuel, Miguel, Cristina, Borralleras, Emilio, López-Alcina

Publikováno v: Archivos espanoles de urologia. 75(3)

To assess the effectivenessand tolerability of treatment with P africanum(P. africanum) in patients with lower urinary tractsymptoms (LUTS) associated with benign prostatichyperplasia (BPH) in routine clinical practice.Cross-sectional observationalst

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmid________::1d377f814065187c865725dae84efa9e
https://pubmed.ncbi.nlm.nih.gov/35435166

Resource Analysis driven by (Conditional) Termination Proofs

Autor: Cristina Borralleras, Albert Rubio, Miquel Bofill, Elvira Albert, Enrique Martin-Martin

Publikováno v: © Theory and Practice of Logic Programming, 2019, vol. 19, núm. 5-6 (special issue 35th International Conference on Logic Programming)
Articles publicats (D-IMA)
DUGiDocs – Universitat de Girona
instname

When programs feature a complex control flow, existing techniques for resource analysis produce cost relation systems (CRS) whose cost functions retain the complex flow of the program and, consequently, might not be solvable into closed-form upper bo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::064613e5775e456bdf659fbdf92667a6
http://hdl.handle.net/10256/18110

Proving termination through conditional termination

Autor: Marc Brockschmidt, Enric Rodríguez-Carbonell, Daniel Larraz, Albert Rubio, Cristina Borralleras, Albert Oliveras

Publikováno v: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662545768
TACAS (1)

We present a constraint-based method for proving conditional termination of integer programs. Building on this, we construct a framework to prove (unconditional) program termination using a powerful mechanism to combine conditional termination proofs

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a1ec6a4a90b65b239baa38fda0688d8