Recursive Program Optimization Through Inductive Synthesis Proof Transformation

The research described in this paper involved developing transformation techniques which increase the efficiency of the noriginal program, the source, by transforming its synthesis proof into one, the target, which yields a computationally more efficient algorithm. We describe a working proof transformation system which, by exploiting the duality between mathematical induction and recursion, employs the novel strategy of optimizing recursive programs by transforming inductive proofs. We compare and contrast this approach with the more traditional approaches to program transformation, and highlight the benefits of proof transformation with regards to search, correctness, automatability and generality

Persistent Disparities in Regional Unemployment: Application of a Spatial Filtering Approach to Local Labour Markets in Germany

The geographical distribution and persistence of regional/local unemployment rates in heterogeneous economies (such as Germany) have been, in recent years, the subject of various theoretical and empirical studies. Several researchers have shown an interest in analysing the dynamic adjustment processes of unemployment and the average degree of dependence of the current unemployment rates or gross domestic product from the ones observed in the past. In this paper, we present a new econometric approach to the study of regional unemployment persistence, in order to account for spatial heterogeneity and/or spatial autocorrelation in both the levels and the dynamics of unemployment. First, we propose an econometric procedure suggesting the use of spatial filtering techniques as a substitute for fixed effects in a panel estimation framework. The spatial filter computed here is a proxy for spatially distributed region-specific information (e.g., the endowment of natural resources, or the size of the ‘home market’) that is usually incorporated in the fixed effects coefficients. The advantages of our proposed procedure are that the spatial filter, by incorporating region-specific information that generates spatial autocorrelation, frees up degrees of freedom, simultaneously corrects for time-stable spatial autocorrelation in the residuals, and provides insights about the spatial patterns in regional adjustment processes. In the paper we present several experiments in order to investigate the spatial pattern of the heterogeneous autoregressive coefficients estimated for unemployment data for German NUTS-3 regions.unemployment persistence, dynamic panel, hysteresis, spatial filtering, fixed effects

Thin-film quantum dot photodiode for monolithic infrared image sensors

Imaging in the infrared wavelength range has been fundamental in scientific, military and surveillance applications. Currently, it is a crucial enabler of new industries such as autonomous mobility (for obstacle detection), augmented reality (for eye tracking) and biometrics. Ubiquitous deployment of infrared cameras (on a scale similar to visible cameras) is however prevented by high manufacturing cost and low resolution related to the need of using image sensors based on flip-chip hybridization. One way to enable monolithic integration is by replacing expensive, small-scale III-V-based detector chips with narrow bandgap thin-films compatible with 8- and 12-inch full-wafer processing. This work describes a CMOS-compatible pixel stack based on lead sulfide quantum dots (PbS QD) with tunable absorption peak. Photodiode with a 150-nm thick absorber in an inverted architecture shows dark current of 10(-6) A/cm(2) at 2 V reverse bias and EQE above 20% at 1440 nm wavelength. Optical modeling for top illumination architecture can improve the contact transparency to 70%. Additional cooling (193 K) can improve the sensitivity to 60 dB. This stack can be integrated on a CMOS ROIC, enabling order-of-magnitude cost reduction for infrared sensors

The use of innovation and practice profiles in the evaluation of curriculum implementation

