Detecting stable locality-aware predicates

In a large-scale locality-driven network such as in modular robotics and wireless sensor networks, knowing the state of a local area is sometimes necessary due to either interactions being local and driven by neighborhood proximity or the users being interested in the state of a certain region. We define locality-aware predicates (LAP) that aim at detecting a predicate within a specified area. We model the area of interest as the set of processes that are within a breadth-first search tree (BFST) of height k$k$ rooted at the initiator process. Although a locality-aware predicate specifies a predicate only within a local area, observing the area consistently requires considering the entire system in a consistent manner. This raises the challenge of making the complexities of the corresponding predicate detection algorithms scale-free, i.e., independent of the size of the system. Since all existing algorithms for getting a consistent view of the system require either a global snapshot of the entire system or vector clocks of the size of the system, a new solution is needed. We focus on stable LAP, which are those LAP that remain true once they become true. We propose a scale-free algorithm to detect stable LAP within a k$k$-height BFST. Our algorithm can detect both stable conjunctive LAP and stable relational LAP. In the process of designing our algorithm, we also propose the first distributed algorithm for building a BFST within an area of interest in a graph, and the first distributed algorithm for recording a consistent sub-cut within the area of interest. This paper demonstrates that LAPs are a natural fit for detecting distributed properties in large-scale distributed systems, and stable LAPs can be practically detected at low cost.     

A domain decomposition strategy for alignment of multiple biological sequences on multiprocessor platforms

Multiple Sequences Alignment (MSA) of biological sequences is a fundamental problem in computational biology due to its critical significance in wide ranging applications including haplotype reconstruction, sequence homology, phylogenetic analysis, and prediction of evolutionary origins. The MSA problem is considered NP-hard and known heuristics for the problem do not scale well with increasing numbers of sequences. On the other hand, with the advent of a new breed of fast sequencing techniques it is now possible to generate thousands of sequences very quickly. For rapid sequence analysis, it is therefore desirable to develop fast MSA algorithms that scale well with an increase in the dataset size. In this paper, we present a novel domain decomposition based technique to solve the MSA problem on multiprocessing platforms. The domain decomposition based technique, in addition to yielding better quality, gives enormous advantages in terms of execution time and memory requirements. The proposed strategy allows one to decrease the time complexity of any known heuristic of O(N)^x$O{\left(N\right)}^x$ complexity by a factor of O(1/p)^x$O{(1/p)}^x$, where N$N$ is the number of sequences, x$x$ depends on the underlying heuristic approach, and p$p$ is the number of processing nodes. In particular, we propose a highly scalable algorithm, Sample-Align-D, for aligning biological sequences using Muscle system as the underlying heuristic. The proposed algorithm has been implemented on a cluster of workstations using the MPI library. Experimental results for different problem sizes are analyzed in terms of quality of alignment, execution time and speed-up.     

Clozapine Increases Nestin Concentration in the Adult Male Rat Hippocampus: A Preliminary Study

Patients with schizophrenia, and rodent models of the disease, both exhibit suppressed neurogenesis, with antipsychotics possibly enhancing neurogenesis in pre-clinical models. Nestin, a cytoskeletal protein, is implicated in neuronal differentiation and adult neurogenesis. We hypothesized that schizophrenia pathogenesis involves nestin downregulation; however, few studies have related nestin to schizophrenia. We assessed nestin protein concentration, prepulse inhibition (PPI), and social interaction in the MK-801 model of schizophrenia, with or without antipsychotic (clozapine) treatment. Adult male Sprague–Dawley rats were intraperitoneally administered saline or MK-801 (0.1 mg/kg) to produce a schizophrenia-like phenotype, with concomitant subcutaneous injections of vehicle or clozapine (5 mg/kg). PPI was assessed on days 1, 8, and 15, and social interaction was assessed on day 4. Hippocampus tissue samples were dissected for Western blotting of nestin concentration. MK-801 alone did not alter nestin concentration, while clozapine alone enhanced hippocampal nestin concentration; this effect was not apparent in animals with MK-801 and clozapine co-administration. MK-801 also produced schizophrenia-like PPI disruptions, some of which were reversed by clozapine. Social interaction deficits were not detected in this model. This is the first report of clozapine-induced enhancements of hippocampal nestin concentration that might be mediated by NMDA receptors. Future studies will explore the impact of neurodevelopmental nestin concentration on symptom onset and antipsychotic treatment.     

Early age deformations of concrete with high content of mineral additions

