Khaan mckennai.

77 p. : ill. (some col.) ; 26 cm.The monophyly of Oviraptoridae, a group of theropod dinosaurs, which share a uniquely bizarre morphology, has never been called into question due in large part to their unusual complex of characters. Despite a vivid recent history of discovery and broad public appeal the nature of their morphological diversity has not been explored extensively. Many previous descriptions of oviraptorid taxa are lost in the obscurity of hard-to-find journals, and many lack illustrations of what are now recognized as phylogenetically important characters. The primary goal of this paper is to provide a relatively comprehensive descriptive morphology and illustrations for one member of Oviraptoridae, namely Khaan mckennai, with an emphasis on characters that can be used to establish a phylogenetic hypothesis for the taxon and group as a whole. K. mckennai is a small-bodied, crestless oviraptorid that is known from pristine material that has been collected from the late Cretaceous sediments of Mongolia. Similar to other oviraptorids, it shares a wide number of features in common with extant birds. However, when these characters are put in the context of Oviraptorosauria, including relatively new, more basal forms like Incisivosaurus gauthieri and Caudipteryx zoui, character states such as extreme pneumatization of the skull or the reduction in the number of caudal vertebrae are found to be either homoplastic for the two groups or plesiomorphic for a more inclusive clade

Forum. Stratigraphic Fit to Phylogenies: A Proposed Solution

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73634/1/j.1096-0031.1998.tb00333.x.pd

Parsing and reflective printing, bidirectionally

Language designers usually need to implement parsers and printers. Despite being two intimately related programs, in practice they are often designed separately, and then need to be revised and kept consistent as the language evolves. It will be more convenient if the parser and printer can be unified and developed in one single program, with their consistency guaranteed automatically.Furthermore, in certain scenarios (like showing compiler optimisation results to the programmer), it is desirable to have a more powerful reflective printer that, when an abstract syntax tree corresponding to a piece of program text is modified, can reflect the modification to the program text while preserving layouts, comments, and syntactic sugar.To address these needs, we propose a domain-specific language BIYACC, whose programs denote both a parser and a reflective printer for an unambiguous context-free grammar. BIYACC is based on the theory of bidirectional transformations, which helps to guarantee by construction that the pairs of parsers and reflective printers generated by BIYACC are consistent. We show that BIYACC is capable of facilitating many tasks such as Pombrio and Krishnamurthi's "resugaring", simple refactoring, and language evolution.We would like to thank reviewers for their valuable comments. This work was partially supported by the Japan Society for the Promotion of Science (JSPS) Grant-in-Aid for Scientific Research (A) No. 25240009

W(h)ither Fossils? Studying Morphological Character Evolution in the Age of Molecular Sequences

A major challenge in the post-genomics era will be to integrate molecular sequence data from extant organisms with morphological data from fossil and extant taxa into a single, coherent picture of phylogenetic relationships; only then will these phylogenetic hypotheses be effectively applied to the study of morphological character evolution. At least two analytical approaches to solving this problem have been utilized: (1) simultaneous analysis of molecular sequence and morphological data with fossil taxa included as terminals in the analysis, and (2) the molecular scaffold approach, in which morphological data are analyzed over a molecular backbone (with constraints that force extant taxa into positions suggested by sequence data). The perceived obstacles to including fossil taxa directly in simultaneous analyses of morphological and molecular sequence data with extant taxa include: (1) that fossil taxa are missing the molecular sequence portion of the character data; (2) that morphological characters might be misleading due to convergence; and (3) character weighting, specifically how and whether to weight characters in the morphological partition relative to characters in the molecular sequence data partition. The molecular scaffold has been put forward as a potential solution to at least some of these problems. Using examples of simultaneous analyses from the literature, as well as new analyses of previously published morphological and molecular sequence data matrices for extant and fossil Chiroptera (bats), we argue that the simultaneous analysis approach is superior to the molecular scaffold approach, specifically addressing the problems to which the molecular scaffold has been suggested as a solution. Finally, the application of phylogenetic hypotheses including fossil taxa (whatever their derivation) to the study of morphological character evolution is discussed, with special emphasis on scenarios in which fossil taxa are likely to be most enlightening: (1) in determining the sequence of character evolution; (2) in determining the timing of character evolution; and (3) in making inferences about the presence or absence of characteristics in fossil taxa that may not be directly observable in the fossil record. Published By: Missouri Botanical Garde

Evolutionary integration and modularity in the archosaur cranium

