Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

An agent-based approach to modelling driver route choice behaviour under the influence of real-time information

This paper presents an agent-based approach to modelling individual driver behaviour under the influence of real-time traffic information. The driver behaviour models developed in this study are based on a behavioural survey of drivers which was conducted on a congested commuting corridor in Brisbane, Australia. Commuters' responses to travel information were analysed and a number of discrete choice models were developed to determine the factors influencing drivers' behaviour and their propensity to change route and adjust travel patterns. Based on the results obtained from the behavioural survey, the agent behaviour parameters which define driver characteristics, knowledge and preferences were identified and their values determined. A case study implementing a simple agent-based route choice decision model within a microscopic traffic simulation tool is also presented. Driver-vehicle units (DVUs) were modelled as autonomous software components that can each be assigned a set of goals to achieve and a database of knowledge comprising certain beliefs, intentions and preferences concerning the driving task. Each DVU provided route choice decision-making capabilities, based on perception of its environment, that were similar to the described intentions of the driver it represented. The case study clearly demonstrated the feasibility of the approach and the potential to develop more complex driver behavioural dynamics based on the belief-desire-intention agent architecture. (C) 2002 Elsevier Science Ltd. All rights reserved.

Real exchange rate and elasticity of labour supply in a balance-of-payments-constrained macrodynamics

A macrodynamic model is proposed in which the real exchange rate and the elasticity of labour supply interact defining different trajectories of growth and income distribution in a developing economy. Growth depends on imports of capital goods which are paid with exports (there are no capital flows) and hence is constrained by equilibrium in current account. The role of the elasticity of labour supply is to prevent the real exchange rate from appreciating as the economy grows, thereby sustaining international competitiveness. The model allows for endogenous technological change and considers the impact of migration from the subsistence to the modern sector on the cumulative (Kaldor-Verdoorn) process of learning.

Financial leverage and tangibility of assets of Brazilian companies of agribusiness in the post-real plan period

