Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Comparative environmental life-cycle analysis of concretes using biomass and coal fly ashes as partial cement replacement material

Nowadays, the concrete production sector is challenged by attempts to minimize the usage of raw materials and energy consumption, as well as by environmental concerns. Therefore, it is necessary to choose better options, e.g. new technologies or materials with improved life-cycle performance. One solution for using resources in an efficient manner is to close the materials' loop through the recycling of materials that result either from the end-of-life of products or from being the by-product of an industrial process. It is well known that the production of Portland cement, one of the materials most used in the construction sector, has a significant contribution to the environmental impacts, mainly related with carbon dioxide emission. Therefore, the study and utilization of by-products or wastes usable as cement replacement in concrete can supply more sustainable options, provided that these type of concrete produced has same durability and equivalent quality properties as standard concrete. This work studied the environmental benefits of incorporating different percentages of two types of fly ashes that can be used in concrete as cement replacement. These ashes are waste products of power and heat production sectors using coal or biomass as fuels. The results showed that both ashes provide a benefit for the concrete production both in terms of environmental impact minimization and a better environmental performance through an increase in cement replacement. It is possible to verify that the incorporation of fly ashes is a sustainable option for cement substitution and a possible path to improve the environmental performance of the concrete industry.

Clinical outcome of patients with familial hypercholesterolemia and coronary artery disease undergoing partial ileal bypass surgery

Familial hypercholesterolemia is characterized by high serum levels of total cholesterol and LDL-cholesterol. It may be homozygous or heterozygous. In homozygous patients, LDL-cholesterol levels range from 500 to 1000mg/dL and coronary artery disease is precocious, usually manifesting itself between the 2nd and 3rd decades of life. The diagnosis is often made by the presence of xanthoma tuberosum and tendinous xanthomas that appear between the 1st and 2nd decades of life. The use of high doses of statins or even unusual procedures (apheresis, partial ileal bypass surgery, liver transplantation, gene therapy), or both, is necessary for increasing survival and improving quality of life, because a reduction in cholesterol levels is essential for stabilizing the coronary artery disease and reducing xanthomas. We report our experience with 3 patients with xanthomatous familial hypercholesterolemia and coronary artery disease, who underwent partial ileal bypass surgery. Their follow-up over the years (approximately 8 years) showed a mean 30% reduction in total cholesterol, with a significant reduction in the xanthomas and stabilization of the coronary artery disease.

Surgical treatment of partial atrioventricular septal defect: functional analysis of the mitral valve in the postoperative period

OBJECTIVE: To study mitral valve function in the postoperative period after correction of the partial form of atrioventricular septal defect. METHODS: Fifty patients underwent surgical correction of the partial form of atrioventricular septal defect. Their mean age was 11.8 years and 62% of the patients were males. Preoperative echocardiography showed moderate and severe mitral insufficiency in 44% of the patients. The mitral valve cleft was sutured in 45 (90%) patients (group II - GII). Echocardiographies were performed in the early postoperative period, and 6 and 12 months after hospital discharge. RESULTS: The patients who had some type of arrhythmia in the postoperative period had ostium primum atrial septal defect of a larger size (2.74 x 2.08 cm). All 5 patients in group I (GI), who did not undergo closure of the cleft, had a competent mitral valve or mild mitral insufficiency in the preoperative period. One of these patients began to have moderate mitral insufficiency in the postoperative period. On the other hand, in GII, 88.8% and 82.2% of the patients had competent mitral valve or mild mitral insufficiency in the early and late postoperative periods, respectively. CONCLUSION: The mitral valve cleft was repaired in 90% of cases. Echocardiography revealed competent mitral valve or mild mitral insufficiency in 88.8% and 82.2% of GII patients in the early and late postoperative periods, respectively.

A partial revision of Paullinia (Sapindaceae) for Ecuador, Peru, and Bolivia, part I / Donald R. Simpson.

v.36:no.12(1976)

Experimental study on n-butane partial oxidation to maleic anhydride in a solid electrolyte membrane reactor

n-Butane, Partial oxidation, Maleic anhydride, electrochemical oxygen pumping, solid electrolyte membrane reactor

effectiveness of partial coordination among decentralized institutions

Externalities, fiscal competition, partial coordination, wage formation

Use of DNA profiles for investigation using a simulated national DNA database: Part I. Partial SGM Plus profiles.

In traditional criminal investigation, uncertainties are often dealt with using a combination of common sense, practical considerations and experience, but rarely with tailored statistical models. For example, in some countries, in order to search for a given profile in the national DNA database, it must have allelic information for six or more of the ten SGM Plus loci for a simple trace. If the profile does not have this amount of information then it cannot be searched in the national DNA database (NDNAD). This requirement (of a result at six or more loci) is not based on a statistical approach, but rather on the feeling that six or more would be sufficient. A statistical approach, however, could be more rigorous and objective and would take into consideration factors such as the probability of adventitious matches relative to the actual database size and/or investigator's requirements in a sensible way. Therefore, this research was undertaken to establish scientific foundations pertaining to the use of partial SGM Plus loci profiles (or similar) for investigation.

Ex vivo ultrasound control of resection margins during partial nephrectomy.

