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.

Data quality in biofilm high-throughput routine analysis: intralaboratory protocol adaptation and experiment reproducibility

Biofilm research is growing more diverse and dependent on high-throughput technologies and the large-scale production of results aggravates data substantiation. In particular, it is often the case that experimental protocols are adapted to meet the needs of a particular laboratory and no statistical validation of the modified method is provided. This paper discusses the impact of intra-laboratory adaptation and non-rigorous documentation of experimental protocols on biofilm data interchange and validation. The case study is a non-standard, but widely used, workflow for Pseudomonas aeruginosa biofilm development, considering three analysis assays: the crystal violet (CV) assay for biomass quantification, the XTT assay for respiratory activity assessment, and the colony forming units (CFU) assay for determination of cell viability. The ruggedness of the protocol was assessed by introducing small changes in the biofilm growth conditions, which simulate minor protocol adaptations and non-rigorous protocol documentation. Results show that even minor variations in the biofilm growth conditions may affect the results considerably, and that the biofilm analysis assays lack repeatability. Intra-laboratory validation of non-standard protocols is found critical to ensure data quality and enable the comparison of results within and among laboratories.

An efficient chronic unpredictable stress protocol to induce stress-related responses in C57BL/6 mice

Exposure to chronic stress can have broad effects on health ranging from increased predisposition for neuropsychiatric disorders to deregulation of immune responses. The chronic unpredictable stress (CUS) protocol has been widely used to study the impact of stress exposure in several animal models and consists in the random, intermittent, and unpredictable exposure to a variety of stressors during several weeks. CUS has consistently been shown to induce behavioral and immunological alterations typical of the chronic stress-response. Unfortunately C57BL/6 mice, one of the most widely used mouse strains, due to the great variety of genetically modified lines, seem to be resistant to the commonly used 4-week-long CUS protocol. The definition of an alternative CUS protocol allowing the use of C57BL/6 mice in chronic stress experiments is a need. Here, we show that by extending the CUS protocol to 8?weeks is possible to induce a chronic stress-response in C57BL/6 mice, as revealed by abrogated body weight gain, increased adrenals weight, and an overactive hypothalamic-pituitary-adrenal axis with increased levels of serum corticosterone. Moreover, we also observed stress-associated behavioral alterations, including the potentiation of anxious-like and depressive-like behaviors and a reduction of exploratory behavior, as well as subtle stress-related changes in the cell population of the thymus and of the spleen. The present protocol for C57BL/6 mice consistently triggers the spectrum of CUS-induced changes observed in rats and, thus, will be highly useful to researchers that need to use this particular mouse strain as an animal model of neuropsychiatric disorders and/or immune deregulation related to CUS.

Widespread environmental contamination with Mycobacterium tuberculosis complex revealed by a molecular detection protocol

Environmental contamination with Mycobacterium tuberculosis complex (MTC) has been considered crucial for bovine tuberculosis persistence in multi-host-pathogen systems. However, MTC contamination has been difficult to detect due to methodological issues. In an attempt to overcome this limitation we developed an improved protocol for the detection of MTC DNA. MTC DNA concentration was estimated by the Most Probable Number (MPN) method. Making use of this protocol we showed that MTC contamination is widespread in different types of environmental samples from the Iberian Peninsula, which supports indirect transmission as a contributing mechanism for the maintenance of bovine tuberculosis in this multi-host-pathogen system. The proportion of MTC DNA positive samples was higher in the bovine tuberculosis-infected than in presumed negative area (0.32 and 0.18, respectively). Detection varied with the type of environmental sample and was more frequent in sediment from dams and less frequent in water also from dams (0.22 and 0.05, respectively). The proportion of MTC-positive samples was significantly higher in spring (p<0.001), but MTC DNA concentration per sample was higher in autumn and lower in summer. The average MTC DNA concentration in positive samples was 0.82 MPN/g (CI95 0.70-0.98 MPN/g). We were further able to amplify a DNA sequence specific of Mycobacterium bovis/caprae in 4 environmental samples from the bTB-infected area.

Study of Coronary Flow Reserve with Intravenous Use of Microbubbles (Contrast Echocardiography) and Adenosine: Protocol for Clinical Application in Patients Suspected of Having Coronary Heart Disease

