A Reformulation of Matrix Graph Grammars with Boolean Complexes

Prior publication in the Electronic Journal of Combinatorics.Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previous works, we introduced Matrix Graph Grammars (MGG) as a purely algebraic approach for the study of graph dynamics, based on the representation of simple graphs by means of their adjacency matrices. The observation that, in addition to positive information, a rule implicitly defines negative conditions for its application (edges cannot become dangling, and cannot be added twice as we work with simple digraphs) has led to a representation of graphs as two matrices encoding positive and negative information. Using this representation, we have reformulated the main concepts in MGGs, while we have introduced other new ideas. In particular, we present (i) a new formulation of productions together with an abstraction of them (so called swaps), (ii) the notion of coherence, which checks whether a production sequence can be potentially applied, (iii) the minimal graph enabling the applicability of a sequence, and (iv) the conditions for compatibility of sequences (lack of dangling edges) and G-congruence (whether two sequences have the same minimal initial graph).This work has been partially sponsored by the Spanish Ministry of Science and Innovation, project METEORIC (TIN2008-02081/TIN)

Suavidad, convexidad, dualidad y renormamientos

The goal of this Bachelor thesis is to study some specifical geometric properties, which are related to the convexity and smoothness of Banach spaces. More precisely we will go over the definitions of strict convexity, uniform convexity, smoothness and uniform smoothness. We will study some duality relationships between strict convexity and smoothness, namely that the strict convexity (smoothness) of the dual norm implies the smoothness (strict convexity) of the norm. We show an example proving that the converse of this duality results do not hold. However, we will prove that there is a complete duality relationship between uniform convexity and uniform smoothness through Lindenstrauss’ formula. With regard to renorming theory, it will be also showed that every separable space can be renormed in order to be strictly convex. We will go also over Enflo’s Theorem: a space is superreflexive if and only if it admits an uniform convex renorming. In the last chapter we improve the above results. In fact, almost all renormings of a separable space are strictly convex and almost all renomings of a superreflexive space are uniformly convex.Universidad de Sevilla. Grado en Matemática

Matrix approach to graph transformation

This is an electronic version of the paper presented at the International Congress of Mathematicians, held in Madrid on 200

Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007)In this paper we present a new approach for the analysis of rule-based specification of system dynamics. We model system states as simple digraphs, which can be represented with boolean matrices. Rules modelling the different state changes of the system can also be represented with boolean matrices, and therefore the rewriting is expressed using boolean operations only. The conditions for sequential independence between pair of rules are well-known in the categorical approaches to graph transformation (e.g. single and double pushout). These conditions state when two rules can be applied in any order yielding the same result. In this paper, we study the concept of sequential independence in our framework, and extend it in order to consider derivations of arbitrary finite length. Instead of studying one-step rule advances, we study independence of rule permutations in sequences of arbitrary finite length. We also analyse the conditions under which a sequence is applicable to a given host graph. We introduce rule composition and give some preliminary results regarding parallel independence. Moreover, we improve our framework making explicit the elements which, if present, disable the application of a rule or a sequence.Work sponsored by Spanish Ministry of Science and Education, project MOSAIC (TSI2005-08225-C07-06)

Recent advances in biorefineries based on lignin extraction using deep eutectic solvents: A review

Considering the urgent need for alternative biorefinery schemes based on sustainable development, this review aims to summarize the state-of-the-art in the use of deep eutectic solvent pretreatment to fractionate lignocellulose, with a focus on lignin recovery. For that, the key parameters influencing the process are discussed, as well as various strategies to enhance this pretreatment efficiency are explored. Moreover, this review describes the challenges and opportunities associated with the valorization of extraction-derived streams and highlights recent advancements in solvent recovery techniques. Furthermore, the utilization of computational models for process design and optimization is introduced, as the initial attempts at the economic and environmental assessment of this lignocellulosic bioprocess based on deep eutectic solvents. Overall, this review offers a comprehensive perspective on the recent advances in this emerging field and serves as a foundation for further research on the potential integration of deep eutectic pretreatment in sustainable multi-product biorefinery schemes.Agencia Estatal de Investigación | Ref. PID2019-110031RB-I00Agencia Estatal de Investigación | Ref. TED2021-132088B-I00Xunta de Galicia | Ref. ED431C 2021/46-GRCXunta de Galicia | Ref. ED431F 2022/09 k251Universidade de Vigo/CISU

