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

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.

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

Robust diffraction-limited near-infrared-to-near-ultraviolet wide-field imaging from stratospheric balloon-borne platforms — super-pressure balloon-borne imaging telescope performance

At a fraction of the total cost of an equivalent orbital mission, scientific balloon-borne platforms, operating above 99.7% of the Earth’s atmosphere, offer attractive, competitive, and effective observational capabilities—namely, space-like seeing, transmission, and backgrounds—which are well suited for modern astronomy and cosmology. The Super-pressure Balloon-borne Imaging Telescope (SUPERBIT) is a diffraction-limited, wide-field, 0.5 m telescope capable of exploiting these observing conditions in order to provide exquisite imaging throughout the near-infrared to near-ultraviolet. It utilizes a robust active stabilization system that has consistently demonstrated a 48 mas 1σ sky-fixed pointing stability over multiple 1 h observations at float. This is achieved by actively tracking compound pendulations via a three-axis gimballed platform, which provides sky-fixed telescope stability at < 500 mas and corrects for field rotation, while employing high-bandwidth tip/tilt optics to remove residual disturbances across the science imaging focal plane. SUPERBIT’s performance during the 2019 commissioning flight benefited from a customized high-fidelity science-capable telescope designed with an exceptional thermo- and opto-mechanical stability as well as a tightly constrained static and dynamic coupling between high-rate sensors and telescope optics. At the currently demonstrated level of flight performance, SUPERBIT capabilities now surpass the science requirements for a wide variety of experiments in cosmology, astrophysics, and stellar dynamics