Stratified Abstraction of Access Control Policies

The shift to cloud-based APIs has made application security critically depend on understanding and reasoning about policies that regulate access to cloud resources. We present stratified predicate abstraction, a new approach that summarizes complex security policies into a compact set of positive and declarative statements that precisely state who has access to a resource. We have implemented stratified abstraction and deployed it as the engine powering AWS’s IAM Access Analyzer service, and hence, demonstrate how formal methods and SMT can be used for security policy explanation

Second Language Tutoring Using Social Robots: A Large-Scale Study

We present a large-scale study of a series of seven lessons designed to help young children learn English vocabulary as a foreign language using a social robot. The experiment was designed to investigate 1) the effectiveness of a social robot teaching children new words over the course of multiple interactions (supported by a tablet), 2) the added benefit of a robot's iconic gestures on word learning and retention, and 3) the effect of learning from a robot tutor accompanied by a tablet versus learning from a tablet application alone. For reasons of transparency, the research questions, hypotheses and methods were preregistered. With a sample size of 194 children, our study was statistically well-powered. Our findings demonstrate that children are able to acquire and retain English vocabulary words taught by a robot tutor to a similar extent as when they are taught by a tablet application. In addition, we found no beneficial effect of a robot's iconic gestures on learning gains

Miocene waterfowl and other birds from central Otago, New Zealand

Copyright © The Natural History Museum 2007Abundant fossil bird bones from the lower Bannockburn Formation, Manuherikia Group, an Early-Middle Miocene lacustrine deposit, 16–19 Ma, from Otago in New Zealand, reveal the “St Bathans Fauna” (new name), a first Tertiary avifauna of land and freshwater birds from New Zealand. At least 23 species of birds are represented by bones, and probable moa, Aves: Dinornithiformes, by eggshell. Anatids dominate the fauna with four genera and five species described as new: a sixth and largest anatid species is represented by just one bone. This is the most diverse Early-Middle Miocene duck fauna known worldwide. Among ducks, two species of dendrochenines are most numerous in the fauna, but a tadornine is common as well. A diving petrel (Pelecanoididae: Pelecanoides) is described, so extending the geological range of this genus worldwide from the Pliocene to the Middle Miocene, at least. The remaining 16 taxa are left undescribed but include: a large species of gull (Laridae); two small waders (Charadriiformes, genus indet.), the size of Charadrius bicinctus and Calidris ruficollis, respectively; a gruiform represented by one specimen similar to Aptornis; abundant rail (Rallidae) bones, including a common flightless rail and a rarer slightly larger taxon, about the size of Gallirallus philippensis; an ?eagle (Accipitridae); a pigeon (Columbidae); three parrots (Psittacidae); an owlet nightjar (Aegothelidae: Aegotheles sp.); a swiftlet (Apodidae: Collocalia sp.); and three passerine taxa, of which the largest is a member of the Cracticidae. The absence of some waterbirds, such as anserines (including swans), grebes (Podicipedidae) and shags (Phalacrocoracidae), among the abundant bones, indicates their probable absence from New Zealand in the Early-Middle Miocene.T. H. Worthy, A. J. D. Tennyson, C. Jones, J. A. McNamara and B. J. Dougla

A historical overview of the classification, evolution, and dispersion of Leishmania parasites and sandflies

Background The aim of this study is to describe the major evolutionary historical events among Leishmania, sandflies, and the associated animal reservoirs in detail, in accordance with the geographical evolution of the Earth, which has not been previously discussed on a large scale. Methodology and Principal Findings Leishmania and sandfly classification has always been a controversial matter, and the increasing number of species currently described further complicates this issue. Despite several hypotheses on the origin, evolution, and distribution of Leishmania and sandflies in the Old and New World, no consistent agreement exists regarding dissemination of the actors that play roles in leishmaniasis. For this purpose, we present here three centuries of research on sandflies and Leishmania descriptions, as well as a complete description of Leishmania and sandfly fossils and the emergence date of each Leishmania and sandfly group during different geographical periods, from 550 million years ago until now. We discuss critically the different approaches that were used for Leishmana and sandfly classification and their synonymies, proposing an updated classification for each species of Leishmania and sandfly. We update information on the current distribution and dispersion of different species of Leishmania (53), sandflies (more than 800 at genus or subgenus level), and animal reservoirs in each of the following geographical ecozones: Palearctic, Nearctic, Neotropic, Afrotropical, Oriental, Malagasy, and Australian. We propose an updated list of the potential and proven sandfly vectors for each Leishmania species in the Old and New World. Finally, we address a classical question about digenetic Leishmania evolution: which was the first host, a vertebrate or an invertebrate? Conclusions and Significance We propose an updated view of events that have played important roles in the geographical dispersion of sandflies, in relation to both the Leishmania species they transmit and the animal reservoirs of the parasites

