Existence of solutions for a class of abstract differential equations with nonlocal conditions

We discuss the existence of mild, classical and strict solutions for a class of abstract differential equations with nonlocal conditions. Our technical approach allows the study of partial differential equations with nonlocal conditions involving partial derivatives or nonlinear expressions of the solution. Some concrete applications to partial differential equations are considered. (C) 2010 Elsevier Ltd. All rights reserved.

Loss of Ergodicity in the Transition from Annealed to Quenched Disorder in a Finite Kinetic Ising Model

We consider a kinetic Ising model which represents a generic agent-based model for various types of socio-economic systems. We study the case of a finite (and not necessarily large) number of agents N as well as the asymptotic case when the number of agents tends to infinity. The main ingredient are individual decision thresholds which are either fixed over time (corresponding to quenched disorder in the Ising model, leading to nonlinear deterministic dynamics which are generically non-ergodic) or which may change randomly over time (corresponding to annealed disorder, leading to ergodic dynamics). We address the question how increasing the strength of annealed disorder relative to quenched disorder drives the system from non-ergodic behavior to ergodicity. Mathematically rigorous analysis provides an explicit and detailed picture for arbitrary realizations of the quenched initial thresholds, revealing an intriguing ""jumpy"" transition from non-ergodicity with many absorbing sets to ergodicity. For large N we find a critical strength of annealed randomness, above which the system becomes asymptotically ergodic. Our theoretical results suggests how to drive a system from an undesired socio-economic equilibrium (e. g. high level of corruption) to a desirable one (low level of corruption).

What Brazilian Portuguese Says about Control: Remarks on Boeckx & Hornstein

In an article in this journal, Boeckx & Hornstein (2006a) present data from Brazilian Portuguese (BP) as an argument in favor of the Movement Theory of Control (MTC). In this reply, I show that the data presented by those authors do not necessarily argue for a movement analysis of BP finite subjects nor of nonfinite control. I also show that BP provides arguments against the MTC when inflected infinitives are considered. Inflected infinitives may be used in BP in partial control structures, which makes it explicit that a singular matrix argument may control a syntactically plural null subject and shows that these two positions cannot be related by movement. Additionally, I show that the MTC makes the wrong predictions when a language with inflected infinitives is considered.

Prolonged recruitment manoeuvre improves lung function with less ultrastructural damage in experimental mild acute lung injury

The effects of prolonged recruitment manoeuvre (PRM) were compared with sustained inflation (SI) in paraquat-induced mild acute lung injury (ALI) in rats. Twenty-four hours after ALI induction, rats were anesthetized and mechanically ventilated with VT = 6 ml/kg and positive end-expiratory pressure (PEEP) = 5 cmH(2)O for 1 h. SI was performed with an instantaneous pressure increase of 40 cmH(2)O that was sustained for 40 s, while PRM was done by a step-wise increase in positive inspiratory pressure (PIP) of 15-20-25 cmH(2)O above a PEEP of 15 cm H(2)O (maximal PIP = 40 cmH(2)O), with interposed periods of PIP = 10 cmH(2)O above a PEEP = 15 cmH(2)O. Lung static elastance and the amount of alveolar collapse were more reduced with PRM than SI, yielding improved oxygenation. Additionally, tumour necrosis factor-alpha, interleukin-6, interferon-gamma, and type III procollagen mRNA expressions in lung tissue and lung epithelial cell apoptosis decreased more in PRM. In conclusion, PRM improved lung function, with less damage to alveolar epithelium, resulting in reduced pulmonary injury. (C) 2009 Elsevier BLV. All rights reserved.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Interstitial expression of angiotensin II and AT1 receptor are increased in patients with progressive glomerulopathies

