Trades and Graphs

The trade spectrum of a simple graph G is defined to be the set of all t for which it is possible to assemble together t copies of G into a simple graph H, and then disassemble H into t entirely different copies of G. Trade spectra of graphs have applications to intersection problems, and defining sets, of G-designs. In this investigation, we give several constructions, both for specific families of graphs, and for graphs in general.

Decomposition of complete tripartite graphs into gregarious 4-cycles

A 4-cycle in a tripartite graph with vertex partition {V-1, V-2, V-3} is said to be gregarious if it has at least one vertex in each V-i, 1 less than or equal to i less than or equal to 3. In this paper, necessary and sufficient conditions are given for the existence of an edge-disjoint decomposition of any complete tripartite graph into gregarious 4-cycles.

Wolbachia infections and the expression of cytoplasmic incompatibility in Drosophila sechellia and D. mauritiana

Various stocks of Drosophila mauritiana and D. sechellia were found to be infected with Wolbachia, a Rickettsia-like bacterium that is known to cause cytoplasmic incompatibility and other reproductive abnormalities in arthropods. Testing for the expression of cytoplasmic incompatibility in these two species showed partial incompatibility in D. sechellia but no expression of incompatibility in D. mauritiana. To determine whether absence of cytoplasmic incompatibility in D. mauritiana was due to either the bacterial or host genome, we transferred bacteria from D. mauritiana into an uninfected strain of D. simulans, a host species known to express high levels of incompatibility with endogenous Wolbachia. We also performed the reciprocal transfer of the natural D. simulans Riverside infection into a tetracycline-treated stock of D. mauritiana. In each case, the ability to express incompatibility was unaltered by the different host genetic background. These experiments indicate that in D. simulans and D. mauritiana expression of the cytoplasmic incompatibility phenotype is determined by the bacterial strain and that D. mauritiana harbors a neutral strain of Wolbachia.

Algorithms for sequence analysis via mutagenesis

Despite many successes of conventional DNA sequencing methods, some DNAs remain difficult or impossible to sequence. Unsequenceable regions occur in the genomes of many biologically important organisms, including the human genome. Such regions range in length from tens to millions of bases, and may contain valuable information such as the sequences of important genes. The authors have recently developed a technique that renders a wide range of problematic DNAs amenable to sequencing. The technique is known as sequence analysis via mutagenesis (SAM). This paper presents a number of algorithms for analysing and interpreting data generated by this technique.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Superconducting Correlations in Metallic Nanoparticles: Exact Solution of the BCS Model by the Algebraic Bethe Ansatz

Superconducting pairing of electrons in nanoscale metallic particles with discrete energy levels and a fixed number of electrons is described by the reduced Bardeen, Cooper, and Schrieffer model Hamiltonian. We show that this model is integrable by the algebraic Bethe ansatz. The eigenstates, spectrum, conserved operators, integrals of motion, and norms of wave functions are obtained. Furthermore, the quantum inverse problem is solved, meaning that form factors and correlation functions can be explicitly evaluated. Closed form expressions are given for the form factors and correlation functions that describe superconducting pairing.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

The structure of quantum Lie algebras for the classical series, B-l, C-l and D-l

The structure constants of quantum Lie algebras depend on a quantum deformation parameter q and they reduce to the classical structure constants of a Lie algebra at q = 1. We explain the relationship between the structure constants of quantum Lie algebras and quantum Clebsch-Gordan coefficients for adjoint x adjoint --> adjoint We present a practical method for the determination of these quantum Clebsch-Gordan coefficients and are thus able to give explicit expressions for the structure constants of the quantum Lie algebras associated to the classical Lie algebras B-l, C-l and D-l. In the quantum case the structure constants of the Cartan subalgebra are non-zero and we observe that they are determined in terms of the simple quantum roots. We introduce an invariant Killing form on the quantum Lie algebras and find that it takes values which are simple q-deformations of the classical ones.

Quantum-state protection in cavities

