PlaceRaider: Virtual Theft in Physical Spaces with Smartphones

As smartphones become more pervasive, they are increasingly targeted by malware. At the same time, each new generation of smartphone features increasingly powerful onboard sensor suites. A new strain of sensor malware has been developing that leverages these sensors to steal information from the physical environment (e.g., researchers have recently demonstrated how malware can listen for spoken credit card numbers through the microphone, or feel keystroke vibrations using the accelerometer). Yet the possibilities of what malware can see through a camera have been understudied. This paper introduces a novel visual malware called PlaceRaider, which allows remote attackers to engage in remote reconnaissance and what we call virtual theft. Through completely opportunistic use of the camera on the phone and other sensors, PlaceRaider constructs rich, three dimensional models of indoor environments. Remote burglars can thus download the physical space, study the environment carefully, and steal virtual objects from the environment (such as financial documents, information on computer monitors, and personally identifiable information). Through two human subject studies we demonstrate the effectiveness of using mobile devices as powerful surveillance and virtual theft platforms, and we suggest several possible defenses against visual malware

A Framework for Agile Development of Component-Based Applications

Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applications. Nevertheless, few approaches have proposed a framework to combine agile and component-based development, allowing an application to be tested throughout the entire development cycle. To address this problematic, we have built CALICO, a model-based framework that allows applications to be safely developed in an iterative and incremental manner. The CALICO approach relies on the synchronization of a model view, which specifies the application properties, and a runtime view, which contains the application in its execution context. Tests on the application specifications that require values only known at runtime, are automatically integrated by CALICO into the running application, and the captured needed values are reified at execution time to resume the tests and inform the architect of potential problems. Any modification at the model level that does not introduce new errors is automatically propagated to the running system, allowing the safe evolution of the application. In this paper, we illustrate the CALICO development process with a concrete example and provide information on the current implementation of our framework

A comparative study of herbage intake, ingestive behaviour and diet selection, and effects of condensed tannins upon body and wool growth in lambs grazing Yorkshire fog (Holcus lanatus) and annual ryegrass (Lolium multiflorum) dominant swards

An experiment was carried out from August to early November 1994 to examine differences in diet selection, herbage intake, grazing behaviour and animal performance between weaned lambs rotationally grazing swards of annual ryegrass (Lolium multiflorum)/white clover (Trifolium repens) and Yorkshire fog (Holcus lanatus)/T. repens with or without Lotus corniculatus. There were four replicate groups of six lambs per treatment. The effects of condensed tannins (CT) on lamb production were assessed by twice-daily oral administration of 10g polyethylene glycol (PEG; molecular weight 4000) to half the lambs on each sward. The Lotus content of all swards was very low, and results are presented here for main sward comparisons meaned over lotus treatments. Overall mean estimates of pre-grazing herbage mass and sward surface height for the annual ryegrass and Yorkshire fog swards respectively, were 5820 v. 4360 +/- 190 kg DM/ha (P , P < 0.01) and liveweight gain (141 v. 120 +/- 4.3 g per lamb per day, P < 0.01), although differences in carcass weight (17.9 v. 18.2 +/- 0.3 kg) and FEC transformed values (9.6 v. 11.0 +/- 06 eggs/g fresh faeces) were not significant. The effects of CT on animal performance were greater in Yorkshire fog swards. CT had no significant effects on diet selection, herbage intake and grazing behaviour patterns

Discovering information flow using a high dimensional conceptual space

This paper presents an informational inference mechanism realized via the use of a high dimensional conceptual space. More specifically, we claim to have operationalized important aspects of G?rdenforss recent three-level cognitive model. The connectionist level is primed with the Hyperspace Analogue to Language (HAL) algorithm which produces vector representations for use at the conceptual level. We show how inference at the symbolic level can be implemented by employing Barwise and Seligmans theory of information flow. This article also features heuristics for enhancing HAL-based representations via the use of quality properties, determining concept inclusion and computing concept composition. The worth of these heuristics in underpinning informational inference are demonstrated via a series of experiments. These experiments, though small in scale, show that informational inference proposed in this article has a very different character to the semantic associations produced by the Minkowski distance metric and concept similarity computed via the cosine coefficient. In short, informational inference generally uncovers concepts that are carried, or, in some cases, implied by another concept, (or combination of concepts)

Early Modern Science in Translation: Texts in Transit Between Italy and England

This paper aims to take a fresh look at the emergence of a new linguistic culture at the end of the seventeenth century in England, when the Restoration, the birth of the Royal Society and the spread of the experimental scientific method posed the question of the standardization of English more strongly than ever before, in a quest for a clear, less ambiguous language capable of scientific expression. While members of the Royal Society could read Latin – which would remain the undisputed language of science for quite some time to come – nonetheless a rising number of important works that circulated in English translation testifies to a shift in sensibilities and a growing sentiment that cultivated Englishmen deserved to read the works of the new science in their own language. Within this broader context, which the paper aims to briefly reconstruct and reconsider, special attention will be paid to the entry points of Galilean and post-Galilean thought into England, in particular the English translation of the experiments of the Accademia del Cimento by Richard Waller. A consideration of linguistic features, translation strategies and culture-specific issues will aim to explore some of the ways in which seventeenth-century English continued to look to the Continent for its enrichment and refinement, as was customary in previous ages and in particular for literary texts, while at the same time claiming for itself the practice of specialized communication in the vernacular, which would pave the way for the rise of English as the language of science

Aerospace medicine and biology: A continuing bibliography with indexes, supplement 204

This bibliography lists 140 reports, articles, and other documents introduced into the NASA scientific and technical information system in February 1980

Aerospace medicine and biology: A continuing bibliography with indexes (supplement 333)

This bibliography lists 122 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during January, 1990. Subject coverage includes: aerospace medicine and psychology, life support systems and controlled environments, safety equipment, exobiology and extraterrestrial life, and flight crew behavior and performance

Searching for Ground Truth: a stepping stone in automating genre classification

This paper examines genre classification of documents and its role in enabling the effective automated management of digital documents by digital libraries and other repositories. We have previously presented genre classification as a valuable step toward achieving automated extraction of descriptive metadata for digital material. Here, we present results from experiments using human labellers, conducted to assist in genre characterisation and the prediction of obstacles which need to be overcome by an automated system, and to contribute to the process of creating a solid testbed corpus for extending automated genre classification and testing metadata extraction tools across genres. We also describe the performance of two classifiers based on image and stylistic modeling features in labelling the data resulting from the agreement of three human labellers across fifteen genre classes.