In animal models, interstitial angiotensin II (ang II) and AT1 receptor (AT1R) are key mediators of renal inflammation and fibrosis in progressive chronic nephropathies. We hypothesized that these molecules were overexpressed in patients with progressive glomerulopathies. In this observational retrospective study, we described the expression of ang II and AT1R by immunohistochemistry in kidney biopsies of 7 patients with minimal change disease (MCD) and in 25 patients with progressive glomerulopathies (PGPs). Proteinuria, serum albumin, and serum creatinine were not statistically different between MCD and PGP patients. Total expression of ang II and AT1R was not statistically different between MCD (108.7 +/- 11.5 and 73.2 +/- 13.6 cells/mm(2), respectively) and PGN patients (100.7 +/- 9.0 and 157.7 +/- 13.8 cells/mm(2), respectively; p>0.05). Yet, interstitial expression of ang II and AT1R (91.6 +/- 16.0 and 45.6 +/- 5.4 cells/mm(2), respectively) was higher in patients with PGN than in those with MCD (22.0 +/- 4.1 and 17.9 +/- 2.9 cells/mm(2), respectively, p<0.05), as was the proportion of interstitial fibrosis (11.0 +/- 0.7% versus 6.1 +/- 1.2%, p<005). In patients with MCD, ang II and AT1R expressions predominate in the tubular compartment (52% and 36% of the positive cells, respectively). In those with PGP, the interstitial expression of ang II and AT1R predominates (58% and 45%, respectively). In conclusion, interstitial expression of ang II and AT1R is increased in patients with progressive glomerulopathies. The relationship of these results and interstitial fibrosis and disease progression in humans warrants further investigations.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Ratio of Metalloproteinase 2 to Tissue Inhibitor of Metalloproteinase 2 in Medullary Thyroid Carcinoma

Objectives: To develop an index for the ratio of metalloproteinase 2 (MMP-2) to its tissue inhibitor (TIMP-2) in immunostained medullary thyroid carcinoma specimens and to correlate it with clinical and pathologic prognostic factors. Metalloproteinases, enzymes related to the degradation of the extracellular matrix, take part in carcinogenesis and have been associated with the prognosis of neoplasias. Nevertheless, medullary carcinoma is rarely considered in research analysis. Researchers tend to favor the ratio of enzymes to their inhibitors over the absolute concentrations of these enzymes. Design: Retrospective study of surgical samples. Setting: Head and Neck Surgery and Endocrinology Departments, Universidade de Sao Paulo Medical School Hospital. Patients: Surgical specimens from 33 patients who had been observed for a mean of 76.8 months (range, 4-201 months) were immunohistochemically stained for MMP-2 and TIMP-2. Only patients whose clinical and pathologic data were complete and whose specimens were preserved were included in the study. Main Outcome Measures: The ratio between the expressions of MMP-2 and TIMP-2 was based on a staining index (immunostaining extent and intensity) of each of the markers. Results: Proportionally large expressions of TIMP-2 over MMP-2 correlated with low occurrences of positive findings on initial cervical examination for the presence of thyroid nodules and/or lymphadenopathy (P = .02) and cervical lymph node metastases (P < .001), conditions correlated with prognosis. A correlation with cure at the end of follow-up (P = .01) was also observed. (P < .05 was considered statistically significant.) Conclusion: The ratio of MMP-2 to TIMP-2 expression is an additional and novel prognostic predictor of the outcome of medullary carcinoma treated surgically.

The Role of Prostate Specific Membrane Antigen and Pepsinogen C Tissue Expression as an Adjunctive Method to Prostate Cancer Diagnosis

Purpose: The diagnosis of prostate cancer in men with persistently increased prostate specific antigen after a negative prostate biopsy has become a great challenge for urologists and pathologists. We analyzed the diagnostic value of 6 genes in the tissue of patients with prostate cancer. Materials and Methods: The study was comprised of 50 patients with localized disease who underwent radical prostatectomy. Gene selection was based on a previous microarray analysis. Among 4,147 genes with different expressions between 2 pools of patients 6 genes (PSMA, TMEFF2, GREB1, TH1L, IgH3 and PGC) were selected. These genes were tested for diagnostic value using the quantitative reverse transcription polymerase chain reaction method. Initially malignant tissue samples from 33 patients were analyzed and in the second part of the study we analyzed benign tissue samples from the other 17 patients with prostate cancer. The control group was comprised of tissue samples of patients with benign prostatic hyperplasia. Results: Analysis of malignant prostatic tissue demonstrated that prostate specific membrane antigen was over expressed (mean 9 times) and pepsinogen C was under expressed (mean 1.3 X 10(-4) times) in all cases compared to benign prostatic hyperplasia. The other 4 tested genes showed a variable expression pattern not allowing for differentiation between benign and malignant cases. When we tested these results in the benign prostate tissues from patients with cancer, pepsinogen C maintained the expression pattern. In terms of prostate specific membrane antigen, despite over expression in most cases (mean 12 times), 2 cases (12%) presented with under expression. Conclusions: Pepsinogen C tissue expression may constitute a powerful adjunctive method to prostate biopsy in the diagnosis of prostate cancer cases.