We show how an initially prepared quantum state of a radiation mode in a cavity can be preserved for a long time using a feedback scheme based on the injection of appropriately prepared atoms. We present a feedback scheme both for optical cavities, which can be continuously monitored by a photodetector, and for microwave cavities, which can be monitored only indirectly via the detection of atoms that have interacted with the cavity field. We also discuss the possibility of applying these methods for decoherence control in quantum information processing.

Structure-activity studies of conantokins as human N-methyl-D-aspartate receptor modulators

The activities of conantokin-G (con-G), conantokin-T (con-T), and several novel analogues have been studied using polyamine enhancement of [H-3]MK-801 binding to human glutamate-N-methyl-D-aspartate (NMDA) receptors, and their structures have been examined using CD and H-1 NMR spectroscopy. The potencies of con-G[A7], con-G, and con-T as noncompetitive inhibitors of spermine-enhanced [H-3]MK-801 binding to NMDA receptor obtained from human brain tissue are similar to those obtained using rat brain tissue. The secondary structure and activity of con-G are found to be highly sensitive to amino acid substitution and modification. NMR chemical shift data indicate that con-G, con-G[D8,D17], and con-G[A7] have similar conformations in the presence of Ca2+. This consists of a helix for residues 2-16, which is kinked in the vicinity of Gla10. This is confirmed by 3D structure calculations on con-G[A7]. Restraining this helix in a linear form (i.e., con-G[A7,E10-K13]) results in a minor reduction in potency. Incorporation of a 7-10 salt-bridge replacement (con-G[K7-E10]) prevents helix formation in aqueous solution and produces a peptide with low potency. Peptides with the Leu5-Tyr5 substitution also have low potencies (con-G[Y5,A7] and con-G[Y5,K7]) indicating that Leu5 in con-G is important for full antagonist behavior. We have also shown that the Gla-Ala7 substitution increases potency, whereas the Gla-Lys7 substitution has no effect. Con-G and con-G[K7] both exhibit selectivity between NMDA subtypes from mid-frontal and superior temporal gyri, but not between sensorimotor and mid-frontal gyri. Asn8 and/or Asn17 appear to be important for the ability of con-G to function as an inhibitor of polyamine-stimulated [3H]MK-801 binding, but not in maintaining secondary structure. The presence of Ca2+ does not increase the potencies of con-G and con-T for NMDA receptors but does stabilize the helical structures of con-G, con-G[D8,D17], and, to a lesser extent, con-G[A7]. The NMR data support the existence of at least two independent Ca2+-chelating sites in con-G, one involving Gla7 and possibly Gla3 and the other likely to involve Gla10 and/or Gla14.

Amphilactams A-D: Novel nematocides from southern Australian marine sponges of the genus Amphimedon

Bioassay-directed fractionation of the ethanol extracts of two Amphimedon spp. collected during trawling operations in the Great Australian Eight yielded four new macrocyclic lactone/lactams, amphilactams A-D (1-4). The amphilactams possess potent in vitro nematocidal properties, and their structures were assigned on the basis of detailed spectroscopic analysis and comparison with synthetic model compounds. The amphilactams feature both carbon skeletons and an enamino lactone/lactam moiety unprecedented in the natural products literature.

Nuapapuin A and sigmosceptrellins D and E: New norterpene cyclic peroxides from a southern Australian marine sponge, Sigmosceptrella sp.

A Sigmosceptrella sp. from the Great Australian Eight, Australia, has yielded the new norditerpene cyclic peroxide, nuapapuin A (2a), and the norsesterterpene cyclic peroxide sigmosceptrellin D (3a), characterized as the corresponding methyl esters 2b and 3b. The crude methylated sponge extract also yielded the new norsesterterpene cyclic peroxide sigmosceptrellin E methyl ester (4). Relative stereochemistry about C2, C3, and C6 was assigned by established empirical rules and absolute stereochemistry by the advanced Mosher procedure. A plausible biosynthetic pathway has been proposed that rationalizes key transformations in the biosynthesis of all known norterpene cyclic peroxides and related norterpene ketones, dienes and sigmosceptrins.