The notion of partial deduction known from logic programming is deened in the framework of Structural Synthesis of Programs (SSP). Partial deduction for computability statements in SSP is deened. Completeness and correctness of partial deduction in the framework of SSP are proven. Several tactics and stopping criteria are suggested.

The notion of partial deduction known from logic programming is deened in the framework of Structural Synthesis of Programs (SSP). Partial deduction for unconditional computability statements in SSP is deened. Completeness and correctness of partial deduction in the framework of SSP are proven. Several tactics and stopping criteria are suggested.

Structured sequence processing (SSP) refers to the neurocognitive mechanisms used to learn sequential patterns in the environment. SSP ability seems to be important for language (Conway, Bauernschmidt, Huang, & Pisoni, 2010); however, there are few neural studies showing an empirical connection between SSP and language. The purpose of this study was to investigate the association between SSP an...

The teosintes, the closest wild relatives of maize, are important resources for the study of maize genetics and evolution and for plant breeding. We genotyped 237 individual teosinte plants for 93 microsatellites. Phylogenetic relationships among species and subspecific taxa were largely consistent with prior analyses for other types of molecular markers. Plants of all species formed monophylet...

The envelope glycoprotein of the arenaviruses (GP-C) is unusual in that the mature complex retains the cleaved, 58-amino-acid signal peptide. Association of this stable signal peptide (SSP) has been shown to be essential for intracellular trafficking and proteolytic maturation of the GP-C complex. We identify here a specific and previously unrecognized role of SSP in pH-dependent membrane fusio...

The YODA (YDA) mitogen-activated protein kinase pathway promotes elongation of the Arabidopsis zygote and development of its basal daughter cell into the extra-embryonic suspensor. Here, we show that the interleukin-1 receptor-associated kinase (IRAK)/Pelle-like kinase gene SHORT SUSPENSOR (SSP) regulates this pathway through a previously unknown parent-of-origin effect. SSP transcripts are pro...

Streptococcus mutans, the major causative agent of dental caries, adheres to tooth surfaces via the host salivary glycoprotein-340 (gp340). This adherence can be competitively inhibited by peptides derived from the SspA/B adhesins of Streptococcus gordonii, a human commensal microbe that competes for the same binding sites. Ssp(A4K-A11K), a double-lysine substituted SspA/B peptide analogue, has...

New gene formation by polyploidy has been an ongoing process during the evolution of various eukaryotes that has contributed greatly to the large number of genes in their genomes. After duplication, some genes that are retained can acquire new functions or expression patterns, or subdivide their functions or expression patterns between duplicates. Here, we show that SHORT SUSPENSOR (SSP) and Br...

Mosayebi M1, Dalimi Asl A2, Moazeni M3, Mosayebi Gh4 1. Ph.D Student, Department of Parasitology, Faculty of medicine, Tarbiat Modarres University 2. Professor, Department of Parasitology, Faculty of medicine, Tarbiat Modarres University 3. Professor, Department of Immunology, Faculty of medicine, Tarbiat Modarres University 4. Assistant professor, Department of Immunology, Faculty of medici...

HLA-A2 is the most frequent HLA-A allele in all ethnic populations, and an important restriction element for peptide presentation to T cells in infectious disease and cancer. However, the HLA-A2 supertype consisting of up to 75 subtypes, mutation studies and analyses using cytotoxic T lymphocytes suggest the functional relevance of subtype-specific differences in HLA-A2 molecules for peptide bi...