Acute Pancreatitis Hypertonic Saline Increases Heat Shock Proteins 70 and 90 and Reduces Neutrophil Infiltration in Lung Injury

Objectives: Acute pancreatitis (AP) protease release induces lung parenchymal destruction via matrix metalloproteinases (MMPs), a neutrophil (polymorphonuclear leukocyte)-dependent process. Recent studies in hemorrhagic shock revealed that hypertonic saline (HTS) has an anti-inflammatory effect and can inhibit a variety of neutrophil functions. The aim of this study was to determine whether HTS and its actions in the pathway of neutrophil migration, MMPs, and heat shock proteins (HSPs) are effective in protecting the lung from injury associated with AP. Methods: We determined neutrophil infiltration and expressions of MMPs and HSPs in the lung tissue after AP induced by retrograde infusion of 2.5% of sodium taurocholate. Results: Animals submitted to AP that received HTS compared with those who received normal saline presented with increased HSP70 and HSP90 expressions and reduced myeloperoxidase levels and MMP-9 expression and activity. Conclusions: Our data raised the hypothesis that a sequence of HTS lung protection events increases HSP70 and HSP90, inhibiting infiltration of neutrophils and their protease actions in the lung.

Altered adhesion molecules expression on peripheral blood mononuclear cells from patients with systemic sclerosis and clinical correlations

The aim of the study was to evaluate the expressions of adhesion molecules (AM) on peripheral blood mononuclear cells (PBMNC) from systemic sclerosis (SSc) patients. Thirty-one SSc patients (ACR) and 20 normal subjects were selected for the study. PBMNC were analyzed for LFA-1 alpha, LFA-1 beta, ICAM-3, ICAM-1, and l-selectin expressions. ICAM-3 expression was decreased while ICAM-1 was increased on SSc PBMNC, compared to controls (p = 0.04 and 0.003, respectively). A positive association was found between LFA-1 alpha (r = 0.37, p = 0.03), LFA-1 beta (r = 0.38, p = 0.002), ICAM-3 (r = 0.42, p = 0.01), and l-selectin (r = 0.38, p = 0.03) expressions and greater number of immunosuppressive drugs taken by SSc patients. Also, anti-centromeric positive SSc patients had lower expressions of LFA-1 alpha, LFA-1 beta, ICAM-3, and l-selectin. Lower expression of ICAM-3 and higher expression of ICAM-1 suggest that AMs may be involved in the pathogenesis of scleroderma.

Eigenvalues of Casimir invariants for unitary irreps of Uq(gl(m vertical bar n))

A fully explicit formula for the eigenvalues of Casimir invariants for U-q(gl(m/n)) is given which applies to all unitary irreps. This is achieved by making some interesting observations on atypicality indices for irreps occurring in the tensor product of unitary irreps of the same type. These results have applications in the determination of link polynomials arising from unitary irreps of U-q(gl(m/n)).

Discrete and continuous models for dry masonry columns

