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...

Background. Optimal treatment practices and factors associated with in-hospital mortality in spontaneous pneumothorax (SP) are not fully understood. We evaluated prevalence, clinical characteristics, and in-hospital mortality among Japanese patients with primary or secondary SP (PSP/SSP). Methods. We retrospectively reviewed and stratified 938 instances of pneumothorax in 751 consecutive patien...