Probing lanthanide ions binding on tRNA(Phe) by H-1 NMR

The structure of phenylalanine transfer ribonucleic acid (tRNA(Phe)) in solution was explored by H-1 NMR spectroscopy to evaluate the effect of lanthanide ion on the structural and conformational change. It was found that La3+ ions possess specific effects on the imino proton region of the H-1 NMR spectra for yeast tRNA(Phe). The dependence of the imino proton spectra of yeast tRNA(Phe) as a function of La3+ concentration was examined, and the results suggest that the tertiary base pair G(15). C-48, which is located in the terminal in the augmented dihydrouridine helix (D-helix), was markedly affected by La3+ (shifted to downfield by as much as 0.35). Base pair U-8. A(14) in yeast tRNA(Phe), which are stacked on G(15). C-48, was also affected by added La3+ when 1 similar to 2 Mg2+ were also present. Another imino proton that may be affected by La3+ in yeast tRNA(Phe) is that of the tertiary base pair G(19). C-56. The assignment of this resonance in yeast tRNA(Phe) is tentative since it is located in the region of highly overlapping resonances beween 12.6 and 12.2. This base pair helps to anchor the D-loop to the T Psi C loop. The binding of La3+ caused conformational change of tRNA, which is responsible for shifts to upfield or downfield in H-1 NMR spectra.

Effect of lanthanum ions on tRNA(Phe) structure: Imino proton NMR spectroscopy

The effect of lanthanum ions on the structural and conformational change of yeast tRNA(Phe) was studied by H-1 NMR. The results suggest that the tertiary base pair (G-15)(C-48), which was located in the terminal in the augmented dihydrouridine helix (D-helix), was markedly affected by adding La3+ and shifted 0.33 downfield. Based pair (U-8)(A-14), which is associated with a tertiary interaction, links the base of the acceptor stem to the D-stem and anchors the elbow of the L structure, shifted 0.20 upfield. Another imino proton that may be affected by La3+ in tRNA(Phe) is the tertiary base pair (G-19)(C-56). The assignment of this resonance is tentative since it is located in the region of highly overlapping resonances between 12.6 and 12.2. This base pair helps to anchor the D-loop to the T psi C loop.

UNITY-400超导核磁共振波谱仪SUN工作站电源的代换

本文介绍了用国产微机电源代替UNITY-400超导核磁共振波谱仪工作站电源的方法和步骤。

Physiological and immune responses of zhikong scallop Chlamys farreri to the acute viral necrobiotic virus infection

The Zhikong Scallop, Chlamys farreri, is one of the most Important bivalve mollusks cultured in northern China However, mass mortality of the cultured C farreri has posed a serious threat to the maricultural Industry in recent years. Acute Viral Necrobiotic Virus (AVNV) is believed as an important etiological agent causing the scallop mass mortalities To understand the mechanism behind the AVNV associated scallop disease and mortality, we assessed the physiological and immune responses of C farreri to the virus infection using oxygen consumption rate, ammonium-nitrogen excretion rate, hemocyte copper, zinc superoxide dismutase gene expression, and plasma superoxide dismutase activity and alkaline phosphatase activity as indicators Scallops challenged by AVNV at 25 C developed typical disease signs 2 days after virus injection Before the disease manifested, scallop oxygen consumption and NH4+-N excretion rates rose and then fell back. Real-time PCR revealed that the hemocyte cytosol Cu, Zn SOD gene expression was upregulated followed by recovery The plasma SOD activity, however, augmented consistently following virus injection Moreover, plasma AKP activity first lowered and then elevated gradually to the highest level at 24 h post virus injection Scallops challenged by AVNV at 17 degrees C neither developed notable disease nor showed obvious responses that could be associated with the virus infection. While the results suggested a correlation between the elevated seawater temperature and the AVNV infection associated C farreri mortalities, they also indicated that the viral infection provoked multiple physiological and immune responses in the host scallops (C) 2010 Elsevier Ltd All rights reserved

Determination of free fatty acids in soil and bryophyte plants by precolumn derivatization via HPLC with fluorescence detection and tandem mass spectrometry (HPLC-MS/MS)