OBJECTIVE: To test the feasibility, safety and accuracy of the adenosine protocol in the study of myocardial perfusion with microbubbles contrast echocardiography. METHODS: 81 pts (64 male, 60+11 years) were submitted to contrast echocardiography with PESDA (sonicated solution of albumin 20%-1ml, dextrose 5%-12ml and deca-fluorobutane gas-8ml) to study the myocardial perfusion at rest and after bolus injection of adenosine (6 to 18mg) and to coronary angiography within 1 month each other. For each patient 3 left ventricle perfusion beds were considered (total of 243 territories). 208 territories were analyzed and 35 territories were excluded. PESDA was continuously infused (1-2ml/min), titrated for best myocardial contrast. Triggered (1:1) second harmonic imaging was used. RESULTS: Coronary angiography showed 70 flow limiting (> 75%) lesions and 138 no flow limiting lesions. At rest an obvious myocardium contrast enhancement was seen in at least 1 segment of a territory in all patients. After adenosine injection an unquestionable further increase in myocardial contrast was observed in 136 territories (99%) related to no flow limiting lesions, lasting < 10 s, and a myocardial perfusion defect was detected in 68 territories (97%) related to flow limiting lesions. It was observed only 4 false results. There were no serious complications. CONCLUSION: Myocardial perfusion study with PESDA and adenosine protocol is a practical, safe and accurate method to analyze the coronary flow reserve.

A new proposal to guide velocity and inclination in the ramp protocol for the treadmill ergometer

OBJECTIVE: To suggest criteria to guide protocol prescription in ramp treadmill testing, according to sex and age, based on velocity, inclination, and max VO2 reached by the population studied. METHODS: Prospective study describing heart rate (HR), time, velocity, inclination, and VO2 estimated at maximum effort of 1840 individuals from 4 to 79 years old, who performed a treadmill test (TT) according to the ramp protocol. A paired Student t test was used to assess the difference between predicted and reached max VO2, calculated according to the formulas of the "American College of Sports Medicine". RESULTS: Submaximal HR was surpassed in 90.1% of the examinations, with a mean time of 10.0±2.0 minute. Initial and peak inclination velocity of the exercise and max VO2 were inversely proportional to age and were greater in male patients. Predicted Max VO2 was significantly lower than that reached in all patients, except for female children and adolescents (age < 20 years old). CONCLUSION: Use of velocity, inclination, and maximum VO2 actually reached, as a criterion in prescribing the ramp protocol may help in the performance of exercise in treadmill testing. The ramp protocol was well accepted in all age groups and sexes with exercise time within the programmed 8 to 12 minutes.

Investigación de defectos genéticos en el sistema de la fosforilasa hepática en pacientes argentinos. Definición nosológica mediante una estrategia de análisis molecular. Investigation of genetic defects in the hepatic phosphorylase system in Argentinean patients. Nosological definition by molecular analysis strategy.

Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.

Analysis of haemochromatosis mutations in the North West population

Background: Hereditary haemochromatosis is a heritable disorder caused by an inborn error in the metabolism of iron. It results in over absorption of iron by the body, which can manifest clinically as fatigue, arthritis, diabetes and cardiovascular problems. The highest prevalence for the genetic mutations that cause hereditary haemochromatosis can be found in the Irish population. Individuals with diabetes may also have haemochromatosis (and vice versa), due to the bi-directional relationship between iron metabolism and glucose metabolism. Objectives: To determine the incidence of the three haemochromatosis mutations C282Y, H63D & S65C, in a population from the North West of Ireland and to investigate whether there is an increased frequency of these three mutations in a diabetic population from the same region. Method: DNA was extracted from 500 whole blood samples (250 diabetic samples and 250 ‘control’ samples) using a Wizard™ kit. PCR was conducted utilising specific primers for each mutation and in accordance with a set protocol. Following amplification, PCR product was subjected to restriction endonuclease digestion, where different restriction enzymes (Rsa I, Nde II & Hinf I) were employed to determine the HFE genotype status of samples. Results: The incidence of C282Y homozygosity (1/83) and C282Y heterozygosity (1/6) in the ‘control’ group was similar to those reported for the general Irish population (1/83 and 1/5, respectively). Incidences of H63D homozygotes and H63D heterozygotes or ‘carriers’ in the diabetic population were greater than that of the ‘control’ population. A significant finding of this study was that of an incidence of 1/32 S65C carriers in the control population. This is, to our knowledge, the highest incidence of the genotype reported to date in the general Irish population. Statistical analysis showed that there was no significant differences between the HFE genotype frequencies in the Diabetic and Control Populations. Conclusion: Results of the study concord with published literature in terms of C282Y homozygosity and C282Y heterozygosity in the general Irish population. An increased frequency of the H63D mutation in diabetic individuals was also found but was not statistically significant. The biochemical effect of the H63D mutation is still unknown. The significance of such a high incidence of S65C carriers in the ‘control’ population warrants further investigation.

