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.

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.

Females of the weevil Zabrotes subfasciatus manipulate the size and number of eggs according to the host seed availability

In some insects, the finding of oviposition substrate triggers the uptake into oocytes of yolk proteins that are stored in the fat body during post-embryonic development. The main host of the bean weevil Zabrotes subfasciatus (Coleoptera; Chrysomelidae; Bruchinae; Amblycerini), in which larval resources are the sole source for future egg maturation, is Phaseolus vulgaris. Despite not feeding as adults, females of this species are able to lay eggs after encountering host seeds but it is not known how females react to changes in the availability of bean seeds. In the present study, the behaviour of Z. subfasciatus facing two very different environments for oviposition is investigated, as well as how this influences offspring fitness. The results obtained show that females of Z. subfasciatus react to variations in the availability of seeds belonging to the same host species by adjusting egg size and number. Females on low bean seed density lay larger and fewer eggs than those on high bean seed density, demonstrating a trade-off between these reproductive traits. Moreover, females can adjust egg size to changing levels of host availability during the first 4 days of their oviposition period. Although no difference in offspring weight is found, those from small eggs (low competition environment) result in larger adults. No response to selection on these traits after rearing beetles on the same host for 40 generations is observed. This unresponsiveness may indicate that beetle populations behave according to their reaction norm that already allows rapid adaptation to a varying amount of host-seed availability and better exploitation of the environments of this widespread stored-seed pest.

Increase of gingival matured dendritic cells number in elderly patients with chronic periodontitis

Objective: The purpose of this study was to evaluate the inflammatory cell subset proportions in the upper gingival connective tissue, including mature dendritic cells (DC) in elderly and younger patients with generalized chronic periodontitis in order to further understand the effect of aging on gingival inflammatory phenomenon. Methods: Gingival tissue specimens presenting chronic periodontitis from 8 elderly patients aged >75 (test group, group T) and from 8 younger patients aged 50-60 (considered as controls, group C) were analysed by immunohistochemistry using monoclonal antibodies against CD45RB, CD4, CD8, CD19, CD68, DC-SIGN, DC-LAMP molecules. The number of each immunolabelled cells subset was counted using image analysis. Results: The difference in the number of CD45RB + leucocytes in the upper gingival connective tissue between groups was not significant permitting to use it as reference. As compared. to group C, the lymphocyte subsets/CD45RB + leucocytes ratios tended to decrease in group T but the decrease was significant only for CD4 + T lymphocytes/ CD45RB + cells ratio (p < 0.03). On the opposite, the ratios of antigen-presenting cells DC-SIGN + cells/CD45RB + cells and DC-LAMP + cells/CD45RB + cells were significantly increased;(p < 0.03 and <0.0001, respectively) in group T. Moreover, in group T the DC-LAMP + cells/DC-SIGN + cells ratio was significantly increased (p < 0.05) showing an increased number of matured dendritic cells. Conclusion: During chronic periodontitis in elderly patients, our results show a decrease in the ratio of gingival CD4 + lymphocyte subset associated with an increase in the ratios of antigen-presenting cells subsets and more particularly maturated DC-LAMP + dendritic cells. (C) 2008 Elsevier Ltd. All rights reserved.

Quantification of carbamazepine, carbamazepine-10,11-epoxide, phenytoin and phenobarbital in plasma samples by stir bar-sorptive extraction and liquid chromatography

A sensitive and reproducible stir bar-sorptive extraction and high-performance liquid chromatography-UV detection (SBSE/HPLC-UV) method for therapeutic drug monitoring of carbamazepine, carbamazepine-10,11-epoxide, phenytoin and phenobarbital in plasma samples is described and compared with a liquid:liquid extraction (LLE/HPLC-UV) method. Important factors in the optimization of SBSE efficiency such as pH, extraction time and desorption conditions (solvents, mode magnetic stir, mode ultrasonic stir, time and number of steps) assured recoveries ranging from 72 to 86%, except for phenytoin (62%). Separation was obtained using a reverse phase C-18 column with UV detection (210 nm). The mobile phase consisted of water: acetonitrile (78:22, v/v). The SBSE/HPLC-UV method was linear over a working range of 0.08-40.0 mu g mL(-1) for carbamazepine, carbamazepine-10,11-epoxide and phenobarbital and 0.125-40.0 mu g mL(-1) for phenytoin, The intra-assay and inter-assay precision and accuracy were studied at three concentrations (1.0, 4.0 and 20.0 mu g mL(-1)). The intra-assay coefficients of variation (CVs) for all compounds were less than 8.8% and all inter-CVs were less than 10%. Limits of quantification were 0.08 mu g mL(-1) for carbamazepine, carbamazepine-10,11-epoxide and phenobarbital and 0.125 mu g mL(-1) for phenytoin. No interference of the drugs normally associated with antiepileptic drugs was observed. Based on figures of merit results, the SBSE/HPLC-UV proved adequate for antiepileptic drugs analyses from therapeutic levels. This method was successfully applied to the analysis of real samples and was as effective as the LLE/HPLC-UV method. (c) 2008 Elsevier B.V. All rights reserved.

Anharmonic effects on a phonon-number measurement of a quantum-mesoscopic-mechanical oscillator

We generalize a proposal for detecting single-phonon transitions in a single nanoelectromechanical system (NEMS) to include the intrinsic anharmonicity of each mechanical oscillator. In this scheme two NEMS oscillators are coupled via a term quadratic in the amplitude of oscillation for each oscillator. One NEMS oscillator is driven and strongly damped and becomes a transducer for phonon number in the other measured oscillator. We derive the conditions for this measurement scheme to be quantum limited and find a condition on the size of the anharmonicity. We also derive the relation between the phase diffusion back-action noise due to number measurement and the localization time for the measured system to enter a phonon-number eigenstate. We relate both these time scales to the strength of the measured signal, which is an induced current proportional to the position of the read-out oscillator.

