Sustainability of EU public finances

We use a policy rule framework and focus on the response of the primary surplus to accumulated public debt to test a sufficient condition for sustainability. The evidence we report suggests that sustainability was prevalent in many EU countries before Maastricht, but also that the Maastricht impulse induced the shift towards sustainability in some of them. Additionally, although a clear distinction emerges in terms of the visibility of the Maastricht stress between the euro bloc, on the one hand, and the non-euro EU countries, the US and Japan, on the other, there is no evidence of bloc differences in terms of the long term soundness of public finances. On the basis of our analysis and results, we highlight the potential policy relevance of the reaction of the primary surplus to accumulated debt in the debate on the proper balance between fiscal stabilization and discipline in EMU.Stability and Growth Pact, public debt, sustainability, Maastricht, fiscal stabilization, accumulated debt, public finances, sustainability, Ballabriga, Martinez-Mongay

Actividad eléctrica muscular en la marcha a distintas velocidades y en la carrera

En este estudio se analiza la actividad electromiográfica de los principales músculos de la extremidad inferior derecha: Glúteos Mayor y Medio, Recto Anterior y Vasto Interno del Cuádriceps, Isquiotibioperoneos, Gemelos y Tibial Anterior, al caminar en un tapiz rodante a distintas velocidades y en una carrera suave. Para dividir el ciclo de la marcha y la carrera en fases se utilizó un sistema de análisis tridimensional con dos cámaras de vídeo. La señal electromiográfica de cada una de estas fases se integró y se expresó en porcentaje de la actividad máxima isométrica de su músculo correspondiente. Los resultados obtenidos muestran que la participación muscular en la marcha lenta y normal es muy similar, sin embargo, en la marcha rápida aparecen aumentos importantes conservando el mismo patrón de actuación. En la carrera, no sólo existen actividades del triple de las halladas en la marcha a velocidad cómoda, sino que se modifica el patrón de actuación, presentando todos los músculos sus picos de actividad durante la fase de apoyo, momento en el que el centro de gravedad se lleva hacia delante sobre el miembro inferior

Actividad eléctrica muscular en la marcha a distintas velocidades y en la carrera

En este estudio se analiza la actividad electromiográfica de los principales músculos de la extremidad inferior derecha: Glúteos Mayor y Medio, Recto Anterior y Vasto Interno del Cuádriceps, Isquiotibioperoneos, Gemelos y Tibial Anterior, al caminar en un tapiz rodante a distintas velocidades y en una carrera suave. Para dividir el ciclo de la marcha y la carrera en fases se utilizó un sistema de análisis tridimensional con dos cámaras de vídeo. La señal electromiográfica de cada una de estas fases se integró y se expresó en porcentaje de la actividad máxima isométrica de su músculo correspondiente. Los resultados obtenidos muestran que la participación muscular en la marcha lenta y normal es muy similar, sin embargo, en la marcha rápida aparecen aumentos importantes conservando el mismo patrón de actuación. En la carrera, no sólo existen actividades del triple de las halladas en la marcha a velocidad cómoda, sino que se modifica el patrón de actuación, presentando todos los músculos sus picos de actividad durante la fase de apoyo, momento en el que el centro de gravedad se lleva hacia delante sobre el miembro inferior

Characterisation of the Medipix3 detector for 60 and 80 keV electrons

In this paper we report quantitative measurements of the imaging performance for the current generation of hybrid pixel detector, Medipix3, used as a direct electron detector. We have measured the modulation transfer function and detective quantum efficiency at beam energies of 60 and 80 keV. In single pixel mode, energy threshold values can be chosen to maximize either the modulation transfer function or the detective quantum efficiency, obtaining values near to, or exceeding those for a theoretical detector with square pixels. The Medipix3 charge summing mode delivers simultaneous, high values of both modulation transfer function and detective quantum efficiency. We have also characterized the detector response to single electron events and describe an empirical model that predicts the detector modulation transfer function and detective quantum efficiency based on energy threshold. Exemplifying our findings we demonstrate the Medipix3 imaging performance recording a fully exposed electron diffraction pattern at 24-bit depth together with images in single pixel and charge summing modes. Our findings highlight that for transmission electron microscopy performed at low energies (energies <100 keV) thick hybrid pixel detectors provide an advantageous architecture for direct electron imaging

