A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

Quantification of oxygenated volatile organic compounds in seawater by membrane inlet-proton transfer reaction/mass spectrometry

The role of the ocean in the cycling of oxygenated volatile organic compounds (OVOCs) remains largely unanswered due to a paucity of datasets. We describe the method development of a membrane inlet-proton transfer reaction/mass spectrometer (MI-PTR/MS) as an efficient method of analysing methanol, acetaldehyde and acetone in seawater. Validation of the technique with water standards shows that the optimised responses are linear and reproducible. Limits of detection are 27 nM for methanol, 0.7 nM for acetaldehyde and 0.3 nM for acetone. Acetone and acetaldehyde concentrations generated by MI-PTR/MS are compared to a second, independent method based on purge and trap-gas chromatography/flame ionisation detection (P&T-GC/FID) and show excellent agreement. Chromatographic separation of isomeric species acetone and propanal permits correction to mass 59 signal generated by the PTR/MS and overcomes a known uncertainty in reporting acetone concentrations via mass spectrometry. A third bioassay technique using radiolabelled acetone further supported the result generated by this method. We present the development and optimisation of the MI-PTR/MS technique as a reliable and convenient tool for analysing seawater samples for these trace gases. We compare this method with other analytical techniques and discuss its potential use in improving the current understanding of the cycling of oceanic OVOCs.

Identification of an unknown b-agonist in feed by liquid chromatography/bioassay/quadrupole time-of-flight tandem mass spectrometry with accurate mass measurement.

A new approach to the search for residues of unknown growth promoting agents such as anabolic steroids and -agonists in feed is presented. Following primary extraction and clean-up, samples are separated using gradient liquid chromatography (LC). The effluent is split towards two identical 96-well fraction collectors and an optional electrospray quadrupole time-of-flight mass spectrometry (QTOFMS) system for accurate mass measurement. One 96-well plate is used for a bioassay (enzyme-immuno assay, receptor assay) and will detect the bioactivity and position of the relevant peak in the chromatogram. The positive well in the second 96-well plate is used for identification by LC/QTOFMS/MS. The value of this LC/bioassay/QTOFMS/MS methodology is highlighted by the finding and structure elucidation of a new -agonist in a feed extract.

Hybridization of a class of "second order" models of traffic flow

Despite the simultaneous progress of traffic modelling both on the macroscopic and microscopic front, recent works [E. Bourrel, J.B. Lessort, Mixing micro and macro representation of traffic flow: a hybrid model based on the LWR theory, Transport. Res. Rec. 1852 (2003) 193–200; D. Helbing, M. Treiber, Critical discussion of “synchronized flow”, Coop. Transport. Dyn. 1 (2002) 2.1–2.24; A. Hennecke, M. Treiber, D. Helbing, Macroscopic simulations of open systems and micro–macro link, in: D. Helbing, H.J. Herrmann, M. Schreckenberg, D.E. Wolf (Eds.), Traffic and Granular Flow ’99, Springer, Berlin, 2000, pp. 383–388] highlighted that one of the most promising way to simulate efficiently traffic flow on large road networks is a clever combination of both traffic representations: the hybrid modelling. Our focus in this paper is to propose two hybrid models for which the macroscopic (resp. mesoscopic) part is based on a class of second order model [A. Aw, M. Rascle, Resurection of second order models of traffic flow?, SIAM J. Appl. Math. 60 (2000) 916–938] whereas the microscopic part is a Follow-the Leader type model [D.C. Gazis, R. Herman, R.W. Rothery, Nonlinear follow-the-leader models of traffic flow, Oper. Res. 9 (1961) 545–567; R. Herman, I. Prigogine, Kinetic Theory of Vehicular Traffic, American Elsevier, New York, 1971]. For the first hybrid model, we define precisely the translation of boundary conditions at interfaces and for the second one we explain the synchronization processes. Furthermore, through some numerical simulations we show that the waves propagation is not disturbed and the mass is accurately conserved when passing from one traffic representation to another.

Studies on the persistence of estradiol benzoate and nortestosterone decanoate in hair of cattle following treatment with growth promoters, determined by ultra-high-performance liquid chromatography-tandem mass spectrometry

Measurement of steroid esters in bovine hair samples, using sensitive liquid chromatography-tandem mass spectrometry (LC-MS/MS), provides a powerful tool for identifying animals treated illicitly with growth promoters. The successful application of such testing requires appropriate sampling of hair from treated animals. This paper describes the results of hair analysis by LC-MS/MS for two animal studies in which animals were treated with estradiol-3-benzoate and nortestosterone decanoate. The results from the first animal study indicate that animals treated with these anabolic steroids may not always be identified from analysis of hair samples; positive test results occur sporadically and only for some of the treated animals. The results from the second animal study identify conditions attaching to positive hair samples, such as, that concentrations of steroid esters in hair are related to distance of sampling from point of injection and to time post-treatment, that concentrations of steroid esters in hair are related to dose given to the animal but that this relationship may vary over time post-treatment, and that steroid esters may be measured in regrowth hair taken some weeks after treatment. Steroid esters are determined along the length of the hair, confirming that accumulation of steroid esters into hair occurs from various sources, including blood, sweat and sebum. The reported research provides some useful insights into the mechanisms governing the persistence of steroid esters in bovine hair following illicit treatment with growth promoters. (C) 2009 Elsevier B.V. All rights reserved.

