New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.

The frontal eye field sends predictively remapped visual signals to the superior colliculus

We perceive a stable visual world even though saccades often move our retinas. One way the brain may achieve a stable visual percept is through predictive remapping of visual receptive fields: just before a saccade, the receptive field of many neurons moves from its current location ("current receptive field") to the location it is expected to occupy after the saccade ("future receptive field"). Goldberg and colleagues found such remapping in cortical areas, e.g. in the frontal eye field (FEF), as well as in the intermediate layers of the superior colliculus (SC). In the present study we investigated the source of the SC's remapped visual signals. Do some of them come from the FEF? We identified FEF neurons that project to the SC using antidromic stimulation. For neurons with a visual response, we tested whether the receptive field shifted just prior to making a saccade. Saccadic amplitudes were chosen to be as small as possible while clearly separating the current and future receptive fields; they ranged from 5-30 deg. in amplitude and were directed contraversively. The saccadic target was a small red spot. We probed visual responsiveness at the current and future receptive field locations using a white spot flashed at various times before or after the saccade. Predictive remapping was indicated by a visual response to a probe flashed in the future receptive field just before the saccade began. We found that many FEF neurons projecting to the SC exhibited predictive remapping. Moreover, the remapping was as fast and strong as any previously reported for FEF or SC. It is clear, therefore, that remapped visual signals are sent from FEF to SC, providing direct evidence that the FEF is one source of the SC's remapped visual signals. Because remapping requires information about an imminent saccade, we hypothesize that remapping in FEF depends on corollary discharge signals such as those ascending from the SC through MD thalamus (Sommer and Wurtz 2002).

The study of flow and temperature fields in conducting droplets suspended in a DC/AC combination field

Electromagnetic Levitation (EML) is a valuable method for measuring the thermo-physical properties of metals - surface tensions, viscosity, thermal/electrical conductivity, specific heat, hemispherical emissivity, etc. – beyond their melting temperature. In EML, a small amount of the test specimen is melted by Joule heating in a suspended AC coil. Once in liquid state, a small perturbation causes the liquid envelope to oscillate and the frequency of oscillation is then used to compute its surface tension by the well know Rayleigh formula. Similarly, the rate at which the oscillation is dampened relates to the viscosity. To measure thermal conductivity, a sinusoidally varying laser source may be used to heat the polar axis of the droplet and the temperature response measured at the polar opposite – the resulting phase shift yields thermal conductivity. All these theoretical methods assume that convective effects due to flow within the droplet are negligible compared to conduction, and similarly that the flow conditions are laminar; a situation that can only be realised under microgravity conditions. Hence the EML experiment is the method favoured for Spacelab experiments (viz. TEMPUS). Under terrestrial conditions, the full gravity force has to be countered by a much larger induced magnetic field. The magnetic field generates strong flow within the droplet, which for droplets of practical size becomes irrotational and turbulent. At the same time the droplet oscillation envelope is no longer ellipsoidal. Both these conditions invalidate simple theoretical models and prevent widespread EML use in terrestrial laboratories. The authors have shown in earlier publications that it is possible to suppress most of the turbulent convection generated in the droplet skin layer, through use of a static magnetic field. Using a pseudo-spectral discretisation method it is possible compute very accurately the dynamic variation in the suspended fluid envelope and simultaneously compute the time-varying electromagnetic, flow and thermal fields. The use of a DC field as a dampening agent was also demonstrated in cold crucible melting, where suppression of turbulence was achieved in a much larger liquid metal volume and led to increased superheat in the melt and reduction of heat losses to the water-cooled walls. In this paper, the authors describe the pseudo-spectral technique as applied to EML to compute the combined effects of AC and DC fields, accounting for all the flow-induced forces acting on the liquid volume (Lorentz, Maragoni, surface tension, gravity) and show example simulations.

Strong preference for decapod prey by the western rock lobster Panulirus cygnus

Western rock lobsters, Panulirus cygnus are an abundant benthic consumer distributed along the temperate west coast of Australia and constitute the largest single species fishery in Australia. As a dominant consumer, it is important to understand their predator-prey interactions as they can potentially exert strong trophic effects, and may influence ecosystem function as seen in other spiny lobster species. While previous field studies have focused on the diet composition of P. cygnus, this study investigated their preference for various benthic invertebrate prey to better understand the likely predator-prey interactions of P. cygnus. Prey preferences of small sub-legal juvenile lobsters, as well as medium and large legal-sized mature lobsters were investigated using laboratory feeding trials to identify size-associated differences in lobster prey preference. Handling time and diet quality were investigated to estimate energetic cost and gain from consuming different prey which may explain prey choice by lobsters. It was found that large lobsters preferred crabs and mussels while medium and small lobsters preferred crabs over mussels, gastropods, and sea urchins. This suggests that strong predator-prey interactions between P. cygnus and crabs may occur in the wild.

