1,554 research outputs found
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
-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
Recommended from our members
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
- âŠ