Body mass and sex-biased parasitism in wood mice Apodemus sylvaticus

Male sex-biased parasitism (SBP) occurs across a range of mammalian taxa and two contrasting sets of hypotheses have been suggested for its establishment. The first invokes body size per se and suggests that larger individuals are either a larger target for parasites, trade off growth at the expense of immunity or cope better with parasitism than smaller individuals. The second suggests a sex-specific handicap whereby males have reduced immunocompetence compared to females due to the immunodepressive effects of testosterone. The current study investigated whether sex-biased parasitism is driven by host 'body size' or 'sex' using a rodent-tick (Apodemus sylvaticus-. Ixodes ricinus) system. Moreover, the presence or absence of large mammals at study sites were used to control the presence of immature ticks infesting wood mice, allowing the impacts of parasitism on host body mass and female reproduction to be assessed. As expected, male mice had greater tick loads than females and analyses suggested this sex-bias was driven by body mass as opposed to sex. It is therefore likely that larger individuals are a larger target for parasites, trade off growth at the expense of immunity or adapt behavioural responses to parasitism based on their body size. Parasite load had no effect on host body mass or female reproductive output suggesting individuals may alter behaviour or life history strategies to compensate for costs incurred through parasitism. Overall, this study lends support to the 'body size' hypothesis for the formation of sex-biased parasitism.

SN 2009md: another faint supernova from a low-mass progenitor

We present adaptive optics imaging of the core-collapse supernova (SN) 2009md, which we use together with archival Hubble Space Telescope data to identify a coincident progenitor candidate. We find the progenitor to have an absolute magnitude of V=-4.63+0.3-0.4 mag and a colour of V-I= 2.29+0.25-0.39 mag, corresponding to a progenitor luminosity of log L/L?similar to 4.54 +/- 0.19 dex. Using the stellar evolution code STARS, we find this to be consistent with a red supergiant progenitor with M= 8.5+6.5-1.5 M?. The photometric and spectroscopic evolution of SN 2009md is similar to that of the class of sub-luminous Type IIP SNe; in this paper we compare the evolution of SN 2009md primarily to that of the sub-luminous SN 2005cs. We estimate the mass of 56Ni ejected in the explosion to be (5.4 +/- 1.3) x 10-3 M? from the luminosity on the radioactive tail, which is in agreement with the low 56Ni masses estimated for other sub-luminous Type IIP SNe. From the light curve and spectra, we show the SN explosion had a lower energy and ejecta mass than the normal Type IIP SN 1999em. We discuss problems with stellar evolutionary models, and the discrepancy between low observed progenitor luminosities (log L/L?similar to 4.35 dex) and model luminosities after the second dredge-up for stars in this mass range, and consider an enhanced carbon burning rate as a possible solution. In conclusion, SN 2009md is a faint SN arising from the collapse of a progenitor close to the lower mass limit for core collapse. This is now the third discovery of a low-mass progenitor star producing a low-energy explosion and low 56Ni ejected mass, which indicates that such events arise from the lowest end of the mass range that produces a core-collapse SN (78 M?).

Controlling the materials properties and nanostructure of a single-component dendritic gel by adding a second component

This paper reports a dendritic system which is capable of forming both one-component and two-component gels interestingly the addition of the second component can either increase or decrease the degree of gelation, depending on dendritic generation.

The Kepler-10 Planetary System Revisited by HARPS-N: A Hot Rocky World and a Solid Neptune-Mass Planet

Kepler-10b was the first rocky planet detected by the Kepler satellite and confirmed with radial velocity follow-up observations from Keck-HIRES. The mass of the planet was measured with a precision of around 30%, which was
insufficient to constrain models of its internal structure and composition in detail. In addition to Kepler-10b, a second planet transiting the same star with a period of 45 days was statistically validated, but the radial velocities were only
good enough to set an upper limit of 20 M⊕ for the mass of Kepler-10c. To improve the precision on the mass for planet b, the HARPS-N Collaboration decided to observe Kepler-10 intensively with the HARPS-N spectrograph
on the Telescopio Nazionale Galileo on La Palma. In total, 148 high-quality radial-velocity measurements were obtained over two observing seasons. These new data allow us to improve the precision of the mass determination for Kepler-10b to 15%. With a mass of 3.33 ± 0.49 M⊕ and an updated radius of 1.47+0.03 −0.02 R⊕, Kepler-10b has a density of 5.8 ± 0.8 g cm−3, very close to the value predicted by models with the same internal structure and composition as the Earth. We were also able to determine a mass for the 45-day period planet Kepler-10c, with an even better precision of 11%. With a mass of 17.2 ± 1.9 M⊕ and radius of 2.35+0.09 −0.04 R⊕, Kepler-10c has a density of 7.1 ± 1.0 g cm−3. Kepler-10c appears to be the first strong evidence of a class of more massive solid planets with longer orbital periods

