Computing complete test graphs for hierarchical systems

Conformance testing focuses on checking whether an implementation. under test (IUT) behaves according to its specification. Typically, testers are interested it? performing targeted tests that exercise certain features of the IUT This intention is formalized as a test purpose. The tester needs a "strategy" to reach the goal specified by the test purpose. Also, for a particular test case, the strategy should tell the tester whether the IUT has passed, failed. or deviated front the test purpose. In [8] Jeron and Morel show how to compute, for a given finite state machine specification and a test purpose automaton, a complete test graph (CTG) which represents all test strategies. In this paper; we consider the case when the specification is a hierarchical state machine and show how to compute a hierarchical CTG which preserves the hierarchical structure of the specification. We also propose an algorithm for an online test oracle which avoids a space overhead associated with the CTG.

A homozygous mutation in LTBP2 causes isolated microspherophakia

Microspherophakia is an autosomal-recessive congenital disorder characterized by small spherical lens. It may be isolated or occur as part of a hereditary systemic disorder, such as Marfan syndrome, autosomal dominant and recessive forms of Weill-Marchesani syndrome, autosomal dominant glaucoma–lens ectopia–microspherophakia–stiVness– shortness syndrome, autosomal dominant microspherophakia with hernia, and microspherophakia-metaphyseal dysplasia. The purpose of this study was to map and identify the gene for isolated microspherophakia in two consanguineous Indian families. Using a whole-genome linkage scan in one family, we identiWed a likely locus for microspherophakia (MSP1) on chromosome 14q24.1–q32.12 between markers D14S588 and D14S1050 in a physical distance of 22.76 Mb. The maximum multi-point lod score was 2.91 between markers D14S1020 and D14S606. The MSP1 candidate region harbors 110 reference genes. DNA sequence analysis of one of the genes, LTBP2, detected a homozygous duplication (insertion) mutation, c.5446dupC, in the last exon (exon 36) in aVected family members. This homozygous mutation is predicted to elongate the LTBP2 protein by replacing the last 6 amino acids with 27 novel amino acids. Microspherophakia in the second family did not map to this locus, suggesting genetic heterogeneity. The present study suggests a role for LTBP2 in the structural stability of ciliary zonules, and growth and development of lens.

Intermolecular Chelate Linkage Isomerism of the Hydroxyimino Group in the Nickel(II), Copper(II), and Palladium(II) Complexes of Quadridentate Schiff-base Ligands

The C-nitrosation of bivalent quadridentate β-imino ketone complexes of nickel(II), copper(II), and palladium(II), with nitrosating reagents has been investigated. The chemical analysis and spectroscopic results reveal that one of the α-CH groups of the coordinated lignad undergoes selective nitrosation forming mono(hydroxyimino) derivative. The hydroxyimino group introduced coordinates through either N- or O- atom to metal(II) by dislodging the carbonyl group already coordinated. This gives rise to two linkage isomers, one with N-bonded and the other with O-bonded hydroxyimino group in the case of nickel(II) (except for 1d) and palladium(II), and a single isomer with O-bonded hydroxyimino group in copper(II) complexes. The isomers obtained from 1b and 1i have been separated by column chromatography. In chloroform each of the isomers of nickel(II) isomerizes to give an equilibrium mixture of two isomers, but not those of copper(II) and palladium(II).

Complete Pick positivity and unitary invariance

The characteristic function for a contraction is a classical complete unitary invariant devised by Sz.-Nagy and Foias. Just as a contraction is related to the Szego kernel k(S) (z, w) = (1 - z (w) over tilde)(-1) for |z|, |w| < 1, by means of (1/k(S))(T,T*) >= 0, we consider an arbitrary open connected domain Omega in C-n, a complete Pick kernel k on Omega and a tuple T = (T-1, ..., T-n) of commuting bounded operators on a complex separable Hilbert space H such that (1/k)(T,T*) >= 0. For a complete Pick kernel the 1/k functional calculus makes sense in a beautiful way. It turns out that the model theory works very well and a characteristic function can be associated with T. Moreover, the characteristic function is then a complete unitary invariant for a suitable class of tuples T.

The complete primary structure of a unique mannose/glucose-specific lectin from field bean (Dolichos lab lab)

