Unitary invariants for Hilbert modules of finite rank

We associate a sheaf model to a class of Hilbert modules satisfying a natural finiteness condition. It is obtained as the dual to a linear system of Hermitian vector spaces (in the sense of Grothendieck). A refined notion of curvature is derived from this construction leading to a new unitary invariant for the Hilbert module. A division problem with bounds, originating in Douady's privilege, is related to this framework. A series of concrete computations illustrate the abstract concepts of the paper.

Dimeric 1,3-Phenylene-bis(piperazinyl benzimidazole)s: Synthesis and Structure-Activity Investigations on their Binding with Human Telomeric G-Quadruplex DNA and Telomerase Inhibition Properties

Ligand-induced stabilization of G-quadruplex structures formed by the human telomeric DNA is an active area of research. The compounds which stabilize the G-quadruplexes often lead to telomerase inhibition. Herein we present the results of interaction of new monomeric and dimeric ligands having 1,3-phenylene-bis(piperazinyl benzimidazole) unit with G-quadruplex DNA (G4DNA) formed by human telomeric repeat d(G(3)T(2)A)(3)G(3)]. These ligands efficiently stabilize the preformed G4DNA in the presence of 100 mM monovalent alkali metal ions. Also, the G4DNA formed in the presence of low concentrations of ligands in 100 mM K+ adopts a highly stable parallel-stranded conformation. The G-quadruplexes formed in the presence of the dimeric compound are more stable than that induced by the corresponding monomeric counterpart. The dimeric ligands having oligo-oxyethylene spacers provide much higher stability to the preformed G4DNA and also exert significantly higher telomerase inhibition activity. Computational aspects have also been discussed.

Surface electrode switching of a 16-electrode wireless EIT system using RF-based digital data transmission scheme with 8 channel encoder/decoder ICs

A Radio Frequency (RF) based digital data transmission scheme with 8 channel encoder/decoder ICs is proposed for surface electrode switching of a 16-electrode wireless Electrical Impedance Tomography (EIT) system. A RF based wireless digital data transmission module (WDDTM) is developed and the electrode switching of a EIT system is studied by analyzing the boundary data collected and the resistivity images of practical phantoms. An analog multiplexers based electrode switching module (ESM) is developed with analog multiplexers and switched with parallel digital data transmitted by a wireless transmitter/receiver (T-x/R-x) module working with radio frequency technology. Parallel digital bits are generated using NI USB 6251 card working in LabVIEW platform and sent to transmission module to transmit the digital data to the receiver end. The transmitter/receiver module developed is properly interfaced with the personal computer (PC) and practical phantoms through the ESM and USB based DAQ system respectively. It is observed that the digital bits required for multiplexer operation are sequentially generated by the digital output (D/O) ports of the DAQ card. Parallel to serial and serial to parallel conversion of digital data are suitably done by encoder and decoder ICs. Wireless digital data transmission module successfully transmitted and received the parallel data required for switching the current and voltage electrodes wirelessly. 1 mA, 50 kHz sinusoidal constant current is injected at the phantom boundary using common ground current injection protocol and the boundary potentials developed at the voltage electrodes are measured. Resistivity images of the practical phantoms are reconstructed from boundary data using EIDORS. Boundary data and the resistivity images reconstructed from the surface potentials are studied to assess the wireless digital data transmission system. Boundary data profiles of the practical phantom with different configurations show that the multiplexers are operating in the required sequence for common ground current injection protocol. The voltage peaks obtained at the proper positions in the boundary data profiles proved the sequential operation of multiplexers and successful wireless transmission of digital bits. Reconstructed images and their image parameters proved that the boundary data are successfully acquired by the DAQ system which in turn again indicates a sequential and proper operation of multiplexers as well as the successful wireless transmission of digital bits. Hence the developed RF based wireless digital data transmission module (WDDTM) is found suitable for transmitting digital bits required for electrode switching in wireless EIT data acquisition system. (C) 2011 Elsevier Ltd. All rights reserved.

A Numerical Scheme for Three-Dimensional Front Propagation and Control of Jordan Mode

