A measure of logical complexity of programs

The research in software science has so far been concentrated on three measures of program complexity: (a) software effort; (b) cyclomatic complexity; and (c) program knots. In this paper we propose a measure of the logical complexity of programs in terms of the variable dependency of sequence of computations, inductive effort in writing loops and complexity of data structures. The proposed complexity mensure is described with the aid of a graph which exhibits diagrammatically the dependence of a computation at a node upon the computation of other (earlier) nodes. Complexity measures of several example programs have been computed and the related issues have been discussed. The paper also describes the role played by data structures in deciding the program complexity.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

Derivation of the decoupling relations for composite models from anomaly constraints and n-independence

It is shown, in the composite fermion models studied by 't Hooft and others, that the requirements of Adler-Bell-Jackiw anomaly matching and n-independence are sufficient to fix the indices of composite representations. The third requirement, namely that of decoupling relations, follows from these two constraints in such models and hence is inessential.

Soft Functional Materials Induced by Fibrillar Networks of Small Molecular Photochromic Gelators

Low-molecular-mass organogelators (LMOGs) based on photochromic molecules aggregate in selected solvents to form gels through various spatio-temporal interactions. The factors that control the mode of aggregation of the chromophoric core in the LMOGs during gelation, gelation-induced changes in fluorescence, the formation of stacked superstructures of extended pi-conjugated systems, and so forth are discussed with selected examples. Possible ways of generating various light-harvesting assemblies are proposed, and some unresolved questions, future challenges, and their possible solutions on this topic are presented.

Choice of the End Functional Groups in Tri(p-phenylenevinylene) Derivatives Controls Its Physical Gelation Abilities

New supramolecular organogels based on all-trans-tri(p-phenylenevinylene) (TPV) systems possessing different terminal groups, e.g., oxime, hydrazone, phenylhydrazone, and semicarbazone have been synthesized. The self-assembly properties of the compounds that gelate in specific organic solvents and the aggregation motifs of these molecules in the organogels were investigated using UV−vis, fluorescence, FT-IR, and 1H NMR spectroscopy, electron microscopy, differential scanning calorimetry (DSC), and rheology. The temperature variable UV−vis and fluorescence spectroscopy in different solvents clearly show the aggregation pattern of the self-assemblies promoted by hydrogen bonding, aromatic π-stacking, and van der Waals interactions among the individual TPV units. Gelation could be controlled by variation in the number of hydrogen-bonding donors and acceptors in the terminal functional groups of this class of gelators. Also wherever gelation is observed, the individual fibers in gels change to other types of networks in their aggregates depending on the number of hydrogen-bonding sites in the terminal functions. Comparison of the thermal stability of the gels obtained from DSC data of different gelators demonstrates higher phase transition temperature and enthalpy for the hydrazone-based gelator. Rheological studies indicate that the presence of more hydrogen-bonding donors in the periphery of the gelator molecules makes the gel more viscoelastic solidlike. However, in the presence of more numbers of hydrogen-bonding donor/acceptors at the periphery of TPVs such as with semicarbazone a precipitation as opposed to gelation was observed. Clearly, the choice of the end functional groups and the number of hydrogen-bonding groups in the TPV backbone holds the key and modulates the effective length of the chromophore, resulting in interesting optical properties.

Functional programming systems revisited

Functional Programming (FP) systems are modified and extended to form Nondeterministic Functional Programming (NFP) systems in which nondeterministic programs can be specified and both deterministic and nondeterministic programs can be verified essentially within the system. It is shown that the algebra of NFP programs has simpler laws in comparison with the algebra of FP programs. "Regular" forms are introduced to put forward a disciplined way of reasoning about programs. Finally, an alternative definition of "linear" forms is proposed for reasoning about recursively defined programs. This definition, when used to test the linearity of forms, results in simpler verification conditions than those generated by the original definition of linear forms.

Functional changes in rat liver mitochondria on administration of 2-methyl-4-dimethylaminoazobenzene