The complete amino acid sequence of two non identical subunits of the glucose/mannose-specific lectin from Dolichos lab lab (field bean) has been determined by sequential Edman analyses of the intact subunits and peptides derived by enzymatic and chemical cleavage. Peptides were purified by reverse phase high performance liquid chromatography and ion pair chromatography. The D. lab lab lectin is a glycoprotein having two polypeptide chains of 132 and 105 amino acid residues. The amino acid sequence of the D. Lab lab lectin is compared with the various lectins of the family Leguminosae. The D. lab lab lectin is the only species of the tribe Phaseoleae that contains two nonidentical subunits of almost equal size and that shows a specificity to glucose/ mannose. The lectin shows a greater homology to the glucose/mannose specific lectins, especially concanavalin A. The unique subunit architecture of the D. lab lab lectin indicates the presence of new post translational cleavage sites.

Constructions of 2D-Metallamacrocycles Using Half-Sandwich Ru-2(II) Precursors: Synthesis, Molecular Structures, and Self-Selection for a Single Linkage Isomer

Coordination-driven self-assembly of oxalato-bridged half-sandwich p-cymene ruthenium complex Ru-2(mu-eta(4)-C2O4)(MeOH)(2)(eta(6)-p-cymene)(2)] (O3SCF3)(2) (1a) with several ditopic donors (L-a-L-d) in methanol affords a series of bi- and tetranuclear metallamacrocycles (2a and 3-5). Similarly, the combination of 2,5-dihydroxy-1,4-benzoquinonato (dhbq)-bridged binuclear complex Ru-2(mu-eta(4)-C6H2O4)(MeOH)(2)(eta(6)-p-cymene)(2)](O3SCF3)(2) (1b) with a flexible bidentate amide linker (L-a) in 1:1 molar ratio gave the corresponding tetranuclear complex 2b. All the macrocycles were isolated as their triflate salts in high yields and were fully characterized by various spectroscopic techniques. Finally, the molecular structures of all the assemblies were determined unambiguously by single-crystal X-diffraction analysis. Interestingly, the combination of acceptor 1a or 1b with an unsymmetrical linear ditopic donor L-a results in a self-sorted linkage isomeric (head-to-tail) macrocycle (2a or 2b) despite the possibility of formation of two different isomeric macrocycles (head-to-head or head-to-tail) due to different connectivity of the donor. Molecular structures of the complexes 2a and 2b showed tetranuclear rectangular geometry with dimensions of 5.51 angstrom x 13.29 angstrom for 2a and 7.91 angstrom x 13.46 angstrom for 2b. In both cases, two binuclear Ru-2(II) building blocks are connected by a mu-N-(4-pyridyl)isonicotinamide donor in a head-to-tail fashion. Surprisingly, the macrocycle 2a loses one counteranion and cocrystallizes with monodeprotonated 1,3,5-trihydroxybenzene via strong intermolecular pi-pi stacking and hydrogen bonding. The tweezer complex 3 showed strong fluorescence in solution, and it showed fluorescence sensing toward nitroaromatic compounds. A fluorescence study demonstrated a marked quenching of the initial fluorescence intensity of the macrocycle 3 upon gradual addition of trinitrotoluene and exhibits significant fluorescence quenching response only for nitroaromatic compounds compared to various other aromatic compounds tested.

Influence of glycosidic linkage on the nature of carbohydrate binding in beta-prism I fold lectins: An X-ray and molecular dynamics investigation on banana lectin-carbohydrate complexes

The three crystal structures reported here provide details of the interactions of mannose and the mannosyl-alpha-1,3-mannose component of a pentamannose with banana lectin and evidence for the binding of glucosyl-alpha-1,2-glucose to the lectin. The known structures involving the lectin include a complex with glucosyl-beta-1,3-glucose. Modeling studies on the three disaccharide complexes with the reducing end and the nonreducing end at the primary binding site are also provided here. The results of the Xray and modeling studies show that the disaccharides with an alpha-1,3 linkage prefer to have the nonreducing end at the primary binding site, whereas the reducing end is preferred at the site when the linkage is beta-1,3 in mannose/glucose-specific beta-prism I fold lectins. In the corresponding galactose-specific lectins, however, alpha-1,3-linked disaccharides cannot bind the lectin with the nonreducing end at the primary binding site on account of steric clashes with an aromatic residue that occurs only when the lectin is galactose-specific. Molecular dynamics simulations based on the known structures involving banana lectin enrich the information on lectin-carbohydrate interactions obtained from crystal structures. They demonstrate that conformational selection as well as induced fit operate when carbohydrates bind to banana lectin.