Photography-based taxonomy is inadequate, unnecessary, and potentially harmful for biological sciences

The question whether taxonomic descriptions naming new animal species without type specimen(s) deposited in collections should be accepted for publication by scientific journals and allowed by the Code has already been discussed in Zootaxa (Dubois & Nemésio 2007; Donegan 2008, 2009; Nemésio 2009a–b; Dubois 2009; Gentile & Snell 2009; Minelli 2009; Cianferoni & Bartolozzi 2016; Amorim et al. 2016). This question was again raised in a letter supported by 35 signatories published in the journal Nature (Pape et al. 2016) on 15 September 2016. On 25 September 2016, the following rebuttal (strictly limited to 300 words as per the editorial rules of Nature) was submitted to Nature, which on 18 October 2016 refused to publish it. As we think this problem is a very important one for zoological taxonomy, this text is published here exactly as submitted to Nature, followed by the list of the 493 taxonomists and collection-based researchers who signed it in the short time span from 20 September to 6 October 2016

Desert springs: deep phylogeographic structure in an ancient endemic crustacean (Phreatomerus latipes)

Extent: 13p.Desert mound springs of the Great Artesian Basin in central Australia maintain an endemic fauna that have historically been considered ubiquitous throughout all of the springs. Recent studies, however, have shown that several endemic invertebrate species are genetically highly structured and contain previously unrecognised species, suggesting that individuals may be geographically ‘stranded in desert islands’. Here we further tested the generality of this hypothesis by conducting genetic analyses of the obligate aquatic phreatoicid isopod Phreatomerus latipes. Phylogenetic and phylogeographic relationships amongst P. latipes individuals were examined using a multilocus approach comprising allozymes and mtDNA sequence data. From the Lake Eyre region in South Australia we collected data for 476 individuals from 69 springs for the mtDNA gene COI; in addition, allozyme electrophoresis was conducted on 331 individuals from 19 sites for 25 putative loci. Phylogenetic and population genetic analyses showed three major clades in both allozyme and mtDNA data, with a further nine mtDNA sub-clades, largely supported by the allozymes. Generally, each of these sub-clades was concordant with a traditional geographic grouping known as spring complexes. We observed a coalescent time between ~ 2–15 million years ago for haplotypes within each of the nine mtDNA sub-clades, whilst an older total time to coalescence (>15 mya) was observed for the three major clades. Overall we observed that multiple layers of phylogeographic history are exemplified by Phreatomerus, suggesting that major climate events and their impact on the landscape have shaped the observed high levels of diversity and endemism. Our results show that this genus reflects a diverse fauna that existed during the early Miocene and appears to have been regionally restricted. Subsequent aridification events have led to substantial contraction of the original habitat, possibly over repeated Pleistocene ice age cycles, with P. latipes populations becoming restricted in the distribution to desert springs.Michelle T. Guzik, Mark A. Adams, Nicholas P. Murphy, Steven J.B. Cooper and Andrew D. Austi

Guidelines for Designing Social Robots as Second Language Tutors

In recent years, it has been suggested that social robots have potential as tutors and educators for both children and adults. While robots have been shown to be effective in teaching knowledge and skill-based topics, we wish to explore how social robots can be used to tutor a second language to young children. As language learning relies on situated, grounded and social learning, in which interaction and repeated practice are central, social robots hold promise as educational tools for supporting second language learning. This paper surveys the developmental psychology of second language learning and suggests an agenda to study how core concepts of second language learning can be taught by a social robot. It suggests guidelines for designing robot tutors based on observations of second language learning in human–human scenarios, various technical aspects and early studies regarding the effectiveness of social robots as second language tutors

FURTHER RECORDS OF THE PITTED-SHELLED TURTLE CARETTOCHELYS-INSCULPTA FROM AUSTRALIA

Volume: 96Start Page: 115End Page: 11