This paper aims to study the relationship between the debt level and the asset structure of Brazilian companies of the agribusiness sector, since it is considered a current and relevant discussion: to evaluate the mechanisms for fund-raising and guarantees. The methodology of Granger`s Causality test and Autoregressive Vectors was used to conduct a comparative analysis, applied to a financial database of companies with open capital of Brazilian agribusiness, in particular the agricultural sector and Fisheries and Food and Beverages in a period of 10 years (1997-2007) from quarterly series available in the database of Economatica(R). The results demonstrated that changes in leverage generate variations in the tangibility of the companies, a fact that can be explained by the large search of funding secured by fiduciary transfer of fixed assets, which facilitates access to credit by business of the Agribusiness sector, increasing the payment time and lowering interest rates.

Dibucaine effects on structural and elastic properties of lipid bilayers

In this work we report the interaction effects of the local anesthetic dibucaine (DBC) with lipid patches in model membranes by Atomic Force Microscopy (AFM). Supported lipid bilayers (egg phosphatidylcholine, EPC and dimyristoylphosphatidylcholine, DMPQ were prepared by fusion of unilamellar vesicles on mica and imaged in aqueous media. The AFM images show irregularly distributed and sized EPC patches on mica. On the other hand DMPC formation presents extensive bilayer regions on top of which multibilayer patches are formed. In the presence of DBC we observed a progressive disruption of these patches, but for DMPC bilayers this process occurred more slowly than for EPC. In both cases, phase images show the formation of small structures on the bilayer surface suggesting an effect on the elastic properties of the bilayers when DBC is present. Dynamic surface tension and dilatational surface elasticity measurements of EPC and DMPC monolayers in the presence of DBC by the pendant drop technique were also performed, in order to elucidate these results. The curve of lipid monolayer elasticity versus DBC concentration, for both EPC and DMPC cases, shows a maximum for the surface elasticity modulus at the same concentration where we observed the disruption of the bilayer by AFM. Our results suggest that changes in the local curvature of the bilayer induced by DBC could explain the anesthetic action in membranes. (C) 2008 Elsevier B.V. All rights reserved.

Standard Values for Real-Time Transthoracic Three-Dimensional Echocardiographic Dyssynchrony Indexes in a Normal Population

Background: There is a paucity of information describing the real-time 3-dimensional echocardiography (RT3DE) and dyssynchrony indexes (DIs) of a normal population. We evaluate the RT3DE DIs in a population with normal electrocardiograms and 2- and 3-dimensional echocardiographic analyses. This information is relevant for cardiac resynchronization therapy. Methods: We evaluated 131 healthy volunteers (73 were male, aged 46 +/- 14 years) who were referred for routine echocardiography; who presented normal cardiac structure on electrocardiography, 2-dimensional echocardiography, and RT3DE; and who had no history of cardiac diseases. We analyzed 3-dimensional left ventricular ejection fraction, left ventricle end-diastolic volume, left ventricle end-systolic volume, and left ventricular systolic DI% (6-, 12-, and 16-segment models). RT3DE data were analyzed by quantifying the statistical distribution (mean, median, standard deviation [SD], relative SD, coefficient of skewness, coefficient of kurtosis, Kolmogorov-Smirnov test, D`Agostino-Pearson test, percentiles, and 95% confidence interval). Results: Left ventricular ejection fraction ranged from 50% to 80% (66.1% +/- 7.1%); left ventricle end-diastolic volume ranged from 39.8 to 145 mL (79.1 +/- 24.9 mL); left ventricle end-systolic volume ranged from 12.9 to 66 mL (27 +/- 12.1 mL); 6-segment DI% ranged from 0.20% to 3.80% (1.21% +/- 0.66%), median: 1.06, relative SD: 0.5482, coefficient of skewness: 1.2620 (P < .0001), coefficient of Kurtosis: 1.9956 (P = .0039); percentile 2.5%: 0.2900, percentile 97.5%: 2.8300; 12-segment DI% ranged from 0.22% to 4.01% (1.29% +/- 0.71%), median: 1.14, relative SD: 0.95, coefficient of skewness: 1.1089 (P < .0001), coefficient of Kurtosis: 1.6372 (P = .0100), percentile 2.5%: 0.2850, percentile 97.5%: 3.0700; and 16-segment DI% ranged from 0.29% to 4.88% (1.59 +/- 0.99), median: 1.39, relative SD: 0.56, coefficient of skewness: 1.0792 (P < .0001), coefficient of Kurtosis: 0.9248 (P = .07), percentile 2.5%: 0.3750, percentile 97.5%: 3.750. Conclusion: This study allows for the quantification of RT3DE DIs in normal subjects, providing a comparison for patients with heart failure who may be candidates for cardiac resynchronization therapy. (J Am Soc Echocardiogr 2008; 21: 1229-1235)

Value of real time three-dimensional echocardiography in patients with hypertrophic cardiomyopathy: Comparison with two-dimensional echocardiography and magnetic resonance imaging

Real time three-dimensional echocardiography (RT3DE) has been demonstrated to be an accurate technique to quantify left ventricular (LV) volumes and function in different patient populations. We sought to determine the value of RT3DE for evaluating patients with hypertrophic cardiomyopathy (HCM), in comparison with cardiac magnetic resonance imaging (MRI). Methods: We studied 20 consecutive patients with HCM who underwent two-dimensional echocardiography (2DE), RT3DE, and MRI. Parameters analyzed by echocardiography and MRI included: wall thickness, LV volumes, ejection fraction (LVEF), mass, geometric index, and dyssynchrony index. Statistical analysis was performed by Lin agreement coefficient, Pearson linear correlation and Bland-Altman model. Results: There was excellent agreement between 2DE and RT3DE (Rc = 0.92), 2DE and MRI (Rc = 0.85), and RT3DE and MRI (Rc = 0.90) for linear measurements. Agreement indexes for LV end-diastolic and end-systolic volumes were Rc = 0.91 and Rc = 0.91 between 2DE and RT3DE, Rc = 0.94 and Rc = 0.95 between RT3DE and MRI, and Rc = 0.89 and Rc = 0.88 between 2DE and MRI, respectively. Satisfactory agreement was observed between 2DE and RT3DE (Rc = 0.75), RT3DE and MRI (Rc = 0.83), and 2DE and MRI (Rc = 0.73) for determining LVEF, with a mild underestimation of LVEF by 2DE, and smaller variability between RT3DE and MRI. Regarding LV mass, excellent agreement was observed between RT3DE and MRI (Rc = 0.96), with bias of -6.3 g (limits of concordance = 42.22 to -54.73 g). Conclusion: In patients with HCM, RT3DE demonstrated superior performance than 2DE for the evaluation of myocardial hypertrophy, LV volumes, LVEF, and LV mass.

