Strategies of the structural synthesis of programs (SSP) of a deductive program synthesis method which is suited for compositional programming in large and is in practical use in a number of programming environments are outlined. SSP is based on a decidable logical calculus where complexity of the proof search is still PSPACE. This requires paying special attention to efficiency of search. Besi...

Strong stability preserving (SSP) high order time discretizations were developed for solution of semi-discrete method of lines approximations of hyperbolic partial differential equations. These high order time discretization methods preserve the strong stability properties–in any norm or seminorm—of the spatial discretization coupled with first order Euler time stepping. This paper describes th...

OBJECTIVE. This retrospective study explored sensory processing characteristics in preschool-age children with autism spectrum disorders (ASD); the relationships between sensory processing and problem behavior, adaptive behavior, and cognitive function; and the differences in sensory processing between two subgroups (autism and pervasive developmental disorder-not otherwise specified). METHOD. ...

A development-specific protein (SSP) makes up about 35 to 40% of the total protein in sclerotia of the fungus Sclerotinia sclerotiorum. The protein consists of three charge isomers, with one isomer making up 80 to 90% of the total. In vitro translation of poly(A)+ RNA isolated from cells in early stages of sclerotia formation revealed that 44% of the amino acids incorporated was into SSP. In vi...

A novel coronavirus, severe acute respiratory syndrome (SARS)-associated coronavirus (SARS-CoV), has been identified as the causal agent of SARS. Spike (S) protein is a major structural glycoprotein of the SARS virus and a potential target for SARS-specific cell-mediated immune responses. A panel of S protein-derived peptides was tested for their binding affinity to HLA-A*0201 molecules. Peptid...

The arenavirus envelope glycoprotein (GPC) retains a stable signal peptide (SSP) as an essential subunit in the mature complex. The 58-amino-acid residue SSP comprises two membrane-spanning hydrophobic regions separated by a short ectodomain loop that interacts with the G2 fusion subunit to promote pH-dependent membrane fusion. Small-molecule compounds that target this unique SSP-G2 interaction...

Three new taxa, endemic of Sardinia, are described in the genus Asida Latreille, 1802: Asida (Asida) dryas sp. nov. (type locality: Capoterra, Gutturu Mannu), A. (Asida) anachoreta sp. nov. (type locality: Gonnosfanadiga, Punta Cammedda), and A. (Asida) solieri caroli ssp. nov. (type locality: Morgongiori, Is Benas). Additional systematic, distributional and ecological data are provided for som...

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

We present the theory and numerical results for interferometrically interpolating 3D marine surface seismic profiles (SSP) data. For the interpolation of SSP data we use the combination of a natural Green’s function (SSP shot gathers) and a modelbased Green’s function for the water-layer model. Synthetic results show that the aliased SSP data with sparse receiver intervals can be accurately int...

It is suggested that a motivation for the formation of shared services partnerships (SSPs) in local government is to manage dependencies on other levels of government. A framework that links the composition of a shared services partnership, its effectiveness and dependency management is proposed. A case study of an SSP between four local councils in Australia is examined through the lens of tha...