Most generic curriculum reform efforts have to deal with a gap between the innovative aspirations of the initial designers and the daily reality of the intended audience of teachers. That tension is not alarming in itself. One might even say that without it no compelling reason for starting development work would exist. Unfortunately, many evaluation studies on the implementation and impact of curriculum development projects show that this discrepancy does not decrease over time. Apparently, not much improvement is made in detecting and reducing potential implementation problems.\ud This article presents some conceptual and instrumental guidelines for dealing with these problems, focusing on the use of `profiles¿ during evaluation of curriculum materials.\ud The paper starts with an introduction on the functions of exemplary curriculum materials and their possible representations, on the long road from original designers¿ ideas to effects of student learning. Next, we will explain the concepts of innovation and practice profiles. We will then provide guidelines for the development and use of such profiles, based on previous research experiences, and illustrated with some specific examples. Finally, we will reflect on the advantages and limitations of working with profiles

Persistence of Regional Unemployment: Application of a Spatial Filtering Approach to Local Labour Markets in Germany

The geographical distribution and persistence of regional/local unemployment rates in heterogeneous economies (such as Germany) have been, in recent years, the subject of various theoretical and empirical studies. Several researchers have shown an interest in analysing the dynamic adjustment processes of unemployment and the average degree of dependence of the current unemployment rates or gross domestic product from the ones observed in the past. In this paper, we present a new econometric approach to the study of regional unemployment persistence, in order to account for spatial heterogeneity and/or spatial autocorrelation in both the levels and the dynamics of unemployment. First, we propose an econometric procedure suggesting the use of spatial filtering techniques as a substitute for fixed effects in a panel estimation framework. The spatial filter computed here is a proxy for spatially distributed region-specific information (e.g., the endowment of natural resources, or the size of the ‘home market’) that is usually incorporated in the fixed effects parameters. The advantages of our proposed procedure are that the spatial filter, by incorporating region-specific information that generates spatial autocorrelation, frees up degrees of freedom, simultaneously corrects for time-stable spatial autocorrelation in the residuals, and provides insights about the spatial patterns in regional adjustment processes. We present several experiments in order to investigate the spatial pattern of the heterogeneous autoregressive parameters estimated for unemployment data for German NUTS-3 regions. We find widely heterogeneous but generally high persistence in regional unemployment rates.

Spatial Filtering and Eigenvector Stability: Space-Time Models for German Unemployment Data

Regions, independent of their geographic level of aggregation, are known to be interrelated partly due to their relative locations. Similar economic performance among regions can be attributed to proximity. Consequently, a proper understanding, and accounting, of spatial liaisons is needed in order to effectively forecast regional economic variables. Several spatial econometric techniques are available in the literature, which deal with the spatial autocorrelation in geographically-referenced data. The experiments carried out in this paper are concerned with the analysis of the spatial autocorrelation observed for unemployment rates in 439 NUTS-3 German districts. We employ a semi-parametric approach – spatial filtering – in order to uncover spatial patterns that are consistently significant over time. We first provide a brief overview of the spatial filtering method and illustrate the data set. Subsequently, we describe the empirical application carried out: that is, the spatial filtering analysis of regional unemployment rates in Germany. Furthermore, we exploit the resulting spatial filter as an explanatory variable in a panel modelling framework. Additional explanatory variables, such as average daily wages, are used in concurrence with the spatial filter. Our experiments show that the computed spatial filters account for most of the residual spatial autocorrelation in the data.spatial filtering, eigenvectors, Germany, unemployment

Persistence of Regional Unemployment: Application of a Spatial Filtering Approach to Local Labour Markets in Germany

The geographical distribution and persistence of regional/local unemployment rates in heterogeneous economies (such as Germany) have been, in recent years, the subject of various theoretical and empirical studies. Several researchers have shown an interest in analysing the dynamic adjustment processes of unemployment and the average degree of dependence of the current unemployment rates or gross domestic product from the ones observed in the past. In this paper, we present a new econometric approach to the study of regional unemployment persistence, in order to account for spatial heterogeneity and/or spatial autocorrelation in both the levels and the dynamics of unemployment. First, we propose an econometric procedure suggesting the use of spatial filtering techniques as a substitute for fixed effects in a panel estimation framework. The spatial filter computed here is a proxy for spatially distributed region-specific information (e.g., the endowment of natural resources, or the size of the ‘home market’) that is usually incorporated in the fixed effects parameters. The advantages of our proposed procedure are that the spatial filter, by incorporating region-specific information that generates spatial autocorrelation, frees up degrees of freedom, simultaneously corrects for time-stable spatial autocorrelation in the residuals, and provides insights about the spatial patterns in regional adjustment processes. We present several experiments in order to investigate the spatial pattern of the heterogeneous autoregressive parameters estimated for unemployment data for German NUTS-3 regions. We find widely heterogeneous but generally high persistence in regional unemployment rates.unemployment persistence, dynamic panel, hysteresis, spatial filtering, fixed effects