4,493 research outputs found
Macroevolutionary Patterns In The Evolutionary Radiation Of Archosaurs (Tetrapoda: Diapsida)
The rise of archosaurs during the Triassic and Early Jurassic has been treated as a classic example of an evolutionary radiation in the fossil record. This paper reviews published studies and provides new data on archosaur lineage origination, diversity and lineage evolution, morphological disparity, rates of morphological character change, and faunal abundance during the Triassic–Early Jurassic. The fundamental archosaur lineages originated early in the Triassic, in concert with the highest rates of character change. Disparity and diversity peaked later, during the Norian, but the most significant increase in disparity occurred before maximum diversity. Archosaurs were rare components of Early–Middle Triassic faunas, but were more abundant in the Late Triassic and pre-eminent globally by the Early Jurassic. The archosaur radiation was a drawn-out event and major components such as diversity and abundance were discordant from each other. Crurotarsans (crocodile-line archosaurs) were more disparate, diverse, and abundant than avemetatarsalians (bird-line archosaurs, including dinosaurs) during the Late Triassic, but these roles were reversed in the Early Jurassic. There is no strong evidence that dinosaurs outcompeted or gradually eclipsed crurotarsans during the Late Triassic. Instead, crurotarsan diversity decreased precipitously by the end-Triassic extinction, which helped usher in the age of dinosaurian dominance
Age and size at maturity: sex, environmental variability and developmental thresholds
In most organisms, transitions between different life-history stages occur later and at smaller sizes as growth conditions deteriorate. Day and Rowe recently proposed that this pattern could be explained by the existence of developmental thresholds (minimum sizes or levels of condition below which transitions are unable to proceed). The developmental-threshold model predicts that the reaction norm of age and size at maturity will rotate in an anticlockwise manner from positive to a shallow negative slope if: (i) initial body size or condition is reduced; and/or (ii) some individuals encounter poor growth conditions at increasingly early developmental stages. We tested these predictions by rearing replicated populations of soil mites Sancassania berlesei (Michael) under different growth conditions. High-food environments produced a vertical relationship between age and size at maturity. The slope became increasingly shallow as food was reduced. By contrast, high food in the maternal environment reduced the slope of the reaction norm of age and size at maturity, whereas low food increased it. Overall, the reaction norm of age and size at maturity in S. berlesei was significantly nonlinear and differed for males and females. We describe how growth conditions, mother's environment and sex determine age and size at maturity in S. berlesei
Hilbert-Post completeness for the state and the exception effects
In this paper, we present a novel framework for studying the syntactic
completeness of computational effects and we apply it to the exception effect.
When applied to the states effect, our framework can be seen as a
generalization of Pretnar's work on this subject. We first introduce a relative
notion of Hilbert-Post completeness, well-suited to the composition of effects.
Then we prove that the exception effect is relatively Hilbert-Post complete, as
well as the "core" language which may be used for implementing it; these proofs
have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant
Institute, NYU). Sixth International Conference on Mathematical Aspects of
Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC
Putting evolutionary biology back in the ecological theatre: a demographic framework mapping genes to communities
Question: How can we link genotypic, phenotypic, individual, population, and community levels of organization so as to illuminate general ecological and evolutionary processes and provide a framework for a quantitative, integrative evolutionary biology? Framework: We introduce an evolutionary framework that maps different levels of biological diversity onto one another. We provide (1) an overview of maps linking levels of biological organization and (2) a guideline of how to analyse the complexity of relationships from genes to population growth. Method: We specify the appropriate levels of biological organization for responses to selection, for opportunities for selection, and for selection itself. We map between them and embed these maps into an ecological setting
Soil Survey of Iowa, Report No. 76—Hancock County Soils
Hancock County is located in north central Iowa in the second tier of counties south of the Minnesota state line and in the middle tier of counties from east to west in the state. It lies entirely in the Wisconsin drift soil area, and hence its soils are all of drift or glacial origin
Cloning and sequence analysis of cDNAs encoding the cytosolic precursors of subunits GapA and GapB of chloroplast glyceraldehyde-3-phosphate dehydrogenase from pea and spinach
Chloroplast glyceraldehyde-3-phosphate dehydrogenase (GAPDH) is composed of two different subunits, GapA and GapB. cDNA clones containing the entire coding sequences of the cytosolic precursors for GapA from pea and for GapB from pea and spinach have been identified, sequenced and the derived amino acid sequences have been compared to the corresponding sequences from tobacco, maize and mustard. These comparisons show that GapB differs from GapA in about 20% of its amino acid residues and by the presence of a flexible and negatively charged C-terminal extension, possibly responsible for the observed association of the enzyme with chloroplast envelopes in vitro. This C-terminal extension (29 or 30 residues) may be susceptible to proteolytic cleavage thereby leading to a conversion of chloroplast GAPDH isoenzyme I into isoenzyme II. Evolutionary rate comparisons at the amino acid sequence level show that chloroplast GapA and GapB evolve roughly two-fold slower than their cytosolic counterpart GapC. GapA and GapB transit peptides evolve about 10 times faster than the corresponding mature subunits. They are relatively long (68 and 83 residues for pea GapA and spinach GapB respectively) and share a similar amino acid framework with other chloroplast transit peptides
Rotational Evolution During Type I X-Ray Bursts
The rotation rates of six weakly-magnetic neutron stars accreting in low-mass
X-ray binaries have most likely been measured by Type I X-ray burst
observations with RXTE. The nearly coherent oscillations detected during the
few seconds of thermonuclear burning are most simply understood as rotational
modulation of brightness asymmetries on the neutron star surface. We show that,
as suggested by Strohmayer and colleagues, the frequency changes of 1-2 Hz
observed during bursts are consistent with angular momentum conservation as the
burning shell hydrostatically expands and contracts. We calculate how vertical
heat propagation through the radiative outer layers of the atmosphere and
convection affect the coherence of the oscillation. We show that the evolution
of the rotational profile depends strongly on whether the burning layers are
composed of pure helium or mixed hydrogen/helium. Our results help explain the
absence (presence) of oscillations from hydrogen-burning (helium-rich) bursts
that was found by Muno and collaborators.
We investigate angular momentum transport within the burning layers and the
recoupling of the burning layers with the star. We show that the
Kelvin-Helmholtz instability is quenched by the strong stratification, and that
mixing between the burning fuel and underlying ashes by the baroclinic
instability does not occur. However, the baroclinic instability may have time
to operate within the differentially rotating burning layer, potentially
bringing it into rigid rotation.Comment: To appear in The Astrophysical Journal; minor corrections made to
tables and figure
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order
Traditionally, reasoning about programs under varying evaluation regimes (call-by-value, call-by-name etc.) was done at the meta-level, treating them as term rewriting systems. Levy’s call-by-push-value (CBPV) calculus provides a more powerful approach for reasoning, by treating CBPV terms as a common intermediate language which captures both call-by-value and call-by-name, and by allowing equational reasoning about changes to evaluation order between or within programs.
We extend CBPV to additionally deal with call-by-need, which is non-trivial because of shared reductions. This allows the equational reasoning to also support call-by-need. As an example, we then prove that call-by-need and call-by-name are equivalent if nontermination is the only side-effect in the source language.
We then show how to incorporate an effect system. This enables us to exploit static knowledge of the potential effects of a given expression to augment equational reasoning; thus a program fragment might be invariant under change of evaluation regime only because of knowledge of its effects
- …