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.     

Effect of casting conditions on the performance of porous cellulose acetate membranes in reverse osmosis

Several sets of porous cellulose acetate membranes were made using the same casting solution composition and gelation conditions but varying the casting solution temperature and solvent evaporation conditions. The films were tested in reverse osmosis experiments at 250 psig using aqueous feed solutions containing 3500 ppm NaCl. The results show that the product rate obtained at a given level of solute separation is independent of evaporation time in the range tested and, for a given casting solution composition, the temperature of the casting solution and conditions of solvent evaporation during film formation together constitute an important interconnected variable governing the porous structure of the resulting membranes. These results offer a new approach to the problem of developing more productive reverse osmosis membranes and have led to a new class of porous cellulose acetate membranes capable of giving product rates 100% to 150% higher than those of the best membranes reported, at any given level of solute separation under the experimental conditions used. These results are of practical importance in low-pressure reverse osmosis applications.     

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.