As an example of a front propagation, we study the propagation of a three-dimensional nonlinear wavefront into a polytropic gas in a uniform state and at rest. The successive positions and geometry of the wavefront are obtained by solving the conservation form of equations of a weakly nonlinear ray theory. The proposed set of equations forms a weakly hyperbolic system of seven conservation laws with an additional vector constraint, each of whose components is a divergence-free condition. This constraint is an involution for the system of conservation laws, and it is termed a geometric solenoidal constraint. The analysis of a Cauchy problem for the linearized system shows that when this constraint is satisfied initially, the solution does not exhibit any Jordan mode. For the numerical simulation of the conservation laws we employ a high resolution central scheme. The second order accuracy of the scheme is achieved by using MUSCL-type reconstructions and Runge-Kutta time discretizations. A constrained transport-type technique is used to enforce the geometric solenoidal constraint. The results of several numerical experiments are presented, which confirm the efficiency and robustness of the proposed numerical method and the control of the Jordan mode.

Wrinkled and slack membranes: nonlinear 3D elasticity solutions via smooth DMS-FEM and experiment

The smooth DMS-FEM, recently proposed by the authors, is extended and applied to the geometrically nonlinear and ill-posed problem of a deformed and wrinkled/slack membrane. A key feature of this work is that three-dimensional nonlinear elasticity equations corresponding to linear momentum balance, without any dimensional reduction and the associated approximations, directly serve as the membrane governing equations. Domain discretization is performed with triangular prism elements and the higher order (C1 or more) interelement continuity of the shape functions ensures that the errors arising from possible jumps in the first derivatives of the conventional C0 shape functions do not propagate because the ill-conditioned tangent stiffness matrices are iteratively inverted. The present scheme employs no regularization and exhibits little sensitivity to h-refinement. Although the numerically computed deformed membrane profiles do show some sensitivity to initial imperfections (nonplanarity) in the membrane profile needed to initiate transverse deformations, the overall patterns of the wrinkles and the deformed shapes appear to be less so. Finally, the deformed profiles, computed through the DMS FEM-based weak formulation, are compared with those obtained through an experiment on an ultrathin Kapton membrane, wherein wrinkles form because of the applied boundary displacement conditions. Comparisons with a reported experiment on a rectangular membrane are also provided. These exercises lend credence to the feasibility of the DMS FEM-based numerical route to computing post-wrinkled membrane shapes. Copyright (c) 2012 John Wiley & Sons, Ltd.

Recent Developments in the Chemistry and Biology of G-Quadruplexes with Reference to the DNA Groove Binders

DNA is the chemotherapeutic target for treating diseases of genetic origin. Besides well-known double-helical structures (A, B, Z, parallel stranded-DNA etc.), DNA is capable of forming several multi-stranded structures (triplex, tetraplex, i-motif etc.) which have unique biological significance. The G-rich 3'-ends of chromosomes, called telomeres, are synthesized by telomerase, a ribonucleoprotein, and over-expression of telomerase is associated with cancer. The activity of telomerase is suppressed if the G-rich region is folded into the four stranded structures, called G-quadruplexes (G4-DNAs) using small synthetic ligands. Thus design and synthesis of new G4-DNA ligands is an attractive strategy to combat cancer. G4-DNA forming sequences are also prevalent in other genomic regions of biological significance including promoter regions of several oncogenes. Effective gene regulation may be achieved by inducing a G4-DNA structure within the G-rich promoter sequences. To date, several G4-DNA stabilizing ligands are known. DNA groove binders interact with the duplex B-DNA through the grooves (major and minor groove) in a sequence-specific manner. Some of the groove binders are known to stabilize the G4-DNA. However, this is a relatively under explored field of research. In this review, we focus on the recent advances in the understanding of the G4-DNA structures, particularly made from the human telomeric DNA stretches. We summarize the results of various investigations of the interaction of various organic ligands with the G4-DNA while highlighting the importance of groove binder-G4-DNA interactions.

Hilbert W*-modules and coherent states

Hilbert C*-module valued coherent states was introduced earlier by Ali, Bhattacharyya and Shyam Roy. We consider the case when the underlying C*-algebra is a W*-algebra. The construction is similar with a substantial gain. The associated reproducing kernel is now algebra valued, rather than taking values in the space of bounded linear operators between two C*-algebras.

Binding of Gemini Bisbenzimidazole Drugs with Human Telomeric G-Quadruplex Dimers: Effect of the Spacer in the Design of Potent Telomerase Inhibitors

