The Spanish-Catalan political crisis as represented in the UK, French and German press (2010-2017)

Political events in Catalonia from 2010 to the present have marked part of the Spanish and EU media agenda and have resonated in the international media. We analysed German, French and UK media coverage and opinions of foreign correspondents regarding the Catalan independence movement for the period 2010 to 2017. We analysed press representations of the positions of the Spanish and Catalan governments and of the confrontation between them, focusing on the main newspapers (Le Figaro, Le Monde, Frankfurter Allgemeine Zeitung, Süddeustsche Zeitung, The Daily Telegraph and The Guardian) of the major EU economies of Germany, France and the UK. Analysis was intended to determine the degree of (il)legitimacy of the independence movement as well as arguments in favour of the Spanish status quo and even of European identity. We conducted a framing analysis of 563 press articles and an ethnographic study based on in-depth interviews with four foreign correspondents in Spain. The analysed newspapers provided wide coverage of the Catalan independence movement, framed the crisis as a conflict between the governments of Spain and Catalonia and called repeatedly on the EU to mediate

Treatment of pregnant rats with oleoyl-estrone slows down pup fat deposition after weaning

BACKGROUND: In rats, oral oleoyl-estrone (OE) decreases food intake and body lipid content. The aim of this study was to determine whether OE treatment affects the energy metabolism of pregnant rats and eventually, of their pups; i.e. changes in normal growth patterns and the onset of obesity after weaning. METHODS: Pregnant Wistar rats were treated with daily intragastric gavages of OE in 0.2 ml sunflower oil from days 11 to 21 of pregnancy (i.e. 10 nmol oleoyl-estrone/g/day). Control animals received only the vehicle. Plasma and hormone metabolites were determined together with variations in cellularity of adipose tissue. RESULTS: Treatment decreased food intake and lowered weight gain during late pregnancy, mainly because of reduced adipose tissue accumulation in different sites. OE-treated pregnant rats' metabolic pattern after delivery was similar to that of controls. Neonates from OE-treated rats weighed the same as those from controls. They also maintained the same growth rate up to weaning, but pups from OE-treated rats slowed their growth rate afterwards, despite only limited differences in metabolite concentrations. CONCLUSION: The OE influences on pup growth can be partially buffered by maternal lipid mobilization during the second half of pregnancy. This maternal metabolic "imprinting" may condition the eventual accumulation of adipose tissue after weaning, and its effects can affect the regulation of body weight up to adulthood

Abstract Contract Synthesis and Verification in the Symbolic K Framework

