Cross-border activity in the Kent - Nord-Pas de Calais - Belgium Euroregion: some comparative evidence on the location and recruitment decisions of internationally mobile firms

Border regions and the implications for their development have become a subject of considerable interest in the ongoing process of European integration. The removal of national barriers and the development of greater economic and political transborder co-operation has led to a reconsideration of spatial identity and the definition of regional economies or markets. Much of the interest has focussed on the implications for labour mobility, especially within the context of the perceived need for greater mobility to provide the necessary adjustment process within the Eurozone. However, not only has international labour migration remained quite low within the EU, so has the level of cross-border commuting. There has, however, been considerable interest in the growth of cross-border capital flows. In this paper we explore the nature of this cross-border movement of firms in the context of the Kent - Nord-Pas de Calais - Belgium Euroregion. This transnational region is a large region of over 15 million people, close to a number of national borders. The original focus was the Transmanche region between Kent and Nord-Pas de Calais, established in relation to the construction of the Channel Tunnel in1987 in order to identify common problems, minimise the competition for the same resources between the regions and emphasise complementarity in their economic structures. The region was later extended to include the three Belgian regions in 1991 when it was renamed the Euroregion, and there have been suggestions that it should extend even more widely to include most or all of the Central Capitals Region of the EU. This paper brings together some findings from a survey of French firms which have located in Kent and a parallel survey of Belgian firms which have located in the Dunkerque employment area of Nord-Pas de Calais (Boutillier et al, 2001). In this analysis we seek to discover whether the same general set of principles govern cross-border movements, or whether there are individual circumstances in each region to which specific types of firm respond. Despite similarities, it is difficult to conclude that there is a consistent pattern of cross-border investment activity. As with all investment activity, cross-border investment seeks to exploit differentials which exist and opportunities which arise; these are different in different cases. Belgian activity in the Dunkerque region is responding to clear advantages which are offered through location in an area where incentives are strong and where there are specific skills which can be used to advantage. French investment in Kent seems to be responding to wider national opportunities available in the UK, but using a location which has certain advantages of proximity. It would seem unwise to rely on either of these factors as being likely to persist indefinitely. By definition firms which have been willing to move in will also find it relatively easy to move on to other locations, possibly to other regions within the host country. In this sense border regions continue to act as staging posts for mobile factors and thus have to recognise the need for continuing activity to attract new firms and retain existing ones.

Training and Establishment Survival

We investigate the relationship between training and the likelihood of commercial survival over a 7-year period, using a survey of British establishments. We find that in stablishments of 200 or more employees, increased training of those in Professional, Sales, and Clerical and Secretarial occupations is associated with a greater chance of survival. In smaller establishments of less than 200 employees, increased training for Operatives and Assembly workers, Personal and Protective Service workers, and Craft and Technical workers is associated with better chances of survival. We interpret these findings as suggesting that training for these groups generated above-normal returns and indicates under-investment in training by such firms. There is no evidence to suggest under-investment in management training.training, survival, economic performance

Measurement of the Nodal Precession of WASP-33 b via Doppler Tomography

We have analyzed new and archival time series spectra taken six years apart during transits of the hot Jupiter WASP-33 b, and spectroscopically resolved the line profile perturbation caused by the Rossiter-McLaughlin effect. The motion of this line profile perturbation is determined by the path of the planet across the stellar disk, which we show to have changed between the two epochs due to nodal precession of the planetary orbit. We measured rates of change of the impact parameter and the sky-projected spin-orbit misalignment of $db/dt=-0.0228_{-0.0018}^{+0.0050}$ yr$^{-1}$ and $d\lambda/dt=-0.487_{-0.076}^{+0.089}$~$^{\circ}$ yr$^{-1}$, respectively, corresponding to a rate of nodal precession of $d\Omega/dt=0.373_{-0.083}^{+0.031}$~$^{\circ}$ yr$^{-1}$. This is only the second measurement of nodal precession for a confirmed exoplanet transiting a single star. Finally, we used the rate of precession to set limits on the stellar gravitational quadrupole moment of $9.4\times10^{-5}<J_2<6.1\times10^{-4}$.Comment: Published in ApJL. 5 pages, 3 figures. Corrected error in the calculation of J_

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

Memory consistency models (MCMs) which govern inter-module interactions in a shared memory system, are a significant, yet often under-appreciated, aspect of system design. MCMs are defined at the various layers of the hardware-software stack, requiring thoroughly verified specifications, compilers, and implementations at the interfaces between layers. Current verification techniques evaluate segments of the system stack in isolation, such as proving compiler mappings from a high-level language (HLL) to an ISA or proving validity of a microarchitectural implementation of an ISA. This paper makes a case for full-stack MCM verification and provides a toolflow, TriCheck, capable of verifying that the HLL, compiler, ISA, and implementation collectively uphold MCM requirements. The work showcases TriCheck's ability to evaluate a proposed ISA MCM in order to ensure that each layer and each mapping is correct and complete. Specifically, we apply TriCheck to the open source RISC-V ISA, seeking to verify accurate, efficient, and legal compilations from C11. We uncover under-specifications and potential inefficiencies in the current RISC-V ISA documentation and identify possible solutions for each. As an example, we find that a RISC-V-compliant microarchitecture allows 144 outcomes forbidden by C11 to be observed out of 1,701 litmus tests examined. Overall, this paper demonstrates the necessity of full-stack verification for detecting MCM-related bugs in the hardware-software stack.Comment: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating System