CoordMaude Simplifying Formal Coordination Specifications of Cooperation Environments

AbstractDeveloping concurrent applications in cooperative environments is an arduous task. This is mainly due to the fact that it is very difficult to specify the synchronized interaction between the entities composing the system. Using coordination models makes this task easier. The latest trends in this area suggest that to manage the successful implementation of complex systems, coordination models must support some key features regarding the coordination constraints: their separated specification, their unanticipated evolution and their dynamic change. However, supporting these features is not only a technical challenge: it must be also guaranteed that the application of a separately specified coordination pattern to a set of encapsulated entities, or the change of the coordination constraints in an already running software system will not produce semantic errors. This is just the problem focused in this paper. In particular, a method for generating formal interpretable specifications reproducing coordinated environments is presented. The method is based on the Coordinated Roles coordination model and makes use of Maude as a formal language. The benefits obtained are: (i) easy specification using the coordination model syntax, (ii) automatic generation of the corresponding formal specification and (iii) simulation of system behaviour

Effect of zinc intake on growth in infants: A meta-analysis

A systematic review and meta-analysis of available randomized controlled trials (RCTs) was conducted to evaluate the effect of zinc (Zn) intake on growth in infants. Out of 5500 studies identified through electronic searches and reference lists, 19 RCTs were selected after applying the exclusion/inclusion criteria. The influence of Zn intake on growth was considered in the overall meta-analysis. Other variables were also taken into account as possible effect modifiers: doses of Zn intake, intervention duration, nutritional status, and risk of bias. From each select growth study, final measures of weight, length, mid upper arm circumference (MUAC), head circumference, weight for age z-score (WAZ), length for age z-score (LAZ), and weight for length z-score (WLZ) were assessed. Pooled β and 95% confidence interval (CI) were calculated. Additionally, we carried out a sensitivity analysis. Zn intake was not associated with weight, length, MUAC, head circumference, and LAZ in the pooled analyses. However, Zn intake had a positive and statistically effect on WAZ (β = 0.06; 95%CI 0.02 to 0.10) and WLZ (β = 0.05; 95%CI 0.01 to 0.08). The dose–response relationship between Zn intake and these parameters indicated that a doubling of Zn intake increased WAZ and WLZ by approximately 4%. Substantial heterogeneity was present only in length analyses (I2 = 45%; p = 0.03). Zn intake was positively associated with length values at short time (four to 20 weeks) (β = 0.01; CI 95% 0 to 0.02) and at medium doses of Zn (4.1 to 8 mg/day) (β = 0.003; CI 95% 0 to 0.01). Nevertheless, the effect magnitude was small. Our results indicate that Zn intake increases growth parameters of infants. Nonetheless, interpretation of these results should be carefully considered

Ciencia Odontológica 2.0

Libro que muestra avances de la Investigación Odontológica en MéxicoEs para los integrantes de la Red de Investigación en Estomatología (RIE) una enorme alegría presentar el segundo de una serie de 6 libros sobre casos clínicos, revisiones de la literatura e investigaciones. La RIE está integrada por cuerpos académicos de la UAEH, UAEM, UAC y UdeG

New World Civitas, Contested Jurisdictions and Intercultural Conversation in the Construction of the Spanish Monarchy

Jurisdictional frontiers were created, contested, and negotiated among a wide range of actors, including native Americans and Europeans, with reference to the cities founded in Castilla del Oro (roughly present-day Panama). This research deals, first, with the reshaping of the concept of a city in the New World, based on its inhabitants' sense of civitas. It analyses, secondly, the creation and redefinition of jurisdiction during political conflicts and, third, the construction and maintenance of jurisdiction through local relations with indigenous populations described as "conversation". The analysis of the creation and preservation of local jurisdictions allows for an interpretation of the complexities involved in the configuration of political power and political space from below in the territories claimed by the Spanish Monarchy.Art Empir

Mortality from gastrointestinal congenital anomalies at 264 hospitals in 74 low-income, middle-income, and high-income countries: a multicentre, international, prospective cohort study

