Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

The condensation and ordering of models of empty liquids

We consider a simple model consisting of particles with four bonding sites ("patches"), two of type A and two of type B, on the square lattice, and investigate its global phase behavior by simulations and theory. We set the interaction between B patches to zero and calculate the phase diagram as the ratio between the AB and the AA interactions, epsilon(AB)*, varies. In line with previous work, on three-dimensional off-lattice models, we show that the liquid-vapor phase diagram exhibits a re-entrant or "pinched" shape for the same range of epsilon(AB)*, suggesting that the ratio of the energy scales - and the corresponding empty fluid regime - is independent of the dimensionality of the system and of the lattice structure. In addition, the model exhibits an order-disorder transition that is ferromagnetic in the re-entrant regime. The use of low-dimensional lattice models allows the simulation of sufficiently large systems to establish the nature of the liquid-vapor critical points and to describe the structure of the liquid phase in the empty fluid regime, where the size of the "voids" increases as the temperature decreases. We have found that the liquid-vapor critical point is in the 2D Ising universality class, with a scaling region that decreases rapidly as the temperature decreases. The results of simulations and theoretical analysis suggest that the line of order-disorder transitions intersects the condensation line at a multi-critical point at zero temperature and density, for patchy particle models with a re-entrant, empty fluid, regime. (C) 2011 American Institute of Physics. [doi: 10.1063/1.3657406]

Mechanical behavior and localized failure modes in a porous basalt from the Azores

Basaltic rocks are the main component of the oceanic upper crust, thus of potential interest for water and geothermal resources, storage of CO2 and volcanic edifice stability. In this work, we investigated experimentally the mechanical behavior and the failure modes of a porous basalt, with an initial connected porosity of 18%. Results were acquired under triaxial compression experiments at confining pressure in the range of 25-200 MPa on water saturated samples. In addition, a purely hydrostatic test was also performed to reach the pore collapse critical pressure P*. During hydrostatic loading, our results show that the permeability is highly pressure dependent, which suggests that the permeability is mainly controlled by pre-existing cracks. When the sample is deformed at pressure higher than the pore collapse pressure P*, some very small dilatancy develops due to microcracking, and an increase in permeability is observed. Under triaxial loading, two modes of deformation can be highlighted. At low confining pressure (Pc < 50 MPa), the samples are brittle and shear localization occurs. For confining pressure > 50 MPa, the stress-strain curves are characterized by strain hardening and volumetric compaction. Stress drops are also observed, suggesting that compaction may be localized. The presence of compaction bands is confirmed by our microstructure analysis. In addition, the mechanical data allows us to plot the full yield surface for this porous basalt, which follows an elliptic cap as previously observed in high porosity sandstones and limestones.

New findings on the dynamics of HIV and TB coinfection models

In this paper we study a model for HIV and TB coinfection. We consider the integer order and the fractional order versions of the model. Let α∈[0.78,1.0] be the order of the fractional derivative, then the integer order model is obtained for α=1.0. The model includes vertical transmission for HIV and treatment for both diseases. We compute the reproduction number of the integer order model and HIV and TB submodels, and the stability of the disease free equilibrium. We sketch the bifurcation diagrams of the integer order model, for variation of the average number of sexual partners per person and per unit time, and the tuberculosis transmission rate. We analyze numerical results of the fractional order model for different values of α, including α=1. The results show distinct types of transients, for variation of α. Moreover, we speculate, from observation of the numerical results, that the order of the fractional derivative may behave as a bifurcation parameter for the model. We conclude that the dynamics of the integer and the fractional order versions of the model are very rich and that together these versions may provide a better understanding of the dynamics of HIV and TB coinfection.

Landslide susceptibility assessment in Karanganyar regency - Indonesia - Comparison of knowledge-based and Data-driven Models

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Digoxin serum levels in patients with Chagas' cardiomyopathy and heart failure

INTRODUCTION: The purpose of this study was to determine digoxin serum concentrations in patients with Chagas' cardiomyopathy with chronic heart failure, because little is known concerning this laboratory test in patients with this condition. METHODS: This study focuses on 29 (29%) out of 101 patients with chronic heart failure secondary to Chagas' cardiomyopathy receiving digoxin therapy. Digoxin was measured by the immune-enzymatic method. RESULTS: New York Heart Association Functional Class III/IV was noted in 13 (45%) patients. The mean potassium serum level was 4.3± 0.5mEq/L, mean creatinine serum levels 1.4± 0.3dg/100ml, and left ventricular ejection fraction 34.7± 13.8%. The median digoxin serum level was 1.27 (0.55; 1.79)ng/ml. Sixteen (55%) patients had digoxin serum levels higher than 1.0ng/ml. Abnormal digoxin serum levels were verified in 13 (45%) patients. Digoxin serum levels correlated moderately with creatinine serum levels (r = 0.39; p< 0.03) and negatively with sodium serum levels (r= -0.38; p= 0.03). CONCLUSIONS: Digoxin serum concentration should be measured in patients with Chagas' cardiomyopathy with chronic heart failure receiving digoxin therapy due to the potential for digoxin toxicity.

Secular trends in Klebsiella pneumoniae isolated in a tertiary-care hospital: increasing prevalence and accelerated decline in antimicrobial susceptibility

