Program Representation Size in an Intermediate Language with Intersection and Union Types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.

[Book reviews] Review of J. E. Hoch, Semitic Words in Egyptian Texts of the New Kingdom and Third Intermediate Period and D. Sivan and Z. Cochavi-Rainey, West Semitic Vocabulary in Egyptian Script of the 14th to the 10th Centuries BCE

Reviews of: [1] James E. Hoch, Semitic Words in Egyptian Texts of the New Kingdom and Third Intermediate Period, (1994), Princeton University Press. [2] Daniel Sivan and Zipora Cochavi-Rainey, West Semitic Vocabulary in Egyptian Script of the 14th to the 10th Centuries BCE, (1992), Ben-Gurion University of the Negev Press.

Analysis of the structural characteristics of an intermediate rail vehicle and their effect on vehicle crash performance

In the current paper, the authors present an analysis of the structural characteristics of an intermediate rail vehicle and their effects on crash performance of the vehicle. Theirs is a simulation based analysis involving four stages. First, the crashworthiness of the vehicle is assessed by simulating an impact of the vehicle with a rigid wall. Second, the structural characteristics of the vehicle are analysed based on the structural behaviour during this impact and then the structure is modified. Third, the modified vehicle is tested again in the same impact scenario with a rigid wall. Finally, the modified vehicle is subjected to a modelled head-on impact which mirrors the real-life impact interface between two intermediate vehicles in a train impact. The emphasis of the current study is on the structural characteristics of the intermediate vehicle and the differences compared to an impact of a leading vehicle. The study shows that, similar to a leading vehicle, bending, or jackknifing is a main form of failure in this conventionally designed intermediate vehicle. It has also been found that the location of the door openings creates a major difference in the behaviour of an intermediate vehicle. It causes instability of the vehicle in the door area and leads to high stresses at the joint of the end beam with the solebar and shear stresses at the joint of the inner pillar with the cantrail. Apart from this, the shapes of the vehicle ends and impact interfaces are also different and have an effect on the crash performance of the vehicles. The simulation results allow the identification of the structural characteristics and show the effectiveness of relevant modifications. The conclusions have general relevance for the crashworthiness of rail vehicle design

The GEOTRACES Intermediate Data Product 2014

The GEOTRACES Intermediate Data Product 2014 (IDP2014) is the first publicly available data product of the international GEOTRACES programme, and contains data measured and quality controlled before the end of 2013. It consists of two parts: (1) a compilation of digital data for more than 200 trace elements and isotopes (TEls) as well as classical hydrographic parameters, and (2) the eGEOTRACES Electronic Atlas providing a strongly inter-linked on-line atlas including more than 300 section plots and 90 animated 3D scenes. The IDP2014 covers the Atlantic, Arctic, and Indian oceans, exhibiting highest data density in the Atlantic. The TEI data in the IDP2014 are quality controlled by careful assessment of intercalibration results and multi-laboratory data comparisons at cross-over stations. The digital data are provided in several formats, including ASCII spreadsheet, Excel spreadsheet, netCDF, and Ocean Data View collection. In addition to the actual data values the IDP2014 also contains data quality flags and 1-sigma data error values where available. Quality flags and error values are useful for data filtering. Metadata about data originators, analytical methods and original publications related to the data are linked to the data in an easily accessible way. The eGEOTRACES Electronic Atlas is the visual representation of the IDP2014 data providing section plots and a new kind of animated 3D scenes. The basin-wide 3D scenes allow for viewing of data from many cruises at the same time, thereby providing quick overviews of large-scale tracer distributions. In addition, the 3D scenes provide geographical and bathymetric context that is crucial for the interpretation and assessment of observed tracer plumes, as well as for making inferences about controlling processes.

CaII K interstellar observations towards early-type disc and halo stars - distances to intermediate- and high-velocity clouds