A New Analysis of Mars "Special Regions": Findings of the Second MEPAG Special Regions Science Analysis Group (SR-SAG2)

A committee of the Mars Exploration Program Analysis Group (MEPAG) has reviewed and updated the description of Special Regions on Mars as places where terrestrial organisms might replicate (per the COSPAR Planetary Protection Policy). This review and update was conducted by an international team (SR-SAG2) drawn from both the biological science and Mars exploration communities, focused on understanding when and where Special Regions could occur. The study applied recently available data about martian environments and about terrestrial organisms, building on a previous analysis of Mars Special Regions (2006) undertaken by a similar team. Since then, a new body of highly relevant information has been generated from the Mars Reconnaissance Orbiter (launched in 2005) and Phoenix (2007) and data from Mars Express and the twin Mars Exploration Rovers (all 2003). Results have also been gleaned from the Mars Science Laboratory (launched in 2011). In addition to Mars data, there is a considerable body of new data regarding the known environmental limits to life on Earth—including the potential for terrestrial microbial life to survive and replicate under martian environmental conditions. The SR-SAG2 analysis has included an examination of new Mars models relevant to natural environmental variation in water activity and temperature; a review and reconsideration of the current parameters used to define Special Regions; and updated maps and descriptions of the martian environments recommended for treatment as “Uncertain” or “Special” as natural features or those potentially formed by the influence of future landed spacecraft. Significant changes in our knowledge of the capabilities of terrestrial organisms and the existence of possibly habitable martian environments have led to a new appreciation of where Mars Special Regions may be identified and protected. The SR-SAG also considered the impact of Special Regions on potential future human missions to Mars, both as locations of potential resources and as places that should not be inadvertently contaminated by human activity. Key Words: Martian environments—Mars astrobiology—Extreme environment microbiology—Planetary protection—Exploration resources. Astrobiology 14, 887–968.

King David’s City at Khirbet Qeiyafa: Results of the Second Radiocarbon Dating Project

Fifteen samples of burnt olive pits discovered inside a jar in the destruction layer of the Iron Age city of Khirbet Qeiyafa were analyzed by accelerator mass spectrometry (AMS) radiocarbon dating. Of these, four were halved and sent to two different laboratories to minimize laboratory bias. The dating of these samples is ~1000 BC. Khirbet Qeiyafa is currently the earliest known example of a fortified city in the Kingdom of Judah and contributes direct evidence to the heated debate on the biblical narrative relating to King David. Was he the real historical ruler of an urbanized state-level society in the early 10th century BC or was this level of social development reached only at the end of the 8th century BC? We can conclude that there were indeed fortified centers in the Davidic kingdom from the studies presented. In addition, the dating of Khirbet Qeiyafa has far-reaching implications for the entire Levant. The discovery of Cypriot pottery at the site connects the 14C datings to Cyprus and the renewal of maritime trade between the island and the mainland in the Iron Age. A stone temple model from Khirbet Qeiyafa, decorated with triglyphs and a recessed doorframe, points to an early date for the development of this typical royal architecture of the Iron Age Levant.

M Dwarf Flare Continuum Variations on One-second Timescales: Calibrating and Modeling of ULTRACAM Flare Color Indices

