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.

Slip flows of Newtonian and viscoelastic fluids in a 4:1 contraction

This work presents a numerical study of the 4:1 planar contraction flow of a viscoelastic fluid described by the simplified Phan-Thien–Tanner model under the influence of slip boundary conditions at the channel walls. The linear Navier slip law was considered with the dimensionless slip coefficient varying in the range ½0; 4500. The simulations were carried out for a small constant Reynolds number of 0.04 and Deborah numbers (De) varying between 0 and 5. Convergence could not be achieved for higher values of the Deborah number, especially for large values of the slip coefficient, due to the large stress gradients near the singularity of the reentrant corner. Increasing the slip coefficient leads to the formation of two vortices, a corner and a lip vortex. The lip vortex grows with increasing slip until it absorbs the corner vortex, creating a single large vortex that continues to increase in size and intensity. In the range De = 3–5 no lip vortex was formed. The flow is characterized in detail for De ¼ 1 as function of the slip coefficient, while for the remaining De only the main features are shown for specific values of the slip coefficient.

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.

Repository managers: guidelines to meet H2020 requirements

Apresentação realizada em 23 outubro de 2015 no: National Workshop for Open Access: «Open Access to research publications & data», Nicosia, Chipre. Também acessível em: http://hdl.handle.net/10797/14460

Study of the Myocardial Contraction and Relaxation Velocities through Doppler Tissue Imaging Echocardiography: A New Alternative in the Assessment of the Segmental Ventricular Function

OBJECTIVE: Doppler tissue imaging (DTI) enables the study of the velocity of contraction and relaxation of myocardial segments. We established standards for the peak velocity of the different myocardial segments of the left ventricle in systole and diastole, and correlated them with the electrocardiogram. METHODS: We studied 35 healthy individuals (27 were male) with ages ranging from 12 to 59 years (32.9 ± 10.6). Systolic and diastolic peak velocities were assessed by Doppler tissue imaging in 12 segments of the left ventricle, establishing their mean values and the temporal correlation with the cardiac cycle. RESULTS: The means (and standard deviation) of the peak velocities in the basal, medial, and apical regions (of the septal, anterior, lateral, and posterior left ventricle walls) were respectively, in cm/s, 7.35(1.64), 5.26(1.88), and 3.33(1.58) in systole and 10.56(2.34), 7.92(2.37), and 3.98(1.64) in diastole. The mean time in which systolic peak velocity was recorded was 131.59ms (±19.12ms), and diastolic was 459.18ms (±18.13ms) based on the peak of the R wave of the electrocardiogram. CONCLUSION: In healthy individuals, maximum left ventricle segment velocities decreased from the bases to the ventricular apex, with certain proportionality between contraction and relaxation (P<0.05). The use of Doppler tissue imaging may be very helpful in detecting early alterations in ventricular contraction and relaxation.

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

Contractive probability metrics and asymptotic behavior of dissipative kinetic equations

The present notes are intended to present a detailed review of the existing results in dissipative kinetic theory which make use of the contraction properties of two main families of probability metrics: optimal mass transport and Fourier-based metrics. The first part of the notes is devoted to a self-consistent summary and presentation of the properties of both probability metrics, including new aspects on the relationships between them and other metrics of wide use in probability theory. These results are of independent interest with potential use in other contexts in Partial Differential Equations and Probability Theory. The second part of the notes makes a different presentation of the asymptotic behavior of Inelastic Maxwell Models than the one presented in the literature and it shows a new example of application: particle's bath heating. We show how starting from the contraction properties in probability metrics, one can deduce the existence, uniqueness and asymptotic stability in classical spaces. A global strategy with this aim is set up and applied in two dissipative models.

Contraction groups in complete Kac-Moody groups

Let G be an abstract Kac-Moody group over a finite field and G the closure of the image of G in the automorphism group of its positive building. We show that if the Dynkin diagram associated to G is irreducible and neither of spherical nor of affine type, then the contraction groups of elements in G which are not topologically periodic are not closed. (In those groups there always exist elements which are not topologically periodic.)

Mdx myotubes have normal excitability but show reduced contraction-relaxation dynamics.

The pathogenesis of Duchenne muscular dystrophy (DMD), characterised by lack of the cytoskeletal protein dystrophin, is not completely understood. An early event in the degenerative process of DMD muscle could be a rise in cytosolic calcium concentration. In order to investigate whether this leads to alterations of contractile behaviour, we studied the excitability and contractile properties of cultured myotubes from control (C57BL/10) and mdx mice, an animal model for DMD. The myotubes were stimulated electrically and their motion was recorded photometrically. No significant differences were found between control and mdx myotubes with respect to the following parameters: chronaxy and rheobase (0.33 +/- 0.03 ms and 23 +/- 4 V vs. 0.39 +/- 0.07 ms and 22 +/- 2 V for C57 and mdx myotubes, respectively), tetanisation frequency (a similar distribution pattern was found between 5 and 30 Hz), fatigue during tetanus (found in 35% of both types of myotubes) and post-tetanic contracture. In contrast, contraction and relaxation times were longer (P < 0.005) in mdx (36 +/- 2 and 142 +/- 13 ms, respectively) than in control myotubes (26 +/- 1 and 85 +/- 9 ms, respectively). Together with our earlier findings, these results suggest a decreased capacity for calcium removal in mdx cells leading, in particular, to alterations of muscle relaxation.