Rifampicin determination in plasma by stir bar-sorptive extraction and liquid chromatography

A sensitive and reproducible stir bar-sorptive extraction and high performance liquid chromatography-UV detection (SBSE/HPLC-UV) method for therapeutic drug monitoring of rifampicin in plasma samples is described and compared with a liquid:liquid extraction (LLE/HPLC-UV) method. This miniaturized method can result in faster analysis, higher sample throughput, lower solvent consumption and less workload per sample while maintaining or even improving sensitivity. Important factors in the optimization of SBSE efficiency such as pH, temperature, extraction time and desorption conditions (solvents, mode magnetic stir, mode ultrasonic stir, time and number of steps) were optimized recoveries ranging from 75 to 80%. Separation was obtained using a reverse phase C(8) column with UV detection (254 nm). The mobile phase consisted of methanol:0.25 N sodium acetate buffer, pH 5.0 (58:42, v/v). The SBSE/HPLC-UV method was linear over a working range of 0.125-50.0 mu g mL(-1). The intra-assay and inter-assay precision and accuracy were studied at three concentrations (1.25, 6.25 and 25.0 mu g mL(-1)). The intra-assay coefficients of variation (CVs) for all compounds were less than 10% and all inter-CVs were less than 10%. Limits of quantification were 0.125 mu g mL(-1). Stability studies showed rifampicin was stable in plasma for 12 h after thawing; the samples were also stable for 24 h after preparation. Based on the figures of merit results, the SBSE/HPLC-UV proved to be adequate to the rifampicin analyses from therapeutic to toxic levels. This method was successfully applied to the analysis of real samples and was as effective as the LLE/HPLC-UV method. (C) 2009 Elsevier B.V. All rights reserved.

How Much Older Do You Get When a Wrinkle Appears on Your Face? Modifying Age Estimates by Number of Wrinkles

The present study investigated the influence of wrinkles on facial age judgments. In Experiment 1, preadolescents, young adults, and middle-aged adults made categorical age judgments for male and female faces. The qualitative (type of wrinkle) and quantitative (density of wrinkles and depth of furrows) contributions of wrinkles were analyzed. Results indicated that the greater the number of wrinkles and the depth of furrows, the older a face was rated. The roles of the gender of the face and the age of the participants were discussed. In Experiment 2, participants performed relative age judgments by comparing pairs of faces. Results revealed that the number of wrinkles had more influence on the perceived facial age than the type of wrinkle. A MDS analysis showed the main dimensions on which participants based their judgments, namely, the number of wrinkles and the depth of furrows. We conclude that the quantitative component is more likely to increase perceived facial age. Nevertheless, other variables, such as the gender of the face and the age of the participants, also seem to be involved in the age estimation process.

Construction and validation of a Bovine Innate Immune Microarray

Background: Microarray transcript profiling has the potential to illuminate the molecular processes that are involved in the responses of cattle to disease challenges. This knowledge may allow the development of strategies that exploit these genes to enhance resistance to disease in an individual or animal population. Results: The Bovine Innate Immune Microarray developed in this study consists of 1480 characterised genes identified by literature searches, 31 positive and negative control elements and 5376 cDNAs derived from subtracted and normalised libraries. The cDNA libraries were produced from 'challenged' bovine epithelial and leukocyte cells. The microarray was found to have a limit of detection of 1 pg/mu g of total RNA and a mean slide-to-slide correlation co-efficient of 0.88. The profiles of differentially expressed genes from Concanavalin A ( ConA) stimulated bovine peripheral blood lymphocytes were determined. Three distinct profiles highlighted 19 genes that were rapidly up-regulated within 30 minutes and returned to basal levels by 24 h; 76 genes that were upregulated between 2 - 8 hours and sustained high levels of expression until 24 h and 10 genes that were down-regulated. Quantitative real-time RT-PCR on selected genes was used to confirm the results from the microarray analysis. The results indicate that there is a dynamic process involving gene activation and regulatory mechanisms re-establishing homeostasis in the ConA activated lymphocytes. The Bovine Innate Immune Microarray was also used to determine the cross-species hybridisation capabilities of an ovine PBL sample. Conclusion: The Bovine Innate Immune Microarray has been developed which contains a set of well-characterised genes and anonymous cDNAs from a number of different bovine cell types. The microarray can be used to determine the gene expression profiles underlying innate immune responses in cattle and sheep.

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.

The Tessier Number 5 Facial Cleft: Surgical Strategies and Outcomes in Six Patients

The Tessier no. 5 facial cleft is an extremely rare congenital malformation. Only 26 cases have been described In the English-language literature. The cleft begins In the upper lip just medial to the oral commissure, extending across the cheek as a groove ending at the junction of the middle and lateral thirds of the lower eyelid. The bone Involvement usually Includes an alveolar cleft in the premolar region, extends across the maxilla lateral to the Infraorbital nerve, up to the infraorbital rim and orbital floor. The goals of the surgical procedure Include reconstructing the lower eyelid, repositioning the lateral canthus, closure of the labiomaxillary cleft, and restoration of the skeletal continuity (including the orbital floor defect) with bone grafts. We present six patients with the Tessier no. 5 facial cleft who have been treated in our combined centers and discuss the surgical options and difficulties faced in the reconstruction of this rare and challenging craniofacial malformation. To date, we have treated six patients (two with bilateral and four with unilateral clefts). Three of the patients with unilateral clefting had an associated no. 4 cleft and one patient with a bilateral cleft had an associated no. 3 cleft. This paper represents the largest series to date documenting surgery for patients with the Tessier no. 5 facial cleft.