Strong responses of Southern Ocean phytoplankton communities to volcanic ash

Volcanic eruptions have been hypothesized as an iron supply mechanism for phytoplankton blooms; however, little direct evidence of stimulatory responses has been obtained in the field. Here we present the results of twenty-one 1–2 day bottle enrichment experiments from cruises in the South Atlantic and Southern Ocean which conclusively demonstrated a photophysiological and biomass stimulation of phytoplankton communities following supply of basaltic or rhyolitic volcanic ash. Furthermore, experiments in the Southern Ocean demonstrated significant phytoplankton community responses to volcanic ash supply in the absence of responses to addition of dissolved iron alone. At these sites, dissolved manganese concentrations were among the lowest ever measured in seawater, and we therefore suggest that the enhanced response to ash may have been a result of the relief of manganese (co)limitation. Our results imply that volcanic ash deposition events could trigger extensive phytoplankton blooms, potentially capable of significant impacts on regional carbon cycling.

Genetic maternity and paternity in a local population of armadillos assessed by microsatellite DNA markers and field data.

Genetic data from polymorphic microsatellite loci were employed to estimate paternity and maternity in a local population of nine-banded armadillos (Dasypus novemcinctus) in northern Florida. The parentage assessments took advantage of maximum likelihood procedures developed expressly for situations when individuals of neither gender can be excluded a priori as candidate parents. The molecular data for 290 individuals, interpreted alone and in conjunction with detailed biological and spatial information for the population, demonstrate high exclusion probabilities and reasonably strong likelihoods of genetic parentage assignment in many cases; low mean probabilities of successful reproductive contribution to the local population by individual armadillo adults in a given year; and statistically significant microspatial associations of parents and their offspring. Results suggest that molecular assays of highly polymorphic genetic systems can add considerable power to assessments of biological parentage in natural populations even when neither parent is otherwise known.

Double ionization of atomic negative ions in an intense laser field

In recent years there have been many studies of multiple ionization of closed shell rare gas atoms by intense laser fields. Until now no similar work has been done in the study of more diverse targets such as negative ions where low binding energies and strong electron correlations could yield distinctive behaviour. We present the first results of ionization of more than one electron from a range of atomic negative ions by intense laser pulses. Although these pulses are long by modern standards, and tend to produce sequential ionization in atoms, the positive ion yields from the negative ions do not depend predictably on the ionization potentials. This suggests that there may, intriguingly, be an alternative mechanism enhancing double ionization at low intensities.

Ionization energies of beryllium in strong magnetic fields: a frozen core approximation

An effective frozen core approximation has been developed and applied to the calculation of energy levels and ionization energies of the beryllium atom in magnetic field strengths up to 2.35 x 10(5) T. Systematic improvement over the existing results for the beryllium ground and low-lying states has been accomplished by taking into account most of the correlation effects in the four-electron system. To our knowledge, this is the first calculation of the electronic properties of the beryllium atom in a strong magnetic field carried out using a configuration interaction approximation and thus allowing a treatment beyond that of Hartree-Fock. Differing roles played by strong magnetic fields in intrashell correlation within different states are observed. In addition, possible ways to gain further improvement in the energies of the states of interest are proposed and discussed briefly.

W(h)ither New Age studies? The uses of ethnography in a contested field of scholarship

Since the 1980s, there has existed a field of scholarly inquiry into a range of phenomena termed New Age. The relative lack of ethnographic studies in this field was identified several years ago, in response to research that focused merely on the discourses within alleged key writings. However, the employment of ethnographic methods does not by itself resolve the problems inherent in other modes of research; attention also has to be paid to how ethnography is used in practice. This article examines ethnographies of the New Age in terms of the extent to which they contextualize data within their immediate social frames, by paying attention to actors’ practices and interactions, and to the ways in which beliefs and discourses are constructed and contested. The article demonstrates the strong tendency among New Age ethnographic studies to veer from ‘the social’ and to rest instead on analytically problematic conceptualizations of agency. It argues that epistemological revision is required to form the basis of a more sociologically adequate understanding of the phenomena addressed.