Purpose: Surgery remains the treatment of choice for localized renal neoplasms. While radical nephrectomy was long considered the gold standard, partial nephrectomy has equivalent oncological results for small tumors. The role of negative surgical margins continues to be debated. Intraoperative frozen section analysis is expensive and time-consuming. We assessed the feasibility of intraoperative ex vivo ultrasound of resection margins in patients undergoing partial nephrectomy and its correlation with margin status on definitive pathological evaluation.Materials and Methods: A study was done at 2 institutions from February 2008 to March 2011. Patients undergoing partial nephrectomy for T1-T2 renal tumors were included in analysis. Partial nephrectomy was done by a standardized minimal healthy tissue margin technique. After resection the specimen was kept in saline and tumor margin status was immediately determined by ex vivo ultrasound. Sequential images were obtained to evaluate the whole tumor pseudocapsule. Results were compared with margin status on definitive pathological evaluation.Results: A total of 19 men and 14 women with a mean +/- SD age of 62 +/- 11 years were included in analysis. Intraoperative ex vivo ultrasound revealed negative surgical margins in 30 cases and positive margins in 2 while it could not be done in 1. Final pathological results revealed negative margins in all except 1 case. Ultrasound sensitivity and specificity were 100% and 97%, respectively. Median ultrasound duration was 1 minute. Mean tumor and margin size was 3.6 +/- 2.2 cm and 1.5 +/- 0.7 mm, respectively.Conclusions: Intraoperative ex vivo ultrasound of resection margins in patients undergoing partial nephrectomy is feasible and efficient. Large sample studies are needed to confirm its promising accuracy to determine margin status.

Chebyshev polynomial approximation to approximate partial differential equations

This paper suggests a simple method based on Chebyshev approximation at Chebyshev nodes to approximate partial differential equations. The methodology simply consists in determining the value function by using a set of nodes and basis functions. We provide two examples. Pricing an European option and determining the best policy for chatting down a machinery. The suggested method is flexible, easy to program and efficient. It is also applicable in other fields, providing efficient solutions to complex systems of partial differential equations.

The Rebound Effect with Energy Production: A Partial Equilibrium Analysis

Rebound is the extent to which improvements in energy efficiency fail to translate fully into reductions in energy use because of the implicit fall in the price of energy, when measured in efficiency units. This paper discusses aspects of the rebound effect that are introduced once energy is considered as a domestically produced commodity. A partial equilibrium approach is adopted in order to incorporate both energy use and production in a conceptually tractable way. The paper explores analytically two interesting results revealed in previous numerical simulations. The first is the possibility that energy use could fall by more than the implied improvement in efficiency. This corresponds to negative rebound. The second is the finding that the short-run rebound value can be greater than the corresponding long-run value.

Partial Equal Treatment in Wage Offers

We analyse a labour matching model with wage posting, where- refl ecting institutional constraints-fi rms cannot dfferentiate their wage offers within certain subsets of workers. Inter alia, we find that the presence of impersonal wage offers leads to wage compression, which propagates to the wages for high productivity workers who receive personalised offers.

Partial Knowledge Restrictions on theTwo-Stage Threshold Model of Choice

In the context of the two-stage threshold model of decision making, with the agent’s choices determined by the interaction Of three “structural variables,” we study the restrictions on behavior that arise when one or more variables are xogenously known. Our results supply necessary and sufficient conditions for consistency with the model for all possible states of partial Knowledge, and for both single- and multivalued choice functions.

Maximal Physiological Parameters during Partial Body-Weight Support Treadmill Testing.

PURPOSE: This study investigated maximal cardiometabolic response while running in a lower body positive pressure treadmill (antigravity treadmill (AG)), which reduces body weight (BW) and impact. The AG is used in rehabilitation of injuries but could have potential for high-speed running, if workload is maximally elevated. METHODS: Fourteen trained (nine male) runners (age 27 ± 5 yr; 10-km personal best, 38.1 ± 1.1 min) completed a treadmill incremental test (CON) to measure aerobic capacity and heart rate (V˙O2max and HRmax). They completed four identical tests (48 h apart, randomized order) on the AG at BW of 100%, 95%, 90%, and 85% (AG100 to AG85). Stride length and rate were measured at peak velocities (Vpeak). RESULTS: V˙O2max (mL·kg·min) was similar across all conditions (men: CON = 66.6 (3.0), AG100 = 65.6 (3.8), AG95 = 65.0 (5.4), AG90 = 65.6 (4.5), and AG85 = 65.0 (4.8); women: CON = 63.0 (4.6), AG100 = 61.4 (4.3), AG95 = 60.7 (4.8), AG90 = 61.4 (3.3), and AG85 = 62.8 (3.9)). Similar results were found for HRmax, except for AG85 in men and AG100 and AG90 in women, which were lower than CON. Vpeak (km·h) in men was 19.7 (0.9) in CON, which was lower than every other condition: AG100 = 21.0 (1.9) (P < 0.05), AG95 = 21.4 (1.8) (P < 0.01), AG90 = 22.3 (2.1) (P < 0.01), and AG85 = 22.6 (1.6) (P < 0.001). In women, Vpeak (km·h) was similar between CON (17.8 (1.1) ) and AG100 (19.3 (1.0)) but higher at AG95 = 19.5 (0.4) (P < 0.05), AG90 = 19.5 (0.8) (P < 0.05), and AG85 = 21.2 (0.9) (P < 0.01). CONCLUSIONS: The AG can be used at maximal exercise intensities at BW of 85% to 95%, reaching faster running speeds than normally feasible. The AG could be used for overspeed running programs at the highest metabolic response levels.