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.     

Optic neuropathy resembling normal-pressure glaucoma in a teenager with congenital macrodiscs

We report a unique case of a renal transplant patient with a long-term nonprogressive human immunodeficiency virus type-1 (HIV-1) infection and who is asymptomatic despite sustained immunosuppression. Renal function is normal, and HIV infection was probably acquired through blood transfusion before the transplant. Nonprogression may be due either to an effective immune control of HIV replication or to particular genetic aspects of the virus. Several virological investigations were carried out to verify if she is infected with an attenuated virus strain. Results show an unusual combination of high and stable CD4 count, ongoing viral replication and elevated viral loads. Attempts to isolate the virus from plasma were unsuccessful, but isolation was possible from peripheral blood mononuclear cells, and the virus was shown to be non-syncytium-inducing. Sequence analysis of the nef gene revealed no mutation. This exceptional lack of progression of HIV infection under immunosuppressive therapy requires further investigation.     

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.     

Integration of MODIS-derived metrics to assess interannual variability in snowpack, lake ice, and NDVI in southwest Alaska

Impacts of global climate change are expected to result in greater variation in the seasonality of snowpack, lake ice, and vegetation dynamics in southwest Alaska. All have wide-reaching physical and biological ecosystem effects in the region. We used Moderate Resolution Imaging Spectroradiometer (MODIS) calibrated radiance, snow cover extent, and vegetation index products for interpreting interannual variation in the duration and extent of snowpack, lake ice, and vegetation dynamics for southwest Alaska. The approach integrates multiple seasonal metrics across large ecological regions.Throughout the observation period (2001-2007), snow cover duration was stable within ecoregions, with variable start and end dates. The start of the lake ice season lagged the snow season by 2 to 3 months. Within a given lake, freeze-up dates varied in timing and duration, while break-up dates were more consistent. Vegetation phenology varied less than snow and ice metrics, with start-of-season dates comparatively consistent across years. The start of growing season and snow melt were related to one another as they are both temperature dependent. Higher than average temperatures during the El Niño winter of 2002-2003 were expressed in anomalous ice and snow season patterns. We are developing a consistent, MODIS-based dataset that will be used to monitor temporal trends of each of these seasonal metrics and to map areas of change for the study area.     

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.     

The Synchronous Approach to Designing Reactive Systems

Synchronous programming is available through several formally defined languages having very different characteristics: Esterel is imperative, while Lustre and Signal are declarative in style; Statecharts and Argos are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imperative, declarative (or dataflow), and graphical programming styles, is that real systems typically have components that match each of these profiles. This paper motivates our interest in the mixed language programming of embedded software around a number of examples, and sketches the semantical foundation of the Synchronie toolset which ensures a coherent computational model. This toolset supports a design trajectory that incorporates rapid prototyping and systematic testing for early design validation, an object oriented development methodology for long term software management, and formal verification at the level of automatically generated object code.     

Chloride and Indium‐Chloride‐Complex Inorganic Ligands for Efficient Stabilization of Nanocrystals in Solution and Doping of Nanocrystal Solids

Here, the surface functionalization of CdSe and CdSe/CdS core/shell nanocrystals (NCs) with compact chloride and indium‐chloride‐complex ligands is reported. The ligands provide not only short interparticle distances but additionally control doping and passivation of surface trap states, leading to enhanced electronic coupling in NC‐based arrays. The solids based on these NCs show an excellent electronic transport behavior after heat treatment at the relatively low temperature of 190 °C. Indeed, the indium‐chlorido‐capped 4.5 nm CdSe NC based thin‐film field‐effect transistor reaches a saturation mobility of μ = 4.1 cm² (V s)^?1 accompanied by a low hysteresis, while retaining the typical features of strongly quantum confined semiconductor NCs. The capping with chloride ions preserves the high photoluminescence quantum yield ( ≈ 66%) of CdSe/CdS core/shell NCs even when the CdS shell is relatively thin (six monolayers). The simplicity of the chemical incorporation of chlorine and indium species via solution ligand exchange, the efficient electronic passivation of the NC surface, as well as their high stability as dispersions make these materials especially attractive for wide‐area solution‐processable fabrication of NC‐based devices.