Scott : A method for representing graphs asrooted trees for graph canonization

International audienceGraphs increasingly stand out as an essential data structurein the field of data sciences. To study graphs, or sub-graphs, that char-acterize a set of observations, it is necessary to describe them formally,in order to characterize equivalence relations that make sense in thescope of the considered application domain. Hence we seek to define acanonical graph notation, so that two isomorphic (sub) graphs have thesame canonical form. Such notation could subsequently be used to indexand retrieve graphs or to embed them efficiently in some metric space.Sequential optimized algorithms solving this problem exist, but do notdeal with labeled edges, a situation that occurs in important applicationdomains such as chemistry. We present in this article a new algorithmbased on graph rewriting that provides a general and complete solution tothe graph canonization problem. Although not reported here, the formalproof of the validity of our algorithm has been established. This claim isclearly supported empirically by our experimentation on synthetic com-binatorics as well as natural graphs. Furthermore, our algorithm supportsdistributed implementations, leading to efficient computing perspectives

Impact of operatoŕs experience on peri-procedural outcomes with Watchman FLX: Insights from the FLX-SPA registry

Background: The Watchman FLX is a device upgrade of the Watchman 2.5 that incorporates several design enhancements intended to simplify left atrial appendage occlusion (LAAO) and improve procedural outcomes. This study compares peri-procedural results of LAAO with Watchman FLX (Boston Scientific, Marlborough, Massachusetts) in centers with varying degrees of experience with the Watchman 2.5 and Watchman FLX. Methods: Prospective, multicenter, 'real-world' registry including consecutive patients undergoing LAAO with the Watchman FLX at 26 Spanish sites (FLX-SPA registry). Implanting centers were classified according to the center's prior experience with the Watchman 2.5. A further division of centers according to whether or not they had performed ≤ 10 or > 10Watchman FLX implants was prespecified at the beginning of the study. Procedural outcomes of institutions stratified according to their experience with the Watchman 2.5 and FLX devices were compared. Results: 359 patients [mean age 75.5 (SD8.1), CHA2DS2-VASc 4.4 (SD1.4), HAS-BLED 3.8(SD0.9)] were included. Global success rate was 98.6%, successful LAAO with the first selected device size was achieved in 95.5% patients and the device was implanted at first attempt in 78.6% cases. There were only 9(2.5%) major peri-procedural complications. No differences in efficacy or safety results according to the centeŕs previous experience with Watchman 2.5 and procedural volume with Watchman FLX existed. Conclusions: The Watchman FLX attains high procedural success rates with complete LAA sealing in unselected, real-world patients, along with a low incidence of peri-procedural complications, regardless of operatoŕs experience with its previous device iteration or the number of Watchman FLX devices implanted

Izaña Atmospheric Research Center. Activity Report 2019-2020

