This paper addresses reconfiguration of a Replicated State Machine (RSM) in an asynchronous system. It is well known that consensus cannot be solved in an asynchronous system. Therefore an RSM providing strong consistency, cannot guarantee progress in an asynchronous system. However, we show that reconfiguring the RSM is possible in a purely asynchronous system. This differs from all existing r...

The Critical Path Method (CPM) and the Repetitive Scheduling Method (RSM) are the most often used tools for the planning, scheduling and control Linear Repetitive Projects (LRPs). CPM focuses mostly on project’s duration and critical activities, while RSM focuses on resource continuity. In this paper we present a linear programming approach to address the multi objective nature of decisions con...

Fermented rapeseed meal (FRSM) contains greater levels of protein and less glucosinolates, NDF, and phytic acid than rapeseed meal (RSM) and might be an attractive feedstuff for swine, but its nutritional value has been poorly characterized. The aim of this study was to evaluate the nutritional value of RSM fermented by for growing pigs. In Exp. 1, 6 barrows (21.20 ± 1.47 kg initial BW) fitted ...

Under manufacturing process variation, the circuit delay varies with process parameters. For delay test and timing verification under process variation, it is necessary to model the variational delay as a function of process variables. However, conventional methods to generate such functions are either slow or inaccurate. In this paper, we present a number of new methods for fast parametric del...

Stationary phase solutions for the radiation patterns of borehole sources are commonly used to study the far-field seismic wavefields produced in crosshole or reverse VSP experiments, but they break down when the formation shear wave velocity is less than the tube wave velocity in the source borehole. This is because the tube wave, not the primary source, radiates the dominant shear wave signal...

The Resource Space Model (RSM) is a semantic data model based on orthogonal classification semantics for effectively managing various resources in interconnection environment. In parallel with the integrity theories of relational and XML-based data models, this keynote presents the integrity theory for the RSM, including the entity integrity constraints based on the key system of the RSM, the m...

This review emphasizes the function and regulation of the Csr regulatory system in the human enteropathogen Yersinia pseudotuberculosis and compares its features with the homologous Csr/Rsm systems of related pathogens. The Csr/Rsm systems of eubacteria form a complex regulatory network in which redundant non-translated Csr/Rsm-RNAs bind the RNA-binding protein CsrA/RsmA, thereby preventing its...

OBJECTIVES Insofar as recurrent spontaneous miscarriage (RSM) is linked with dysregulated immunity and inflammatory changes, and given the pro-inflammatory role of interleukin-21 (IL-21), we examined the association between IL-21 polymorphisms and RSM. METHODS AND RESULTS IL-21 rs2055979, rs13143866, rs9992580, and rs4833837 were genotyped in 235 cases of RSM and 235 controls. Regression anal...