David Cuesta | Universitat Rovira i Virgili (original) (raw)
Papers by David Cuesta
Anales De Mecanica Y Electricidad, 2013
Common Criteria (CC) establishes a methodology to evaluate the security claimed by information te... more Common Criteria (CC) establishes a methodology to evaluate the security claimed by information technology products. As a requisite of CC-based evaluations, the manufacturer has to provide a formal document named security target, in which a security problem definition must be included along with the security objectives met by the product and the implemented security functional requirements (SFRs). The security problem definition contains the assets to protect, the expected threats to those assets, the existent organizational security policies and the assumptions made, being most of this information typically obtained from a formal risk analysis (RA). A RA is a process that organizations shall carry out to determine appropriate and cost-effective security controls to protect their ICT systems. By means of a RA, the level of security risk on the organization’s assets can be calculated. The risk level usually depends on the probability of occurrence of the considered threats and the pot...
2013 IEEE Energy Conversion Congress and Exposition, 2013
ABSTRACT
Human Pathology, 2014
Diagnosis of chronic myelomonocytic leukemia (CMML) is based on a combination of clinical, labora... more Diagnosis of chronic myelomonocytic leukemia (CMML) is based on a combination of clinical, laboratory, and morphological parameters, including persistent peripheral blood monocytosis. Recently, mutations of serine/arginine-rich splicing factor 2 (SRSF2) have been identified in 40% to 50% of CMMLs and occasionally in other myeloid disorders. In this study, we established a robust assay for the detection of SRSF2 mutations in decalcified, paraffin-embedded bone marrow (BM) biopsies and investigated its diagnostic utility. BM biopsies of 78 patients with myeloid neoplasms, including 36 CMMLs, 22 myelodysplastic syndromes (MDS), and 20 Ph- myeloproliferative neoplasms (MPN) were analyzed. The region around hot spot P95 in exon 1 of SRSF2 was amplified and bidirectionally sequenced. In addition, a restriction fragment length polymorphism analysis was established. The JAK2 V617F mutation was investigated by allele-specific polymerase chain reaction. SRSF2 mutations were identified in 16 (44%) of 36 CMMLs, including 1 of 3 cases with associated systemic mastocytosis, 4 (20%) of 20 Ph- MPN, and 1 (4.5%) of 22 MDS. Restriction fragment length polymorphism analysis detected all mutations with the exception of a single P95A. Of note, 2 cases of JAK2 V617F+ primary myelofibrosis with SRSF2 mutation initially were diagnosed as CMML based on significant peripheral blood monocytosis. In CMML, no correlation with histopathology and/or clinical parameters was observed, but SRSF2 mutations were associated with normal karyotype (P < .001). In summary, SRSF2 mutations are frequent in CMML and a useful diagnostic feature demonstrable in BM biopsies, allowing a definitive diagnosis for cases with minimal dysplasia and normal karyotype. The role of SRSF2 mutations in cases with hybrid features between primary myelofibrosis and CMML needs further investigation.
Revista Española de Patología, 2014
Recibido el 1 de marzo de 2013; aceptado el 9 de abril de 2013 Disponible en Internet el 13 de ju... more Recibido el 1 de marzo de 2013; aceptado el 9 de abril de 2013 Disponible en Internet el 13 de junio de 2013
Proceedings of the 2nd International Workshop on Linked Science, 2012
Research Objects (ROs) provide a flexible model to collate and describe the semantic context of s... more Research Objects (ROs) provide a flexible model to collate and describe the semantic context of science. In this position paper we describe how ROs can also provide a foundation for interoperability within RESTful architecture design, enabling the development of new services and clients alongside compatible enhancements to existing software including myExperiment. To illustrate this we introduce an infrastructure, known as the Wf4Ever Toolkit, providing services and clients to encapsulate, preserve, and re-use ROs.
Entropy, 2015
Atrial fibrillation (AF) is the most commonly clinically-encountered arrhythmia. Catheter ablatio... more Atrial fibrillation (AF) is the most commonly clinically-encountered arrhythmia. Catheter ablation of AF is mainly based on trigger elimination and modification of the AF substrate. Substrate mapping ablation of complex fractionated atrial electrograms (CFAEs) has emerged to be a promising technique. To improve substrate mapping based on CFAE analysis, automatic detection algorithms need to be developed in order to simplify and accelerate the ablation procedures. According to the latest studies, the level of fractionation has been shown to be promisingly well estimated from CFAE measured during radio frequency (RF) ablation of AF. The nature of CFAE is generally nonlinear and nonstationary, so the use of complexity measures is considered to be the appropriate technique for the analysis of AF records. This work proposes the use of sample entropy (SampEn), not only as a way to discern between non-fractionated and fractionated atrial electrograms (A-EGM), Entropy 2015, 17 7494 but also as a tool for characterizing the degree of A-EGM regularity, which is linked to changes in the AF substrate and to heart tissue damage. The use of SampEn combined with a blind parameter estimation optimization process enables the classification between CFAE and non-CFAE with statistical significance (p < 0.001), 0.89 area under the ROC, 86% specificity and 77% sensitivity over a mixed database of A-EGM combined from two independent CFAE signal databases, recorded during RF ablation of AF in two EU countries (542 signals in total). On the basis of the results obtained in this study, it can be suggested that the use of SampEn is suitable for real-time support during navigation of RF ablation of AF, as only 1.5 seconds of signal segments need to be analyzed.
Applied Soft Computing
ABSTRACT
Applied Soft Computing, 2015
ABSTRACT
Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference, 2009
Measures from the theory of nonlinear dynamics were applied on complex fractionated atrial electr... more Measures from the theory of nonlinear dynamics were applied on complex fractionated atrial electrograms (CFAEs) in order to characterize their physiological dynamic behavior. The results were obtained considering 113 short term atrial electrograms (A-EGMs) which were annotated by three experts into four classes of fractionation according to A-EGMs signal regularity. The following measures were applied on A-EGM signals: General Correlation Dimension, Approximate Entropy, Detrended Fluctuation Analysis, Lempel-Ziv Complexity, and Katz-Sevcik, Variance and Box Counting Fractal Dimension. Assessment of disorganization was evaluated by a Kruskal Wallis statistical test. Except Detrended Fluctuation Analysis and Variance Fractal Dimension, the CFAE disorganization was found statistically significant even for low significant level alpha = 0.001. Moreover, the increasing complexity of A-EGM signals was reflected by higher values of General Correlation Dimension of order 1 and Approximate En...
ABSTRACT This paper shows the importance of using a cross-sectoral interoperability framework bas... more ABSTRACT This paper shows the importance of using a cross-sectoral interoperability framework based on ontologies, for facilitating communication among companies. This semantic interoperability framework is deployed in Building & Construction (B&C) and Textile & Clothing (TEX) sectors, inside the Seamless Project, focusing on SMEs. The definition of the ontological framework has included some semantically related previous results in TEX and B&C and their crossovers. This final solution is the basis for developing the eRegistries of the SEEM Network with the objective of improving communications and data exchanges among companies, increasing their visibility at a European level and facilitating the location of new partners. Nowadays a business case is deployed in the textile sector among seven SMEs using the TexWeave data model. This solution is ontology based since business interoperation depends heavily on how effectively SMEs are able to understand precisely the meaning of the business requests among them.
Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11, 2011
... top of page AUTHORS. Search for David Cuesta Gómez Search for José Luis Risco Martín Search f... more ... top of page AUTHORS. Search for David Cuesta Gómez Search for José Luis Risco Martín Search for José Luis Ayala Search for José Ignacio Hidalgo. top of page REFERENCES. ... 15. W.-L. Hung, Y. Xie, N. Vijaykrishnan, C. Addo-Quaye, T. Theocharides, and MJ Irwin. ...
Mathematical and Computer Modelling, 2009
This paper presents T-wave alternans (TWA) detection, applying the Wavelet Transform (WT) to elec... more This paper presents T-wave alternans (TWA) detection, applying the Wavelet Transform (WT) to electrocardiographic (ECG) synthetic signals. The TWA is generated with or without the sinusoidal addition of the wave with the required electrical level from 0.01 to 1 mV. The TWA is measured using the difference between the amplitudes of the augmented T-waves and the normal ones.
Lecture Notes in Computer Science, 2004
ABSTRACT Holter signals are ambulatory long-term electrocardiographic (ECG) registers used to det... more ABSTRACT Holter signals are ambulatory long-term electrocardiographic (ECG) registers used to detect heart diseases which are difficult to find in normal ECGs. These signals normally include several channels and its duration is up to 48 hours. The principal problem for the cardiologists consists of the manual inspection of the whole holter ECG to find all those beats whose morphology differ from the normal synus rhythm. The later analisys of these arrhythmia beats yields a diagnostic from the pacient’s heart condition. The Hidden Markov Models (HMM) can be used in ECG diagnosis avoiding the manual inspection. In this paper we improve the performance of the HMM clustering method introducing a preclustering stage in order to diminish the number of elements to be finally processed and reducing the global computational cost. An experimental comparative study is carried out, utilizing records form the MIT-BIH Arrhythmia database. Finally some results are presented in order to validate the procedure.
Lecture Notes in Computer Science, 2005
Holter signals are ambulatory long-term electrocardiographic (ECG) registers used to detect heart... more Holter signals are ambulatory long-term electrocardiographic (ECG) registers used to detect heart diseases which are difficult to find in normal ECG. These signals normally include several channels and its duration is up to 48 hours. The principal problem for the cardiologists consists of the manual inspection of the whole Holter ECG to find all those beats whose morphology differ from
2011 12th Latin American Test Workshop (LATW), 2011
ABSTRACT Heat removal and power density distribution delivery have become two major reliability c... more ABSTRACT Heat removal and power density distribution delivery have become two major reliability concerns in 3D stacked technology. In this paper, we propose a thermal-driven 3D floor-planner. Our contributions include: (1) a novel multi-objective formulation to consider the thermal and performance constraints in the optimization approach; (2) an efficient Mixed Integer Linear Programming (MILP) representation of the floorplanning model; and (3) a smooth integration of the MILP model with an accurate thermal modelling of the architecture. The experimental work is conducted for two realistic many-core single-chip architectures: an homogeneous system resembling Intel's SCC, and an improved heterogeneous setup. The results show promising improvements of the mean, peak temperature and the thermal gradient, with a reduced overhead in the wire length of the system.
Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10, 2010
... in which a thermal model for 3D architectures is integrated with a run-time emulator to help ... more ... in which a thermal model for 3D architectures is integrated with a run-time emulator to help on improving the results of the thermal-aware floorplanners ... the emulation, it is then possible to emulate one layer at a time and to also report data for the case of six and nine cores (using ...
Microprocessors and Microsystems, 2012
One of the most important concerns in 3D technology is heat removal. In this paper we propose a 3... more One of the most important concerns in 3D technology is heat removal. In this paper we propose a 3D thermal-aware floorplanner. Our contributions include: (1) a novel multi-objective formulation to consider the thermal and performance constraints in the optimization approach; (2) an efficient Mixed Integer Linear Programming (MILP) representation of the floorplanning model; and (3) a smooth integration of the MILP model with an accurate thermal modelling of the architecture. The experimental results for several realistic 3D stacks based on the Niagara system show promising improvements of the main thermal metrics, with a reduced overhead in the wire length of the system.
Anales De Mecanica Y Electricidad, 2013
Common Criteria (CC) establishes a methodology to evaluate the security claimed by information te... more Common Criteria (CC) establishes a methodology to evaluate the security claimed by information technology products. As a requisite of CC-based evaluations, the manufacturer has to provide a formal document named security target, in which a security problem definition must be included along with the security objectives met by the product and the implemented security functional requirements (SFRs). The security problem definition contains the assets to protect, the expected threats to those assets, the existent organizational security policies and the assumptions made, being most of this information typically obtained from a formal risk analysis (RA). A RA is a process that organizations shall carry out to determine appropriate and cost-effective security controls to protect their ICT systems. By means of a RA, the level of security risk on the organization’s assets can be calculated. The risk level usually depends on the probability of occurrence of the considered threats and the pot...
2013 IEEE Energy Conversion Congress and Exposition, 2013
ABSTRACT
Human Pathology, 2014
Diagnosis of chronic myelomonocytic leukemia (CMML) is based on a combination of clinical, labora... more Diagnosis of chronic myelomonocytic leukemia (CMML) is based on a combination of clinical, laboratory, and morphological parameters, including persistent peripheral blood monocytosis. Recently, mutations of serine/arginine-rich splicing factor 2 (SRSF2) have been identified in 40% to 50% of CMMLs and occasionally in other myeloid disorders. In this study, we established a robust assay for the detection of SRSF2 mutations in decalcified, paraffin-embedded bone marrow (BM) biopsies and investigated its diagnostic utility. BM biopsies of 78 patients with myeloid neoplasms, including 36 CMMLs, 22 myelodysplastic syndromes (MDS), and 20 Ph- myeloproliferative neoplasms (MPN) were analyzed. The region around hot spot P95 in exon 1 of SRSF2 was amplified and bidirectionally sequenced. In addition, a restriction fragment length polymorphism analysis was established. The JAK2 V617F mutation was investigated by allele-specific polymerase chain reaction. SRSF2 mutations were identified in 16 (44%) of 36 CMMLs, including 1 of 3 cases with associated systemic mastocytosis, 4 (20%) of 20 Ph- MPN, and 1 (4.5%) of 22 MDS. Restriction fragment length polymorphism analysis detected all mutations with the exception of a single P95A. Of note, 2 cases of JAK2 V617F+ primary myelofibrosis with SRSF2 mutation initially were diagnosed as CMML based on significant peripheral blood monocytosis. In CMML, no correlation with histopathology and/or clinical parameters was observed, but SRSF2 mutations were associated with normal karyotype (P &amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;lt; .001). In summary, SRSF2 mutations are frequent in CMML and a useful diagnostic feature demonstrable in BM biopsies, allowing a definitive diagnosis for cases with minimal dysplasia and normal karyotype. The role of SRSF2 mutations in cases with hybrid features between primary myelofibrosis and CMML needs further investigation.
Revista Española de Patología, 2014
Recibido el 1 de marzo de 2013; aceptado el 9 de abril de 2013 Disponible en Internet el 13 de ju... more Recibido el 1 de marzo de 2013; aceptado el 9 de abril de 2013 Disponible en Internet el 13 de junio de 2013
Proceedings of the 2nd International Workshop on Linked Science, 2012
Research Objects (ROs) provide a flexible model to collate and describe the semantic context of s... more Research Objects (ROs) provide a flexible model to collate and describe the semantic context of science. In this position paper we describe how ROs can also provide a foundation for interoperability within RESTful architecture design, enabling the development of new services and clients alongside compatible enhancements to existing software including myExperiment. To illustrate this we introduce an infrastructure, known as the Wf4Ever Toolkit, providing services and clients to encapsulate, preserve, and re-use ROs.
Entropy, 2015
Atrial fibrillation (AF) is the most commonly clinically-encountered arrhythmia. Catheter ablatio... more Atrial fibrillation (AF) is the most commonly clinically-encountered arrhythmia. Catheter ablation of AF is mainly based on trigger elimination and modification of the AF substrate. Substrate mapping ablation of complex fractionated atrial electrograms (CFAEs) has emerged to be a promising technique. To improve substrate mapping based on CFAE analysis, automatic detection algorithms need to be developed in order to simplify and accelerate the ablation procedures. According to the latest studies, the level of fractionation has been shown to be promisingly well estimated from CFAE measured during radio frequency (RF) ablation of AF. The nature of CFAE is generally nonlinear and nonstationary, so the use of complexity measures is considered to be the appropriate technique for the analysis of AF records. This work proposes the use of sample entropy (SampEn), not only as a way to discern between non-fractionated and fractionated atrial electrograms (A-EGM), Entropy 2015, 17 7494 but also as a tool for characterizing the degree of A-EGM regularity, which is linked to changes in the AF substrate and to heart tissue damage. The use of SampEn combined with a blind parameter estimation optimization process enables the classification between CFAE and non-CFAE with statistical significance (p < 0.001), 0.89 area under the ROC, 86% specificity and 77% sensitivity over a mixed database of A-EGM combined from two independent CFAE signal databases, recorded during RF ablation of AF in two EU countries (542 signals in total). On the basis of the results obtained in this study, it can be suggested that the use of SampEn is suitable for real-time support during navigation of RF ablation of AF, as only 1.5 seconds of signal segments need to be analyzed.
Applied Soft Computing
ABSTRACT
Applied Soft Computing, 2015
ABSTRACT
Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference, 2009
Measures from the theory of nonlinear dynamics were applied on complex fractionated atrial electr... more Measures from the theory of nonlinear dynamics were applied on complex fractionated atrial electrograms (CFAEs) in order to characterize their physiological dynamic behavior. The results were obtained considering 113 short term atrial electrograms (A-EGMs) which were annotated by three experts into four classes of fractionation according to A-EGMs signal regularity. The following measures were applied on A-EGM signals: General Correlation Dimension, Approximate Entropy, Detrended Fluctuation Analysis, Lempel-Ziv Complexity, and Katz-Sevcik, Variance and Box Counting Fractal Dimension. Assessment of disorganization was evaluated by a Kruskal Wallis statistical test. Except Detrended Fluctuation Analysis and Variance Fractal Dimension, the CFAE disorganization was found statistically significant even for low significant level alpha = 0.001. Moreover, the increasing complexity of A-EGM signals was reflected by higher values of General Correlation Dimension of order 1 and Approximate En...
ABSTRACT This paper shows the importance of using a cross-sectoral interoperability framework bas... more ABSTRACT This paper shows the importance of using a cross-sectoral interoperability framework based on ontologies, for facilitating communication among companies. This semantic interoperability framework is deployed in Building & Construction (B&C) and Textile & Clothing (TEX) sectors, inside the Seamless Project, focusing on SMEs. The definition of the ontological framework has included some semantically related previous results in TEX and B&C and their crossovers. This final solution is the basis for developing the eRegistries of the SEEM Network with the objective of improving communications and data exchanges among companies, increasing their visibility at a European level and facilitating the location of new partners. Nowadays a business case is deployed in the textile sector among seven SMEs using the TexWeave data model. This solution is ontology based since business interoperation depends heavily on how effectively SMEs are able to understand precisely the meaning of the business requests among them.
Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11, 2011
... top of page AUTHORS. Search for David Cuesta Gómez Search for José Luis Risco Martín Search f... more ... top of page AUTHORS. Search for David Cuesta Gómez Search for José Luis Risco Martín Search for José Luis Ayala Search for José Ignacio Hidalgo. top of page REFERENCES. ... 15. W.-L. Hung, Y. Xie, N. Vijaykrishnan, C. Addo-Quaye, T. Theocharides, and MJ Irwin. ...
Mathematical and Computer Modelling, 2009
This paper presents T-wave alternans (TWA) detection, applying the Wavelet Transform (WT) to elec... more This paper presents T-wave alternans (TWA) detection, applying the Wavelet Transform (WT) to electrocardiographic (ECG) synthetic signals. The TWA is generated with or without the sinusoidal addition of the wave with the required electrical level from 0.01 to 1 mV. The TWA is measured using the difference between the amplitudes of the augmented T-waves and the normal ones.
Lecture Notes in Computer Science, 2004
ABSTRACT Holter signals are ambulatory long-term electrocardiographic (ECG) registers used to det... more ABSTRACT Holter signals are ambulatory long-term electrocardiographic (ECG) registers used to detect heart diseases which are difficult to find in normal ECGs. These signals normally include several channels and its duration is up to 48 hours. The principal problem for the cardiologists consists of the manual inspection of the whole holter ECG to find all those beats whose morphology differ from the normal synus rhythm. The later analisys of these arrhythmia beats yields a diagnostic from the pacient’s heart condition. The Hidden Markov Models (HMM) can be used in ECG diagnosis avoiding the manual inspection. In this paper we improve the performance of the HMM clustering method introducing a preclustering stage in order to diminish the number of elements to be finally processed and reducing the global computational cost. An experimental comparative study is carried out, utilizing records form the MIT-BIH Arrhythmia database. Finally some results are presented in order to validate the procedure.
Lecture Notes in Computer Science, 2005
Holter signals are ambulatory long-term electrocardiographic (ECG) registers used to detect heart... more Holter signals are ambulatory long-term electrocardiographic (ECG) registers used to detect heart diseases which are difficult to find in normal ECG. These signals normally include several channels and its duration is up to 48 hours. The principal problem for the cardiologists consists of the manual inspection of the whole Holter ECG to find all those beats whose morphology differ from
2011 12th Latin American Test Workshop (LATW), 2011
ABSTRACT Heat removal and power density distribution delivery have become two major reliability c... more ABSTRACT Heat removal and power density distribution delivery have become two major reliability concerns in 3D stacked technology. In this paper, we propose a thermal-driven 3D floor-planner. Our contributions include: (1) a novel multi-objective formulation to consider the thermal and performance constraints in the optimization approach; (2) an efficient Mixed Integer Linear Programming (MILP) representation of the floorplanning model; and (3) a smooth integration of the MILP model with an accurate thermal modelling of the architecture. The experimental work is conducted for two realistic many-core single-chip architectures: an homogeneous system resembling Intel's SCC, and an improved heterogeneous setup. The results show promising improvements of the mean, peak temperature and the thermal gradient, with a reduced overhead in the wire length of the system.
Proceedings of the 20th symposium on Great lakes symposium on VLSI - GLSVLSI '10, 2010
... in which a thermal model for 3D architectures is integrated with a run-time emulator to help ... more ... in which a thermal model for 3D architectures is integrated with a run-time emulator to help on improving the results of the thermal-aware floorplanners ... the emulation, it is then possible to emulate one layer at a time and to also report data for the case of six and nine cores (using ...
Microprocessors and Microsystems, 2012
One of the most important concerns in 3D technology is heat removal. In this paper we propose a 3... more One of the most important concerns in 3D technology is heat removal. In this paper we propose a 3D thermal-aware floorplanner. Our contributions include: (1) a novel multi-objective formulation to consider the thermal and performance constraints in the optimization approach; (2) an efficient Mixed Integer Linear Programming (MILP) representation of the floorplanning model; and (3) a smooth integration of the MILP model with an accurate thermal modelling of the architecture. The experimental results for several realistic 3D stacks based on the Niagara system show promising improvements of the main thermal metrics, with a reduced overhead in the wire length of the system.