Summary Background Congenital anomalies are the fifth leading cause of mortality in children younger than 5 years globally. Many gastrointestinal congenital anomalies are fatal without timely access to neonatal surgical care, but few studies have been done on these conditions in low-income and middle-income countries (LMICs). We compared outcomes of the seven most common gastrointestinal congenital anomalies in low-income, middle-income, and high-income countries globally, and identified factors associated with mortality. Methods We did a multicentre, international prospective cohort study of patients younger than 16 years, presenting to hospital for the first time with oesophageal atresia, congenital diaphragmatic hernia, intestinal atresia, gastroschisis, exomphalos, anorectal malformation, and Hirschsprung’s disease. Recruitment was of consecutive patients for a minimum of 1 month between October, 2018, and April, 2019. We collected data on patient demographics, clinical status, interventions, and outcomes using the REDCap platform. Patients were followed up for 30 days after primary intervention, or 30 days after admission if they did not receive an intervention. The primary outcome was all-cause, in-hospital mortality for all conditions combined and each condition individually, stratified by country income status. We did a complete case analysis. Findings We included 3849 patients with 3975 study conditions (560 with oesophageal atresia, 448 with congenital diaphragmatic hernia, 681 with intestinal atresia, 453 with gastroschisis, 325 with exomphalos, 991 with anorectal malformation, and 517 with Hirschsprung’s disease) from 264 hospitals (89 in high-income countries, 166 in middleincome countries, and nine in low-income countries) in 74 countries. Of the 3849 patients, 2231 (58·0%) were male. Median gestational age at birth was 38 weeks (IQR 36–39) and median bodyweight at presentation was 2·8 kg (2·3–3·3). Mortality among all patients was 37 (39·8%) of 93 in low-income countries, 583 (20·4%) of 2860 in middle-income countries, and 50 (5·6%) of 896 in high-income countries (p<0·0001 between all country income groups). Gastroschisis had the greatest difference in mortality between country income strata (nine [90·0%] of ten in lowincome countries, 97 [31·9%] of 304 in middle-income countries, and two [1·4%] of 139 in high-income countries; p≤0·0001 between all country income groups). Factors significantly associated with higher mortality for all patients combined included country income status (low-income vs high-income countries, risk ratio 2·78 [95% CI 1·88–4·11], p<0·0001; middle-income vs high-income countries, 2·11 [1·59–2·79], p<0·0001), sepsis at presentation (1·20 [1·04–1·40], p=0·016), higher American Society of Anesthesiologists (ASA) score at primary intervention (ASA 4–5 vs ASA 1–2, 1·82 [1·40–2·35], p<0·0001; ASA 3 vs ASA 1–2, 1·58, [1·30–1·92], p<0·0001]), surgical safety checklist not used (1·39 [1·02–1·90], p=0·035), and ventilation or parenteral nutrition unavailable when needed (ventilation 1·96, [1·41–2·71], p=0·0001; parenteral nutrition 1·35, [1·05–1·74], p=0·018). Administration of parenteral nutrition (0·61, [0·47–0·79], p=0·0002) and use of a peripherally inserted central catheter (0·65 [0·50–0·86], p=0·0024) or percutaneous central line (0·69 [0·48–1·00], p=0·049) were associated with lower mortality. Interpretation Unacceptable differences in mortality exist for gastrointestinal congenital anomalies between lowincome, middle-income, and high-income countries. Improving access to quality neonatal surgical care in LMICs will be vital to achieve Sustainable Development Goal 3.2 of ending preventable deaths in neonates and children younger than 5 years by 2030

Specifying Cooperation Environment Requirements using Formal and Graphical Techniques

Abstract.. Using formal languages to specify system requirements guarantees the correctness of systems specifications. However, having correct specifications does not guarantee such specification matching user requirements. To guarantee such matching, users are required to validate formal specifications. This is a difficult task because, usually, users are unaware of notations. This work focus on this problem, in particular the validation of formal specifications of complex coordinated systems. To make the user’s validation easier, a new graphic technique to represent the dependencies in a coordinated environment is proposed. This graphic (and visual) technique increases users ’ understanding whilst lack of precisions is avoided. In fact, the proposed graphics correspond with visual representations of formal Maude specifications. Besides, taking advantage of the features of Maude, the system simulation is supported by the execution of Maude specifications. Thus, users are allowed to check whether the system produces the expected results. 1

COFRE: Environment for Specifying Coordination Requirements using Formal and Graphical Techniques

Advances in computer science have enabled the development of more and more complex systems. One of the most powerful tools to manage these systems is coordination models and languages. However, a serious limitation of these models, with regard to their usability, is that they do not provide support to manage the coordination constraints from the early stages in the software life cycle. Indeed, while these models provide suitable support to structure the applications giving a separate treatment to coordination patterns and functional components at the implementation phase, they provide little support to deal with adequate treatment of such concerns in the requirements definition. Coordination models should be encompassing a methodology supporting the separation of concerns throughout the whole software development process. An example of such methodology is presented in this paper providing a graphic technique, a method of generating formal interpretable specifications for the reproduction of coordinated environments and an accordance checker to verify the system formal representation with regard to the graphic one. The method is based on the use of the formal language Maude (as a simulation tool) and Coordinated Roles as a coordination model

Effectiveness of the Combination of Enalapril and Nifedipine for the Treatment of Hypertension versus Empirical Treatment in Primary Care Patients

Hypertension in Mexico has a prevalence of 32% and is the second most widespread cause of consultation in primary care. Only 40% of patients in treatment have a blood pressure (BP) below 140/90 mmHg. This clinical trial aimed to compare the effectiveness of the combination of enalapril and nifedipine versus the empirical treatment for hypertension in patients with uncontrolled BP in a primary care center in Mexico City. Participants were randomized to treatment with enalapril and nifedipine (combination group) or to continue with the empirical treatment. Outcome variables were BP control, therapeutic adherence, and adverse effects at 6 months of follow-up. At the end of the follow-up period, BP control (64% versus 77%) and therapeutic adherence (53% versus 93%) showed an improvement from the baseline values in the group that received the combination treatment. BP control (51% versus 47%) and therapeutic adherence (64% versus 59%) in the group who received the empirical treatment did not show improvement from the baseline to follow-up. Combined treatment was 31% more efficacious than conventional empirical treatment (odds ratio = 3.9), which yielded an incremental clinical utility of 18% with high tolerability extent among patients in primary care in Mexico City. These results contribute to the control of arterial hypertension