Earlier we introduced the notion of a stable set of points (SSP) and showed that a CNF formula is unsatisfiable iff there is a set of points (i.e. complete assignments) that is stable. Experiments showed that SSPs of CNF formulas of practical interest are very big. So computing an SSP of a CNF formula point by point is, in general, infeasible. In this report, we show how an SSP can be computed ...

Showcasing examples of the capabilities that National Nuclear Security Administration national laboratories and sites bring to the Stockpile Stewardship Program (SSP) is one of the key intents of the Stockpile Stewardship Quarterly (SSQ). SSQ articles celebrate representative successes of our programs that are made possible by the incredibly talented staff that contributes to these efforts. Thi...

OBJECTIVES Secondary spontaneous pneumothorax (SSP) is more common in elderly patients; it has high rates of recurrence and mortality, even if surgery is performed. There has been little study on the surgical treatment of SSP. Therefore, we analysed the outcomes of surgical treatment of SSP patients, and investigated the risk factors of recurrence and morbidity. METHODS We studied 97 consecut...

Observations show that nearly all star clusters and stellar populations contain blue straggler stars (BSs). BSs in a cluster can significantly enhance the integrated spectrum of the host population, preferentially at short wavelengths, and render it much bluer in photometric colours. Current theoretical simple stellar population (SSP) models constructed within the traditional framework of singl...

In one of fundamental work in combinatorial optimization Edmonds gave a complete linear description of the matching polytope. Matchings in a graph are equivalent to stable sets its line graph. Also the neighborhood of any vertex in a line graph partitions into two cliques: graphs with this latter property are called quasi-line graphs. Quasi-line graphs are a subclass of claw-free graphs, and as...

Growing evidence indicates that small, secreted peptides (SSPs) play critical roles in legume growth and development, yet the annotation of SSP-coding genes is far from complete. Systematic reannotation of the Medicago truncatula genome identified 1,970 homologs of established SSP gene families and an additional 2,455 genes that are potentially novel SSPs, previously unreported in the literatur...

The composition of the essential oil from ripe and unripe berries and leaves of Juniperus oxycedrus L. ssp. oxycedrus, Juniperus phoenicea ssp. turbinata and Juniperus communis ssp. communis was analyzed by GC-MS, and microbiological assays were carried out. Samples were collected in different localities (Sardinia, Italy) and hydro distilled. The yields ranged between 2.54% +/- 0.21 (v\w dried ...

The formation/loss of characterized traits in a given cultivated species is strongly affected by long-term artificial selection. Cowpea (V. unguiculata L. Walp.) is an important legume crop for many residences in the tropics and subtropics of the world, being consumed as either a grain, fodder or vegetable crop depending on local cultivation and consumption habits. Cowpea is believed to have or...

To provide constraints on the inversion of ocean sound speed profiles (SSPs), SSPs are often modeled using empirical orthogonal functions (EOFs). However, this regularization, which uses the leading order EOFs with a minimum-energy constraint on the coefficients, often yields low resolution SSP estimates. In this paper, it is shown that dictionary learning, a form of unsupervised machine learni...