Medipix3 Demonstration and understanding of near ideal detector performance for 60 & 80 keV electrons

In our article we report first quantitative measurements of imaging performance for the current generation of hybrid pixel detector, Medipix3, as direct electron detector. Utilising beam energies of 60 & 80 keV, measurements of modulation transfer function (MTF) and detective quantum efficiency (DQE) have revealed that, in single pixel mode (SPM), energy threshold values can be chosen to maximize either the MTF or DQE, obtaining values near to, or even exceeding, those for an ideal detector. We have demonstrated that the Medipix3 charge summing mode (CSM) can deliver simultaneous, near ideal values of both MTF and DQE. To understand direct detection performance further we have characterized the detector response to single electron events, building an empirical model which can predict detector MTF and DQE performance based on energy threshold. Exemplifying our findings we demonstrate the Medipix3 imaging performance, recording a fully exposed electron diffraction pattern at 24-bit depth and images in SPM and CSM modes. Taken together our findings highlight that for transmission electron microscopy performed at low energies (energies <100 keV) thick hybrid pixel detectors provide an advantageous and alternative architecture for direct electron imagin

FastIC: a fast integrated circuit for the readout of high performance detectors

This work presents the 8-channel FastIC ASIC developed in CMOS 65 nm technology suitable for the readout of positive and negative polarity sensors in high energy physics experiments, Cherenkov detectors and time-of-flight systems. The front-end can be configured to perform analog summation of up to 4 single-ended channels before discrimination in view of improving time resolution when segmenting a SiPM. The outputs encode the time-of-arrival information and linear energy measurement which captures the peak amplitude of the input signal in the 5 µA–25 mA input peak current range. Power consumption of the ASIC is 12 mW/ch with default settings. Measurements of single photon time resolution with a red-light laser source and a HPK SiPM S13360-3050CS are ≈140 ps FWHM

The GBT Project

The GigaBit Transceiver (GBT) architecture and transmission protocol has been proposed for data transmission in the physics experiments of the future upgrade of the LHC accelerator, the SLHC. Due to the high beam luminosity planned for the SLHC, the experiments will require high data rate links and electronic components capable of sustaining high radiation doses. The GBT ASICs address this issue implementing a radiation-hard bi-directional 4.8 Gb/s optical fibre link between the counting room and the experiments. The paper describes in detail the GBT-SERDES architecture and presents an overview of the various components that constitute the GBT chipset

How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics

International audienceIn systems with hard real-time constraints, it is necessary to compute upper bounds on the worst-case execution time (WCET) of programs; the closer the bound to the real WCET, the better. This is especially the case of synchronous reactive control loops with a fixed clock; the WCET of the loop body must not exceed the clock period. We compute the WCET (or at least a close upper bound thereof) as the solution of an optimization modulo theory problem that takes into account the semantics of the program, in contrast to other methods that compute the longest path whether or not it is feasible according to these semantics. Optimization modulo theory extends satisfiability modulo theory (SMT) to maximization problems. Immediate encodings of WCET problems into SMT yield formulas intractable for all current production-grade solvers; this is inherent to the DPLL(T) approach to SMT implemented in these solvers. By conjoining some appropriate "cuts" to these formulas, we considerably reduce the computation time of the SMT-solver. We experimented our approach on a variety of control programs, using the OTAWA analyzer both as baseline and as underlying microarchitectural analysis for our analysis, and show notable improvement on the WCET bound on a variety of benchmarks and control programs