The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginals over covers that represent clusters of solutions. The SP-y algorithm generalizes SP to work on the maximum satisfiability (Max-SAT) problem, but the cover interpretation of SP does not generalize to SP-y. In this pap...

Big data sets must be carefully partitioned into statistically similar data subsets that can be used as representative samples for big data analysis tasks. In this paper, we propose the random sample partition (RSP) to represent a big data set as a set of non-overlapping data subsets, i.e. RSP data blocks, where each RSP data block has the same probability distribution with the whole big data s...

This paper studies the problem of signal-quality-guaranteed lightpath provisioning in survivable translucent optical networks under dynamic traffic. A new protection scheme, called regeneration-segment protection (RSP), is proposed. Provisioning approaches with shared path protection and shared RSP are presented. Two main signal quality constraints are integrated with the provisioning problem. ...

The benchmarking of window-based RDF Stream Processing (RSP) engines has recently attracted the attention of the Stream Reasoning community. Solutions like LSBench, SRBench and CSRBench tried to fulfill the need of shared practices for RSP engine evaluations. However, an infrastructure for the systematic comparison of existing systems is still missing. In this paper, we propose the requirements...

Rotating Shadowband Pyranometers (RSPs) have been deployed to measure global, beam, and diffuse irradiance because they do not require manual adjustment of trackers. However, a RSP requires the use of solar cell based pyranometers which underestimate diffuse irradiance by 20-30% under clear sky conditions. Algorithms were derived to address many of the systematic errors in solar cell based meas...

This paper presents remote store programming (RSP). This paradigm combines usability and efficiency through the exploitation of a simple hardware mechanism, the remote store, which can easily be added to existing multicores. Remote store programs are marked by fine-grained and one-sided communication which results in a stream of data flowing from the registers of a sending process to the cache ...

OBJECTIVE To investigate the anatomic relationship between the superficial radial nerve (SRN) and the cephalic vein (CV) through ultrasonography due to the possibility of SRN injury during cephalic venipuncture. METHODS Both forearms of 51 healthy volunteers with no history of trauma or surgery were examined in proximal to distal direction using ultrasonography. We measured the distance betwe...

Diploid sexual reproduction involves segregation of allelic pairs, ensuring equal representation of genotypes in the gamete pool. Some genes, however, are able to "cheat" the system by promoting their own transmission. The Segregation distorter (Sd) locus in Drosophila melanogaster males is one of the best-studied examples of this type of phenomenon. In this system the presence of Sd on one cop...

The effect of a concentration-dependent relative static permittivity (RSP) and viscosity on the predictions equivalent conductivity models is studied. full version simplified mean spherical approximation along with four Debye-Hückel-Onsager (DHO) based are used to predict nine 1:1 aqueous electrolyte solutions at 25°C. Three DHO have been developed in this study by combining electrophoretic rel...

We consider a slightly modified version of the Rock-Scissors-Paper (RSP) game from the point of view of evolutionary stability. In its classical version the game has a mixed Nash equilibrium (NE) not stable against mutants. We find a quantized version of the RSP game for which the classical mixed NE becomes stable.