A sensitive method for the determination of 30 kinds of free fatty acids (FFAs, C-1-C-30) with 1-[2-(p-toluenesulfonate)-ethyl]-2-phenylimidazole-[4,5-f] 9,10-phenan- threne (TSPP) as labeling reagent and using high performance liquid chromatography with fluorescence detection and identification by online postcolumn mass spectrometry with atmospheric pressure chemical ionization (APCI) source in positive-ion mode (HPLC/MS/APCI) has been developed. TSPP could easily and quickly label FFAs in the presence of K2CO3 catalyst at 90 degrees C for 30 min in N,N-dimethylformamide (DMF) solvent, and maximal labeling yields close to 100% were observed with a 5-fold excess of molar reagent. Derivatives were stable enough to be efficiently analyzed by high performance liquid chromatography. TSPP was introduced into fatty acid molecules and effectively augmented MS ionization of fatty acid derivatives and led to regular MS and MS/MS information. The collision induced cleavage of protonated molecular ions formed specific fragment ions at m/z [MH](+)(molecular ion), m/z [M'+CH2CH2](+)(M' was molecular mass of the corresponding FFA) and m/z 295.0 (the, mass of protonated molecular core structure of TSPP). Fatty acid derivatives were separated on a reversed-phase Eclipse XDB-C-8 column (4.6 x 150 mm, 5 mu m, Agilent) with a good baseline resolution in combination with a gradient elution. Linear ranges of 30 FFAs are 2.441 x 10(-3) to 20 mu mol/L, detection limits are 3.24 similar to 36.97 fmol (injection volume 10 mu L, at a signal-to-noise ratio of 3, S/N 3:1). The mean interday precision ranged from 93.4 to 106.2% with the largest mean coefficients of variation (R.S.D.) < 7,5%. The mean intraday precision for all standards was < 6.4% of the expected concentration. Excellent linear responses were observed with correlation coefficients of > 0.9991. Good compositional data could be obtained from the analysis of extracted fatty acids from as little as 200 mg of bryophyte plant samples.Therefore, the facile TSPP derivatization coupled with HPLC/MS/APCI analysis allowed the development of a highly sensitive method for the quantitation of trace levels of short and long chain fatty acids from biological and natural environmental samples.

Battling Reality

In the four years that the MIT Mobile Robot Project has benn in existence, we have built ten robots that focus research in various areas concerned with building intelligent systems. Towards this end, we have embarked on trying to build useful autonomous creatures that live and work in the real world. Many of the preconceived notions entertained before we started building our robots turned out to be misguided. Some issues we thought would be hard have worked successfully from day one and subsystems we imagined to be trivial have become tremendous time sinks. Oddly enough, one of our biggest failures has led to some of our favorite successes. This paper describes the changing paths our research has taken due to the lessons learned from the practical realities of building robots.

Supporting Reuse and Evolution in Software Design

Program design is an area of programming that can benefit significantly from machine-mediated assistance. A proposed tool, called the Design Apprentice (DA), can assist a programmer in the detailed design of programs. The DA supports software reuse through a library of commonly-used algorithmic fragments, or cliches, that codifies standard programming. The cliche library enables the programmer to describe the design of a program concisely. The DA can detect some kinds of inconsistencies and incompleteness in program descriptions. It automates detailed design by automatically selecting appropriate algorithms and data structures. It supports the evolution of program designs by keeping explicit dependencies between the design decisions made. These capabilities of the DA are underlaid bya model of programming, called programming by successive elaboration, which mimics the way programmers interact. Programming by successive elaboration is characterized by the use of breadth-first exposition of layered program descriptions and the successive modifications of descriptions. A scenario is presented to illustrate the concept of the DA. Technques for automating the detailed design process are described. A framework is given in which designs are incrementally augmented and modified by a succession of design steps. A library of cliches and a suite of design steps needed to support the scenario are presented.

Type-alpha DPLs

This paper introduces Denotational Proof Languages (DPLs). DPLs are languages for presenting, discovering, and checking formal proofs. In particular, in this paper we discus type-alpha DPLs---a simple class of DPLs for which termination is guaranteed and proof checking can be performed in time linear in the size of the proof. Type-alpha DPLs allow for lucid proof presentation and for efficient proof checking, but not for proof search. Type-omega DPLs allow for search as well as simple presentation and checking, but termination is no longer guaranteed and proof checking may diverge. We do not study type-omega DPLs here. We start by listing some common characteristics of DPLs. We then illustrate with a particularly simple example: a toy type-alpha DPL called PAR, for deducing parities. We present the abstract syntax of PAR, followed by two different kinds of formal semantics: evaluation and denotational. We then relate the two semantics and show how proof checking becomes tantamount to evaluation. We proceed to develop the proof theory of PAR, formulating and studying certain key notions such as observational equivalence that pervade all DPLs. We then present NDL, a type-alpha DPL for classical zero-order natural deduction. Our presentation of NDL mirrors that of PAR, showing how every basic concept that was introduced in PAR resurfaces in NDL. We present sample proofs of several well-known tautologies of propositional logic that demonstrate our thesis that DPL proofs are readable, writable, and concise. Next we contrast DPLs to typed logics based on the Curry-Howard isomorphism, and discuss the distinction between pure and augmented DPLs. Finally we consider the issue of implementing DPLs, presenting an implementation of PAR in SML and one in Athena, and end with some concluding remarks.

SketchIT: A Sketch Interpretation Tool for Conceptual Mechanical Design