[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based structures and heap manipulation. Starting from the semantic definition of KernelC in the K semantic framework, we enrich the symbolic execution facilities recently provided by K with novel capabilities for contract synthesis that are based on abstract subsumption. Roughly speaking, we define an abstract symbolic technique that axiomatically explains the execution of any (modifier) C function by using other (observer) routines in the same program. We implemented our technique in the automated tool KindSpec 2.1, which generates logical axioms that express pre- and postcondition assertions which define the precise input/output behavior of the C routines. Thanks to the integrated support for symbolic execution and deductive verification provided by K, some synthesized axioms that cannot be guaranteed to be correct by construction due to abstraction can finally be verified in our framework with little effort.This work has been partially supported by the EU (FEDER) and Spanish MINECO under grant TIN2015-69175-C4-1-R, and and TIN2013-45732-C4-1-P, and by Generalitat Valenciana PROMETEOII/2015/013. Daniel Pardo was supported by FPU-ME grant FPU14/01830.Alpuente Frasnedo, M.; Pardo Pont, D.; Villanueva García, A. (2018). Abstract Contract Synthesis and Verification in the Symbolic K Framework. Universitat Politècnica de València. http://hdl.handle.net/10251/10030

Recent advances in the modelling of classical novae and type I X-ray bursts

Classical nova outbursts and type I X-ray bursts are thermonuclear stellar explosions driven by charged-particle reactions. Extensive numerical simulations of nova explosions have shown that the accreted envelopes attain peak temperatures between 0.1 and 0.4 GK, for about several hundred seconds, and therefore, their ejecta is expected to show signatures of significant nuclear activity. Indeed, it has been claimed that novae play some role in the enrichment of the interstellar medium through a number of intermediate-mass elements. This includes 17O, 15N, and 13C, systematically overproduced in huge amounts with respect to solar abundances, with a lower contribution to a number of species with A<40, such as 7Li, 19F, or 26Al. In this review, we present new 1-D hydrodynamic models of classical nova outbursts, from the onset of accretion up to the explosion and ejection phases. Special emphasis is put on their gross observational properties (including constraints from meteoritic presolar grains and potential gamma-ray signatures) and on their associated nucleosynthesis. Multidimensional models of mixing at the core-envelope interface during outbursts will also be presented. The impact of nuclear uncertainties on the final yields will be also outlined. Detailed analysis of the relevant reactions along the main nuclear path for type I X-ray bursts has only been scarcely addressed, mainly in the context of parameterized one-zone models. Here, we present a detailed study of the nucleosynthesis and nuclear processes powering type I X-ray bursts. The reported bursts have been computed by means of a spherically symmetric (1D), Lagrangian, hydrodynamic code, linked to a nuclear reaction network that contains 325 isotopes (from 1H to 107Te), and 1392 nuclear processes. These evolutionary sequences, followed from the onset of accretion up to the explosion and expansion stages, have been performed for two different metallicities to explore the dependence between the extension of the main nuclear flow and the initial metal content. We carefully analyze the physical parameters that determine the light curve (including recurrence times, ratios between persistent and burst luminosities, or the extent of the envelope expansion). Results are in qualitative agreement with the observed properties of some well-studied bursting sources.Postprint (published version

Parametrized Architecture for Hough Transform Recursive Evaluation

Paper submitted to International Workshop on Spectral Methods and Multirate Signal Processing (SMMSP), Barcelona, España, 2003.The Hough Transform (HT) is a useful technique in image segmentation, concretely for geometrical primitive detection. A Convolution-Based Recursive Method (CBRM) is presented for function evaluation. In this generic approach, calculations are carried out by an unique parametric formula which provides all function points by successive iterations. The case of combined trigonometric functions involved in the calculation of the HT is analyzed under this scope. An architecture for reconfigurable FPGA-based hardware, using Distributed Arithmetic (DA) implements the design. The CBRM implementation provides improvements such as memory and hardware resources saving, as well as a good balance between speed and error-dependable precision

Calculation Methodology for Flexible Arithmetic Processing

Paper submitted to the IFIP International Conference on Very Large Scale Integration (VLSI-SOC), Darmstadt, Germany, 2003.A new operation model of flexible calculation that allows us to adjust the operation delay depending on the available time is presented. The operation method design uses look-up tables and progressive construction of the result. The increase in the operators’ granularity opens up new possibilities in calculation methods and microprocessor design. This methodology, together with the advances in technology, enables the functions of an arithmetic unit to be implemented on the basis of techniques based on stored data that provide quality results and systematization in the implementation. The proposed techniques are applied in the design of a multiplier operator. We report an evaluation of the architecture in area, delay and computation error, as well as a suitable implementation of an application example in FPGA to validate the design.This work is being backed by grant DPI2002-04434-C04-01 from the Ministerio de Ciencia y Tecnología of the Spanish Government

Parametrizable Architecture for Function Recursive Evaluation

Paper submitted to the XVIII Conference on Design of Circuits and Integrated Systems (DCIS), Ciudad Real, España, 2003.This paper presents a function evaluation method developed under the scope of recursive expression of function convolution. This approach is based on a unique parametrizable formula capable of providing function points by successive iteration. When tackling design level, it also shows suitable for developing architectural schemes capable of dealing with different speed and precision issues. An architecture for reconfigurable FPGA based in serial distributed arithmetic implements the design for fast prototyping. The case of combined trigonometric functions involved in rotation is analyzed under this scope. Compared with others methods, our proposal offers a good balance between speed and precision

Hough Transform recursive evaluation using Distributed Arithmetic

Paper submitted to the IFIP International Conference on Very Large Scale Integration (VLSI-SOC), Darmstadt, Germany, 2003.The Hough Transform (HT) is a useful technique in image segmentation, concretely for geometrical primitive detection. A Convolution-Based Recursive Method (CBRM) is presented for generic function evaluation. In this approach, calculations are carried out by a unique parametric formula which provides all function points by successive iteration. The case of combined trigonometric functions involved in the calculation of the HT is analyzed under this scope. An architecture for reconfigurable FPGA-based hardware, using Distributed Arithmetic (DA) implements the design. It provides memory and hardware resource saving as well as speed improvements according to the experiments carried out with the HT

Time-Precision Flexible Arithmetic Unit

Paper submitted to the XVIII Conference on Design of Circuits and Integrated Systems (DCIS), Ciudad Real, España, 2003.A new conception of flexible calculation that allows us to adjust an operation depending on the available time computation is presented. The proposed arithmetic unit is based on this principle. It contains a control operation module that determines the process time of each calculation. The operation method design uses precalculated data stored in look-up tables, which provide, above all, quality results and systematization in the implementation of low level primitives that set parameters for the processing time. We report an evaluation of the architecture in area, delay and computation error, as well as a suitable implementation in FPGA to validate the design.This work is being backed by grant DPI2002-04434-C04-01 from the Ministerio de Ciencia y Tecnología of the Spanish Government

Auditing the management of vaccine-preventable disease outbreaks: the need for a tool

Public health activities, especially infectious disease control, depend on effective teamwork. We present the results of a pilot audit questionnaire aimed at assessing the quality of public health services in the management of VPD outbreaks. Audit questionnaire with three main areas indicators (structure, process and results) was developed. Guidelines were set and each indicator was assessed by three auditors. Differences in indicator scores according to median size of outbreaks were determined by ANOVA (significance at p (greater than or equal to) 0.05). Of 154 outbreaks; eighteen indicators had a satisfactory mean score, indicator "updated guidelines" and "timely reporting" had a poor mean score (2.84±106 and 2.44±1.67, respectively). Statistically significant differences were found according to outbreak size, in the indicators "availability of guidelines/protocol updated less than 3 years ago" (p = 0.03) and "days needed for outbreak control" (p = 0.04). Improving availability of updated guidelines, enhancing timely reporting and adequate recording of control procedures taken is needed to allow for management assessment and improvement