Under the project “EcoBéton” (Green concrete) funded by the French National Agency (ANR), concrete mixtures with a high quantity of mineral additions, such as blast-furnace slag and fly ash were studied. A first approach to quantify their cracking risk was to measure their plastic shrinkage evolution. In parallel, the evolution of other parameters such as setting, capillary depression and porosity were also monitored to relate this deformation to the evolution of the microstructure of the studied mixtures. Setting monitoring by means of ultrasonic measurements allows obtaining significant macroscopic information such as hardening process and rigidity evolution. The correlation between these different parameters shows that the plastic shrinkage evolution can be divided into three phases driven by different mechanisms. Moreover, it appears that the use of mineral additions has an effect on the plastic shrinkage behaviour, but this impact is not proportional to the percentage of additions. It depends on the hydration process and the microstructure of the cementitious materials. So, it seems that an optimum content of cement replacement by mineral additions must be sought to limit the development of plastic shrinkage of concretes with mineral additions at early age. However, a high rate of substitution of cement may affect the early age compressive strength of the concrete. So these mixtures were also optimised to obtain a significant compressive strength at an early age, but this optimisation leads to a higher risk of cracking for some of them.     

Simulations of delamination in CFRP laminates: Effect of microstructural randomness

Due to their high specific strength and stiffness, fibre-reinforced composite materials are being increasingly used in structural applications where a high level of performance is important (e.g. aerospace, automotive, offshore structures, etc.). Performance in service of these composites is affected by multi-mechanism damage evolution under loading and environmental conditions. For instance, carbon fibre-reinforced laminates demonstrate a wide spectrum of failure mechanisms such as matrix cracking and delamination. These damage mechanisms can result in significant deterioration of the residual stiffness and load-bearing capacity of composite components and should be thoroughly investigated. The delamination failure mechanism is studied in this paper for a double cantilever beam (DCB) loaded in mode I. Several sensitivity studies are performed to analyse the effects of mesh density and of parameters of the cohesive law on the character of damage propagation in laminates. The microstructural randomness of laminates that is responsible for non-uniform distributions of stresses in them even under uniform loading conditions is accounted for in the model. The random properties are introduced with the use of Weibull’s two-parameter probability density function. Several statistical realisations are carried out which show that the effect of microstructure could significantly affect the macroscopic response emphasizing the need to account for microstructural randomness for accurate predictions of load-carrying capacity of laminate composite structures.     

Iterative compensation schemes for multimedia content authentication

Multimedia content authentication can be achieved by deriving a fragile content-based signature from a media signal and embedding it robustly back into the signal. The perturbation due to embedding needs to be compensated with mechanisms that lead to producing the original signature. Closed form solutions for compensation are not always feasible. In this paper, we propose two iterative compensation schemes to address such scenarios. The first is based on a set-theoretic approach by using projections onto convex sets (POCS), where signature generation and signal fidelity are modeled as convex constraint sets. The other scheme uses an additive iterative approach used in the cases where the POCS approach is not applicable. Examples of successful image authentication are presented to demonstrate the effectiveness of the proposed schemes over a range of watermark-embedding robustness. A comparison with the closed-form compensation scheme, when feasible, is also presented.     

Anterior segment OCT-based diagnosis and management of retained Descemet''s membrane following penetrating keratoplasty

PURPOSE: To report a case of retained Descemet's membrane after penetrating keratoplasty for congenital hereditary endothelial dystrophy (CHED) documented by anterior segment optical coherence tomography and review of literature. METHODS: Case report and review of literature. RESULTS: A 14-year-old boy underwent penetrating keratoplasty for CHED. A retained host Descemet's membrane was detected with a supernumerary anterior chamber on the first postoperative day. The retained Descemet's membrane was documented using slit lamp adapted anterior segment optical coherence tomography (SLOCT). Surgical intervention for the Descemet's membrane removal was done in the third postoperative week. The complete removal of the membrane was confirmed on SLOCT. CONCLUSION: Inadvertent retention of the host Descemet's membrane is a rare but possible complication in penetrating keratoplasty for CHED. Proper anticipation, early detection and removal will help in preventing any undue risk of graft failure.     

Nanofabrication of gallium nitride photonic crystal light-emitting diodes

We describe a comparison of nanofabrication technologies for the fabrication of 2D photonic crystal structures on GaN/InGaN blue LEDs. Such devices exhibit enhanced brightness and the possibility of controlling the angular emission profile of emitted light. This paper describes three nano lithography techniques for patterning photonic crystal structures on the emitting faces of LEDs: direct-write electron beam lithography, hard stamp nanoimprint lithography and soft-stamp nanoimprint lithography with disposable embossing masters. In each case we describe variations on the technique as well as its advantages and disadvantages. Complete process details have been given for all three techniques. In addition, we show how high performance GaN dry etch techniques, coupled with optical process monitoring can transfer resist patterns into underlying GaN material with high fidelity.