Real-time detection of pneumothorax using electrical impedance tomogyaphy

Objectives: Pneumothorax is a frequent complication during mechanical ventilation. Electrical impedance tomography (EIT) is a noninvasive tool that allows real-time imaging of regional ventilation. The purpose of this study was to 1) identify characteristic changes in the EIT signals associated with pneumothoraces; 2) develop and fine-tune an algorithm for their automatic detection; and 3) prospectively evaluate this algorithm for its sensitivity and specificity in detecting pneumothoraces in real time. Design: Prospective controlled laboratory animal investigation. Setting: Experimental Pulmonology Laboratory of the University of Sao Paulo. Subjects: Thirty-nine anesthetized mechanically ventilated supine pigs (31.0 +/- 3.2 kg, mean +/- SD). Interventions. In a first group of 18 animals monitored by EIT, we either injected progressive amounts of air (from 20 to 500 mL) through chest tubes or applied large positive end-expiratory pressure (PEEP) increments to simulate extreme lung overdistension. This first data set was used to calibrate an EIT-based pneumothorax detection algorithm. Subsequently, we evaluated the real-time performance of the detection algorithm in 21 additional animals (with normal or preinjured lungs), submitted to multiple ventilatory interventions or traumatic punctures of the lung. Measurements and Main Results: Primary EIT relative images were acquired online (50 images/sec) and processed according to a few imaging-analysis routines running automatically and in parallel. Pneumothoraces as small as 20 mL could be detected with a sensitivity of 100% and specificity 95% and could be easily distinguished from parenchymal overdistension induced by PEEP or recruiting maneuvers, Their location was correctly identified in all cases, with a total delay of only three respiratory cycles. Conclusions. We created an EIT-based algorithm capable of detecting early signs of pneumothoraces in high-risk situations, which also identifies its location. It requires that the pneumothorax occurs or enlarges at least minimally during the monitoring period. Such detection was operator-free and in quasi real-time, opening opportunities for improving patient safety during mechanical ventilation.

Online monitoring of pulse pressure variation to guide fluid therapy after cardiac surgery