Fasciola hepatica:Histological demonstration of apoptosis in the reproductive organs of flukes of triclabendazole-sensitive and triclabendazole-resistant isolates, and in field-derived flukes from triclabendazole-treated hosts, using in situ hybridisation to visualise endonuclease-generated DNA strand breaks

Investigation of the triclabendazole (TCBZ) resistance status of populations of Fasciola hepatica in field cases of fasciolosis, where treatment failure has been reported, can be supported by histological examination of flukes collected from recently treated hosts. In TCBZ-sensitive flukes (TCBZ-S) exposed to TCBZ metabolites for 1-4. days in vivo, but not in TCBZ-resistant flukes (TCBZ-R), morphological changes suggestive of apoptosis occur in cells undergoing meiosis or mitosis in the testis, ovary and vitelline follicles. In order to verify or refute the contention that efficacy of TCBZ treatment is associated with apoptosis in the reproductive organs of flukes, histological sections of TCBZ-S (Cullompton isolate) flukes and TCBZ-R (Sligo isolate) flukes were subjected to the TdT-mediated dUDP nick end labelling (TUNEL) in situ hybridisation method, a commercially available test specifically designed to label endonuclease-induced DNA strand breaks associated with apoptosis. Additionally, sections of in vivo-treated and untreated flukes originating from field outbreaks of suspected TCBZ-S and TCBZ-R fasciolosis were labelled by the TUNEL method. It was found that in treated TCBZ-S flukes, strong positive labelling indicating apoptosis was associated with morphologically abnormal cells undergoing mitosis or meiosis in the testis, ovary and vitelline follicles. Background labelling in the positive testis sections was attributed to heterophagy of cell debris by the sustentacular tissue. The triggering of apoptosis was probably related to failure of spindle formation at cell division, supporting the contention that TCBZ inhibits microtubule formation. In treated TCBZ-R (Sligo Type 1) flukes, and in treated flukes from field outbreaks of suspected TCBZ-R fasciolosis, no significant labelling was observed, while sections of fluke derived from a field case of fasciolosis where TCBZ resistance was not suspected were heavily labelled. Light labelling was associated with the testis of untreated Cullompton (TCBZ-S) and Sligo Type 2 (TCBZ-R) flukes, which exhibit abnormal spermatogenesis and spermiogenesis, respectively. This was attributed to apoptosis and to heterophagy of effete germ line cells by the sustentacular tissue. It is concluded that demonstration of apoptosis by in situ hybridisation using the TUNEL method on sections of 1-4. days in vivo TCBZ-treated F. hepatica can contribute to the diagnosis of TCBZ resistance in field outbreaks of fasciolosis. © 2012 Elsevier B.V.

An arsenic-contaminated field trial to assess the uptake and translocation of arsenic by genotypes of rice

Compared to other cereals, rice has particular strong As accumulation. Therefore, it is very important to understand As uptake and translocation among different genotypes. A field study in Chenzhou city, Hunan province of China, was employed to evaluate the effect of arsenic-contaminated soil on uptake and distribution in 34 genotypes of rice (including unpolished rice, husk, shoot, and root). The soil As concentrations ranged from 52.49 to 83.86 mg kg-1, with mean As concentration 64.44 mg kg-1. The mean As concentrations in rice plant tissues were different among the 34 rice genotypes. The highest As concentrations were accumulated in rice root (196.27-385.98 mg kg-1 dry weight), while the lowest was in unpolished rice (0.31-0.52 mg kg-1 dry weight). The distribution of As in rice tissue and paddy soil are as follows root » soil > shoot > husk > unpolished rice. The ranges of concentrations of inorganic As in all of unpolished rice were from 0.26 to 0.52 mg kg-1 dry weight. In particular, the percentage of inorganic As in the total As was more than 67 %, indicating that the inorganic As was the predominant species in unpolished rice. The daily dietary intakes of inorganic As in unpolished rice ranged from 0.10 to 0.21 mg for an adult, and from 0.075 to 0.15 mg for a child. Comparison with tolerable daily intakes established by FAO/WHO, inorganic As in most of unpolished rice samples exceeded the recommended intake values. The 34 genotypes of rice were classified into four clusters using a criteria value of rescaled distance between 5 and 10. Among the 34 genotypes, the genotypes II you 416 (II416) with the lowest enrichment of As and the lowest daily dietary intakes of inorganic As could be selected as the main cultivar in As-contaminated field.

Rapid and nondestructive measurement of labile Mn, Cu, Zn, Pb and As in DGT by using field portable-XRF