We compare existing high spectral resolution (R = lambda/Deltalambda similar to 40 000) Ca II Kobservations (lambda(air) = 3933.66 Angstrom) towards 88 mainly B-type stars, and new observations taken using the Intermediate dispersion Spectrograph and Imaging System (ISIS) on the William Herschel Telescope at R similar to 10 000 towards three stars taken from the Palomar-Green Survey, with 21-cm HI emission-line profiles, in order to search for optical absorption towards known intermediate- and high-velocity cloud complexes. Given certain assumptions, limits to the gas phase abundance of Ca II are estimated for the cloud components. We use the data to derive the following distances from the Galactic plane (z). (i) Tentative lower z-height limits of 2800 and 4100 pc towards complex C using lack of absorption in the spectra of HD341617 and PG 0855 + 294, respectively. (ii) A weak lower z-height of 1400 pc towards complex WA-WB using lack of absorption in EC 09470-1433 and a weak lower limit of 2470 pc using lack of absorption in EC 09452-1403. (iii) An upper z- height of 2470 pc towards a southern intermediate- velocity cloud (IVC) with v(LSR) = -55 km s(-1) using PG 2351 + 198. (iv) Detection of a possible IVC in Ca II absorption at v(LSR) = +52 km s(-1) using EC 20104-2944. No associated HI in emission is detected. At this position, normal Galactic rotation predicts velocities of up to similar to+ 25 km s(-1). The detection puts an upper z-height of 1860 pc to the cloud. (v) Tentative HI and Ca II K detections towards an IVC at similar to+70 km s(-1) in the direction of high-velocity cloud (HVC) complex WE, sightline EC 06387-8045, indicating that the IVC may be at a z-height lower than 1770 pc. (vi) Detection of Ca II K absorption in the spectrum of PG 0855 + 294 in the direction of IV20, indicating that this IVC has a z-height smaller than 4100 pc. (vii) A weak lower z-height of 4300 pc towards a small HVC with v(LSR) = +115 km s(-1) at l, b = 200degrees, + 52degrees, using lack of absorption in the Ca II K spectrum of PG 0955 + 291.

Multiwavelength observations of the M15 intermediate-velocity cloud

We present Westerbork Synthesis Radio Telescope HI images, Lovell telescope multibeam H I wide-field mapping, William Herschel Telescope long-slit echelle Ca II observations, Wisconsin Halpha Mapper (WHAM) facility images, and IRAS ISSA 60- and 100-mum co-added images towards the intermediate- velocity cloud (IVC) at + 70 km s(-1), located in the general direction of the M15 globular cluster. When combined with previously published Arecibo data, the H I gas in the IVC is found to be clumpy, with a peak H I column density of similar to1.5 x 10(20) cm(-2), inferred volume density (assuming spherical symmetry) of similar to24 cm(-3)/D (kpc) and a maximum brightness temperature at a resolution of 81 x 14 arcsec(2) of 14 K. The major axis of this part of the IVC lies approximately parallel to the Galactic plane, as does the low- velocity H I gas and IRAS emission. The H I gas in the cloud is warm, with a minimum value of the full width at half-maximum velocity width of 5 km s(-1) corresponding to a kinetic temperature, in the absence of turbulence, of similar to540 K. From the H I data, there are indications of two-component velocity structure. Similarly, the Ca II spectra, of resolution 7 km s(-1), also show tentative evidence of velocity structure, perhaps indicative of cloudlets. Assuming that there are no unresolved narrow-velocity components, the mean values of log(10)[N(Ca II K) cm(2)] similar to 12.0 and Ca II/H I similar to2 5 x 10(-8) are typical of observations of high Galactic latitude clouds. This compares with a value of Ca II/H I>10(-6) for IVC absorption towards HD 203664, a halo star of distance 3 kpc, some 3.degrees1 from the main M15 IVC condensation. The main IVC condensation is detected by WHAM in Halpha with central local-standard-of-rest velocities of similar to60-70 km s(-1), and intensities uncorrected for Galactic extinction of up to 1.3 R, indicating that the gas is partially ionized. The FWHM values of the Halpha IVC component, at a resolution of 1degrees, exceed 30 km s(-1). This is some 10 km s(-1) larger than the corresponding H I value at a similar resolution, and indicates that the two components may not be mixed. However, the spatial and velocity coincidence of the Halpha and H I peaks in emission towards the main IVC component is qualitatively good. If the Halpha emission is caused solely by photoionization, the Lyman continuum flux towards the main IVC condensation is similar to2.7 x 10(6) photon cm(-2) s(-1). There is not a corresponding IVC Halpha detection towards the halo star HD 203664 at velocities exceeding similar to60 km s(- 1). Finally, both the 60- and 100-mum IRAS images show spatial coincidence, over a 0.675 x 0 625 deg(2) field, with both low- and intermediate-velocity H I gas (previously observed with the Arecibo telescope), indicating that the IVC may contain dust. Both the Halpha and tentative IRAS detections discriminate this IVC from high-velocity clouds, although the H I properties do not. When combined with the H I and optical results, these data point to a Galactic origin for at least parts of this IVC.