We describe a program called SketchIT capable of producing multiple families of designs from a single sketch. The program is given a rough sketch (drawn using line segments for part faces and icons for springs and kinematic joints) and a description of the desired behavior. The sketch is "rough" in the sense that taken literally, it may not work. From this single, perhaps flawed sketch and the behavior description, the program produces an entire family of working designs. The program also produces design variants, each of which is itself a family of designs. SketchIT represents each family of designs with a "behavior ensuring parametric model" (BEP-Model), a parametric model augmented with a set of constraints that ensure the geometry provides the desired behavior. The construction of the BEP-Model from the sketch and behavior description is the primary task and source of difficulty in this undertaking. SketchIT begins by abstracting the sketch to produce a qualitative configuration space (qc-space) which it then uses as its primary representation of behavior. SketchIT modifies this initial qc-space until qualitative simulation verifies that it produces the desired behavior. SketchIT's task is then to find geometries that implement this qc-space. It does this using a library of qc-space fragments. Each fragment is a piece of parametric geometry with a set of constraints that ensure the geometry implements a specific kind of boundary (qcs-curve) in qc-space. SketchIT assembles the fragments to produce the BEP-Model. SketchIT produces design variants by mapping the qc-space to multiple implementations, and by transforming rotating parts to translating parts and vice versa.

Foundations of Actor Semantics

The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture. The model itself grew out of computer languages such as Planner, Smalltalk, and Simula, and out of the use of continuations to interpret imperative constructs within A-calculus. The mathematical content of the model has been developed by Carl Hewitt, Irene Greif, Henry Baker, and Giuseppe Attardi. This thesis extends and unifies their work through the following observations. The ordering laws postulated by Hewitt and Baker can be proved using a notion of global time. The most general ordering laws are in fact equivalent to an axiom of realizability in global time. Independence results suggest that some notion of global time is essential to any model of concurrent computation. Since nondeterministic concurrency is more fundamental than deterministic sequential computation, there may be no need to take fixed points in the underlying domain of a power domain. Power domains built from incomplete domains can solve the problem of providing a fixed point semantics for a class of nondeterministic programming languages in which a fair merge can be written. The event diagrams of Greif's behavioral semantics, augmented by Baker's pending events, form an incomplete domain. Its power domain is the semantic domain in which programs written in actor-based languages are assigned meanings. This denotational semantics is compatible with behavioral semantics. The locality laws postulated by Hewitt and Baker may be proved for the semantics of an actor-based language. Altering the semantics slightly can falsify the locality laws. The locality laws thus constrain what counts as an actor semantics.

Using a logical model to predict the growth of yeast

Whelan, K. E. and King, R. D. Using a logical model to predict the growth of yeast. BMC Bioinformatics 2008, 9:97

Worlds in Collision: Terror and the Future of Global Order

Booth, Ken, Dunne, T., Worlds in Collision: Terror and the Future of Global Order (New York: Palgrave Macmillan, 2002), pp.x+376 RAE2008

Pink Worlds and Blue Worlds: A Portrait of Intimate Polarity

Griffiths, Merris, 'Pink Worlds and Blue Worlds: A Portrait of Intimate Polarity', In: 'Small Screens: television for children', D. Buckingham (Ed.), (London: Leicester University Press), pp. 159-184, 2002 RAE2008

Herbal supplements: Recent findings in exercise, health and weight loss

Natural herbs have been in use for weight loss purposes since history began. However, the current global obesity epidemic and the rise in obesity-related chronic diseases, including type-II diabetes and cancer, have highlighted the need for novel and effective approaches for herbal remedies. Whilst the popularity of several prescribed and non-prescribed slimming aids and herbal plant supplements have been marketed for their weight loss efficacy, single and multi-ingredient herbal supplements are still being investigated for their single or combined weight loss benefits. Limited research have highlighted an interesting efficacy for several popular herbal plant supplements including caffeine and capsaicin, Ayurvedic preparations and herbal teas, resulting in various degrees of effectiveness including thermogenic, appetite control and psychological benefits such as mood state. Recent research has suggested acute augmented weight-loss effects of combining herbal ingestion with exercise. For example, ingesting green tea, yerba mate and/or caffeine have been shown to increase metabolic rate, and augmented fatty acid metabolism and to increase energy expenditure from fatty acid sources during exercise with various intensities, particularly at low and moderate intensities. Other promising weight-loss effects have also been also reported for combining exercise with multi-ingredient herbal supplements, particularly those that are rich in phytochemicals and caffeoyl derivatives. Combining herbal ingestions with exercise still require further research in order to establish the supplementation most effective protocols in terms of dosage and timing, and to determine the long-term benefits, particularly those related to exercise protocols, and the long term adherence to sustain the weight loss outcomes.