Extragalactic line surveys

40 years have passed since the first molecular detection outside our Galaxy. Since then, our knowledge on the distribution, kinematics and composition of the molecular material in the extragalactic ISM has built up significantly based not only on the carbon monoxide observations but also in the more than 50 molecular species detected. In particular, line surveys have been proven to be excellent tools to study the chemical composition in the nuclei of galaxies. Such studies have been favored by the increasing instantaneous bandwidth of current mm and sub-mm facilities. Here I will summarize the highlights of extragalactic molecular spectroscopy, mostly focusing in the results from molecular line surveys published in the last few years as well as the aims of still ongoing projects.Comment: 9 pages, 2 figures, in Proceedings of the 280th Symposium of the International Astronomical Unio

Proposed Methodology to Evaluate CO2 Capture Using Construction and DemolitionWaste

Since the Industrial Revolution, levels of CO2 in the atmosphere have been constantly growing, producing an increase in the average global temperature. One of the options for Carbon Capture and Storage is mineral carbonation. The results of this process of fixing are the safest in the long term, but the main obstacle for mineral carbonation is the ability to do it economically in terms of both money and energy cost. The present study outlines a methodological sequence to evaluate the possibility for the carbonation of ceramic construction waste (brick, concrete, tiles) under surface conditions for a short period of time. The proposed methodology includes a pre-selection of samples using the characterization of chemical and mineralogical conditions and in situ carbonation. The second part of the methodology is the carbonation tests in samples selected at 10 and 1 bar of pressure. The relative humidity during the reaction was 20 wt %, and the reaction time ranged from 24 h to 30 days. To show the e ectiveness of the proposed methodology, Ca-rich bricks were used, which are rich in silicates of calcium or magnesium. The results of this study showed that calcite formation is associated with the partial destruction of Ca silicates, and that carbonation was proportional to reaction time. The calculated capture e ciency was proportional to the reaction time, whereas carbonation did not seem to significantly depend on particle size in the studied conditions. The studies obtained at a low pressure for the total sample were very similar to those obtained for finer fractions at 10 bars. Presented results highlight the utility of the proposed methodology

El periódico sin interrupciones : un análisis del aprovechamiento de los quioscos digitales como instrumento para mantener el contacto con los lectores los 365 días del año

El nacimiento de los quioscos virtuales abrió la posibilidad de que los periódicos estuvieran disponibles con su fisonomía habitual todos días del año, incluso aquellos tres en que permanecen cerrados los puntos de venta tradicionales. Sin embargo, el aprovechamiento que las grandes cabeceras españolas vienen haciendo de esa oportunidad desde 2012 es muy desigual, según los resultados del presente estudio, que analiza cuál es la oferta periodística de cada uno de ellos en las festividades que antes guardaba la prensa

Agis: heuristic search library & framework in haskell

