Scaling in Plasticity-Induced Cell-Boundary Microstructure: Fragmentation and Rotational Diffusion

We develop a simple computational model for cell boundary evolution in plastic deformation. We study the cell boundary size distribution and cell boundary misorientation distribution that experimentally have been found to have scaling forms that are largely material independent. The cell division acts as a source term in the misorientation distribution which significantly alters the scaling form, giving it a linear slope at small misorientation angles as observed in the experiments. We compare the results of our simulation to two closely related exactly solvable models which exhibit scaling behavior at late times: (i) fragmentation theory and (ii) a random walk in rotation space with a source term. We find that the scaling exponents in our simulation agree with those of the theories, and that the scaling collapses obey the same equations, but that the shape of the scaling functions depend upon the methods used to measure sizes and to weight averages and histograms

The ecological drivers and consequences of wildlife trade

Wildlife trade is a key driver of extinction risk, affecting at least 24% of terrestrial vertebrates. The persistent removal of species can have profound impacts on species extinction risk and selection within populations. We draw together the first review of characteristics known to drive species use - identifying species with larger body sizes, greater abundance, increased rarity or certain morphological traits valued by consumers as being particularly prevalent in trade. We then review the ecological implications of this trade-driven selection, revealing direct effects of trade on natural selection and populations for traded species, which includes selection against desirable traits. Additionally, there exists a positive feedback loop between rarity and trade and depleted populations tend to have easy human access points, which can result in species being harvested to extinction and has the potential to alter source-sink dynamics. Wider cascading ecosystem repercussions from trade-induced declines include altered seed dispersal networks, trophic cascades, long-term compositional changes in plant communities, altered forest carbon stocks, and the introduction of harmful invasive species. Because it occurs across multiple scales with diverse drivers, wildlife trade requires multi-faceted conservation actions to maintain biodiversity and ecological function, including regulatory and enforcement approaches, bottom-up and community-based interventions, captive breeding or wildlife farming, and conservation translocations and trophic rewilding. We highlight three emergent research themes at the intersection of trade and community ecology: (1) functional impacts of trade; (2) altered provisioning of ecosystem services; and (3) prevalence of trade-dispersed diseases. Outside of the primary objective that exploitation is sustainable for traded species, we must urgently incorporate consideration of the broader consequences for other species and ecosystem processes when quantifying sustainability

Automated Certification of Authorisation Policy Resistance

Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security relevant information can be collected from different sources. However, ABAC enables attribute hiding attacks, allowing an attacker to gain some access by withholding information. In this paper, we first introduce the notion of policy resistance to attribute hiding attacks. We then propose the tool ATRAP (Automatic Term Rewriting for Authorisation Policies), based on the recent formal ABAC language PTaCL, which first automatically searches for resistance counter-examples using Maude, and then automatically searches for an Isabelle proof of resistance. We illustrate our approach with two simple examples of policies and propose an evaluation of ATRAP performances.Comment: 20 pages, 4 figures, version including proofs of the paper that will be presented at ESORICS 201

Deep learning for image-based cassava disease detection

Open Access Journal; Published online: 27 Oct 2017Cassava is the third largest source of carbohydrates for human food in the world but is vulnerable to virus diseases, which threaten to destabilize food security in sub-Saharan Africa. Novel methods of cassava disease detection are needed to support improved control which will prevent this crisis. Image recognition offers both a cost effective and scalable technology for disease detection. New deep learning models offer an avenue for this technology to be easily deployed on mobile devices. Using a dataset of cassava disease images taken in the field in Tanzania, we applied transfer learning to train a deep convolutional neural network to identify three diseases and two types of pest damage (or lack thereof). The best trained model accuracies were 98% for brown leaf spot (BLS), 96% for red mite damage (RMD), 95% for green mite damage (GMD), 98% for cassava brown streak disease (CBSD), and 96% for cassava mosaic disease (CMD). The best model achieved an overall accuracy of 93% for data not used in the training process. Our results show that the transfer learning approach for image recognition of field images offers a fast, affordable, and easily deployable strategy for digital plant disease detection

Global hotspots of traded phylogenetic and functional diversity