The dynamic response of dry masonry columns can be approximated with finite-difference equations. Continuum models follow by replacing the difference quotients of the discrete model by corresponding differential expressions. The mathematically simplest of these models is a one-dimensional Cosserat theory. Within the presented homogenization context, the Cosserat theory is obtained by making ad hoc assumptions regarding the relative importance of certain terms in the differential expansions. The quality of approximation of the various theories is tested by comparison of the dispersion relations for bending waves with the dispersion relation of the discrete theory. All theories coincide with differences of less than 1% for wave-length-block-height (L/h) ratios bigger than 2 pi. The theory based on systematic differential approximation remains accurate up to L/h = 3 and then diverges rapidly. The Cosserat model becomes increasingly inaccurate for L/h < 2 pi. However, in contrast to the systematic approximation, the wave speed remains finite. In conclusion, considering its relative simplicity, the Cosserat model appears to be the natural starting point for the development of continuum models for blocky structures.

Low birth weight in response to salt restriction during pregnancy is not due to alterations in uterine-placental blood flow or the placental and peripheral renin-angiotensin system

A number of studies conducted in humans and in animals have observed that events occurring early in life are associated with the development of diseases in adulthood. Salt overload and restriction during pregnancy and lactation are responsible for functional (hemodynamic and hormonal) and structural alterations in adult offspring. Our group observed that lower birth weight and insulin resistance in adulthood is associated with salt restriction during pregnancy On the other hand, perinatal salt overload is associated with higher blood pressure and higher renal angiotensin II content in adult offspring. Therefore, we hypothesised that renin-angiotensin system (RAS) function is altered by changes in sodium intake during pregnancy. Such changes may influence fetoplacental blood flow and thereby fetal nutrient supply, with effects on growth in utero and, consequently, on birth weight. Female Wistar rats were fed low-salt (LS), normal-salt (NS), or high-salt (HS) diet, starting before conception and continuing until day 19 of pregnancy, Blood pressure, heart rate, fetuses and dams` body weight, placentae weight and litter size were measured on day 19 of pregnancy. Cardiac output, uterine and placental blood flow were also determined on day 19. Expressions of renin-angiotensin system components and of the TNF-alpha gene were evaluated in the placentae. Plasma renin activity (PRA) and plasma and tissue angiotensin-converting enzyme (ACE) activity, as well as plasma and placental levels of angiotensins I, II, and 1-7 were measured. Body weight and kidney mass were greater in HS than in NS and LS dams. Food intake did not differ among the maternal groups. Placental weight was lower in LS dams than in NS and HS dams. Fetal weight was lower in the US group than in the NS and HS groups. The PRA was greater in IS dams than in NS and HS dams, although ACE activity (serum, cardiac, renal, and placental) was unaffected by the level of sodium intake. Placental levels of angiotensins I and II were lower in the HS group than in the ISIS and IS groups. Placental angiotensin receptor type 1 (AT(1)) gene expression and levels of thiobarbituric acid reactive substances (TBARS) were higher in HS dams, as were uterine blood flow and cardiac output. The degree of salt intake did not influence plasma sodium, potassium or creatinine. Although fractional sodium excretion was higher in HS dams than in NS and LS dams, fractional potassium excretion was unchanged. In conclusion, findings from this study indicate that the reduction in fetal weight in response to salt restriction during pregnancy does not involve alterations in uterine-placental perfusion or the RAS. Moreover, no change in fetal weight is observed in response to salt overload during pregnancy. However, salt overload did lead to an increase in placental weight and uterine blood flow associated with alterations in maternal plasma and placental RAS. Therefore, these findings indicate that changes in salt intake during pregnancy lead to alterations in uterine-placental perfusion and fetal growth. (C) 2008 Elsevier Inc. All rights reserved.

Effect of the Bloch-Siegert shift in a strongly driven transition: Asymmetric Autler-Townes profile

Under the conditions of the rotating wave approximation (RWA), a transition strongly driven by a resonant oscillating field displays the well known symmetric Autler-Townes doublet. However, if the counter-rotating component, neglected in the RWA, is taken into account, the Bloch-Siegert shift gives rise to an Autler-Townes doublet of unequal intensity even in the case of a resonant driving field. This effect is investigated theoretically in a V-shaped three-level double-resonance configuration and the results are presented in this paper. An interesting observation is that the level of asymmetry not only depends on the driving-field intensity but also on the characteristics of the driven system including relaxation rates and equilibrium population distributions.