The prospects for immunotherapy in smoking cessation

Context Smoking is a major preventable cause of death and disability that is maintained by dependence on nicotine. Smoking cessation reduces mortality and morbidity. Although existing pharmacological aids to smoking cessation and relapse prevention (nicotine replacement therapy and bupropion) improve on unassisted quitting and behavioural methods, they are only modestly effective. More effective pharmacological methods are required that improve compliance, reduce side-effects, and can be used in combination with existing cessation methods. Starting point A nicotine vaccine is a promising immunotherapeutic approach to smoking cessation and relapse prevention. Such a vaccine would induce the immune system to form specific antibodies to nicotine to prevent it from crossing the blood-brain barrier to act on receptor sites in the central nervous system. Recent studies in rats provide proof of principle by showing that nicotine-specific antibodies can prevent the reinstatement of nicotine self-administration (N Lindblom et al, Respiration 2002; 69: 254–60) and block dopamine release in the shell of the nucleus accumbens (Sde Villiers et al, Respiration 2002; 69: 247–53). A phase 1 trial of a human cocaine vaccine has also recently been successfully completed (T Kosten et al, Vaccine 2002; 20: 1196–204). A safe and effective human nicotine vaccine would potentially have fewer side-effects and better compliance than existing smoking-cessation pharmacotherapies. It could also be used in combination with some of them (eg, bupropion). Where next? The most promising clinical application of a human nicotine vaccine is likely to be in relapse prevention in abstinent smokers. A vaccine may also have a role in preparing smokers to quit. Clinical trials of safety and efficacy in human smokers and ex-smokers are warranted. If a nicotine vaccine proves to be safe and effective, the health-care system will need to ensure that it is registered for clinical use and that the poorer members of the community (among whom smoking prevalence is now highest in developed countries) have access to the vaccine. The community will need to be appropriately informed about the role of a nicotine vaccine to ensure that it is not prematurely used for preventive purposes in children and adolescents.

A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Experimental study of the quantum driven pendulum and its classical analog in atom optics

We present experimental results for the dynamics of cold atoms in a far detuned amplitude-modulated optical standing wave. Phase-space resonances constitute distinct peaks in the atomic momentum distribution containing up to 65% of all atoms resulting from a mixed quantum chaotic phase space. We characterize the atomic behavior in classical and quantum regimes and we present the applicable quantum and classical theory, which we have developed and refined. We show experimental proof that the size and the position of the resonances in phase space can be controlled by varying several parameters, such as the modulation frequency, the scaled well depth, the modulation amplitude, and the scaled Planck’s constant of the system. We have found a surprising stability against amplitude noise. We present methods to accurately control the momentum of an ensemble of atoms using these phase-space resonances which could be used for efficient phase-space state preparation.

On Quasi-Hopf Superalgebras

In this work we investigate several important aspects of the structure theory of the recently introduced quasi-Hopf superalgebras (QHSAs), which play a fundamental role in knot theory and integrable systems. In particular we introduce the opposite structure and prove in detail (for the graded case) Drinfeld's result that the coproduct Delta ' =_ (S circle times S) (.) T (.) Delta (.) S-1 induced on a QHSA is obtained from the coproduct Delta by twisting. The corresponding "Drinfeld twist" F-D is explicitly constructed, as well as its inverse, and we investigate the complete QHSA associated with Delta '. We give a universal proof that the coassociator Phi ' = (S circle times S circle times S) Phi (321) and canonical elements alpha ' = S(beta), beta ' = S(alpha) correspond to twisting, the original coassociator Phi = Phi (123) and canonical elements alpha, beta with the Drinfeld twist F-D. Moreover in the quasi-tri angular case, it is shown algebraically that the R-matrix R ' = (S circle times S)R corresponds to twisting the original R-matrix R with F-D. This has important consequences in knot theory, which will be investigated elsewhere.

Nodal solutions for nonlinear eigenvalue problems

We are concerned with determining values of, for which there exist nodal solutions of the boundary value problems u" + ra(t) f(u) = 0, 0 < t < 1, u(O) = u(1) = 0. The proof of our main result is based upon bifurcation techniques.

On the Jager-Kaul theorem concerning harmonic maps

In 1983, Jager and Kaul proved that the equator map u*(x) = (x/\x\,0) : B-n --> S-n is unstable for 3 less than or equal to n less than or equal to 6 and a minimizer for the energy functional E(u, B-n) = integral B-n \del u\(2) dx in the class H-1,H-2(B-n, S-n) with u = u* on partial derivative B-n when n greater than or equal to 7. In this paper, we give a new and elementary proof of this Jager-Kaul result. We also generalize the Jager-Kaul result to the case of p-harmonic maps.

Conformational selection of inhibitors and substrates by proteolytic enzymes: Implications for drug design and polypeptide processing