Relevance to Home Blood Pressure Monitoring Protocol of Blood Pressure Measurements Taken Before First- Morning Micturition and in the Afternoon

Background: The importance of measuring blood pressure before morning micturition and in the afternoon, while working, is yet to be established in relation to the accuracy of home blood pressure monitoring (HBPM). Objective: To compare two HBPM protocols, considering 24-hour ambulatory blood pressure monitoring (wakefulness ABPM) as gold-standard and measurements taken before morning micturition (BM) and in the afternoon (AM), for the best diagnosis of systemic arterial hypertension (SAH), and their association with prognostic markers. Methods: After undergoing 24-hour wakefulness ABPM, 158 participants (84 women) were randomized for 3- or 5-day HBPM. Two variations of the 3-day protocol were considered: with measurements taken before morning micturition and in the afternoon (BM+AM); and with post-morning-micturition and evening measurements (PM+EM). All patients underwent echocardiography (for left ventricular hypertrophy - LVH) and urinary albumin measurement (for microalbuminuria - MAU). Result: Kappa statistic for the diagnosis of SAH between wakefulness-ABPM and standard 3-day HBPM, 3-day HBPM (BM+AM) and (PM+EM), and 5-day HBPM were 0.660, 0.638, 0.348 and 0.387, respectively. The values of sensitivity of (BM+AM) versus (PM+EM) were 82.6% × 71%, respectively, and of specificity, 84.8% × 74%, respectively. The positive and negative predictive values were 69.1% × 40% and 92.2% × 91.2%, respectively. The comparisons of intraclass correlations for the diagnosis of LVH and MAU between (BM+AM) and (PM+EM) were 0.782 × 0.474 and 0.511 × 0.276, respectively. Conclusions: The 3 day-HBPM protocol including measurements taken before morning micturition and during work in the afternoon showed the best agreement with SAH diagnosis and the best association with prognostic markers.

Analysis Treatment Guideline versus Clinical Practice Protocol in Patients Hospitalized due to Heart Failure

Background: Despite the availability of guidelines for treatment of heart failure (HF), only a few studies have assessed how hospitals adhere to the recommended therapies. Objectives: Compare the rates of adherence to the prescription of angiotensin-converting enzyme inhibitor or angiotensin II receptor blockers (ACEI/ARB) at hospital discharge, which is considered a quality indicator by the Joint Commission International, and to the prescription of beta-blockers at hospital discharge, which is recommended by national and international guidelines, in a hospital with a case management program to supervise the implementation of a clinical practice protocol (HCP) and another hospital that follows treatment guidelines (HCG). Methods: Prospective observational study that evaluated patients consecutively admitted to both hospitals due to decompensated HF between August 1st, 2006, and December 31st, 2008. We used as comparing parameters the prescription rates of beta-blockers and ACEI/ARB at hospital discharge and in-hospital mortality. Results: We analyzed 1,052 patients (30% female, mean age 70.6 ± 14.1 years), 381 (36%) of whom were seen at HCG and 781 (64%) at HCP. The prescription rates of beta-blockers at discharge at HCG and HCP were both 69% (p = 0.458), whereas those of ACEI/ARB were 83% and 86%, respectively (p = 0.162). In-hospital mortality rates were 16.5% at HCP and 27.8% at HCG (p < 0.001). Conclusion: There was no difference in prescription rates of beta-blocker and ACEI/ARB at hospital discharge between the institutions, but HCP had lower in-hospital mortality. This difference in mortality may be attributed to different clinical characteristics of the patients in both hospitals.

Avaluació d’un nou protocol MAC per IEEE 802.11 en un entorn multicel·lular exterior