There are currently few experiments that try to perform heuristic search in Haskell, even though the language provides a clean and modular syntax that can be specially useful for educational or research purposes in the field. Furthermore, functional programming provides a inherently concurrent way of writing code, which results in trivial parallelism using compiler flags. Also, due to the particular constraints imposed by the language, it is specially interesting to create a library of algorithms that solves the k best paths problem. Taking into account that it can be detrimental to the overall performance, the language’s nature allows the framework to return a list (that can theoretically be as long as infinite) containing all the solutions in the problem space, and use its lazy evaluation to only compute the k solutions asked by the user, without any kind of code modification. The aforementioned reasons are found as a motivation for developing a framework in Haskell, that allows the user to perform searches, as well as designing different algorithms and test them along with the ones provided for comparison. Haskell’s strong type system let us declare a set of types used by the library, declaring all needed constraints in them and ensuring that if the code provided by the user type checks the code will most likely behave as expected by the user. This thesis details all the steps that were needed in the process: from a software engineering approach to the design, to the generation of all needed artifacts to ensure the quality and intuition about the library; including the implementation step and all the reasoning behind it, and all formal verification of the models used in the library. The testing process also contains all the performance checks along with several low-level profile tests to spot a space leak in the library. All the organizational, legal and socioeconomic details of the project are also included in the document, along with an appendix containing all the generated documentation of the framework. The result is agis: a Haskell package that lets the user include in their own code a set of types to model and solve heuristic problems; design modular heuristic search algorithms (using intermediate functions provided by the library) or write them from scratch (using the types provided by the library) and be able to run them in several search domains provided in the framework or run several benchmarks using a criterion interface.Actualmente existen pocos ejemplos de búsqueda heurística en Haskell, a pesar de que el lenguaje ofrece una sintaxis modular y limpiar que lo hace especialmente interesante para fines educativos o de investigación en este campo. Además, la programación funcional ofrece una forma de escribir código intrínsecamente concurrente, lo que hace código de Haskell trivialmente paralelizable (tan solo es necesario activar ciertas opciones propuestas por el compilador). Además de todo ello, las restricciones impuestas por el lenguaje hacen una opción especialmente interesante que los algoritmos incluídos en la librería no tengan un comportamiento clásico, sino que resuelvan a su vez el problema de las k mejores soluciones: el algoritmo puede devolver una lista con todas las soluciones incluídas en el espacio de búsqueda (que puede ser infinita), y usar la evaluación perezosa del lenguaje para solo calcular las que el usuario realmente pida, sin ninguna modificación de código ni problema a la hora de evaluar dicha lista. Todas estas razones sirven de motivación para el desarrollo de un framework en Haskell, que permita al usuario tanto ejecutar búsquedas como diseñar distintos algoritmos y compararlos con otros ya existentes. El sistema de tipos de Haskell permite a la librería declarar un conjunto de tipos para que sean usados por el usuario a la hora de modelar problemas o diseñar algoritmos y asegurar de esta manera que si el código compila, es muy probable que el comportamiento del código sea el esperado. En este trabajo se recogen todos los pasos que se han seguido en este proceso: desde un diseño a nivel de ingeniería de software hasta la generación de todos los artefactos necesarios para asegurar un correcto diseño de la librería, para pasar a la implementación de dicho diseño. Esta implementación incluye todas las justificaciones necesarias así como la verificación formal de los modelos que así lo requiren. Se incluye una sección que define todas las pruebas realizadas que incluyen la medición de tiempos y recursos, así como varias pruebas de bajo nivel realizadas para encontrar el origen de una pérdida de espacio y desempeño encontrada en la librería. Todos los los detalles organizativos, legales y socioeconómicos se encuentran recogidos en este documento, así como la documentación generada por la librería en un apéndice a este. El resultado del trabajo es agis: un paquete de Haskell que permite al usuario incluir en su propio código un conjunto de tipos para modelar problemas y resolverlos usando distintos algoritmos de búsqueda, diseñar algoritmos de búsqueda modulares (usando funciones intermedias proporcionadas por el framework) o implementar uno de cero (usando los tipos de la librería), y ser así capaz de correrlos en distintos dominios de búsqueda incluidos en el framework o correr distintos benchmarks con la interfaz proporcionada al paquete criterion.Ingeniería Informátic

La República insospechada. De cómo la prensa madrileña no supo predecir la fulminante liquidación de la Monarquía de Alfonso XIII

None of Madrid major newspapers was able to even perceive intuitively in their editions of April 14, 1931 that on the same day the Second Republic would be proclaimed in Spain. Here we have the most amazing finding of the research to which this article refers to, which analyzes the editorial positions held by the seven newspapers of widest distribution (three monarchists and four republicans) since Primo de Rivera´s resignation in January 1930 to the fall of Alfonso XIII.Ninguno de los grandes diarios de Madrid fue capaz de intuir siquiera en sus ediciones del 14 de abril de 1931 que ese mismo día sería proclamada la Segunda República en España. He ahí el hallazgo más sorprendente de la investigación a la que se refiere el presente artículo, que analiza las posiciones editoriales que mantuvieron los siete rotativos de mayor tirada (tres monárquicos y cuatro republicanos) desde la dimisión de Primo de Rivera en enero de 1930 hasta la caída de Alfonso XIII

The discourse of the main royalist newspaper facing the elections that brought the Second Republic. Coincidences and inconsistences

El 12 de abril de 1931 se celebraron en España unas elecciones municipales que precipitaron la proclamación de la Segunda República sólo cuarenta y ocho horas después. Los tres principales diarios monárquicos editados entonces en Madrid reconocieron previamente el cariz plebiscitario a la consulta. Pero no todos mantuvieron la coherencia editorial tras el éxito cosechado por las candidaturas antidinásticas. Esta investigación se adentra en los mensajes lanzados por ABC, El Debate y Ahora antes y después de las elecciones, y pone de manifiesto las contradicciones en que incurrieron los dos primeros en un momento crucial de la reciente historia española.On April 12, 1931 municipal elections took place in Spain and precipitated the proclamation of the Second Republic only forty-eight hours later. The three main royalist newspapers published in Madrid in those days previously acknowledged the plebiscitary character of the consultation. But not all of them maintained an editorial consistency after the success of the anti-dynastic candidacies. This research work goes deep into the messages released by ABC, El Debate and Ahora before and after the elections, and reveals the contradictions incurred by the first two at a turning point in recent Spanish history