Inhibitors of proteolytic enzymes (proteases) are emerging as prospective treatments for diseases such as AIDS and viral infections, cancers, inflammatory disorders, and Alzheimer's disease. Generic approaches to the design of protease inhibitors are limited by the unpredictability of interactions between, and structural changes to, inhibitor and protease during binding. A computer analysis of superimposed crystal structures for 266 small molecule inhibitors bound to 48 proteases (16 aspartic, 17 serine, 8 cysteine, and 7 metallo) provides the first conclusive proof that inhibitors, including substrate analogues, commonly bind in an extended beta-strand conformation at the active sites of all these proteases. Representative superimposed structures are shown for (a) multiple inhibitors bound to a protease of each class, (b) single inhibitors each bound to multiple proteases, and (c) conformationally constrained inhibitors bound to proteases. Thus inhibitor/substrate conformation, rather than sequence/composition alone, influences protease recognition, and this has profound implications for inhibitor design. This conclusion is supported by NMR, CD, and binding studies for HIV-1 protease inhibitors/ substrates which, when preorganized in an extended conformation, have significantly higher protease affinity. Recognition is dependent upon conformational equilibria since helical and turn peptide conformations are not processed by proteases. Conformational selection explains the resistance of folded/structured regions of proteins to proteolytic degradation, the susceptibility of denatured proteins to processing, and the higher affinity of conformationally constrained 'extended' inhibitors/substrates for proteases. Other approaches to extended inhibitor conformations should similarly lead to high-affinity binding to a protease.

Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Can metal complexes serve as hypoxia activated prodrugs? Investigations of a Co(III) complex of the MMP inhibitor marimastat

For many years proof that the hypoxic nature of malignant tumours can be used to selectively target anticancer drugs has been sought. Several classes of potential redox activated anticancer drugs have been developed to take advantage of the reducing environment resulting from the hypoxia. Drug complexes with redox active metal centres as carriers have been investigated, but have largely been employed with cytotoxic drugs that require release of the drug intracellularly, complicating the design of such complexes. MMP inhibitors, a new class of anticancer drug, conversely act in the extracellular environment and we have investigated inhibitor complexes with several redox active transition metals. Marimastat is an MMP inhibitor with potent in-vitro antimetastatic activity and was recently in Phase III clinical trials for a variety of cancer types. We have synthesised a Co(II1) complex of marimastat incorporating the tetradentate ligand tpa (tris(2-methylpyridyl)amine) as a carrier ligand. The complex was structurally characterised in the solid state by single crystal X-ray diffraction, the first example of a crystal structure containing marimastat. 2D COSY and NOESY NMR spectra showed that the complex exists in two isomeric forms in solution, corresponding to the cis and trans isomers yet only crystallises in one of these forms. Biological testing of the complex in mice with 4T1.2 tumours showed interesting and unexpected outcomes. Initial results of the tumour growth inhibition study showed that a significant inhibition of growth was exhibited by the complex over the free inhibitor and the control. However, the metastatic potential of both free marimastat and the complex were higher than the control indicating likely problems with the experimental protocol. Further experiments are needed to determine the potential of such complexes as hypoxia activated prodrugs but there appears at least to be some promise.

Privacy and security enhanced offline oblivious transfer for massive data distribution

Unauthorized accesses to digital contents are serious threats to international security and informatics. We propose an offline oblivious data distribution framework that preserves the sender's security and the receiver's privacy using tamper-proof smart cards. This framework provides persistent content protections from digital piracy and promises private content consumption.

Critical sets in direct products of back circulant Latin squares

To date very Few families of critical sets for latin squares are known. The only previously known method for constructing critical sets involves taking a critical set which is known to satisfy certain strong initial conditions and using a doubling construction. This construction can be applied to the known critical sets in back circulant latin squares of even order. However, the doubling construction cannot be applied to critical sets in back circulant latin squares of odd order. In this paper a family of critical sets is identified for latin squares which are the product of the latin square of order 2 with a back circulant latin square of odd order. The proof that each element of the critical set is an essential part of the reconstruction process relies on the proof of the existence of a large number of latin interchanges.

Modelling of cold-formed purlin-sheeting systems .1. Full model

Purlin-sheeting systems used for roofs and walls commonly take the form of cold-formed channel or zed section purlins, screw-connected to corrugated sheeting. These purlin-sheeting systems have been the subject of numerous theoretical and experimental investigations over the past three decades, but the complexity of the systems has led to great difficulty in developing a sound and general model. This paper presents a non-linear elasto-plastic finite element model, capable of predicting the behaviour of purlin-sheeting systems without the need for either experimental input or over simplifying assumptions. The model incorporates both the sheeting and the purlin, and is able to account for cross-sectional distortion of the purlin, the flexural and membrane restraining effects of the sheeting, and failure of the purlin by local buckling or yielding. The validity of the model is shown by its good correlation with experimental results. A simplified version of this model, which is more suitable for use in a design environment, is presented in a companion paper. (C) 1997 Elsevier Science Ltd.