The study of anticancer agents that act via stabilization of telomeric G-quadruplex DNA (G4DNA) is important because such agents often inhibit telomerase activity. Several types of G4DNA binding ligands are known. In these studies, the target structures often involve a single G4 DNA unit formed by short DNA telomeric sequences. However, the 3'-terminal single-stranded human telomeric DNA can form higher-order structures by clustering consecutive quadruplex units (dimers or nmers). Herein, we present new synthetic gemini (twin) bisbenzimidazole ligands, in which the oligo-oxyethylene spacers join the two bisbenzimidazole units for the recognition of both monomeric and dimeric G4DNA, derived from d(T2AG3)4 and d(T2AG3) 8 human telomeric DNA, respectively. The spacer between the two bisbenzimidazoles in the geminis plays a critical role in the G4DNA stability. We report here (i) synthesis of new effective gemini anticancer agents that are selectively more toxic towards the cancer cells than the corresponding normal cells; (ii) formation and characterization of G4DNA dimers in solution as well as computational construction of the dimeric G4DNA structures. The gemini ligands direct the folding of the single-stranded DNA into an unusually stable parallel-stranded G4DNA when it was formed in presence of the ligands in KCl solution and the gemini ligands show spacer length dependent potent telomerase inhibition properties.

Potential G-quadruplex formation at breakpoint regions of chromosomal translocations in cancer may explain their fragility

Genetic alterations like point mutations, insertions, deletions, inversions and translocations are frequently found in cancers. Chromosomal translocations are one of the most common genomic aberrations associated with nearly all types of cancers especially leukemia and lymphoma. Recent studies have shown the role of non-B DNA structures in generation of translocations. In the present study, using various bioinformatic tools, we show the propensity of formation of different types of altered DNA structures near translocation breakpoint regions. In particular, we find close association between occurrence of G-quadruplex forming motifs and fragile regions in almost 70% of genes involved in rearrangements in lymphoid cancers. However, such an analysis did not provide any evidence for the occurrence of G-quadruplexes at the close vicinity of translocation breakpoint regions in nonlymphoid cancers. Overall, this study will help in the identification of novel non-B DNA targets that may be responsible for generation of chromosomal translocations in cancer. (C) 2012 Elsevier Inc. All rights reserved.

Stabilization and Structural Alteration of the G-Quadruplex DNA Made from the Human Telomeric Repeat Mediated by Troger's Base Based Novel Benzimidazole Derivatives

Ligand-induced stabilization of the G-quadruplex DNA structure derived from the single-stranded 3'-overhang of the telomeric DNA is an attractive strategy for the inhibition of the telomerase activity. The agents that can induce/stabilize a DNA sequence into a G-quadruplex structure are therefore potential anticancer drugs. Herein we present the first report of the interactions of two novel bisbenzimidazoles (TBBz1 and TBBz2) based on Troger's base skeleton with the G-quadruplex DNA (G4DNA). These Troger's base molecules stabilize the G4DNA derived from a human telomeric sequence. Evidence of their strong interaction with the G4DNA has been obtained from CD spectroscopy, thermal denaturation, and UV-vis titration studies. These ligands also possess significantly higher affinity toward the G4DNA over the duplex DNA. The above results obtained are in excellent agreement with the biological activity, measured in vitro using a modified TRAP assay. Furthermore, the ligands are selectively more cytotoxic toward the cancerous cells than the corresponding noncancerous cells. Computational studies suggested that the adaptive scaffold might allow these ligands to occupy not only the G-quartet planes but also the grooves of the G4DNA.

Power Controlled Reverse Channel Training Achieves an Infinite Diversity Order in a TDD-SIMO System with Perfect CSIR

In this letter, we analyze the Diversity Multiplexinggain Tradeoff (DMT) performance of a training-based reciprocal Single Input Multiple Output (SIMO) system. Assuming Channel State Information (CSI) is available at the Receiver (CSIR), we propose a channel-dependent power-controlled Reverse Channel Training (RCT) scheme that enables the transmitter to directly estimate the power control parameter to be used for the forwardlink data transmission. We show that, with an RCT power of (P) over bar (gamma), gamma > 0 and a forward data transmission power of (P) over bar, our proposed scheme achieves an infinite diversity order for 0 <= g(m) < L-c-L-B,L-tau/L-c min(gamma, 1) and r > 2, where g(m) is the multiplexing gain, L-c is the channel coherence time, L-B,L-tau is the RCT duration and r is the number of receive antennas. We also derive an upper bound on the outage probability and show that it goes to zero asymptotically as exp(-(P) over bar (E)), where E (sic) (gamma - g(m)L(c)/L-c-L-B,L-tau), at high (P) over bar. Thus, the proposed scheme achieves a significantly better DMT performance compared to the finite diversity order achieved by channel-agnostic, fixed-power RCT schemes.

