The SALMFamides S1 and S2 are two structurally related neuropeptides that are present in starfish, and which share the C-terminal amino acid sequence SXLXFamide, where X is variable. To establish the distribution of S1 and S2 in starfish, we have raised antisera that recognise specifically the C-terminal pentapeptide sequence of either S1 or S2. Here we describe the production and characterisat...

In every dense poset P every maximal antichain S may be partitioned into disjoint subsets S1 and S2 , such that the union of the upset of S1 with the downset of S2 yields the entire poset: U(S1) [ D(S2) = P . To nd a similar splitting of maximal antichains in posets is NP{hard in general.

This paper considers a constrained version of longest common subsequence problem for two strings. Given strings S1, S2 and P , the constrained longest common subsequence problem for S1 and S2 with respect to P is to find a longest common subsequence lcs of S1 and S2 such that P is a subsequence of this lcs. An O(rn 2m2) time algorithm based upon the dynamic programming technique is proposed for...

The images for Figures 1 and 2 are incorrectly switched. The image that appears as Figure 1 should be Figure 2, and the image that appears as Figure 2 should be Figure 1. The figure legends appear in the correct order. In the section entitled “Validation of RNA-Seq”, S2 Fig should be referenced instead of S1 Fig. Additionally, the files linked to S1 Fig and the file linked to S2 Fig are incorre...

The coronavirus spike protein (S) plays a key role in the early steps of viral infection, with the S1 domain responsible for receptor binding and the S2 domain mediating membrane fusion. In some cases, the S protein is proteolytically cleaved at the S1-S2 boundary. In the case of the severe acute respiratory syndrome coronavirus (SARS-CoV), it has been shown that virus entry requires the endoso...

A language in which we can express arithmetic and which contains its own satisfaction predicate (in the style of Kripke’s theory of truth) can be formulated using just two nonlogical primitives: ′ (the successor function) and Sat (a satisfaction predicate). Let L be a language with vocabulary: , ( ) ∃ ¬ ∨ = ′ Sat plus the variables x0, x1, x2, . . .. A term is a variable followed by zero or mor...

BACKGROUND Leukocyte telomere length (LTL) is considered a biomarker of human aging and based on cross-sectional studies it shortens with age. However, longitudinal studies reported that many adults display LTL lengthening. METHODS Using Southern blots, we compared cross-sectional rates of age-related LTL change across a ∼20 year age range with those based on longitudinal evaluations in three...

Given strings S1, S2, and a regular expression R, we introduce regular expression constrained sequence alignment as the problem of finding the maximum alignment score between S1 and S2 over all alignments such that in these alignments there exists a segment where some substring s1 of S1 is aligned with some substring s2 of S2, and both s1 and s2 match R, i.e. s1, s2 ∈ L(R) where L(R) is the reg...