Optical spectroscopy of the M 15 intermediate velocity cloud

We present echelle spectrograph observations in the Na D lines, at resolutions of 6.2-8.5 km s(-1), for 11 stars located in the line-of-sight to the M15 intermediate velocity cloud (IVC), which has a radial velocity of similar to +70 km s(-1) in the Local Standard of Rest. This cloud is a part of IVC Complex gp. The targets range in magnitude from m(V) = 13.3-14.8. Seven of the observed stars are in the M15 globular cluster, the remaining four being field stars. Three of the observed cluster stars are located near a peak in intensity of the IVC Hi column density as observed at a resolution of similar to 1 arcmin. Intermediate velocity gas is detected in absorption towards 7 stars, with equivalent widths in NaD2 ranging from similar to0.09-0.20 Angstrom, corresponding to log(10)(N-Na cm(-2)) similar to 11.8-12.5, and Na I/H I column density ratios (neglecting the HII component) ranging from similar to(1-3) x 10(-8). Over scales ranging from 30 arcsec to 1 arcmin, the Na i column density and the Na i/H i ratio varies by upto 70 per cent and a factor of similar to 2, respectively. Combining the current sightlines with previously obtained Nai data from Kennedy et al. (1998b), the Na i/H i column density ratio over cluster sightlines varies by upto a factor of similar to 25, when using Hi data of resolution similar to 2 x 1 arcmin. One cluster star, M15 ZNG-1, was also observed in the Ca i (lambda(air) = 4226.728 Angstrom) and Ca ii (lambda(air) = 3933.663 Angstrom) lines. A column density ratio N(Ca i)/N(Ca ii) <0.03 was found, typical of values seen in the warm ionised interstellar medium. Towards this sightline, the IVC has a Nai/Ca ii column density ratio of &SIM; 0.25, similar to that observed in the local interstellar medium. Finally, we detect tentative evidence for IV absorption in Ki (?(air) = 7698:974 &ANGS) towards 3 cluster stars, which have N(K i)/N(H i) ratios of &SIM;0.5-3 x 10(-9).

HI and optical spectroscopy towards the M15 intermediate- velocity cloud

We present single-dish Arecibo 21-cm H i observations, covering a 0 degrees 675x0 degrees 625 RA-Dec. grid, of the intermediate-velocity cloud (IVC) centred upon the M15 globular cluster. The velocity and positional structure of the IVC gas at V-LSR=70 km s(-1) are investigated; it is found to be clumpy and has a peak surface density N(H i)similar to 8x10(19) cm(- 2). Additionally, we have performed a long H i integration towards HD 203664, a Galactic halo star some 3 degrees1 from M15, in which optical IVC absorption has previously been detected. No H i with a velocity exceeding 60 km s(-1) was found to a brightness temperature limit of 0.05 K. However, additional pointings did detect IVC gas approximately mid-way between HD 203664 and M15. Finally, we present both Arecibo H i pointings and low-resolution spectra in the Ca ii H and K lines towards 15 field stars in the general field towards M15, in an attempt to obtain the distance to the IVC. Intermediate- velocity H i is detected towards seven sightlines. Stellar spectral types are derived for 12 of the sample. Assuming that these stars lie on the main sequence, their distances are estimated to lie in the range 150 less than or equal tod less than or equal to 1350 pc. No Ca ii absorption is observed, either because the IVC is further away than similar to 1350 pc or more likely because the gas along these sightlines is of too low a density to be detected by the current observations.