Coordination driven self-assembly of metallamacrocycles using ambidentate linkers and self-selection of single linkage isomer

Nicotinate-N-oxide and isonicotinate-N-oxide have been employed to synthesize four heterometallic metallamacrocycles (dppf)(2)Pd-2(nicotinate-N-oxide)(2)](OTf)(2) (1), (dppf)(2)Pt-2(nicotinate-N-oxide)(2)](OTf)(2) (2), (dppf) 2Pd2(isonicotinate-N-oxide)(2)](OTf)(2) (3) and (dppf)(2)Pt-2(isonicotinate-N-oxide)(2)](OTf)(2) (4). The complexes represent the first examples of metallamacrocycles driven by solely Pd(II)/Pt(II)-O coordination using carboxylate-N-oxide donor. All the complexes 1-4 are characterized by IR, UV-Vis, multinuclear NMR spectroscopic and ESI-MS studies. The molecular structures of the complexes 1 and 3 are unambiguously determined by single crystal X-ray diffraction analysis. Despite the possibility of formation of several linkage isomers due to ambidentate nature of the donors, exclusive formation of 2 + 2] self-assembled single isomeric metallamacrocycle in each case is interesting observation. (C) 2011 Elsevier B.V. All rights reserved.

Synthetic studies directed towards the potent cytotoxic natural product ottelione A: stereoselective construction of the complete framework

A stereoselective strategy for the rapid acquisition of the complete framework (dideoxyottelione A) of the promising cytotoxic agent ottelione A, with four contiguous stereogenic centres on a hydrindane skeleton and a sensitive 4-methylenecyclohex-2-enone functionality, from the readily available Diels-Alder adduct of 1,2,3,4-tetrachloro-5,5-dimethoxycyclopentadiene and norbornadiene, is delineated.

Synthetic studies towards novel terpenic natural products kelsoene and poduran: Construction of the complete 4-5-5-fused tricarbocyclic core

A common synthetic approach to the recently reported sesquiterpene kelsoene 1 and the tetraterpene poduran 5, bearing a novel tricyclo[6.2.0.0(2,6)]decane framework, from commercially available 1,5-COD and leading to the first construction of the carbocyclic core present in these natural products is delineated.

Advantage of the ether linkage between the positive charge and the cholesteryl skeleton in cholesterol-based amphiphiles as vectors for gene delivery

Twelve novel cationic cholesterol derivatives with different linkage types between the cationic headgroup and the cholesteryl backbone have been developed. These have been tested for their efficacies as gene transfer agents as mixtures with dioleoyl phosphatidylethanolamine (DOPE). A pronounced improvement in transfection efficiency was observed when the cationic center was linked to the steroid backbone using an ether type bond. Among these, cholest-5-en-3b-oxyethane-N, N,N-trimethylammonium bromide (2a) and cholest-5-en-3b-oxyethane-N, N-dimethyl-N-2-hydroxyethylammonium bromide (3d) showed transfection efficiencies considerably greater than commercially available reagents such as Lipofectin or Lipofectamine. To achieve transfection, 3d did not require DOPE. Increasing hydration at the headgroup level for both ester- and ether-linked amphiphiles resulted in progressive loss of transfection efficiency. Transfection efficiency was also greatly reduced when a 'disorder'-inducing chain like an oleyl (cis-9-octadecenyl) segment was added to these cholesteryl amphiphiles. Importantly, the transfection ability of 2a with DOPE in the presence of serum was significantly greater than for a commercially available reagent, Lipofectamine. This suggests that these novel cholesterol-based amphiphiles might prove promising in applications involving liposome-mediated gene transfection. This investigation demonstrates the importance of structural features at the molecular level for the design of cholesterol-based gene delivery reagents that would aid the development of newer, more efficient formulations based on this class of molecules.

A Complete Characterization of an Optimal Timer Based Selection Scheme

Timer-based mechanisms are often used in several wireless systems to help a given (sink) node select the best helper node among many available nodes. Specifically, a node transmits a packet when its timer expires, and the timer value is a function of its local suitability metric. In practice, the best node gets selected successfully only if no other node's timer expires within a `vulnerability' window after its timer expiry. In this paper, we provide a complete closed-form characterization of the optimal metric-to-timer mapping that maximizes the probability of success for any probability distribution function of the metric. The optimal scheme is scalable, distributed, and much better than the popular inverse metric timer mapping. We also develop an asymptotic characterization of the optimal scheme that is elegant and insightful, and accurate even for a small number of nodes.