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

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

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

Intentional and unintentional nonadherence to hydroxyurea among people with sickle cell disease: A qualitative study

Hydroxyurea is an efficacious treatment for sickle cell disease (SCD), but adoption is low among individuals with SCD. The objective of this study was to examine barriers to patients' adherence to hydroxyurea use regimens by using the intentional and unintentional medication nonadherence framework. We interviewed individuals with SCD age 15 to 49.9 years who were participants in the Sickle Cell Disease Implementation Consortium (SCDIC) Needs Assessment. The intentional and unintentional medication nonadherence framework explains barriers to using hydroxyurea and adds granularity to the understanding of medication adherence barriers unique to the SCD population. In total, 90 semi-structured interviews were completed across 5 of the 8 SCDIC sites. Among interviewed participants, 57.8% (n = 52) were currently taking hydroxyurea, 28.9% (n = 26) were former hydroxyurea users at the time of the interview, and 13.3% (n = 12) had never used hydroxyurea but were familiar with the medication. Using a constructivist grounded theory approach, we discovered important themes that contributed to nonadherence to hydroxyurea, which were categorized under unintentional (eg, Forgetfulness, External Influencers) and intentional (Negative Perceptions of Hydroxyurea, Aversion to Taking Any Medications) nonadherence types. Participants more frequently endorsed adherence barriers that fell into the unintentional nonadherence type (70%) vs intentional nonadherence type (30%). Results from this study will help SCD health care providers understand patient choices and decisions as being either unintentional or intentional, guide tailored clinical discussions regarding hydroxyurea therapy, and develop specific, more nuanced interventions to address nonadherence factors