Evaluation of Fracture Parameters by Double-G, Double-K Models and Crack Extension Resistance for High Strength and Ultra High Strength Concrete Beams

This paper presents the advanced analytical methodologies such as Double- G and Double - K models for fracture analysis of concrete specimens made up of high strength concrete (HSC, HSC1) and ultra high strength concrete. Brief details about characterization and experimentation of HSC, HSC1 and UHSC have been provided. Double-G model is based on energy concept and couples the Griffith's brittle fracture theory with the bridging softening property of concrete. The double-K fracture model is based on stress intensity factor approach. Various fracture parameters such as cohesive fracture toughness (4), unstable fracture toughness (K-Ic(c)), unstable fracture toughness (K-Ic(un)) and initiation fracture toughness (K-Ic(ini)) have been evaluated based on linear elastic fracture mechanics and nonlinear fracture mechanics principles. Double-G and double-K method uses the secant compliance at the peak point of measured P-CMOD curves for determining the effective crack length. Bi-linear tension softening model has been employed to account for cohesive stresses ahead of the crack tip. From the studies, it is observed that the fracture parameters obtained by using double - G and double - K models are in good agreement with each other. Crack extension resistance has been estimated by using the fracture parameters obtained through double - K model. It is observed that the values of the crack extension resistance at the critical unstable point are almost equal to the values of the unstable fracture toughness K-Ic(un) of the materials. The computed fracture parameters will be useful for crack growth study, remaining life and residual strength evaluation of concrete structural components.

Mobile node authentication using key distribution scheme in wireless sensor networks

We consider the problem of secure communication in mobile Wireless Sensor Networks (WSNs). Achieving security in WSNs requires robust encryption and authentication standards among the sensor nodes. Severe resources constraints in typical Wireless Sensor nodes hinder them in achieving key agreements. It is proved from past studies that many notable key management schemes do not work well in sensor networks due to their limited capacities. The idea of key predistribution is not feasible considering the fact that the network could scale to millions. We prove a novel algorithm that provides robust and secure communication channel in WSNs. Our Double Encryption with Validation Time (DEV) using Key Management Protocol algorithm works on the basis of timed sessions within which a secure secret key remains valid. A mobile node is used to bootstrap and exchange secure keys among communicating pairs of nodes. Analysis and simulation results show that the performance of the DEV using Key Management Protocol Algorithm is better than the SEV scheme and other related work.

Prioritizing constraint evaluation for efficient points-to analysis

Pervasive use of pointers in large-scale real-world applications continues to make points-to analysis an important optimization-enabler. Rapid growth of software systems demands a scalable pointer analysis algorithm. A typical inclusion-based points-to analysis iteratively evaluates constraints and computes a points-to solution until a fixpoint. In each iteration, (i) points-to information is propagated across directed edges in a constraint graph G and (ii) more edges are added by processing the points-to constraints. We observe that prioritizing the order in which the information is processed within each of the above two steps can lead to efficient execution of the points-to analysis. While earlier work in the literature focuses only on the propagation order, we argue that the other dimension, that is, prioritizing the constraint processing, can lead to even higher improvements on how fast the fixpoint of the points-to algorithm is reached. This becomes especially important as we prove that finding an optimal sequence for processing the points-to constraints is NP-Complete. The prioritization scheme proposed in this paper is general enough to be applied to any of the existing points-to analyses. Using the prioritization framework developed in this paper, we implement prioritized versions of Andersen's analysis, Deep Propagation, Hardekopf and Lin's Lazy Cycle Detection and Bloom Filter based points-to analysis. In each case, we report significant improvements in the analysis times (33%, 47%, 44%, 20% respectively) as well as the memory requirements for a large suite of programs, including SPEC 2000 benchmarks and five large open source programs.

A generic variant of NIST’s KAS2 key agreement protocol

We propose a generic three-pass key agreement protocol that is based on a certain kind of trapdoor one-way function family. When specialized to the RSA setting, the generic protocol yields the so-called KAS2 scheme that has recently been standardized by NIST. On the other hand, when specialized to the discrete log setting, we obtain a new protocol which we call DH2. An interesting feature of DH2 is that parties can use different groups (e.g., different elliptic curves). The generic protocol also has a hybrid implementation, where one party has an RSA key pair and the other party has a discrete log key pair. The security of KAS2 and DH2 is analyzed in an appropriate modification of the extended Canetti-Krawczyk security model.