Emergent friction in two-dimensional Frenkel-Kontorova models

Simple models for friction are typically one-dimensional, but real interfaces are two-dimensional. We investigate the effects of the second dimension on static and dynamic friction by using the Frenkel-Kontorova (FK) model. We study the two most straightforward extensions of the FK model to two dimensions and simulate both the static and dynamic properties. We show that the behavior of the static friction is robust and remains similar in two dimensions for physically reasonable parameter values. The dynamic friction, however, is strongly influenced by the second dimension and the accompanying additional dynamics and parameters introduced into the models. We discuss our results in terms of the thermal equilibration and phonon dispersion relations of the lattices, establishing a physically realistic and suitable two-dimensional extension of the FK model. We find that the presence of additional dissipation channels can increase the friction and produces significantly different temperature-dependence when compared to the one-dimensional case. We also briefly study the anisotropy of the dynamic friction and show highly nontrivial effects, including that the friction anisotropy can lead to motion in different directions depending on the value of the initial velocity.Comment: 14 pages, 13 figure

Bounded Refinement Types

We present a notion of bounded quantification for refinement types and show how it expands the expressiveness of refinement typing by using it to develop typed combinators for: (1) relational algebra and safe database access, (2) Floyd-Hoare logic within a state transformer monad equipped with combinators for branching and looping, and (3) using the above to implement a refined IO monad that tracks capabilities and resource usage. This leap in expressiveness comes via a translation to "ghost" functions, which lets us retain the automated and decidable SMT based checking and inference that makes refinement typing effective in practice.Comment: 14 pages, International Conference on Functional Programming, ICFP 201

Tooth serration morphologies in the genus Machimosaurus (Crocodylomorpha, Thalattosuchia) from the Late Jurassic of Europe

© 2014 The Authors. Published by the Royal Society under the terms of the Creative Commons Attribution License http://creativecommons.org/licenses/by/4.0/, which permits unrestricted use, provided the original author and source are credited. The attached file is the published version of the article

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

Mosaic evolution in an asymmetrically feathered troodontid dinosaur with transitional features

Asymmetrical feathers have been associated with flight capability but are also found in species that do not fly, and their appearance was a major event in feather evolution. Among non-avialan theropods, they are only known in microraptorine dromaeosaurids. Here we report a new troodontid, Jianianhualong tengi gen. et sp. nov., from the Lower Cretaceous Jehol Group of China, that has anatomical features that are transitional between long-armed basal troodontids and derived short-armed ones, shedding new light on troodontid character evolution. It indicates that troodontid feathering is similar to Archaeopteryx in having large arm and leg feathers as well as frond-like tail feathering, confirming that these feathering characteristics were widely present among basal paravians. Most significantly, the taxon has the earliest known asymmetrical troodontid feathers, suggesting that feather asymmetry was ancestral to Paraves. This taxon also displays a mosaic distribution of characters like Sinusonasus, another troodontid with transitional anatomical features.published_or_final_versio

Solving the border control problem: evidence of enhanced face matching in individuals with extraordinary face recognition skills.

Photographic identity documents (IDs) are commonly used despite clear evidence that unfamiliar face matching is a difficult and error-prone task. The current study set out to examine the performance of seven individuals with extraordinary face recognition memory, so called “super recognisers” (SRs), on two face matching tasks resembling border control identity checks. In Experiment 1, the SRs as a group outperformed control participants on the “Glasgow Face Matching Test”, and some case-by-case comparisons also reached significance. In Experiment 2, a perceptually difficult face matching task was used: the “Models Face Matching Test”. Once again, SRs outperformed controls both on group and mostly in case-by-case analyses. These findings suggest that SRs are considerably better at face matching than typical perceivers, and would make proficient personnel for border control agencies

A new large-bodied oviraptorosaurian theropod dinosaur from the Latest Cretaceous of Western North America

The oviraptorosaurian theropod dinosaur clade Caenagnathidae has long been enigmatic due to the incomplete nature of nearly all described fossils. Here we describe Anzu wyliei gen. et sp. nov., a new taxon of large-bodied caenagnathid based primarily on three well-preserved partial skeletons. The specimens were recovered from the uppermost Cretaceous (upper Maastrichtian) Hell Creek Formation of North and South Dakota, and are therefore among the stratigraphically youngest known oviraptorosaurian remains. Collectively, the fossils include elements from most regions of the skeleton, providing a wealth of information on the osteology and evolutionary relationships of Caenagnathidae. Phylogenetic analysis reaffirms caenagnathid monophyly, and indicates that Anzu is most closely related to Caenagnathus collinsi, a taxon that is definitively known only from a mandible from the Campanian Dinosaur Park Formation of Alberta. The problematic oviraptorosaurs Microvenator and Gigantoraptor are recovered as basal caenagnathids, as has previously been suggested. Anzu and other caenagnathids may have favored well-watered floodplain settings over channel margins, and were probably ecological generalists that fed upon vegetation, small animals, and perhaps eggs

Variation, variability, and the origin of the avian endocranium:Insights from the anatomy of alioramus altai (theropoda: Tyrannosauroidea)

The internal braincase anatomy of the holotype of Alioramus altai, a relatively small-bodied tyrannosauroid from the Late Cretaceous of Mongolia, was studied using high-resolution computed tomography. A number of derived characters strengthen the diagnosis of this taxon as both a tyrannosauroid and a unique, new species (e.g., endocranial position of the gasserian ganglion, internal ramification of the facial nerve). Also present are features intermediate between the basal theropod and avialan conditions that optimize as the ancestral condition for Coelurosauria--a diverse group of derived theropods that includes modern birds. The expression of several primitive theropod features as derived character states within Tyrannosauroidea establishes previously unrecognized evolutionary complexity and morphological plasticity at the base of Coelurosauria. It also demonstrates the critical role heterochrony may have played in driving patterns of endocranial variability within the group and potentially reveals stages in the evolution of neuroanatomical development that could not be inferred based solely on developmental observations of the major archosaurian crown clades. We discuss the integration of paleontology with variability studies, especially as applied to the nature of morphological transformations along the phylogenetically long branches that tend to separate the crown clades of major vertebrate groups