106 research outputs found
The taxonomy and anatomy of rauisuchian archosaurs from the Late Triassic of Germany and Poland
The German Late Triassic archosaur Teratosaurus suevicus is a historically important taxon, being the first described rauisuchian. Unfortunately the holotype is a single element, a maxilla, which is poorly preserved and incomplete. We redescribe this maxilla and identify a single potential autapomorphy. The fragmentary type specimen complicates attempts to refer additional material to this taxon, and other unassociated archosaur and rauisuchian specimens from the Mittlerer Stubensandstein of Germany cannot be referred to T. suevicus with any degree of confidence. The stratigraphically older T. silesiacus, from the upper Carnian of Poland, is represented by a much more complete and better preserved specimen. Comparison of the maxillae of T. suevicus and T. silesiacus reveals that the two are distinct taxa, contra recent suggestions, but also that they do not share any synapomorphies or a unique combination of characters relative to Postosuchus kirkpatricki and other rauisuchians. Thus, the Polish material must be transferred to a new genus, Polonosuchus gen. nov. Both Polonosuchus and Teratosaurus are very similar to Postosuchus kirkpatricki, and the three taxa are likely closely related
Polarized Substructural Session Types
Abstract. The deep connection between session-typed concurrency and linear logic is embodied in the language SILL that integrates functional and message-passing concurrent programming. The exacting nature of linear typing provides strong guarantees, such as global progress, absence of deadlock, and race freedom, but it also requires explicit resource man-agement by the programmer. This burden is alleviated in an affine type system where resources need not be used, relying on a simple form of garbage collection. In this paper we show how to effectively support both linear and affine typing in a single language, in addition to the already present unre-stricted (intuitionistic) types. The approach, based on Benton’s adjoint construction, suggests that the usual distinction between synchronous and asynchronous communication can be viewed through the lens of modal logic. We show how polarizing the propositions into positive and negative connectives allows us to elegantly express synchronization in the type instead of encoding it by extra-logical means.
SPIDER: Probing the Early Universe with a Suborbital Polarimeter
We evaluate the ability of SPIDER, a balloon-borne polarimeter, to detect a
divergence-free polarization pattern ("B-modes") in the Cosmic Microwave
Background (CMB). In the inflationary scenario, the amplitude of this signal is
proportional to that of the primordial scalar perturbations through the
tensor-to-scalar ratio r. We show that the expected level of systematic error
in the SPIDER instrument is significantly below the amplitude of an interesting
cosmological signal with r=0.03. We present a scanning strategy that enables us
to minimize uncertainty in the reconstruction of the Stokes parameters used to
characterize the CMB, while accessing a relatively wide range of angular
scales. Evaluating the amplitude of the polarized Galactic emission in the
SPIDER field, we conclude that the polarized emission from interstellar dust is
as bright or brighter than the cosmological signal at all SPIDER frequencies
(90 GHz, 150 GHz, and 280 GHz), a situation similar to that found in the
"Southern Hole." We show that two ~20-day flights of the SPIDER instrument can
constrain the amplitude of the B-mode signal to r<0.03 (99% CL) even when
foreground contamination is taken into account. In the absence of foregrounds,
the same limit can be reached after one 20-day flight.Comment: 29 pages, 8 figures, 4 tables; v2: matches published version, flight
schedule updated, two typos fixed in Table 2, references and minor
clarifications added, results unchange
Red Queen Coevolution on Fitness Landscapes
Species do not merely evolve, they also coevolve with other organisms.
Coevolution is a major force driving interacting species to continuously evolve
ex- ploring their fitness landscapes. Coevolution involves the coupling of
species fit- ness landscapes, linking species genetic changes with their
inter-specific ecological interactions. Here we first introduce the Red Queen
hypothesis of evolution com- menting on some theoretical aspects and empirical
evidences. As an introduction to the fitness landscape concept, we review key
issues on evolution on simple and rugged fitness landscapes. Then we present
key modeling examples of coevolution on different fitness landscapes at
different scales, from RNA viruses to complex ecosystems and macroevolution.Comment: 40 pages, 12 figures. To appear in "Recent Advances in the Theory and
Application of Fitness Landscapes" (H. Richter and A. Engelbrecht, eds.).
Springer Series in Emergence, Complexity, and Computation, 201
The relation between the column density structures and the magnetic field orientation in the Vela C molecular complex
We statistically evaluated the relative orientation between gas column density structures, inferred from Herschel submillimetre observations, and the magnetic field projected on the plane of sky, inferred from polarized thermal emission of Galactic dust observed by the Balloon-borne Large-Aperture Submillimetre Telescope for Polarimetry (BLASTPol) at 250, 350, and 500 μm, towards the Vela C molecular complex. First, we find very good agreement between the polarization orientations in the three wavelength-bands, suggesting that, at the considered common angular resolution of 3.0 that corresponds to a physical scale of approximately 0.61 pc, the inferred magnetic field orientation is not significantly affected by temperature or dust grain alignment effects. Second, we find that the relative orientation between gas column density structures and the magnetic field changes progressively with increasing gas column density, from mostly parallel or having no preferred orientation at low column densities to mostly perpendicular at the highest column densities. This observation is in agreement with previous studies by the Planck collaboration towards more nearby molecular clouds. Finally, we find a correspondence between (a) the trends in relative orientation between the column density structures and the projected magnetic field; and (b) the shape of the column density probability distribution functions (PDFs). In the sub-regions of Vela C dominated by one clear filamentary structure, or "ridges", where the high-column density tails of the PDFs are flatter, we find a sharp transition from preferentially parallel or having no preferred relative orientation at low column densities to preferentially perpendicular at highest column densities. In the sub-regions of Vela C dominated by several filamentary structures with multiple orientations, or "nests", where the maximum values of the column density are smaller than in the ridge-like sub-regions and the high-column density tails of the PDFs are steeper, such a transition is also present, but it is clearly less sharp than in the ridge-like sub-regions. Both of these results suggest that the magnetic field is dynamically important for the formation of density structures in this region
Stateful Contracts for Affine Types
Abstract. Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in interacting with components written in a conventional language whose type system provides no way to maintain the affine type system’s aliasing invariants. We propose and implement a technique that uses behavioral contracts to mediate between code written in an affine language and code in a conventional typed language. We formalize our approach via a typed calculus with both affine-typed and conventionally-typed modules. We show how to preserve the guarantees of both type systems despite both languages being able to call into each other and exchange higher-order values.
Recommended from our members
Reactive Halogens in the Marine Boundary Layer (RHaMBLe): The tropical North Atlantic experiments
The NERC UK SOLAS-funded Reactive Halogens in the Marine Boundary Layer (RHaMBLe) programme comprised three field experiments. This manuscript presents an overview of the measurements made within the two simultaneous remote experiments conducted in the tropical North Atlantic in May and June 2007. Measurements were made from two mobile and one ground-based platforms. The heavily instrumented cruise D319 on the RRS Discovery from Lisbon, Portugal to São Vicente, Cape Verde and back to Falmouth, UK was used to characterise the spatial distribution of boundary layer components likely to play a role in reactive halogen chemistry. Measurements onboard the ARSF Dornier aircraft were used to allow the observations to be interpreted in the context of their vertical distribution and to confirm the interpretation of atmospheric structure in the vicinity of the Cape Verde islands. Long-term ground-based measurements at the Cape Verde Atmospheric Observatory (CVAO) on São Vicente were supplemented by long-term measurements of reactive halogen species and characterisation of additional trace gas and aerosol species during the intensive experimental period.
This paper presents a summary of the measurements made within the RHaMBLe remote experiments and discusses them in their meteorological and chemical context as determined from these three platforms and from additional meteorological analyses. Air always arrived at the CVAO from the North East with a range of air mass origins (European, Atlantic and North American continental). Trace gases were present at stable and fairly low concentrations with the exception of a slight increase in some anthropogenic components in air of North American origin, though NOx mixing ratios during this period remained below 20 pptv (note the non-IUPAC adoption in this manuscript of pptv and ppbv, equivalent to pmol mol−1 and nmol mol−1 to reflect common practice). Consistency with these air mass classifications is observed in the time series of soluble gas and aerosol composition measurements, with additional identification of periods of slightly elevated dust concentrations consistent with the trajectories passing over the African continent. The CVAO is shown to be broadly representative of the wider North Atlantic marine boundary layer; measurements of NO, O3 and black carbon from the ship are consistent with a clean Northern Hemisphere marine background. Aerosol composition measurements do not indicate elevated organic material associated with clean marine air. Closer to the African coast, black carbon and NO levels start to increase, indicating greater anthropogenic influence. Lower ozone in this region is possibly associated with the increased levels of measured halocarbons, associated with the nutrient rich waters of the Mauritanian upwelling. Bromide and chloride deficits in coarse mode aerosol at both the CVAO and on D319 and the continuous abundance of inorganic gaseous halogen species at CVAO indicate significant reactive cycling of halogens.
Aircraft measurements of O3 and CO show that surface measurements are representative of the entire boundary layer in the vicinity both in diurnal variability and absolute levels. Above the inversion layer similar diurnal behaviour in O3 and CO is observed at lower mixing ratios in the air that had originated from south of Cape Verde, possibly from within the ITCZ. ECMWF calculations on two days indicate very different boundary layer depths and aircraft flights over the ship replicate this, giving confidence in the calculated boundary layer depth
An efficient strategy for evaluating new non-invasive screening tests for colorectal cancer: the guiding principles.
New screening tests for colorectal cancer (CRC) are rapidly emerging. Conducting trials with mortality reduction as the end point supporting their adoption is challenging. We re-examined the principles underlying evaluation of new non-invasive tests in view of technological developments and identification of new biomarkers.
A formal consensus approach involving a multidisciplinary expert panel revised eight previously established principles.
Twelve newly stated principles emerged. Effectiveness of a new test can be evaluated by comparison with a proven comparator non-invasive test. The faecal immunochemical test is now considered the appropriate comparator, while colonoscopy remains the diagnostic standard. For a new test to be able to meet differing screening goals and regulatory requirements, flexibility to adjust its positivity threshold is desirable. A rigorous and efficient four-phased approach is proposed, commencing with small studies assessing the test's ability to discriminate between CRC and non-cancer states (phase I), followed by prospective estimation of accuracy across the continuum of neoplastic lesions in neoplasia-enriched populations (phase II). If these show promise, a provisional test positivity threshold is set before evaluation in typical screening populations. Phase III prospective studies determine single round intention-to-screen programme outcomes and confirm the test positivity threshold. Phase IV studies involve evaluation over repeated screening rounds with monitoring for missed lesions. Phases III and IV findings will provide the real-world data required to model test impact on CRC mortality and incidence.
New non-invasive tests can be efficiently evaluated by a rigorous phased comparative approach, generating data from unbiased populations that inform predictions of their health impact
Palaeoenvironmental control on distribution of crinoids in the Bathonian (Middle Jurassic) of England and France
Bulk sampling of a number of different marine and marginal marine lithofacies in the British Bathonian has allowed us to assess the palaeoenvironmental distribution of crinoids for the first time. Although remains are largely fragmentary, many species have been identified by comparison with articulated specimens from elsewhere, whilst the large and unbiased sample sizes allowed assessment of relative proportions of different taxa. Results indicate that distribution of crinoids well corresponds to particular facies. Ossicles of Chariocrinus and Balanocrinus dominate in deeper-water and lower-energy facies,with the former extending further into shallower-water facies than the latter. Isocrinus dominates in shallower water carbonate facies, accompanied by rarer comatulids, and was also present in the more marine parts of lagoons. Pentacrinites remains are abundant in very high-energy oolite shoal lithofacies. The presence of millericrinids within one, partly allochthonous lithofacies suggests the presence of an otherwise unknown hard substrate from which they have been transported. These results are compared to crinoid assemblages from other Mesozoic localities, and it is evident that the same morphological ad-aptations are present within crinoids from similar lithofacies throughout the Jurassic and Early Cretaceous
- …