BACKGROUND: The arterial pulse pressure variation induced by mechanical ventilation (Delta PP) has been shown to be a predictor of fluid responsiveness. Until now, Delta PP has had to be calculated offline (from a computer recording or a paper printing of the arterial pressure curve), or to be derived from specific cardiac output monitors, limiting the widespread use of this parameter. Recently, a method has been developed for the automatic calculation and real-time monitoring of Delta PP using standard bedside monitors. Whether this method is to predict reliable predictor of fluid responsiveness remains to be determined. METHODS: We conducted a prospective clinical study in 59 mechanically ventilated patients in the postoperative period of cardiac surgery. Patients studied were considered at low risk for complications related to fluid administration (pulmonary artery occlusion pressure <20 mm Hg, left ventricular ejection fraction >= 40%). All patients were instrumented with an arterial line and a pulmonary artery catheter. Cardiac filling pressures and cardiac output were measured before and after intravascular fluid administration (20 mL/kg of lactated Ringer`s solution over 20 min), whereas Delta PP was automatically calculated and continuously monitored. RESULTS: Fluid administration increased cardiac output by at least 15% in 39 patients (66% = responders). Before fluid administration, responders and nonresponders were comparable with regard to right atrial and pulmonary artery occlusion pressures. In contrast, Delta PP was significantly greater in responders than in nonresponders, (17% +/- 3% vs 9% +/- 2%, P < 0.001). The Delta PP cut-off value of 12% allowed identification of responders with a sensitivity of 97% and a specificity of 95%. CONCLUSION: Automatic real-time monitoring of Delta PP is possible using a standard bedside rnonitor and was found to be a reliable method to predict fluid responsiveness after cardiac surgery. Additional studies are needed to determine if this technique can be used to avoid the complications of fluid administration in high-risk patients.

Real-time and Doppler US after pediatric segmental liver transplantation

Background Accurate diagnosis of portal vein (PV) stenosis by real-time and color Doppler US (CD-US) after segmental liver transplantation in children can decrease morbidity by avoiding unnecessary biopsy, PV hypertension, thrombosis and loss of the graft. Objective To evaluate CD-US parameters for the prediction of PV stenosis after segmental liver transplantation in children. Materials and methods We retrospectively reviewed 61 CD-US examinations measuring the diameter at the PV anastomosis, velocities at the anastomosis (PV1) and in the segment proximal to the anastomosis (PV2), and the PV1/PV2 velocity ratio. The study group comprised patients with stenosis confirmed by angiography and the control group comprised patients with a good clinical outcome. Results PV stenosis was seen in 12 CD-US examinations. The mean PV diameter was smaller in the study group (2.6 mm versus 5.7 mm) and a PV diameter of < 3.5 mm was highly predictive of stenosis (sensitivity 100%, specificity 91.8%). Conclusion A PV diameter of < 3.5 mm is a highly predictive CD-US parameter for the detection of hemodynamically significant stenosis on angiography.

ASPM gene expression in medulloblastoma

Medulloblastomas are the most common malignant tumors of the central nervous system in childhood. The incidence is about 19-20% between children younger than 16 years old with peak incidence between 4 and 7 years. Despite its sensibility to no specific therapeutic means like chemotherapy and radiotherapy, the treatment is very aggressive and frequently results in regression, growth deficit, and endocrine dysfunction. From this point of view, new treatment approaches are needed such as molecular targeted therapies. Studies in glioblastoma demonstrated that ASPM gene was overexpressed when compared to normal brain and ASPM inhibition by siRNA-mediated inhibits tumor cell proliferation and neural stem cell proliferation, supporting ASPM gene as a potential molecular target in glioblastoma. The aim of this work was to evaluate ASPM expression in medulloblastoma fragment samples, and to compare the results with the patient clinical features. Analysis of gene expression was performed by quantitative PCR real time using SYBR Green system in tumor samples from 37 children. The t test was used to analyze the gene expression, and Mann-Whitney test was performed to analyze the relationship between gene expressions and clinical characteristics. Kaplan-Meier test evaluated curve survival. All samples overexpressed ASPM gene more than 40-fold. However, we did not find any association between the overexpressed samples and the clinical parameters. ASPM overexpression may modify the ability of stem cells to differentiate during the development of the central nervous system, contributing to the development of medulloblastoma, a tumor of embryonic origin from cerebellar progenitor cells.

Decision-Making Deficits Linked to Real-life Social Dysfunction in Crack Cocaine-Dependent Individuals

Crack cocaine-dependent individuals (CCDI) present abnormalities in both social adjustment and decision making, but few studies have examined this association. This study investigated cognitive and social performance of 30 subjects (CCDI x controls); CCDI were abstinent for 2 weeks. We used the Social Adjustment Scale (SAS), Wisconsin Card Sorting Test (WCST), and Iowa Gambling Task (IGT). Disadvantageous choices on the IGT were associated with higher levels of social dysfunction in CCDI, suggesting the ecological validity of the IGT. Social dysfunction and decision making may be linked to the same underlying prefrontal dysfunction, but the nature of this association should be further investigated. (Am J Addict 2010;00: 1-9).

Application of Real-Time PCR Stool Assay for Helicobacter pylori Detection and Clarithromycin Susceptibility Testing in Brazilian Children

Background: Helicobacter pylori ClariRes assay is a novel commercially available real-time PCR assay allowing H. pylori detection and clarithromycin susceptibility testing in either gastric biopsy or stool specimens. Objective: The aim of this study was to validate the novel biprobe real-time assay in stool specimens from 217 dyspeptic children. Methods: DNA from gastric biopsies and stool specimens were obtained and submitted to the biprobe real time assay for H. pylori detection and clarithromycin susceptibility testing. Results: The sensitivity, specificity, and test accuracy were 69, 100 and 93.9% for the detection of H. pylori infection and 83.3, 100 and 95.6%, for detection of clarithromycin resistance. Conclusion: This assay proved to be appropriate for H. pylori clarithromycin susceptibility testing, particularly in children populations where a high prevalence of clarithromycin-resistant strains is suspected.