Abstract: INTRODUCTION Klebsiella pneumoniae has become an increasingly important etiologic agent of nosocomial infections in recent years. This is mainly due to the expression of virulence factors and development of resistance to several antimicrobial drugs. METHODS This retrospective study examines data obtained from the microbiology laboratory of a Brazilian tertiary-care hospital. To assess temporal trends in prevalence and antimicrobial susceptibility, K. pneumoniae isolates were analyzed from 2000 to 2013. The relative frequencies of K. pneumoniae isolation were calculated among all Gram-negative bacilli isolated in each period analyzed. Susceptibility tests were performed using automated systems. RESULTS: From 2000-2006, K. pneumonia isolates comprised 10.7% of isolated Gram-negative bacilli (455/4260). From 2007-2013, this percentage was 18.1% (965/5331). Strictly considering isolates from bloodstream infections, the relative annual prevalence of K. pneumoniae increased from 14-17% to 27-32% during the same periods. A progressive decrease in K. pneumoniae susceptibility to all antimicrobial agents assessed was detected. Partial resistance was also observed to antimicrobial drugs that have been used more recently, such as colistin and tigecycline. CONCLUSIONS Our study indicates that K. pneumoniae has become a major pathogen among hospitalized patients and confirms its recent trend of increasing antimicrobial resistance.

Lightweight adjustable partition system: evaluation of resistance to horizontal loads and functional failure from impacts

This paper presents and discusses the results of the serviciability and use condition tests carried on an innovative solution for partitions, designated AdjustMembrane developed within a research project. The proposed system is a modular non-loadbearing wall, tensioned between the pavements and ceiling slabs, which are used as anchoring elements. It allows several advantages, related with the weight reduction to achieve a good sustainable performance, such as the reduction of construction costs, energy, and materials, and it is easy to recycle and to reuse, allowing self-construction. Apart from a general presentation of the partition technology, this paper presents and discusses the results of experimental tests carried out. From the results obtained, it is possible to conclude that the solution fulfils the requirements for this typology of wall in terms of resistance to horizontal loads induced by soft and hard body impacts.

Exercise and heart failure. Relation of the severity of the disease to the anaerobic threshold and the respiratory compensation point

OBJECTIVE - To identify, the anaerobic threshold and respiratory compensation point in patients with heart failure. METHODS - The study comprised 42 Men,divided according to the functional class (FC) as follows: group I (GI) - 15 patients in FC I; group II (GII) - 15 patients in FC II; and group III (GIII) - 12 patients in FC III. Patients underwent a treadmill cardiopulmonary exercise test, where the expired gases were analyzed. RESULTS - The values for the heart rate (in bpm) at the anaerobic threshold were the following: GI, 122±27; GII, 117±17; GIII, 114±22. At the respiratory compensation point, the heart rates (in bpm) were as follows: GI, 145±33; GII, 133±14; GIII 123±22. The values for the heart rates at the respiratory compensation point in GI and GIII showed statistical difference. The values of oxygen consumption (VO2) at the anaerobic threshold were the following (in ml/kg/min): GI, 13.6±3.25; GII, 10.77±1.89; GIII, 8.7±1.44 and, at the respiratory compensation point, they were as follows: GI, 19.1±2.2; GII, 14.22±2.63; GIII, 10.27±1.85. CONCLUSION - Patients with stable functional class I, II, and III heart failure reached the anaerobic threshold and the respiratory compensation point at different levels of oxygen consumption and heart rate. The role played by these thresholds in physical activity for this group of patients needs to be better clarified.

Association between Functional Variables and Heart Failure after Myocardial Infarction in Rats

Background: Heart failure prediction after acute myocardial infarction may have important clinical implications. Objective: To analyze the functional echocardiographic variables associated with heart failure in an infarction model in rats. Methods: The animals were divided into two groups: control and infarction. Subsequently, the infarcted animals were divided into groups: with and without heart failure. The predictive values were assessed by logistic regression. The cutoff values predictive of heart failure were determined using ROC curves. Results: Six months after surgery, 88 infarcted animals and 43 control animals were included in the study. Myocardial infarction increased left cavity diameters and the mass and wall thickness of the left ventricle. Additionally, myocardial infarction resulted in systolic and diastolic dysfunction, characterized by lower area variation fraction values, posterior wall shortening velocity, E-wave deceleration time, associated with higher values of E / A ratio and isovolumic relaxation time adjusted by heart rate. Among the infarcted animals, 54 (61%) developed heart failure. Rats with heart failure have higher left cavity mass index and diameter, associated with worsening of functional variables. The area variation fraction, the E/A ratio, E-wave deceleration time and isovolumic relaxation time adjusted by heart rate were functional variables predictors of heart failure. The cutoff values of functional variables associated with heart failure were: area variation fraction < 31.18%; E / A > 3.077; E-wave deceleration time < 42.11 and isovolumic relaxation time adjusted by heart rate < 69.08. Conclusion: In rats followed for 6 months after myocardial infarction, the area variation fraction, E/A ratio, E-wave deceleration time and isovolumic relaxation time adjusted by heart rate are predictors of heart failure onset.