Editors: Emilio Cuevas, Celia Milford and Oksana Tarasova.[EN]The Izaña Atmospheric Research Center (IARC), which is part of the State Meteorological Agency of Spain (AEMET), is a site of excellence in atmospheric science. It manages four observatories in Tenerife including the high altitude Izaña Atmospheric Observatory. The Izaña Atmospheric Observatory was inaugurated in 1916 and since that date has carried out uninterrupted meteorological and climatological observations, contributing towards a unique 100-year record in 2016. This reports are a summary of the many activities at the Izaña Atmospheric Research Center to the broader community. The combination of operational activities, research and development in state-of-the-art measurement techniques, calibration and validation and international cooperation encompass the vision of WMO to provide world leadership in expertise and international cooperation in weather, climate, hydrology and related environmental issues.[ES]El Centro de Investigación Atmosférica de Izaña (CIAI), que forma parte de la Agencia Estatal de Meteorología de España (AEMET), representa un centro de excelencia en ciencias atmosféricas. Gestiona cuatro observatorios en Tenerife, incluido el Observatorio de Izaña de gran altitud, inaugurado en 1916 y que desde entonces ha realizado observaciones meteorológicas y climatológicas ininterrumpidas y se ha convertido en una estación centenaria de la OMM. Estos informes resumen las múltiples actividades llevadas a cabo por el Centro de Investigación Atmosférica de Izaña. El liderazgo del Centro en materia de investigación y desarrollo con respecto a las técnicas de medición, calibración y validación de última generación, así como la cooperación internacional, le han otorgado una reputación sobresaliente en lo que se refiere al tiempo, el clima, la hidrología y otros temas ambientales afines

Tarteso. Nuevas Fronteras (II)

El presente volumen recoge las contribuciones presentadas al II Congreso Internacional sobre Tarteso, Nuevas Fronteras, que tuvo lugar en Mérida entre los días 17 y 19 de noviembre de 2021. Su lectura permite un viaje desde el extremo oriental del Mediterráneo hasta el suroeste de la península ibérica, mostrando las diversas realidades históricas acontecidas en este territorio durante la I Edad del Hierro. El objetivo de esta publicación es mostrar la situación que atravesaba el Mediterráneo durante los años de surgimiento y desarrollo de la cultura tartésica para así comprender mejor la formación y evolución de dicha cultura. El conocimiento de Tarteso ha evolucionado sensiblemente en la última década, desde la celebración y publicación de las actas del I Congreso Internacional, Tarteso. El emporio del metal (Almuzara, 2013). La incorporación de nuevas voces y visiones enfocadas al conocimiento de la protohistoria peninsular, así como de algunos temas nunca antes abordados en el conocimiento de Tarteso, permiten presentar en este volumen una visión renovada, donde destaca la incorporación de unos nuevos límites territoriales para esta cultura.Esta publicación se ha beneficiado de las siguientes ayudas para su financiación: Proyecto de Investigación del Plan Nacional I+D+i: “Construyendo Tarteso 2.0: análisis constructivo, espacial y territorial de un modelo arquitectónico en el valle medio del Guadiana” (PID2019-108180GBI00), financiado por MCIN (AEI/10.13039/501100011033). Subvención global de la Secretaría General de Ciencia, Tecnología, Innovación y Universidad de la Junta de Extremadura al Instituto de Arqueología.Peer reviewe

Clonal chromosomal mosaicism and loss of chromosome Y in elderly men increase vulnerability for SARS-CoV-2

The pandemic caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2, COVID-19) had an estimated overall case fatality ratio of 1.38% (pre-vaccination), being 53% higher in males and increasing exponentially with age. Among 9578 individuals diagnosed with COVID-19 in the SCOURGE study, we found 133 cases (1.42%) with detectable clonal mosaicism for chromosome alterations (mCA) and 226 males (5.08%) with acquired loss of chromosome Y (LOY). Individuals with clonal mosaic events (mCA and/or LOY) showed a 54% increase in the risk of COVID-19 lethality. LOY is associated with transcriptomic biomarkers of immune dysfunction, pro-coagulation activity and cardiovascular risk. Interferon-induced genes involved in the initial immune response to SARS-CoV-2 are also down-regulated in LOY. Thus, mCA and LOY underlie at least part of the sex-biased severity and mortality of COVID-19 in aging patients. Given its potential therapeutic and prognostic relevance, evaluation of clonal mosaicism should be implemented as biomarker of COVID-19 severity in elderly people. Among 9578 individuals diagnosed with COVID-19 in the SCOURGE study, individuals with clonal mosaic events (clonal mosaicism for chromosome alterations and/or loss of chromosome Y) showed an increased risk of COVID-19 lethality