The technique of diffusive gradients in thin films (DGT) is often employed to quantify labile metals in situ; however, it is a challenge to perform the measurements in-field. This study evaluated the capability of field-portable X-ray fluorescence (FP-XRF) to swiftly generate elemental speciation information with DGT. Biologically available metal ions in environmental samples passively preconcentrate in the thin films of DGT devices, providing an ideal and uniform matrix for XRF nondestructive detection. Strong correlation coefficients (r > 0.992 for Mn, Cu, Zn, Pb and As) were obtained for all elements during calibration. The limits of quantitation (LOQ) for the investigated elements of FP-XRF on DGT devices are 2.74 for Mn, 4.89 for Cu, 2.89 for Zn, 2.55 for Pb, and 0.48 for As (unit: µg cm(-2)). When Pb and As co-existed in the solution trials, As did not interfere with Pb detection when using Chelex-DGT. However, there was a significant enhancement of the Pb reading attributed to As when ferrihydrite binding gels were tested, consistent with Fe-oxyhydroxide surfaces absorbing large quantities of As. This study demonstrates the value of the FP-XRF technique to rapidly and nondestructively detect the metals accumulated in DGT devices, providing a new and simple diagnostic tool for on-site environmental monitoring of labile metals/metalloids

Frequency Filtering of Torsional Alfvén Waves by Chromospheric Magnetic Field

In this Letter, we demonstrate how the observation of broadband frequency propagating torsional Alfvén waves in chromospheric magnetic flux tubes can provide valuable insight into their magnetic field structure. By implementing a full nonlinear three-dimensional magnetohydrodynamic numerical simulation with a realistic vortex driver, we demonstrate how the plasma structure of chromospheric magnetic flux tubes can act as a spatially dependent frequency filter for torsional Alfvén waves. Importantly, for solar magnetoseismology applications, this frequency filtering is found to be strongly dependent on magnetic field structure. With reference to an observational case study of propagating torsional Alfvén waves using spectroscopic data from the Swedish Solar Telescope, we demonstrate how the observed two-dimensional spatial distribution of maximum power Fourier frequency shows a strong correlation with our forward model. This opens the possibility of beginning an era of chromospheric magnetoseismology, to complement the more traditional methods of mapping the magnetic field structure of the solar chromosphere.

In situ electron holography of the dynamic magnetic field emanating from a hard-disk drive writer

The proliferation of mobile devices in society accessing data via the ‘cloud’ is imposing a dramatic increase in the amount of information to be stored on hard disk drives (HDD) used in servers. Forecasts are that areal densities will need to increase by as much as 35% compound per annum and by 2020 cloud storage capacity will be around 7 zettabytes corresponding to areal densities of 2 Tb/in2. This requires increased performance from the magnetic pole of the electromagnetic writer in the read/write head in the HDD. Current state-of-art writing is undertaken by morphologically complex magnetic pole of sub 100 nm dimensions, in an environment of engineered magnetic shields and it needs to deliver strong directional magnetic field to areas on the recording media around 50 nm x 13 nm. This points to the need for a method to perform direct quantitative measurements of the magnetic field generated by the write pole at the nanometer scale. Here we report on the complete in situ quantitative mapping of the magnetic field generated by a functioning write pole in operation using electron holography. Opportunistically, it points the way towards a new nanoscale magnetic field source to further develop in situ Transmission Electron Microscopy.

Genetic diversity of root-associated fungal endophytes from Calluna vulgaris at contrasting field sites

A total of 107 putative ericoid mycorrhizal endophytes were isolated from hair roots of Calluna vulgaris from two abandoned arsenic/copper mine sites and a natural heathland site in southwest England. The endophytes were initially grouped as 14 RFLP types, based on the results of ITS-RFLP analysis using the restriction endonucleases Hinf I, Rsa I and Hae III. ITS sequences were obtained for representative isolates from each RFLP type and compared phylogenetically with sequences for known ericoid mycorrhizal endophytes and selected ascomycetes. The majority of endophyte isolates (62-92%) from each site were identified as Hymenoscyphus ericae, but a number of other less common mycorrhizal RFLP types were also identified, all of which appear to have strong affinities with the order Leotiales. None of the less common RFLP types was isolated from C. vulgaris at more than one field site. Neighbour-joining analysis indicated similarities between the endophytes from C. vulgaris and mycorrhizal endophytes isolated from other Ericaceae and Epacridaceae hosts in North America and Australia.