We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , find every subset of the formal parameters to F whose consideration is sufficient to show, using T , that F terminates. These subsets can be harnessed by a theorem prover to locate and justify induction schemes, and are also useful for guiding rewriting heuristics and ensuring their terminati...

An abstract is not available for this content. As you have access to content, full HTML content provided on page. A PDF of also in through the ‘Save PDF’ action button.

According to the potential anti-hepatoma therapeutic effect of Schisandra chinensis polysaccharides presented in previous studies, a bioactive constituent, homogeneous Schisandra chinensis polysaccharide-0-1 (SCP-0-1), molecular weight (MW) circa 69.980 kDa, was isolated and purified. We assessed the efficacy of SCP-0-1 against human hepatocellular liver carcinoma (HepG2) cells to investigate t...

Colochirus robustus, a species of sea cucumber, has long been used in East and Southeast Asia as nutritious food as well as for certain medicinal purpose. Studies have shown a number of biological functions associated with consumption of sea cucumber, many of which are attributed to its major component, sea cucumber peptides (SCP). However, how SCP impacts immune system, which is critical for h...

INTRODUCTION Provoked vestibulodynia (PVD) is a prevalent vulvovaginal pain condition that is associated with sexual and relational consequences for women and their partners. Greater perceived quality of sexual communication has been associated with women's lower pain during intercourse and with couples' better sexual and relational well-being. Whether couples' collaborative (eg, expressing fee...

The recent discovery that sterol carrier protein-2 (SCP-2) binds long chain++ (LCFA-CoA) with high affinity (A. Frolov et al., J. Biol. Chem. 271 (1997) 31878-31884) suggests new possible functions of this protein in LCFA-CoA metabolism. The purpose of the present investigation was to determine whether SCP-2 differentially modulated microsomal LCFA-CoA transacylation to cholesteryl esters, tria...

In order to keep up with new networking needs, it is necessary to adopt mechanisms for charging network usage in a universal way. The Secure Charging Protocol (SCP) aims at answering this complex authentication, authorization, accounting and charging (AAAC) problem. SCP fits business models especially adequate for ad-hoc networks. This document discusses SCP as a possible solution to the AAAC p...

Alphaviruses are enveloped, insect-borne viruses, which contains a positive-sense RNA genome. The protein capsid is surrounded by a lipid membrane, which is penetrated by glycoprotein spikes. The structure of the Sindbis virus (SINV) (the type virus) core protein (SCP) was previously determined and found to have a chymotrypsin-like structure. SCP is a serine proteinase which cleaves itself from...

We present a Lagrangian-based heuristic for the well-known Set Covering Problem (SCP). The algorithm was initially designed for solving very large scale SCP instances, involving up to 5,000 rows and 1,000,000 columns, arising from crew scheduling in the Italian Railway Company, Ferrovie dello Stato SpA. In 1994 Ferrovie dello Stato SpA, jointly with the Italian Operational Research Society, org...