Complex structures, like the vertebrate skull, are composed of numerous elements or traits that must develop and evolve in a coordinated manner to achieve multiple functions. The strength of association among phenotypic traits (i.e., integration), and their organization into highly-correlated, semi-independent subunits termed modules, is a result of the pleiotropic and genetic correlations that generate traits. As such, patterns of integration and modularity are thought to be key factors constraining or facilitating the evolution of phenotypic disparity by influencing the patterns of variation upon which selection can act. It is often hypothesized that selection can reshape patterns of integration, parceling single structures into multiple modules or merging ancestrally semi-independent traits into a strongly correlated unit. However, evolutionary shifts in patterns of trait integration are seldom assessed in a unified quantitative framework. Here, we quantify patterns of evolutionary integration among regions of the archosaur skull to investigate whether patterns of cranial integration are conserved or variable across this diverse group. Using high-dimensional geometric morphometric data from 3D surface scans and CT scans of modern birds (n = 352), fossil non-avian dinosaurs (n = 27), and modern and fossil mesoeucrocodylians (n = 38), we demonstrate that some aspects of cranial integration are conserved across these taxonomic groups, despite their major differences in cranial form, function, and development. All three groups are highly modular and consistently exhibit high integration within the occipital region. However, there are also substantial divergences in correlation patterns. Birds uniquely exhibit high correlation between the pterygoid and quadrate, components of the cranial kinesis apparatus, whereas the non-avian dinosaur quadrate is more closely associated with the jugal and quadratojugal. Mesoeucrocodylians exhibit a slightly more integrated facial skeleton overall than the other grades. Overall, patterns of trait integration are shown to be stable among archosaurs, which is surprising given the cranial diversity exhibited by the clade. At the same time, evolutionary innovations such as cranial kinesis that reorganize the structure and function of complex traits can result in modifications of trait correlations and modularity

Effect of Running-In (Load and Speed) on Surface Characteristics of Honed Gears

The initial running-in cycles alter the surface integrity characteristics and influence gear performance. This article shows how the surface characteristics of honed spur gears evolved due to the combined effect of running-in load (0.9 or 1.7 GPa) and speed (0.5 or 8.3 m/s) in Forschungsstelle fur Zahnr\ue4der und Getriebebau tests. Running-in affected the surface layers to a depth of 5 \ub5m. High running-in load promoted plastic deformation of asperities, created microstructural changes associated with surface cracks, and relaxed residual stresses. It also enhanced the amount of phosphorous from extreme pressure (EP) additives at the surface. The surface contact fatigue failure—that is, micropitting—was promoted by running-in speed rather than load

A Microstructural and Kinetic Investigation of the KCl-Induced Corrosion of an FeCrAl Alloy at 600 A degrees C

The corrosion behaviour of a FeCrAl alloy was investigated at 600 A degrees C in O-2 + H2O with solid KCl applied. A kinetics and microstructural investigation showed that KCl accelerates corrosion and that potassium chromate formation depletes the protective scale in Cr, thus triggering the formation of a fast-growing iron-rich scale. Iron oxide was found to grow both inward and outward, on either side of the initial oxide. A chromia layer is formed with time underneath the iron oxide. It was found that although the alloy does not form a continuous pure alumina scale at the investigated temperature, aluminium is, however, always enriched at the oxide/alloy interface

Decelerated dinosaur skull evolution with the origin of birds

© 2020 Felice et al. The evolutionary radiation of birds has produced incredible morphological variation, including a huge range of skull form and function. Investigating how this variation arose with respect to non-avian dinosaurs is key to understanding how birds achieved their remarkable success after the Cretaceous–Paleogene extinction event. Using a high-dimensional geometric morphometric approach, we quantified the shape of the skull in unprecedented detail across 354 extant and 37 extinct avian and non-avian dinosaurs. Comparative analyses reveal fundamental differences in how skull shape evolved in birds and non-avian dinosaurs. We find that the overall skull shape evolved faster in non-avian dinosaurs than in birds across all regions of the cranium. In birds, the anterior rostrum is the most rapidly evolving skull region, whereas more posterior regions—such as the parietal, squamosal, and quadrate—exhibited high rates in non-avian dinosaurs. These fast-evolving elements in dinosaurs are strongly associated with feeding biomechanics, forming the jaw joint and supporting the jaw adductor muscles. Rapid pulses of skull evolution coincide with changes to food acquisition strategies and diets, as well as the proliferation of bony skull ornaments. In contrast to the appendicular skeleton, which has been shown to evolve more rapidly in birds, avian cranial morphology is characterised by a striking deceleration in morphological evolution relative to non-avian dinosaurs. These results may be due to the reorganisation of skull structure in birds—including loss of a separate postorbital bone in adults and the emergence of new trade-offs with development and neurosensory demands. Taken together, the remarkable cranial shape diversity in birds was not a product of accelerated evolution from their non-avian relatives, despite their frequent portrayal as an icon of adaptive radiations

Parametricity and Dependent Types

Reynolds' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. We (in second order predicate logic) about inhabitants of the type. We obtain a similar result for a single lambda calculus (a pure type system), in which terms, types and their relations are expressed. Working within a single system dispenses with the need for an interpretation layer, allowing for an unusually simple presentation. While the unification puts some constraints on the type system (which we spell out), the result applies to many interesting cases, including dependently-typed ones