Estudi realitzat a partir d’una estada al laboratori LSR (Logiciels, Systèmes, Réseaux) – IMAG a Grenoble, França, entre els mesos de setembre del 2005 i febrer del 2006. El grup de recerca Drakkar d’aquest laboratori va desenvolupar un nou mecanisme d’accés al medi per a xarxes d’àrea local sense fils (WLAN) anomenat Idle Sense. S’ha avaluat aquest mecanisme en entorns cel·lulars i s’ha comparat del seu comportament amb l’estàndard IEEE 802.11 DCF mitjançant la implementació en un simulador. En els entorns cel·lulars es troben condicions de transmissió molt allunyades de les ideals, i de les analitzades fins al moment, que consisteixen en escenaris formats per una única cel·la aïllada. Per aquest motiu, primer s’ha estudiat els mecanismes d’accés al medi d’Idle Sense en una cel·la i en condicions de transmissió adverses. Després, s’ha estudiat en entorns multicel·lulars, on les comunicacions entre estacions es veuen influenciades pel problema de solapament de cel·les i per les interferències provocades per les transmissions d’estacions d’altres cel·les. També s’ha comparat els resultats obtinguts amb el comportament d’IEEE 802.11 DCF i d’altres propostes de millora: Asymptotically Optimal Backoff (AOB) i Slow Decrease. Finalment, s’ha realitzat una modificació sobre Idle Sense, que s’ha anomenat Weighted Idle Sense, que resulta més adecuat per a treballar en xarxes d’àrea local sense fils en mode infraestructura.

Disseny i aplicació del protocol d'instal·lació d'energia fotovoltaica en edificis aïllats de la xarxa elèctrica al PNAP

En el perímetre del parc es troben gran nombre d’edificacions amb mancances de subministrament elèctric per la gran dispersió de la població de la comarca. L’objectiu d’aquest estudi és desenvolupar un protocol per determinar la viabilitat de l’energia fotovoltaica en edificis aïllats i aplicar-la de forma pilot a dos edificis gestionats pels responsables del Parc Natural de l’Alt Pirineu: el Centre de Logística i Manteniment (CLM) i el Refugi del Fornet. Aquests han estat escollits per la seva representativitat com a edificis aïllats de la xarxa elèctrica convencional. S’ha elaborat una metodologia pròpia, el Protocol d’instal·lació d’energia fotovoltaica en edificis aïllats de la xarxa elèctrica. S’ha realitzat una anàlisi de sensibilitats del dimensionat fotovoltaic davant la modificació de diversos paràmetres rellevants. Això ha permès determinar les característiques òptimes de viabilitat per als dos edificis en estudi i el cost de la instal·lació fotovoltaica (17.183€ el CLM i 164.815 € el Refugi del Fornet). Els resultats obtinguts en els dos edificis pilot han mostrat el gran cost relatiu entre l’energia fotovoltaica i l’energia elèctrica produïda a partir de combustibles fòssils.

Mobilitat inter-plataforma d'agents software: protocol de migració fragmentada

En aquest projecte s'ha realitzat l'anàlisi, disseny i implementació d'un protocol de migració d'agents software basat en l'enviament del codi dels agents fragmentat en múltiples missatges. Aquest protocol es troba dins d'una arquitectura de migració multi-protocol per a la mobilitat d'agents entre plataformes JADE. Finalment, s'ha realitzat un estudi que compara el rendiment assolit pel protocol i les prestacions que aporta.

Multi-phase post-mortem CT angiography: development of a standardized protocol.

The objective of this work was to develop an easily applicable technique and a standardized protocol for high-quality post-mortem angiography. This protocol should (1) increase the radiological interpretation by decreasing artifacts due to the perfusion and by reaching a complete filling of the vascular system and (2) ease and standardize the execution of the examination. To this aim, 45 human corpses were investigated by post-mortem computed tomography (CT) angiography using different perfusion protocols, a modified heart-lung machine and a new contrast agent mixture, specifically developed for post-mortem investigations. The quality of the CT angiographies was evaluated radiologically by observing the filling of the vascular system and assessing the interpretability of the resulting images and by comparing radiological diagnoses to conventional autopsy conclusions. Post-mortem angiography yielded satisfactory results provided that the volumes of the injected contrast agent mixture were high enough to completely fill the vascular system. In order to avoid artifacts due to the post-mortem perfusion, a minimum of three angiographic phases and one native scan had to be performed. These findings were taken into account to develop a protocol for quality post-mortem CT angiography that minimizes the risk of radiological misinterpretation. The proposed protocol is easy applicable in a standardized way and yields high-quality radiologically interpretable visualization of the vascular system in post-mortem investigations.