Showing 1–28 of 28 results for author: Garcia, I

Parallel-in-Time Integration of Transient Phenomena in No-Insulation Superconducting Coils Using Parareal

Authors: Erik Schnaubelt, Mariusz Wozniak, Julien Dular, Idoia Cortes Garcia, Arjan Verweij, Sebastian Schöps

Abstract: High-temperature superconductors (HTS) have the potential to enable magnetic fields beyond the current limits of low-temperature superconductors in applications like accelerator magnets. However, the design of HTS-based magnets requires computationally demanding transient multi-physics simulations with highly non-linear material properties. To reduce the solution time, we propose using Parareal (P… ▽ More High-temperature superconductors (HTS) have the potential to enable magnetic fields beyond the current limits of low-temperature superconductors in applications like accelerator magnets. However, the design of HTS-based magnets requires computationally demanding transient multi-physics simulations with highly non-linear material properties. To reduce the solution time, we propose using Parareal (PR) for parallel-in-time magneto-thermal simulation of magnets based on HTS, particularly, no-insulation coils without turn-to-turn insulation. We propose extending the classical PR method to automatically find a time partitioning using a first coarse adaptive propagator. The proposed PR method is shown to reduce the computing time when fine engineering tolerances are required despite the highly nonlinear character of the problem. The full software stack used is open-source. △ Less

Submitted 20 April, 2024; originally announced April 2024.

Comments: Pre-submission version (preprint). Presented at and submitted to the proceedings of "The 15th International Conference on Scientific Computing in Electrical Engineering" (SCEE 2024), March 4-8, 2024, Darmstadt, Germany

AI Sustainability in Practice Part Two: Sustainability Throughout the AI Workflow

Authors: David Leslie, Cami Rincon, Morgan Briggs, Antonella Perini, Smera Jayadeva, Ann Borda, SJ Bennett, Christopher Burr, Mhairi Aitken, Michael Katell, Claudia Fischer, Janis Wong, Ismael Kherroubi Garcia

Abstract: The sustainability of AI systems depends on the capacity of project teams to proceed with a continuous sensitivity to their potential real-world impacts and transformative effects. Stakeholder Impact Assessments (SIAs) are governance mechanisms that enable this kind of responsiveness. They are tools that create a procedure for, and a means of documenting, the collaborative evaluation and reflectiv… ▽ More The sustainability of AI systems depends on the capacity of project teams to proceed with a continuous sensitivity to their potential real-world impacts and transformative effects. Stakeholder Impact Assessments (SIAs) are governance mechanisms that enable this kind of responsiveness. They are tools that create a procedure for, and a means of documenting, the collaborative evaluation and reflective anticipation of the possible harms and benefits of AI innovation projects. SIAs are not one-off governance actions. They require project teams to pay continuous attention to the dynamic and changing character of AI production and use and to the shifting conditions of the real-world environments in which AI technologies are embedded. This workbook is part two of two workbooks on AI Sustainability. It provides a template of the SIA and activities that allow a deeper dive into crucial parts of it. It discusses methods for weighing values and considering trade-offs during the SIA. And, it highlights the need to treat the SIA as an end-to-end process of responsive evaluation and re-assessment. △ Less

Submitted 19 February, 2024; originally announced March 2024.

AI Fairness in Practice

Authors: David Leslie, Cami Rincon, Morgan Briggs, Antonella Perini, Smera Jayadeva, Ann Borda, SJ Bennett, Christopher Burr, Mhairi Aitken, Michael Katell, Claudia Fischer, Janis Wong, Ismael Kherroubi Garcia

Abstract: Reaching consensus on a commonly accepted definition of AI Fairness has long been a central challenge in AI ethics and governance. There is a broad spectrum of views across society on what the concept of fairness means and how it should best be put to practice. In this workbook, we tackle this challenge by exploring how a context-based and society-centred approach to understanding AI Fairness can… ▽ More Reaching consensus on a commonly accepted definition of AI Fairness has long been a central challenge in AI ethics and governance. There is a broad spectrum of views across society on what the concept of fairness means and how it should best be put to practice. In this workbook, we tackle this challenge by exploring how a context-based and society-centred approach to understanding AI Fairness can help project teams better identify, mitigate, and manage the many ways that unfair bias and discrimination can crop up across the AI project workflow. We begin by exploring how, despite the plurality of understandings about the meaning of fairness, priorities of equality and non-discrimination have come to constitute the broadly accepted core of its application as a practical principle. We focus on how these priorities manifest in the form of equal protection from direct and indirect discrimination and from discriminatory harassment. These elements form ethical and legal criteria based upon which instances of unfair bias and discrimination can be identified and mitigated across the AI project workflow. We then take a deeper dive into how the different contexts of the AI project lifecycle give rise to different fairness concerns. This allows us to identify several types of AI Fairness (Data Fairness, Application Fairness, Model Design and Development Fairness, Metric-Based Fairness, System Implementation Fairness, and Ecosystem Fairness) that form the basis of a multi-lens approach to bias identification, mitigation, and management. Building on this, we discuss how to put the principle of AI Fairness into practice across the AI project workflow through Bias Self-Assessment and Bias Risk Management as well as through the documentation of metric-based fairness criteria in a Fairness Position Statement. △ Less

Submitted 19 February, 2024; originally announced March 2024.

AI Sustainability in Practice Part One: Foundations for Sustainable AI Projects

Authors: David Leslie, Cami Rincon, Morgan Briggs, Antonella Perini, Smera Jayadeva, Ann Borda, SJ Bennett, Christopher Burr, Mhairi Aitken, Michael Katell, Claudia Fischer, Janis Wong, Ismael Kherroubi Garcia

Abstract: Sustainable AI projects are continuously responsive to the transformative effects as well as short-, medium-, and long-term impacts on individuals and society that the design, development, and deployment of AI technologies may have. Projects, which centre AI Sustainability, ensure that values-led, collaborative, and anticipatory reflection both guides the assessment of potential social and ethical… ▽ More Sustainable AI projects are continuously responsive to the transformative effects as well as short-, medium-, and long-term impacts on individuals and society that the design, development, and deployment of AI technologies may have. Projects, which centre AI Sustainability, ensure that values-led, collaborative, and anticipatory reflection both guides the assessment of potential social and ethical impacts and steers responsible innovation practices. This workbook is the first part of a pair that provides the concepts and tools needed to put AI Sustainability into practice. It introduces the SUM Values, which help AI project teams to assess the potential societal impacts and ethical permissibility of their projects. It then presents a Stakeholder Engagement Process (SEP), which provides tools to facilitate proportionate engagement of and input from stakeholders with an emphasis on equitable and meaningful participation and positionality awareness. △ Less

Submitted 19 February, 2024; originally announced March 2024.

A Semantic Social Network Analysis Tool for Sensitivity Analysis and What-If Scenario Testing in Alcohol Consumption Studies

Authors: José Alberto Benítez-Andrades, Alejandro Rodríguez-González, Carmen Benavides, Leticia Sánchez-Valdeón, Isaías García

Abstract: Social Network Analysis (SNA) is a set of techniques developed in the field of social and behavioral sciences research, in order to characterize and study the social relationships that are established among a set of individuals. When building a social network for performing an SNA analysis, an initial process of data gathering is achieved in order to extract the characteristics of the individuals… ▽ More Social Network Analysis (SNA) is a set of techniques developed in the field of social and behavioral sciences research, in order to characterize and study the social relationships that are established among a set of individuals. When building a social network for performing an SNA analysis, an initial process of data gathering is achieved in order to extract the characteristics of the individuals and their relationships. This is usually done by completing a questionnaire containing different types of questions that will be later used to obtain the SNA measures needed to perform the study. There are, then, a great number of different possible network generating questions and also many possibilities for map** the responses to the corresponding characteristics and relationships. Many variations may be introduced into these questions (the way they are posed, the weights given to each of the responses, etc.) that may have an effect on the resulting networks. All these different variations are difficult to achieve manually, because the process is time-consuming and error prone. The tool described in this paper uses semantic knowledge representation techniques in order to facilitate this kind of sensitivity studies. The base of the tool is a conceptual structure, called "ontology" that is able to represent the different concepts and their definitions. The tool is compared to other similar ones, and the advantages of the approach are highlighted, giving some particular examples from an ongoing SNA study about alcohol consumption habits in adolescents. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Journal ref: Int. J. Environ. Res. Public Health 2018, 15(11), 2420;

A Web-Based Tool for Automatic Data Collection, Curation, and Visualization of Complex Healthcare Survey Studies including Social Network Analysis

Authors: José Alberto Benítez-Andrades, José Emilio Labra, Enedina Quiroga, Vicente Martín, Isaías García, Pilar Marqués-Sánchez, Carmen Benavides

Abstract: There is a great concern nowadays regarding alcohol consumption and drug abuse, especially in young people. Analyzing the social environment where these adolescents are immersed, as well as a series of measures determining the alcohol abuse risk or personal situation and perception using a number of questionnaires like AUDIT, FAS, KIDSCREEN, and others, it is possible to gain insight into the curr… ▽ More There is a great concern nowadays regarding alcohol consumption and drug abuse, especially in young people. Analyzing the social environment where these adolescents are immersed, as well as a series of measures determining the alcohol abuse risk or personal situation and perception using a number of questionnaires like AUDIT, FAS, KIDSCREEN, and others, it is possible to gain insight into the current situation of a given individual regarding his/her consumption behavior. But this analysis, in order to be achieved, requires the use of tools that can ease the process of questionnaire creation, data gathering, curation and representation, and later analysis and visualization to the user. This research presents the design and construction of a web-based platform able to facilitate each of the mentioned processes by integrating the different phases into an intuitive system with a graphical user interface that hides the complexity underlying each of the questionnaires and techniques used and presenting the results in a flexible and visual way, avoiding any manual handling of data during the process. Advantages of this approach are shown and compared to the previous situation where some of the tasks were accomplished by time consuming and error prone manipulations of data. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Journal ref: Computation and Mathematical Methods in Medicine, Volume 2017, Article ID 2579848

Multiclass Classification Procedure for Detecting Attacks on MQTT-IoT Protocol

Authors: Hector Alaiz-Moreton, Jose Aveleira-Mata, Jorge Ondicol-Garcia, Angel Luis Muñoz-Castañeda, Isaías García, Carmen Benavides

Abstract: The large number of sensors and actuators that make up the Internet of Things obliges these systems to use diverse technologies and protocols. This means that IoT networks are more heterogeneous than traditional networks. This gives rise to new challenges in cybersecurity to protect these systems and devices which are characterized by being connected continuously to the Internet. Intrusion detecti… ▽ More The large number of sensors and actuators that make up the Internet of Things obliges these systems to use diverse technologies and protocols. This means that IoT networks are more heterogeneous than traditional networks. This gives rise to new challenges in cybersecurity to protect these systems and devices which are characterized by being connected continuously to the Internet. Intrusion detection systems (IDS) are used to protect IoT systems from the various anomalies and attacks at the network level. Intrusion Detection Systems (IDS) can be improved through machine learning techniques. Our work focuses on creating classification models that can feed an IDS using a dataset containing frames under attacks of an IoT system that uses the MQTT protocol. We have addressed two types of method for classifying the attacks, ensemble methods and deep learning models, more specifically recurrent networks with very satisfactory results. △ Less

Submitted 5 February, 2024; originally announced February 2024.

ACM Class: I.2.0

Journal ref: Complexity (New York, N.Y.), 2019, Vol.2019, p.1-11

Index-aware learning of circuits

Authors: Idoia Cortes Garcia, Peter Förster, Lennart Jansen, Wil Schilders, Sebastian Schöps

Abstract: Electrical circuits are present in a variety of technologies, making their design an important part of computer aided engineering. The growing number of parameters that affect the final design leads to a need for new approaches to quantify their impact. Machine learning may play a key role in this regard, however current approaches often make suboptimal use of existing knowledge about the system a… ▽ More Electrical circuits are present in a variety of technologies, making their design an important part of computer aided engineering. The growing number of parameters that affect the final design leads to a need for new approaches to quantify their impact. Machine learning may play a key role in this regard, however current approaches often make suboptimal use of existing knowledge about the system at hand. In terms of circuits, their description via modified nodal analysis is well-understood. This particular formulation leads to systems of differential-algebraic equations (DAEs) which bring with them a number of peculiarities, e.g. hidden constraints that the solution needs to fulfill. We use the recently introduced dissection index that can decouple a given system of DAEs into ordinary differential equations, only depending on differential variables, and purely algebraic equations, that describe the relations between differential and algebraic variables. The idea is to then only learn the differential variables and reconstruct the algebraic ones using the relations from the decoupling. This approach guarantees that the algebraic constraints are fulfilled up to the accuracy of the nonlinear system solver, and it may also reduce the learning effort as only the differential variables need to be learned. △ Less

Submitted 9 March, 2024; v1 submitted 2 September, 2023; originally announced September 2023.

Comments: 21 pages, 16 figures

MSC Class: 34A09; 65L80 (Primary) ACM Class: G.1.7; J.2; J.6

Journal ref: Int J Circ Theor Appl. 2024; 1-23

Sugestões de Rotas Personalizadas para Carrinheiros na Coleta Seletiva de Materiais Recicláveis

Authors: Maria Vitória R. Oliveira, Islene C. Garcia

Abstract: Carrinheiros are collectors of recyclable materials that use human-powered vehicles. Carrinheiro's collection routes can be tiring depending on the paths chosen. Therefore, this work proposes an algorithm for suggesting customizable routes based on three edge costing policies: Less Work Policy, Less Impedance Policy, and Short Distance Policy. This work used the tools osmnx and networkx to constru… ▽ More Carrinheiros are collectors of recyclable materials that use human-powered vehicles. Carrinheiro's collection routes can be tiring depending on the paths chosen. Therefore, this work proposes an algorithm for suggesting customizable routes based on three edge costing policies: Less Work Policy, Less Impedance Policy, and Short Distance Policy. This work used the tools osmnx and networkx to construct graphs, geographic data from Open Street Map, and elevations from Topodata. The simulations performed in Simulation of Urban MObility (SUMO) demonstrated that the proposed algorithm could minimize the power applied to push the vehicle, the distance, and the travel time, according to the policy used. △ Less

Submitted 22 May, 2021; originally announced May 2021.

Comments: 14 pages, in Portuguese, submitted paper

Improved detection of small objects in road network sequences

Authors: Iván García, Rafael Marcos Luque, Ezequiel López

Abstract: The vast number of existing IP cameras in current road networks is an opportunity to take advantage of the captured data and analyze the video and detect any significant events. For this purpose, it is necessary to detect moving vehicles, a task that was carried out using classical artificial vision techniques until a few years ago. Nowadays, significant improvements have been obtained by deep lea… ▽ More The vast number of existing IP cameras in current road networks is an opportunity to take advantage of the captured data and analyze the video and detect any significant events. For this purpose, it is necessary to detect moving vehicles, a task that was carried out using classical artificial vision techniques until a few years ago. Nowadays, significant improvements have been obtained by deep learning networks. Still, object detection is considered one of the leading open issues within computer vision. The current scenario is constantly evolving, and new models and techniques are appearing trying to improve this field. In particular, new problems and drawbacks appear regarding detecting small objects, which correspond mainly to the vehicles that appear in the road scenes. All this means that new solutions that try to improve the low detection rate of small elements are essential. Among the different emerging research lines, this work focuses on the detection of small objects. In particular, our proposal aims to vehicle detection from images captured by video surveillance cameras. In this work, we propose a new procedure for detecting small-scale objects by applying super-resolution processes based on detections performed by convolutional neural networks \emph{(CNN)}. The neural network is integrated with processes that are in charge of increasing the resolution of the images to improve the object detection performance. This solution has been tested for a set of traffic images containing elements of different scales to test the efficiency according to the detections obtained by the model, thus demonstrating that our proposal achieves good results in a wide range of situations. △ Less

Submitted 18 May, 2021; originally announced May 2021.

Meta-learning for skin cancer detection using Deep Learning Techniques

Authors: Sara I. Garcia

Abstract: This study focuses on automatic skin cancer detection using a Meta-learning approach for dermoscopic images. The aim of this study is to explore the benefits of the generalization of the knowledge extracted from non-medical data in the classification performance of medical data and the impact of the distribution shift problem within limited data by using a simple class and distribution balancer al… ▽ More This study focuses on automatic skin cancer detection using a Meta-learning approach for dermoscopic images. The aim of this study is to explore the benefits of the generalization of the knowledge extracted from non-medical data in the classification performance of medical data and the impact of the distribution shift problem within limited data by using a simple class and distribution balancer algorithm. In this study, a small sample of a combined dataset from 3 different sources was used to fine-tune a ResNet model pre-trained on non-medical data. The results show an increase in performance on detecting melanoma, malignant (skin cancer), and benign moles with the prior knowledge obtained from images of everyday objects from the ImageNet dataset by 20 points. These findings suggest that features from non-medical images can be used towards the classification of skin moles and that the distribution of the data affects the performance of the model. △ Less

Submitted 21 April, 2021; originally announced April 2021.

WiFiNet: WiFi-based indoor localisation using CNNs

Authors: Noelia Hernández, Ignacio Parra, Héctor Corrales, Rubén Izquierdo, Augusto Luis Ballardini, Carlota Salinas, Iván Garcia

Abstract: Different technologies have been proposed to provide indoor localisation: magnetic field, bluetooth , WiFi, etc. Among them, WiFi is the one with the highest availability and highest accuracy. This fact allows for an ubiquitous accurate localisation available for almost any environment and any device. However, WiFi-based localisation is still an open problem. In this article, we propose a new Wi… ▽ More Different technologies have been proposed to provide indoor localisation: magnetic field, bluetooth , WiFi, etc. Among them, WiFi is the one with the highest availability and highest accuracy. This fact allows for an ubiquitous accurate localisation available for almost any environment and any device. However, WiFi-based localisation is still an open problem. In this article, we propose a new WiFi-based indoor localisation system that takes advantage of the great ability of Convolutional Neural Networks in classification problems. Three different approaches were used to achieve this goal: a custom architecture called WiFiNet designed and trained specifically to solve this problem and the most popular pre-trained networks using both transfer learning and feature extraction. Results indicate that WiFiNet is as a great approach for indoor localisation in a medium-sized environment (30 positions and 113 access points) as it reduces the mean localisation error (33%) and the processing time when compared with state-of-the-art WiFi indoor localisation algorithms such as SVM. △ Less

Submitted 14 April, 2021; originally announced April 2021.

Journal ref: Expert Systems with Applications, Volume 177, 1 September 2021

Deep Learning for fully automatic detection, segmentation, and Gleason Grade estimation of prostate cancer in multiparametric Magnetic Resonance Images

Authors: Oscar J. Pellicer-Valero, José L. Marenco Jiménez, Victor Gonzalez-Perez, Juan Luis Casanova Ramón-Borja, Isabel Martín García, María Barrios Benito, Paula Pelechano Gómez, José Rubio-Briones, María José Rupérez, José D. Martín-Guerrero

Abstract: The emergence of multi-parametric magnetic resonance imaging (mpMRI) has had a profound impact on the diagnosis of prostate cancers (PCa), which is the most prevalent malignancy in males in the western world, enabling a better selection of patients for confirmation biopsy. However, analyzing these images is complex even for experts, hence opening an opportunity for computer-aided diagnosis systems… ▽ More The emergence of multi-parametric magnetic resonance imaging (mpMRI) has had a profound impact on the diagnosis of prostate cancers (PCa), which is the most prevalent malignancy in males in the western world, enabling a better selection of patients for confirmation biopsy. However, analyzing these images is complex even for experts, hence opening an opportunity for computer-aided diagnosis systems to seize. This paper proposes a fully automatic system based on Deep Learning that takes a prostate mpMRI from a PCa-suspect patient and, by leveraging the Retina U-Net detection framework, locates PCa lesions, segments them, and predicts their most likely Gleason grade group (GGG). It uses 490 mpMRIs for training/validation, and 75 patients for testing from two different datasets: ProstateX and IVO (Valencia Oncology Institute Foundation). In the test set, it achieves an excellent lesion-level AUC/sensitivity/specificity for the GGG$\geq$2 significance criterion of 0.96/1.00/0.79 for the ProstateX dataset, and 0.95/1.00/0.80 for the IVO dataset. Evaluated at a patient level, the results are 0.87/1.00/0.375 in ProstateX, and 0.91/1.00/0.762 in IVO. Furthermore, on the online ProstateX grand challenge, the model obtained an AUC of 0.85 (0.87 when trained only on the ProstateX data, tying up with the original winner of the challenge). For expert comparison, IVO radiologist's PI-RADS 4 sensitivity/specificity were 0.88/0.56 at a lesion level, and 0.85/0.58 at a patient level. Additional subsystems for automatic prostate zonal segmentation and mpMRI non-rigid sequence registration were also employed to produce the final fully automated system. The code for the ProstateX-trained system has been made openly available at https://github.com/OscarPellicer/prostate_lesion_detection. We hope that this will represent a landmark for future research to use, compare and improve upon. △ Less

Submitted 2 February, 2022; v1 submitted 23 March, 2021; originally announced March 2021.

Waveform relaxation for low frequency coupled field/circuit differential-algebraic models of index 2

Authors: Idoia Cortes Garcia, Jonas Pade, Sebastian Schöps, Caren Tischendorf

Abstract: Motivated by the task to design quench protection systems for superconducting magnets in particle accelerators we address a coupled field/circuit simulation based on a magneto-quasistatic field modeling. We investigate how a waveform relaxation of Gauß-Seidel type performs for a coupled simulation when circuit solving packages are used that describe the circuit by the modified nodal analysis. We p… ▽ More Motivated by the task to design quench protection systems for superconducting magnets in particle accelerators we address a coupled field/circuit simulation based on a magneto-quasistatic field modeling. We investigate how a waveform relaxation of Gauß-Seidel type performs for a coupled simulation when circuit solving packages are used that describe the circuit by the modified nodal analysis. We present sufficient convergence criteria for the coupled simulation of FEM discretised field models and circuit models formed by a differential-algebraic equation (DAE) system of index 2. In particular, we demonstrate by a simple benchmark system the drastic influence of the circuit topology on the convergence behavior of the coupled simulation. △ Less

Submitted 27 May, 2020; originally announced May 2020.

MSC Class: 35Q61; 65Z05; 65L05; 68W10

Determining input variable ranges in Industry 4.0: A heuristic for estimating the domain of a real-valued function or trained regression model given an output range

Authors: Noelia Oses, Aritz Legarretaetxebarria, Marco Quartulli, Igor García, Mikel Serrano

Abstract: Industrial process control systems try to keep an output variable within a given tolerance around a target value. PID control systems have been widely used in industry to control input variables in order to reach this goal. However, this kind of Transfer Function based approach cannot be extended to complex processes where input data might be non-numeric, high dimensional, sparse, etc. In such cas… ▽ More Industrial process control systems try to keep an output variable within a given tolerance around a target value. PID control systems have been widely used in industry to control input variables in order to reach this goal. However, this kind of Transfer Function based approach cannot be extended to complex processes where input data might be non-numeric, high dimensional, sparse, etc. In such cases, there is still a need for determining the subspace of input data that produces an output within a given range. This paper presents a non-stochastic heuristic to determine input values for a mathematical function or trained regression model given an output range. The proposed method creates a synthetic training data set of input combinations with a class label that indicates whether the output is within the given target range or not. Then, a decision tree classifier is used to determine the subspace of input data of interest. This method is more general than a traditional controller as the target range for the output does not have to be centered around a reference value and it can be applied given a regression model of the output variable, which may have categorical variables as inputs and may be high dimensional, sparse... The proposed heuristic is validated with a proof of concept on a real use case where the quality of a lamination factory is established to identify the suitable subspace of production variable values. △ Less

Submitted 3 April, 2019; originally announced April 2019.

Cliques in projective space and construction of Cyclic Grassmannian Codes

Authors: Ismael Gutiérrez García, Ivan Molina Naizir

Abstract: The construction of Grassmannian codes in some projective space is of highly mathematical nature and requires strong computational power for the resulting searches. In this paper was constructed, using GAP System for Computational Discrete Algebra and Wolfram Mathematica, cliques in the projective space Pq(n) and then we use these to produce cyclic Grassmannian codes. The construction of Grassmannian codes in some projective space is of highly mathematical nature and requires strong computational power for the resulting searches. In this paper was constructed, using GAP System for Computational Discrete Algebra and Wolfram Mathematica, cliques in the projective space Pq(n) and then we use these to produce cyclic Grassmannian codes. △ Less

Submitted 21 March, 2019; originally announced March 2019.

New methodology for facilitating the food wastage quantification. Identifying gaps and data inconsistencies

Authors: Hector Barco Cobalea, Iraia Oribe Garcia, Maria Virginia Vargas Viedma, Cruz Enrique Borges, Cristina Martin Andonegui, Ainhoa Alonso Vicario

Abstract: The work aims at providing a new methodology to facilitate the process of quantifying the food waste according to European standards all along the agrifood chain combining information that is becoming available at local level. This new methodology generates straightforward and easy-to-interpret results for the decision making process in the framework of the quantification of the food waste at lo… ▽ More The work aims at providing a new methodology to facilitate the process of quantifying the food waste according to European standards all along the agrifood chain combining information that is becoming available at local level. This new methodology generates straightforward and easy-to-interpret results for the decision making process in the framework of the quantification of the food waste at local and supralocal scale and it provides adequate procedures which are easy adaptable to the specific circumstances in each municipality. Moreover, this method could have applications for larger territorial contexts, as the national scale, detecting possible points for improvement of the current official figures at this respect. △ Less

Submitted 6 May, 2019; v1 submitted 7 March, 2019; originally announced March 2019.

Comments: Accepted Manuscript version

Journal ref: Journal of Environmental Management. 2019

3D convolutional neural network for abdominal aortic aneurysm segmentation

Authors: Karen López-Linares, Inmaculada García, Ainhoa García-Familiar, Iván Macía, Miguel A. González Ballester

Abstract: An abdominal aortic aneurysm (AAA) is a focal dilation of the aorta that, if not treated, tends to grow and may rupture. A significant unmet need in the assessment of AAA disease, for the diagnosis, prognosis and follow-up, is the determination of rupture risk, which is currently based on the manual measurement of the aneurysm diameter in a selected Computed Tomography Angiography (CTA) scan. Howe… ▽ More An abdominal aortic aneurysm (AAA) is a focal dilation of the aorta that, if not treated, tends to grow and may rupture. A significant unmet need in the assessment of AAA disease, for the diagnosis, prognosis and follow-up, is the determination of rupture risk, which is currently based on the manual measurement of the aneurysm diameter in a selected Computed Tomography Angiography (CTA) scan. However, there is a lack of standardization determining the degree and rate of disease progression, due to the lack of robust, automated aneurysm segmentation tools that allow quantitatively analyzing the AAA. In this work, we aim at proposing the first 3D convolutional neural network for the segmentation of aneurysms both from preoperative and postoperative CTA scans. We extensively validate its performance in terms of diameter measurements, to test its applicability in the clinical practice, as well as regarding the relative volume difference, and Dice and Jaccard scores. The proposed method yields a mean diameter measurement error of 3.3 mm, a relative volume difference of 8.58 %, and Dice and Jaccard scores of 87 % and 77 %, respectively. At a clinical level, an aneurysm enlargement of 10 mm is considered relevant, thus, our method is suitable to automatically determine the AAA diameter and opens up the opportunity for more complex aneurysm analysis. △ Less

Submitted 3 March, 2019; originally announced March 2019.

Comments: Submitted to Medical Image Analysis

MSC Class: 68T; 68U

STEAM: A Hierarchical Co-Simulation Framework for Superconducting Accelerator Magnet Circuits

Authors: Lorenzo Bortot, Bernhard Auchmann, Idoia Cortes Garcia, Alejando M. Fernando Navarro, Michał Maciejewski, Matthias Mentink, Marco Prioli, Emmanuele Ravaioli, Sebastian Schöps, Arjan Verweij

Abstract: Simulating the transient effects occurring in superconducting accelerator magnet circuits requires including the mutual electro-thermo-dynamic interaction among the circuit elements, such as power converters, magnets, and protection systems. Nevertheless, the numerical analysis is traditionally done separately for each element in the circuit, leading to possible non-consistent results. We present… ▽ More Simulating the transient effects occurring in superconducting accelerator magnet circuits requires including the mutual electro-thermo-dynamic interaction among the circuit elements, such as power converters, magnets, and protection systems. Nevertheless, the numerical analysis is traditionally done separately for each element in the circuit, leading to possible non-consistent results. We present STEAM, a hierarchical co-simulation framework featuring the waveform relaxation method. The framework simulates a complex system as a composition of simpler, independent models that exchange information. The convergence of the coupling algorithm ensures the consistency of the solution. The modularity of the framework allows integrating models developed with both proprietary and in-house tools. The framework implements a user-customizable hierarchical algorithm to schedule how models participate to the co-simulation, for the purpose of using computational resources efficiently. As a case study, a quench scenario is co-simulated for the inner triplet circuit for the High Luminosity upgrade of the LHC at CERN. △ Less

Submitted 26 January, 2018; originally announced January 2018.

Comments: 7 pages, 14 figures

MSC Class: 78M10; 94C99; 74F15 ACM Class: F.2.1; I.6.3; J.2

Journal ref: IEEE Transactions on Applied Superconductivity 28.3, 2018

Coupling of Magneto-Thermal and Mechanical Superconducting Magnet Models by Means of Mesh-Based Interpolation

Authors: Michał Maciejewski, Pascal Bayrasy, Klaus Wolf, Michał Wilczek, Bernhard Auchmann, Tina Griesemer, Lorenzo Bortot, Marco Prioli, Alejandro Manuel Fernandez Navarro, Sebastian Schöps, Idoia Cortes Garcia, Arjan Verweij

Abstract: In this paper we present an algorithm for the coupling of magneto-thermal and mechanical finite element models representing superconducting accelerator magnets. The mechanical models are used during the design of the mechanical structure as well as the optimization of the magnetic field quality under nominal conditions. The magneto-thermal models allow for the analysis of transient phenomena occur… ▽ More In this paper we present an algorithm for the coupling of magneto-thermal and mechanical finite element models representing superconducting accelerator magnets. The mechanical models are used during the design of the mechanical structure as well as the optimization of the magnetic field quality under nominal conditions. The magneto-thermal models allow for the analysis of transient phenomena occurring during quench initiation, propagation, and protection. Mechanical analysis of quenching magnets is of high importance considering the design of new protection systems and the study of new superconductor types. We use field/circuit coupling to determine temperature and electromagnetic force evolution during the magnet discharge. These quantities are provided as a load to existing mechanical models. The models are discretized with different meshes and, therefore, we employ a mesh-based interpolation method to exchange coupled quantities. The coupling algorithm is illustrated with a simulation of a mechanical response of a standalone high-field dipole magnet protected with CLIQ (Coupling-Loss Induced Quench) technology. △ Less

Submitted 29 December, 2017; originally announced December 2017.

Comments: 5 pages, 6 figures

MSC Class: 78M10; 94C99; 74F15 ACM Class: F.2.1; I.6.3; J.2

Journal ref: IEEE Transactions on Applied Superconductivity 28.3 (Apr. 2018). issn: 1051-8223

Stampery Blockchain Timestam** Architecture (BTA) - Version 6

Authors: Adán Sánchez de Pedro Crespo, Luis Iván Cuende García

Abstract: A method for timestam**, anchoring and certification of a virtually unlimited amount of data in one or more blockchains, focusing on scalability and cost-effectiveness while ensuring existence, integrity and ownership by using cryptographic proofs that are independently verifiable by anyone in the world without disclosure of the original data and without the intervention of the certifying party. A method for timestam**, anchoring and certification of a virtually unlimited amount of data in one or more blockchains, focusing on scalability and cost-effectiveness while ensuring existence, integrity and ownership by using cryptographic proofs that are independently verifiable by anyone in the world without disclosure of the original data and without the intervention of the certifying party. △ Less

Submitted 13 November, 2017; originally announced November 2017.

Comments: 21 pages, 16 figures

MSC Class: 68W15 (Primary); 68M12; 68M14 (Secondary) ACM Class: E.1; I.7.4; J.1

Seamless Paxos Coordinators

Authors: Gustavo M. D. Vieira, Islene C. Garcia, Luiz E. Buzato

Abstract: The Paxos algorithm requires a single correct coordinator process to operate. After a failure, the replacement of the coordinator may lead to a temporary unavailability of the application implemented atop Paxos. So far, this unavailability has been addressed by reducing the coordinator replacement rate through the use of stable coordinator selection algorithms. We have observed that the cost of re… ▽ More The Paxos algorithm requires a single correct coordinator process to operate. After a failure, the replacement of the coordinator may lead to a temporary unavailability of the application implemented atop Paxos. So far, this unavailability has been addressed by reducing the coordinator replacement rate through the use of stable coordinator selection algorithms. We have observed that the cost of recovery of the newly elected coordinator's state is at the core of this unavailability problem. In this paper we present a new technique to manage coordinator replacement that allows the recovery to occur concurrently with new consensus rounds. Experimental results show that our seamless approach effectively solves the temporary unavailability problem, its adoption entails uninterrupted execution of the application. Our solution removes the restriction that the occurrence of coordinator replacements is something to be avoided, allowing the decoupling of the application execution from the accuracy of the mechanism used to choose a coordinator. This result increases the performance of the application even in the presence of failures, it is of special importance to the autonomous operation of replicated applications that have to adapt to varying network conditions and partial failures. △ Less

Submitted 21 October, 2017; originally announced October 2017.

Comments: 11 pages, final published version, with correct experimental data

Journal ref: Cluster Computing (2014) 17:463-473

Reduced Order Modelling for the Simulation of Quenches in Superconducting Magnets

Authors: Sebastian Schöps, Idoia Cortes Garcia, Michał Maciejewski, Bernhard Auchmann

Abstract: This contributions discusses the simulation of magnetothermal effects in superconducting magnets as used in particle accelerators. An iterative coupling scheme using reduced order models between a magnetothermal partial differential model and an electrical lumped-element circuit is demonstrated. The multiphysics, multirate and multiscale problem requires a consistent formulation and framework to t… ▽ More This contributions discusses the simulation of magnetothermal effects in superconducting magnets as used in particle accelerators. An iterative coupling scheme using reduced order models between a magnetothermal partial differential model and an electrical lumped-element circuit is demonstrated. The multiphysics, multirate and multiscale problem requires a consistent formulation and framework to tackle the challenging transient effects occurring at both system and device level. △ Less

Submitted 13 October, 2017; originally announced October 2017.

MSC Class: 65N30; 78M12; 80M10; 94C12 ACM Class: G.1.8; J.2

Journal ref: Proceedings of the 7th GACM Colloquium on Computational Mechanics, 11 - 13 October 2017, Stuttgart, Germany

Application of the Waveform Relaxation Technique to the Co-Simulation of Power Converter Controller and Electrical Circuit Models

Authors: Michał Maciejewski, Idoia Cortes Garcia, Sebastian Schöps, Bernhard Auchmann, Lorenzo Bortot, Marco Prioli, Arjan Verweij

Abstract: In this paper we present the co-simulation of a PID class power converter controller and an electrical circuit by means of the waveform relaxation technique. The simulation of the controller model is characterized by a fixed-time step** scheme reflecting its digital implementation, whereas a circuit simulation usually employs an adaptive time step** scheme in order to account for a wide range… ▽ More In this paper we present the co-simulation of a PID class power converter controller and an electrical circuit by means of the waveform relaxation technique. The simulation of the controller model is characterized by a fixed-time step** scheme reflecting its digital implementation, whereas a circuit simulation usually employs an adaptive time step** scheme in order to account for a wide range of time constants within the circuit model. In order to maintain the characteristic of both models as well as to facilitate model replacement, we treat them separately by means of input/output relations and propose an application of a waveform relaxation algorithm. Furthermore, the maximum and minimum number of iterations of the proposed algorithm are mathematically analyzed. The concept of controller/circuit coupling is illustrated by an example of the co-simulation of a PI power converter controller and a model of the main dipole circuit of the Large Hadron Collider. △ Less

Submitted 10 April, 2017; originally announced April 2017.

MSC Class: 94C99; 65L80; 49J15 ACM Class: F.2.1; I.2.8; I.6.3; J.2

Journal ref: 2017 22nd International Conference on Methods and Models in Automation and Robotics (MMAR), Miedzyzdroje, Poland, 2017, pp. 837-842

A Rollback in the History of Communication-Induced Checkpointing

Authors: Islene C. Garcia, Gustavo M. D. Vieira, Luiz E. Buzato

Abstract: The literature on communication-induced checkpointing presents a family of protocols that use logical clocks to control whether forced checkpoints must be taken. Efficiency of these protocols is measured by how many forced checkpoints are needed to ensure no checkpoint will be useless to the application; the fewer forced checkpoints the better. For many years, HMNR, also called Fully Informed (FI)… ▽ More The literature on communication-induced checkpointing presents a family of protocols that use logical clocks to control whether forced checkpoints must be taken. Efficiency of these protocols is measured by how many forced checkpoints are needed to ensure no checkpoint will be useless to the application; the fewer forced checkpoints the better. For many years, HMNR, also called Fully Informed (FI), was the most complex and efficient protocol of this family. The Lazy-FI protocol applies a lazy strategy that defers the increase of logical clocks, resulting in a protocol with better efficiency for distributed systems where processes can take basic checkpoints at different rates. Recently, the Fully Informed aNd Efficient (FINE) protocol was proposed using the same control structures as FI, but with a stronger and, presumably better, checkpoint-inducing condition. FINE and its lazy version, called Lazy-FINE, would now be the most efficient checkpointing protocols based on logical clocks. This paper reviews this family of protocols, proves a theorem on a condition that must be enforced by all stronger versions of FI, and proves that both FINE and Lazy-FINE do not guarantee the absence of useless checkpoints. As a consequence, FI and Lazy-FI can be rolled back to the position of most efficient protocols of this family of index-based checkpointing protocols. △ Less

Submitted 10 June, 2019; v1 submitted 20 February, 2017; originally announced February 2017.

Comments: Revised manuscript

Optimized Field/Circuit Coupling for the Simulation of Quenches in Superconducting Magnets

Authors: Idoia Cortes Garcia, Sebastian Schöps, Michał Maciejewski, Lorenzo Bortot, Marco Prioli, Bernhard Auchmann, Arjan Verweij

Abstract: In this paper, we propose an optimized field/circuit coupling approach for the simulation of magnetothermal transients in superconducting magnets. The approach improves the convergence of the iterative coupling scheme between a magnetothermal partial differential model and an electrical lumped-element circuit. Such a multi-physics, multi-rate and multi-scale problem requires a consistent formulati… ▽ More In this paper, we propose an optimized field/circuit coupling approach for the simulation of magnetothermal transients in superconducting magnets. The approach improves the convergence of the iterative coupling scheme between a magnetothermal partial differential model and an electrical lumped-element circuit. Such a multi-physics, multi-rate and multi-scale problem requires a consistent formulation and a dedicated framework to tackle the challenging transient effects occurring at both circuit and magnet level during normal operation and in case of faults. We derive an equivalent magnet model at the circuit side for the linear and the non-linear settings and discuss the convergence of the overall scheme in the framework of optimized Schwarz methods. The efficiency of the developed approach is illustrated by a numerical example of an accelerator dipole magnet with accompanying protection system. △ Less

Submitted 6 July, 2017; v1 submitted 3 February, 2017; originally announced February 2017.

Comments: 8 pages, 7 figures

MSC Class: 78M10; 94C99; 74F15 ACM Class: F.2.1; I.6.3; J.2

Journal ref: IEEE Journal on Multiscale and Multiphysics Computational Techniques, vol. 2, pp. 97-104 (2017)

On quasi-cyclic subspace codes

Authors: Ismael Gutierrez Garcia, Ivan Molina Naizir

Abstract: Construction of subspace codes with good parameters is one of the most important problems in random network coding. In this paper we present first a generalization of the concept of cyclic subspaces codes and further we show that the usual methods for constructing cyclic subspace codes over finite fields works for m-quasi cyclic codes, namely the subspaces polynomials and Frobenius map**s. Construction of subspace codes with good parameters is one of the most important problems in random network coding. In this paper we present first a generalization of the concept of cyclic subspaces codes and further we show that the usual methods for constructing cyclic subspace codes over finite fields works for m-quasi cyclic codes, namely the subspaces polynomials and Frobenius map**s. △ Less

Submitted 10 August, 2016; originally announced August 2016.

Comments: arXiv admin note: text overlap with arXiv:1504.04553 by other authors

Structural and Dynamical Patterns on Online Social Networks: the Spanish May 15th Movement as a case study

Authors: Javier Borge-Holthoefer, Alejandro Rivero, Iñigo García, Elisa Cauhé, Alfredo Ferrer, Darío Ferrer, David Francos, David Iñiguez, María Pilar Pérez, Gonzalo Ruiz, Francisco Sanz, Fermín Serrano, Cristina Viñas, Alfonso Tarancón, Yamir Moreno

Abstract: The number of people using online social networks in their everyday life is continuously growing at a pace never saw before. This new kind of communication has an enormous impact on opinions, cultural trends, information spreading and even in the commercial success of new products. More importantly, social online networks have revealed as a fundamental organizing mechanism in recent country-wide s… ▽ More The number of people using online social networks in their everyday life is continuously growing at a pace never saw before. This new kind of communication has an enormous impact on opinions, cultural trends, information spreading and even in the commercial success of new products. More importantly, social online networks have revealed as a fundamental organizing mechanism in recent country-wide social movements. In this paper, we provide a quantitative analysis of the structural and dynamical patterns emerging from the activity of an online social network around the ongoing May 15th (15M) movement in Spain. Our network is made up by users that exchanged tweets in a time period of one month, which includes the birth and stabilization of the 15M movement. We characterize in depth the growth of such dynamical network and find that it is scale-free with communities at the mesoscale. We also find that its dynamics exhibits typical features of critical systems such as robustness and power-law distributions for several quantities. Remarkably, we report that the patterns characterizing the spreading dynamics are asymmetric, giving rise to a clear distinction between information sources and sinks. Our study represent a first step towards the use of data from online social media to comprehend modern societal dynamics. △ Less

Submitted 8 July, 2011; originally announced July 2011.

Comments: 16 pages, 7 figures

Journal ref: PLoS ONE 6(8): e23883, 2011