Administration of 2-methyl-4-dimethylaminobenzene in the diet (0.1%, w/w) for 85-90 days doubled the content of mitochondria in the livers of rats. The azodye was covalently bound to liver proteins, and about 15% of the amount found in liver was associated with the mitochondrial fraction. Mitochondria isolated from the livers of azodye-fed animals showed drastically lowered ability to oxidize NAD+-linked substrates. The inhibited electron-transfer step was the reduction of ubiquinone. The organelles showed a large increase in succinate oxidase activity. The activity of cytochrome oxidase and the content of cytochrome aa3 were substantially higher in these organelles. Azodye-fed animals showed depressed serum cholesterol concentrations. The content of ubiquinone in liver also registered a small increase.

Studies on Rat Ovarian Receptors for Lutropin (Luteinizing Hormone): Applicability of radioimmunoassay to measure lutropin bound to receptors.

Measurement of receptor-bound unlabelled physiologically active lutropin (luteinizing hormone, LH) was possible by a modified radioimmunoassay. The conventional radioimmunoassayconducted at 4°C was inadequate, whereas the modified assay performed at 37'C could measure receptor-bound lutropin. The radioimmunoassay at 37'C takes only 36h for completion compared with 5-7 days at 4°C. The sensitivity and range of dose-response curves are, however, unaltered. The validity of the technique was established by a number of criteria.

Mitochondrial localization of functional ferrochelatase from Plasmodium falciparum

In the malarial parasite, enzymes of heme-biosynthetic pathway are distributed in different cellular compartments. The site of localization of ferrochelatase in the malarial parasite is crucial, since it will decide the ultimate site of heme synthesis. Earlier results have differed in terms of localization, being the mitochondrion or apicoplast and the functional enzyme has not been cloned, expressed and characterized. The present study reveals that Plasmodium falciparum ferrochelatase (PfFC) gene encodes multiple transcripts of which the one encoding the full length functional protein (PfFC) has been cloned and the recombinant protein over-expressed and purified from E. coli cells. The enzyme shows maximum activity with iron, while zinc is a poor substrate. Immunofluorescence studies with antibodies to functional ferrochelatase reveal that the native enzyme is localized to the mitochondrion of the parasite indicating that this organelle is the ultimate site of heme synthesis.

Identification and functional characterization of a cis-acting positive DNA element regulating CYP 2B1/B2 gene transcription in rat liver

A positive cis-acting DNA element in the near 5'-upstream region of the CYP2B1/B2 genes in rat liver was found to play an important role in the transcription of these genes. An oligonucleotide covering -69 to -98 nt mimicked the gel mobility shift pattern given by the fragment -179 to +29 nt, which was earlier found adequate to confer the regulatory features of this gene. Two major complexes were seen, of which the slower and faster moving complexes became intense under uninduced and Phenobarbitone-induced conditions respectively. Minigene cloned DNA plasmid covering -179 to +181 nt in pUC 19 and Bal 31 mutants derived from this parent were transcribed in whole nuclei and cell free transcription extracts and mutants containing only upto -75 nt of the upstream were poorly transcribed. Transcription extracts from phenobarbitone-injected rat liver nuclei were significantly more active than extracts from uninduced rats in transcribing the minigene constructs. Addition of the oligonucleotide (-69 to -98nt) specifically inhibited the transcription of the minigene construct (-179 to +181 nt) in the cell free transcription system. It is therefore, concluded that the region -69 to -98 nt acts as a positive cis-acting element in the transcription of the CYP2B1/B2 genes and in mediating the inductive effects of phenobarbitone.

Analysis of human chorionic gonadotropin-monoclonal antibody interaction in BIAcore

Kinetic studies of macromolecular ligand-ligate interaction have generated ample interest since the advent of plasmon resonance based instruments like BIAcore. Most of the studies reported in literature assume a simple 1 : 1 Langmuir binding and complete reversibility of the system. However we observed that in a high affinity antigen-antibody system [human chorionic gonadotropin-monoclonal antibody (hCG-mAb)] dissociation is insignificant and the sensogram data cannot be used to measure the equilibrium and kinetic parameters. At low concentrations of mAb the complete sensogram could be fitted to a single exponential. Interestingly we found that at higher mAb concentrations, the binding data did not conform to a simple bimolecular model. Instead, the data fitted a two-step model, which may be because of surface heterogeneity of affinity sites. In this paper, we report on the global fit of the sensograms. We have developed a method by which a single two-minute sensogram can be used in high affinity systems to measure the association rate constant of the reaction and the functional capacity of the ligand (hCG) immobilized on the chip. We provide a rational explanation for the discrepancies generally observed in most of the BIAcore sensograms