Efficient similarity-based operations for data integration

Dealing with discrepancies in data is still a big challenge in data integration systems. The problem occurs both during eliminating duplicates from semantic overlapping sources as well as during combining complementary data from different sources. Though using SQL operations like grouping and join seems to be a viable way, they fail if the attribute values of the potential duplicates or related tuples are not equal but only similar by certain criteria. As a solution to this problem, we present in this paper similarity-based variants of grouping and join operators. The extended grouping operator produces groups of similar tuples, the extended join combines tuples satisfying a given similarity condition. We describe the semantics of this operator, discuss efficient implementations for the edit distance similarity and present evaluation results. Finally, we give examples of application from the context of a data reconciliation project for looted art.     

Provable security of a pairing-free one-pass authenticated key establishment protocol for wireless sensor networks

Designing efficient as well as secure cryptographic protocols for resource-constrained applications is a challenging task. In this paper, we formally analyze the security of an efficient one-pass authenticated key establishment protocol, the 1P-AKE protocol, which is primarily proposed for resource-constrained sensor nodes devices in wireless sensor networks (WSNs). In contrast to the existing identity-based one-pass key establishment protocols, the 1P-AKE protocol does not require any bilinear pairing computation in order to establish a key. This feature makes it really attractive for resource-constrained application environments, such as WSNs, where pairing computations are too expensive. We show that in the random oracle model, the 1P-AKE protocol is a secure authenticated one-pass key establishment protocol under the computational Diffie–Hellman assumption. The performance of the 1P-AKE protocol is also discussed and compared with the existing relevant protocols.     

Interaction of guided light in rib polymer waveguides with dielectrophoretically controlled nanoparticles

This work demonstrates an optofluidic system, where dielectrophoretically controlled suspended nanoparticles are used to manipulate the properties of an optical waveguide. This optofluidic device is composed of a multimode polymeric rib waveguide and a microfluidic channel as its upper cladding. This channel integrates dielectrophoretic (DEP) microelectrodes and is infiltrated with suspended silica and tungsten trioxide nanoparticles. By applying electrical signals with various intensities and frequencies to the DEP microelectrodes, the nanoparticles can be concentrated close to the waveguide surface significantly altering the optical properties in this region. Depending on the particle refractive indices, concentrations, positions and dimensions, the light remains confined or is scattered into the surrounding media in the microfluidic channel.     

Visualization of myocardial perfusion derived from coronary anatomy

Visually assessing the effect of the coronary artery anatomy on the perfusion of the heart muscle in patients with coronary artery disease remains a challenging task. We explore the feasibility of visualizing this effect on perfusion using a numerical approach. We perform a computational simulation of the way blood is perfused throughout the myocardium purely based on information from a three-dimensional anatomical tomographic scan. The results are subsequently visualized using both three-dimensional visualizations and bull's eye plots, partially inspired by approaches currently common in medical practice. Our approach results in a comprehensive visualization of the coronary anatomy that compares well to visualizations commonly used for other scanning technologies. We demonstrate techniques giving detailed insight in blood supply, coronary territories and feeding coronary arteries of a selected region. We demonstrate the advantages of our approach through visualizations that show information which commonly cannot be directly observed in scanning data, such as a separate visualization of the supply from each coronary artery. We thus show that the results of a computational simulation can be effectively visualized and facilitate visually correlating these results to for example perfusion data.     

A formal model of atomicity in asynchronous systems

Summary We propose a generalisation of occurrence graphs as a formal model of computational structure. The model is used to define the atomic occurrence of a program, to characterise interference freeness between programs, and to model error recovery in a decentralised system.     

The Kurosawa-Desmedt key encapsulation is not chosen-ciphertext secure

At CRYPTO 2004, Kurosawa and Desmedt presented a new hybrid encryption scheme that is chosen-ciphertext (CCA2) secure in the standard model. Until now it was unknown if the key encapsulation part of the Kurosawa-Desmedt scheme by itself is still CCA2-secure or not. In this note we answer this question to the negative, namely we present a simple CCA2 attack on the Kurosawa-Desmedt key encapsulation mechanism. Our attack further supports the design paradigm of Kurosawa and Desmedt to build CCA2-secure hybrid encryption from weak key encapsulation.     

A decomposition theorem for finite persistent transition systems

In this paper, we consider finite labelled transition systems. We show that if such transition systems are deterministic, persistent, and weakly periodic, then they can be decomposed in the following sense. There exists a finite set of label-disjoint cycles such that any other cycle is Parikh-equivalent to a multiset of cycles from this set.     

Alternating current electrical field effects on lettuce (Lactuca sativa) growing in hydroponic culture with and without cadmium contamination

The aim of the present study was to investigate the effect of a 10 Hz alternating current (10 Hz 1 V cm⁻¹) and a 50 Hz alternating current (50 Hz 1 V cm⁻¹) on the lettuce plant (Lactuca sativa) growing in a hydroponic (soil-free) culture. Thirty lettuce plants were pre-germinated, and then 15 of them were treated with cadmium solution (CdCl₂) of 5 mg/L in concentration. Ten plants (five plants with Cd and five plants without Cd) were subjected to a 10 Hz alternating current (AC) electrical field; 10 plants were subjected to a 50 Hz AC field. The rest of the plants were used as a control. The lettuce plants were harvested after a growth of 60 days. The chlorophyll content, biomass and metal content of the lettuce plants were determined. The biomass of the plants growing in non-contaminated medium was 28 and 106% higher under the 10 and the 50 Hz AC fields respectively compared to the control. Although the plant biomass was reduced by the presence of Cd in the growth medium, the biomass of the plants growing in Cd contaminated medium was 40 and 63% higher respectively for 10 and 50 Hz AC field compared to the plant growing in Cd contaminated medium without electrical treatment. Increased uptake of Cd in the plant shoot was found with the 50 Hz AC field. Significant accumulation and uptake of Cu in plant roots and shoots was found under both electrical treatments.