We present a large data set of high-cadence dMe flare light curves obtained with custom continuum filters on the triple-beam, high-speed camera system ULTRACAM. The measurements provide constraints for models of the near-ultraviolet (NUV) and optical continuum spectral evolution on timescales of ≈1 s. We provide a robust interpretation of the flare emission in the ULTRACAM filters using simultaneously obtained low-resolution spectra during two moderate-sized flares in the dM4.5e star YZ CMi. By avoiding the spectral complexity within the broadband Johnson filters, the ULTRACAM filters are shown to characterize bona fide continuum emission in the NUV, blue, and red wavelength regimes. The NUV/blue flux ratio in flares is equivalent to a Balmer jump ratio, and the blue/red flux ratio provides an estimate for the color temperature of the optical continuum emission. We present a new “color-color” relationship for these continuum flux ratios at the peaks of the flares. Using the RADYN and RH codes, we interpret the ULTRACAM filter emission using the dominant emission processes from a radiative-hydrodynamic flare model with a high nonthermal electron beam flux, which explains a hot, T ≈ 104 K, color temperature at blue-to-red optical wavelengths and a small Balmer jump ratio as observed in moderate-sized and large flares alike. We also discuss the high time resolution, high signal-to-noise continuum color variations observed in YZ CMi during a giant flare, which increased the NUV flux from this star by over a factor of 100. Based on observations obtained with the Apache Point Observatory 3.5 m telescope, which is owned and operated by the Astrophysical Research Consortium, based on observations made with the William Herschel Telescope operated on the island of La Palma by the Isaac Newton Group in the Spanish Observatorio del Roque de los Muchachos of the Instituto de Astrofsica de Canarias, and observations, and based on observations made with the ESO Telescopes at the La Silla Paranal Observatory under programme ID 085.D-0501(A).

Body Mass Index and Neighborhood Socioeconomic Status in Washington State

Thesis (Master's)--University of Washington, 2015-12

Towards a Critique of Educative Violence: Walter Benjamin and ‘Second Education’

Although modern systems of mass education are typically defined in their opposition to violence, it has been argued that it is only through an insistent and critical focus upon violence that radical thought can be sustained. This article seeks to take up this challenge in relation to Walter Benjamin’s lesser-known writings on education. Benjamin retained throughout his life a deep suspicion about academic institutions and about the pedagogic, social and economic violence implicated in the idea of cultural transmission. He nonetheless remained committed to the possibility of another kind of revolutionary potential inherent to true education and, when he comes to speak of this in his Critique of Violence, it is remarkable that he describes it as manifesting an educative violence. This article argues that Benjamin’s philosophy works toward a critique of educative violence that results in a distinction between a ‘first’ and ‘second’ kind of education and asks whether destruction might have a positive role to play within pedagogical theories in contrast to current valorisations of creativity and productivity.

Modeling reaction kinetics and mass transfer in ozonation in water solutions

This dissertation is based on four articles dealing with modeling of ozonation. The literature part of this considers some models for hydrodynamics in bubble column simulation. A literature review of methods for obtaining mass transfer coefficients is presented. The methods presented to obtain mass transfer are general models and can be applied to any gas-liquid system. Ozonation reaction models and methods for obtaining stoichiometric coefficients and reaction rate coefficients for ozonation reactions are discussed in the final section of the literature part. In the first article, ozone gas-liquid mass transfer into water in a bubble column was investigated for different pH values. A more general method for estimation of mass transfer and Henry’s coefficient was developed from the Beltrán method. The ozone volumetric mass transfer coefficient and the Henry’s coefficient were determined simultaneously by parameter estimation using a nonlinear optimization method. A minor dependence of the Henry’s law constant on pH was detected at the pH range 4 - 9. In the second article, a new method using the axial dispersion model for estimation of ozone self-decomposition kinetics in a semi-batch bubble column reactor was developed. The reaction rate coefficients for literature equations of ozone decomposition and the gas phase dispersion coefficient were estimated and compared with the literature data. The reaction order in the pH range 7-10 with respect to ozone 1.12 and 0.51 the hydroxyl ion were obtained, which is in good agreement with literature. The model parameters were determined by parameter estimation using a nonlinear optimization method. Sensitivity analysis was conducted using object function method to obtain information about the reliability and identifiability of the estimated parameters. In the third article, the reaction rate coefficients and the stoichiometric coefficients in the reaction of ozone with the model component p-nitrophenol were estimated at low pH of water using nonlinear optimization. A novel method for estimation of multireaction model parameters in ozonation was developed. In this method the concentration of unknown intermediate compounds is presented as a residual COD (chemical oxygen demand) calculated from the measured COD and the theoretical COD for the known species. The decomposition rate of p-nitrophenol on the pathway producing hydroquinone was found to be about two times faster than the p-nitrophenol decomposition rate on the pathway producing 4- nitrocatechol. In the fourth article, the reaction kinetics of p-nitrophenol ozonation was studied in a bubble column at pH 2. Using the new reaction kinetic model presented in the previous article, the reaction kinetic parameters, rate coefficients, and stoichiometric coefficients as well as the mass transfer coefficient were estimated with nonlinear estimation. The decomposition rate of pnitrophenol was found to be equal both on the pathway producing hydroquinone and on the path way producing 4-nitrocathecol. Comparison of the rate coefficients with the case at initial pH 5 indicates that the p-nitrophenol degradation producing 4- nitrocathecol is more selective towards molecular ozone than the reaction producing hydroquinone. The identifiability and reliability of the estimated parameters were analyzed with the Marcov chain Monte Carlo (MCMC) method. @All rights reserved. No part of the publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior permission of the author.