Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Cristina Borralleras"'
Autor:
Jose Antonio Merchán-Baeza, Cristina Borralleras Andreu, Eduard Minobes-Molina, Sergi Grau Carrión, Montse Romero-Mas, Anna Ramon-Aribau
Publikováno v:
Journal of Medical Internet Research, Vol 25, p e41260 (2023)
BackgroundSupport interventions for caregivers can reduce their stress, possibly improving the quality of patients’ care while reducing care costs. Technological solutions have been designed to cover their needs, but there are some challenges in ma
Externí odkaz:
https://doaj.org/article/f00de14ca3054d72a8d1d19fe88c9cdd
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:
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
https://doi.org/10.21125/inted.2023.0185
Autor:
Anna Ramon-Aribau, Jose Antonio Merchán-Baeza, Cristina Borralleras-Andreu, Eduard Minobes-Molina, Sergi Grau-Carrión
Publikováno v:
INTED2023 Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb76dabf644bc5ac959e1447e69faa37
https://doi.org/10.21125/inted.2023.0184
https://doi.org/10.21125/inted.2023.0184
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
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
https://pubmed.ncbi.nlm.nih.gov/35435166
Autor:
Albert Oliveras, Enric Rodríguez-Carbonell, Cristina Borralleras, Daniel Larraz, Albert Rubio
Publikováno v:
ACM Transactions on Computational Logic
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
We present new methods for solving the Satisfiability Modulo Theories problem over the theory of QuantifierFree Non-linear Integer Arithmetic, SMT(QF-NIA), which consists of deciding the satisfiability of ground formulas with integer polynomial const
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f4c31ef2ef5df29a2cd89b035e9527ab
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
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
http://hdl.handle.net/10256/18110
Publikováno v:
Recercat. Dipósit de la Recerca de Catalunya
instname
instname
Williams-Beuren syndrome (WBS) is a neurodevelopmental disorder caused by a heterozygous deletion of 26-28 genes at chromosome band 7q11.23. Haploinsufficiency at GTF2I has been shown to play a major role in the neurobehavioral phenotype. By characte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bad49321b03bd28295544c9545a732b1
https://doi.org/10.1038/mt.2015.130
https://doi.org/10.1038/mt.2015.130
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)
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