Wildlife trade is a multibillion-dollar industry1 targeting a hyperdiversity of species2 and can contribute to major declines in abundance3. A key question is understanding the global hotspots of wildlife trade for phylogenetic (PD) and functional (FD) diversity, which underpin the conservation of evolutionary history4, ecological functions5 and ecosystem services benefiting humankind6. Using a global dataset of traded bird and mammal species, we identify that the highest levels of traded PD and FD are from tropical regions, where high numbers of evolutionary distinct and globally endangered species in trade occur. The standardized effect size (ses) of traded PD and FD also shows strong tropical epicentres, with additional hotspots of mammalian ses.PD in the eastern United States and ses.FD in Europe. Large-bodied, frugivorous and canopy-dwelling birds and large-bodied mammals are more likely to be traded whereas insectivorous birds and diurnally foraging mammals are less likely. Where trade drives localized extinctions3, our results suggest substantial losses of unique evolutionary lineages and functional traits, with possible cascading effects for communities and ecosystems5,7. Avoiding unsustainable exploitation and lost community integrity requires targeted conservation efforts, especially in hotspots of traded phylogenetic and functional diversity

Effects of Cooking in Solutions of Varying pH on the Dietary Fiber Components of Vegetables

To study the effect of pH on dietary fiber components of vegetables, beans, cauliflower, potatoes, peas and corn were cooked in buffers of pH 2, 4, 6, and 10. Water-soluble pectin and hemicellulose, water-insoluble pectin and hemicellulose, cellulose and lignin were quantitated in raw, cooked vegetables and cooking medium. Tenderness and pH of raw and cooked vegetables were determined. Texture varied with cooking medium. Cooked vegetables were most firm at pH 4 and softest at pH 10. Dietary components found in cooking medium reflected these textural changes. Vegetables which showed greater pH effects exhibited greater changes in fiber components.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73821/1/j.1365-2621.1984.tb13237.x.pd

Comparison of 3He and129Xe MRI for evaluation of lung microstructure and ventilation at 1.5T

BACKGROUND: To support translational lung MRI research with hyperpolarized129Xe gas, comprehensive evaluation of derived quantitative lung function measures against established measures from3He MRI is required. Few comparative studies have been performed to date, only at 3T, and multisession repeatability of129Xe functional metrics have not been reported. PURPOSE/HYPOTHESIS: To compare hyperpolarized129Xe and3He MRI-derived quantitative metrics of lung ventilation and microstructure, and their repeatability, at 1.5T. STUDY TYPE: Retrospective. POPULATION: Fourteen healthy nonsmokers (HN), five exsmokers (ES), five patients with chronic obstructive pulmonary disease (COPD), and 16 patients with nonsmall-cell lung cancer (NSCLC). FIELD STRENGTH/SEQUENCE: 1.5T. NSCLC, COPD patients and selected HN subjects underwent 3D balanced steady-state free-precession lung ventilation MRI using both3He and129Xe. Selected HN, all ES, and COPD patients underwent 2D multislice spoiled gradient-echo diffusion-weighted lung MRI using both hyperpolarized gas nuclei. ASSESSMENT: Ventilated volume percentages (VV%) and mean apparent diffusion coefficients (ADC) were derived from imaging. COPD patients performed the whole MR protocol in four separate scan sessions to assess repeatability. Same-day pulmonary function tests were performed. STATISTICAL TESTS: Intermetric correlations: Spearman's coefficient. Intergroup/internuclei differences: analysis of variance / Wilcoxon's signed rank. Repeatability: coefficient of variation (CV), intraclass correlation (ICC) coefficient. RESULTS: A significant positive correlation between3He and129Xe VV% was observed (r = 0.860, P < 0.001). VV% was larger for3He than129Xe (P = 0.001); average bias, 8.79%. A strong correlation between mean3He and129Xe ADC was obtained (r = 0.922, P < 0.001). MR parameters exhibited good correlations with pulmonary function tests. In COPD patients, mean CV of3He and129Xe VV% was 4.08% and 13.01%, respectively, with ICC coefficients of 0.541 (P = 0.061) and 0.458 (P = 0.095). Mean3He and129Xe ADC values were highly repeatable (mean CV: 2.98%, 2.77%, respectively; ICC: 0.995, P < 0.001; 0.936, P < 0.001). DATA CONCLUSION:129Xe lung MRI provides near-equivalent information to3He for quantitative lung ventilation and microstructural MRI at 1.5T. LEVEL OF EVIDENCE: 3 Technical Efficacy Stage

Super D-branes from BRST Symmetry

Recently a new formalism has been developed for the covariant quantization of superstrings. We study properties of Dp-branes and p-branes in this new framework, focusing on two different topics: effective actions and boundary states for Dp-branes. We present a derivation of the Wess-Zumino terms for super (D)p-branes using BRST symmetry. To achieve this we derive the BRST symmetry for superbranes, starting from the approach with/without pure spinors, and completely characterize the WZ terms as elements of the BRST cohomology. We also develope the boundary state description of Dp-branes by analyzing the boundary conditions for open strings in the completely covariant (i.e., without pure spinors) BRST formulation.Comment: 31 pp; journal version, expended discussion of D-brane pure spinor constraints in Section 2.