Exploring Bluetooth based Mobile Phone Interaction with the Hermes Photo Display

One of the most promising possibilities for supporting user interaction with public displays is the use of personal mobile phones. Furthermore, by utilising Bluetooth users should have the capability to interact with displays without incurring personal financial connectivity costs. However, despite the relative maturity of Bluetooth as a standard and its widespread adoption in today’s mobile phones, little exploration seems to have taken place in this area - despite its apparent significant potential. This paper describe the findings of an exploratory study nvolving our Hermes Photo Display which has been extended to enable users with a suitable phone to both send and receive pictures over Bluetooth. We present both the technical challenges of working with Bluetooth and, through our user study, we present initial insights into general user acceptability issues and the potential for such a display to facilitate notions of community

Fault and magmatic interaction within Iceland's western rift over the last 9kyr

We present high-resolution 'Chirp' sub-bottom profiler data from Thingvallavatn, a lake in Iceland's western rift zone. These data are combined with stratigraphic constraints from sediment cores to show that movement on normal faults since 9 ka are temporally correlated with magmatic events, indicating that movements were controlled by episodic dyke intrusion. Sediment depo-centres and the focus of subsidence migrated westwards over 3-4 kyr towards the locus of subsequent brittle failure. We interpret this subsidence as related to dyke intrusion a few km along strike, originating from the Hengill volcanic system, which occurred prior to major dyking, faulting and subsidence within the lake at 1.9 ka

Van der Waals pressure and its effect on trapped interlayer molecules

Van der Waals assembly of two-dimensional (2D) crystals continue attract intense interest due to the prospect of designing novel materials with on-demand properties. One of the unique features of this technology is the possibility of trapping molecules or compounds between 2D crystals. The trapped molecules are predicted to experience pressures as high as 1 GPa. Here we report measurements of this interfacial pressure by capturing pressure-sensitive molecules and studying their structural and conformational changes. Pressures of 1.2 +/- 0.3 GPa are found using Raman spectrometry for molecular layers of one nanometer in thickness. We further show that this pressure can induce chemical reactions and several trapped salts or compounds are found to react with water at room temperature, leading to 2D crystals of the corresponding oxides. This pressure and its effect should be taken into account in studies of van der Waals heterostructures and can also be exploited to modify materials confined at the atomic interfaces

Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $\Delta^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.Comment: 56 pages, 9 figures, 6 table

Determination of the Tissue Distribution and Excretion by Accelerator Mass Spectrometry of the Nonadecapeptide 14C-Moli1901 in Beagle dogs after Intratracheal Instillation

Administration of {sup 14}C-Moli1901 (duramycin, 2622U90), a 19 amino acid polycyclic peptide by intratracheal instillation (approximately 100 {micro}g) into the left cranial lobe of the lung of beagle dogs resulted in retention of 64% of the dose in the left cranial lobe for up to 28 days. In this study, we used accelerator mass spectrometry (AMS) to quantify Moli901 following administration of only 0.045 {micro}Ci of {sup 14}C-Moli901 per dog. Limits of quantitation of AMS were 0.03 (urine) to 0.3 (feces) ng equiv. Moli1901/g. Whole blood and plasma concentrations of {sup 14}C were <5ng/ml at all times after the dose. Concentrations of {sup 14}C in whole blood and plasma declined over the first day after the dose and rose thereafter, with the rise in plasma concentrations lagging behind those in whole blood. During the first 3 days after the dose, plasma accounted for the majority of {sup 14}C in whole blood, but after that time, plasma accounted for only 25-30% of the {sup 14}C in whole blood. Tissue (left and right caudal lung lobe, liver, kidney, spleen, brain) and bile concentrations were low, always less than 0.25% the concentrations found in the left cranial lung lobe. Approximately 13% of the dose was eliminated in urine and feces in 28 days, with fecal elimination accounting for about 10% of the dose. The data presented here are consistent with that obtained in other species. Moli1901 is slowly absorbed and excreted from the lung, and it does not accumulate in other tissues. Moli1901 is currently in the clinic and has proven to be safe in single dose studies in human volunteers and cystic fibrosis patients by the inhalation route. No information on the disposition of the compound in humans is available. This study in dogs demonstrates the feasibility of obtaining that information using {sup 14}C-Moli1901 and AMS

Open Data as Open Educational Resources: Case studies of emerging practice

This collection presents the stories of our contributors’ experiences and insights, in order to demonstrate the enormous potential for openly-licensed and accessible datasets (Open Data) to be used as Open Educational Resources (OER). Open Data is an umbrella term describing openly-licensed, interoperable, and reusable datasets which have been created and made available to the public by national or local governments, academic researchers, or other organisations. These datasets can be accessed, used and shared without restrictions other than attribution of the intellectual property of their creators1.While there are various definitions of OER, these are generally understood as openly-licensed digital resources that can be used in teaching and learning. On the basis of these definitions, it is reasonable to assert that while Open Data is not always OER, it certainly becomes OER when used within pedagogical contexts. Yet while the question may appear already settled at the level of definition, the potential and actual pedagogical uses of Open Data appear to have been under-discussed. As open education researchers who take a wider interest in the various open ‘movements’, we have observed that linkages between them are not always strong, in spite of shared and interconnecting values. So, Open Data tends to be discussed primarily in relation to its production, storage, licensing and accessibility, but less often in relation to its practical subsequent uses. And, in spite of widespread understanding that use of the term ‘OER’ is actually context-dependent, and, therefore, could be almost all-encompassing, the focus of OER practice and research has tended to be on educator-produced learning materials. The search for relevant research literature in the early stages of this project turned up sources which discuss the benefits of opening data, and others advocating improving student engagement with data3, but on the topic of Open Data as an educational resource specifically, there appeared to be something of a gap