CaIIKinterstellar observations towards early-type disc and halo stars, abundances and distances of intermediate- and high-velocity clouds

We present Ca II K (lambda(air) = 3933.661 angstrom) interstellar observations towards 20 early-type stars, to place lower distance limits to intermediate- and high-velocity clouds (IHVCs) in their lines of sight. The spectra are also employed to estimate the Ca abundance in the low-velocity gas towards these objects, when combined with Leiden-Dwingeloo 21-cm HI survey data of spatial resolution 0 degrees.5. Nine of the stars, which lie towards IHVC complexes H, K and gp, were observed with the intermediate dispersion spectrograph on the Isaac Newton Telescope at a resolution R = lambda/Delta lambda of 9000 (similar to 33 km s(-1)) and signal-to-noise ratio (S/N) per pixel of 75-140. A further nine objects were observed with the Utrecht Echelle Spectrograph on the William Herschel Telescope at R = 40 000 (similar to 7.5 km s(-1)) and S/N per pixel of 10-25. Finally, two objects were observed in both Ca II K and Na I D lines using the 2D COUDE on the McDonald 2.7-m telescope at R = 35 000 (similar to 8.5 km s(-1)). The abundance of Ca II K {log(10)(A) = log(10)[N(Ca II K)]-log(10)[N(HI)]} plotted against HI column density for the objects in the current sample with heights above the Galactic plane (z) exceeding 1000 pc is found to obey the Wakker & Mathis (2000) relation. Also, the reduced column density of Ca II K as function of z is consistent with the larger sample taken from Smoker et al. (2003). Higher S/N observations than those previously taken towards HVC complex H stars HD 13256 and HILT 190 reinforce the assertion that this lies at a distance exceeding 4000 pc. No obvious absorption is detected in observations of ALS 10407 and HD 357657 towards IVC complex gp. The latter star has a spectroscopically estimated distance of similar to 2040 pc, although this was derived assuming the star lies on the main sequence and without any reddening correction being applied. Finally, no Ca II K absorption is detected towards two stars along the line of sight to complex K, namely PG 1610+529 and PG 1710+490. The latter is at a distance of similar to 700 pc, hence placing a lower distance limit to this complex, where previously only an upper distance limit of 6800 pc was available.

Interpolation formula between very low and intermediate-to-high damping Kramers escape rates for single-domain ferromagnetic particles

It is shown that the Mel'nikov-Meshkov formalism for bridging the very low damping (VLD) and intermediate-to-high damping (IHD) Kramers escape rates as a function of the dissipation parameter for mechanical particles may be extended to the rotational Brownian motion of magnetic dipole moments of single-domain ferromagnetic particles in nonaxially symmetric potentials of the magnetocrystalline anisotropy so that both regimes of damping, occur. The procedure is illustrated by considering the particular nonaxially symmetric problem of superparamagnetic particles possessing uniaxial anisotropy subject to an external uniform field applied at an angle to the easy axis of magnetization. Here the Mel'nikov-Meshkov treatment is found to be in good agreement with an exact calculation of the smallest eigenvalue of Brown's Fokker-Planck equation, provided the external field is large enough to ensure significant departure from axial symmetry, so that the VLD and IHD formulas for escape rates of magnetic dipoles for nonaxially symmetric potentials are valid.