Metabolism of the snailCryptozona ligulata during regeneration of optic tentacles

Summary The biochemical changes in the hemolymph and tissues were followed during regeneration of the optic tentacles of the snailCryptozona ligulata (Pulmonata-Stylommatophora). There is a remarkable increase in total carbohydrates in hemolymph and tissues and glycogen in tissues at the expense of free amino acids and fatty acids. It is clear that ablation of the optic tentacles stimulates carbohydrate synthesis through glyconeogenic routes. The optic tentacles regenerate completely in 18–21 days.     

High-performance reversed-phase liquid chromatography (HPLC) of favism-inducing factors inVicia faba L.

Summary A HPLC assay for L-Dopa, convicine, and vicine in broad-bean extracts has been developed. The distribution of these compounds in the different organs of the plant has been studied, especially in the seeds, where their presence may cause favism if the beans are used as food.Work supported by C.N.R. through Progetto Finalizzato Miglioramento delle produzioni vegetali per fini alimentari ed industriali mediante interventi genetici. Sottogrogetto leguminose da granella. Paper No. 200.     

Structure specificity of some immunoadjuvant synthetic glycopeptides

Summary The immunoadjuvant activity of muramyl dipeptide seems to be critically dependent on the type of substitution of the -carboxyl group of the D-isoglutamine residue. Moreover the nonapeptide L-Ala-D-isoGlu-L-Lys-D-Ala-(Gly)₅-OME also shows a definite effect.     

Effect of X-537A on the phosphorylated protein in sarcoplasmic reticulum vesicles

Summary The effect of the antibiotic X-537A on the phosphorylated ATPase (EP) was investigated. The results show that X-537A depresses the level of EP which is dependent on the Ca²⁺ gradient, while the Ca²⁺-independent EP is not affected. Acknowledgments. This work was supported by grants from the Instituto de Alta Cultura of the Portuguese Ministry of Education (No. CB/2) and the Calouste Gulbenkian Foundation.     

蕴涵环交换性的某些多项恒等式

设ｍ＞１，ｎ，ｐ，ｑ，ｒ，ｓ均为正整数，Ｒ是一个具有单位元１的环．证明了：如果Ｒ中的任意ｘ，ｙ满足且Ｒ具有Ｑ（ｍ）性质，则Ｒ是一个交换环．此外，在适当的条件下确立了Ｒ的交换性．     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

Minimum information about a microarray experiment (MIAME)-toward standards for microarray data.

Microarray analysis has become a widely used tool for the generation of gene expression data on a genomic scale. Although many significant results have been derived from microarray studies, one limitation has been the lack of standards for presenting and exchanging such data. Here we present a proposal, the Minimum Information About a Microarray Experiment (MIAME), that describes the minimum information required to ensure that microarray data can be easily interpreted and that results derived from its analysis can be independently verified. The ultimate goal of this work is to establish a standard for recording and reporting microarray-based gene expression data, which will in turn facilitate the establishment of databases and public repositories and enable the development of data analysis tools. With respect to MIAME, we concentrate on defining the content and structure of the necessary information rather than the technical format for capturing it.