LOCAL WELL POSEDNESS, ASYMPTOTIC BEHAVIOR AND ASYMPTOTIC BOOTSTRAPPING FOR A CLASS OF SEMILINEAR EVOLUTION EQUATIONS OF THE SECOND ORDER IN TIME

A class of semilinear evolution equations of the second order in time of the form u(tt)+Au+mu Au(t)+Au(tt) = f(u) is considered, where -A is the Dirichlet Laplacian, 92 is a smooth bounded domain in R(N) and f is an element of C(1) (R, R). A local well posedness result is proved in the Banach spaces W(0)(1,p)(Omega)xW(0)(1,P)(Omega) when f satisfies appropriate critical growth conditions. In the Hilbert setting, if f satisfies all additional dissipativeness condition, the nonlinear Semigroup of global solutions is shown to possess a gradient-like attractor. Existence and regularity of the global attractor are also investigated following the unified semigroup approach, bootstrapping and the interpolation-extrapolation techniques.

PARTIAL STABILITY FOR A CLASS OF NONLINEAR SYSTEMS

This paper studies a nonlinear, discrete-time matrix system arising in the stability analysis of Kalman filters. These systems present an internal coupling between the state components that gives rise to complex dynamic behavior. The problem of partial stability, which requires that a specific component of the state of the system converge exponentially, is studied and solved. The convergent state component is strongly linked with the behavior of Kalman filters, since it can be used to provide bounds for the error covariance matrix under uncertainties in the noise measurements. We exploit the special features of the system-mainly the connections with linear systems-to obtain an algebraic test for partial stability. Finally, motivated by applications in which polynomial divergence of the estimates is acceptable, we study and solve a partial semistability problem.

On the mixing property for a class of states of relativistic quantum fields

Let omega be a factor state on the quasilocal algebra A of observables generated by a relativistic quantum field, which, in addition, satisfies certain regularity conditions [satisfied by ground states and the recently constructed thermal states of the P(phi)(2) theory]. We prove that there exist space- and time-translation invariant states, some of which are arbitrarily close to omega in the weak * topology, for which the time evolution is weakly asymptotically Abelian. (C) 2010 American Institute of Physics. [doi: 10.1063/1.3372623]

A NEW PROOF OF OKAJI'S THEOREM FOR A CLASS OF SUM OF SQUARES OPERATORS

Let P be a linear partial differential operator with analytic coefficients. We assume that P is of the form ""sum of squares"", satisfying Hormander's bracket condition. Let q be a characteristic point; for P. We assume that q lies on a symplectic Poisson stratum of codimension two. General results of Okaji Show that P is analytic hypoelliptic at q. Hence Okaji has established the validity of Treves' conjecture in the codimension two case. Our goal here is to give a simple, self-contained proof of this fact.

Synthesis of PID controllers for a class of time delay systems

In this paper we use the Hermite-Biehler theorem to establish results on the design of proportional plus integral plus derivative (PID) controllers for a class of time delay systems. Using the property of interlacing at high frequencies of the class of systems considered and linear programming we obtain the set of all stabilizing PID controllers. As far as we know, previous results on the synthesis of PID controllers rely on the solution of transcendental equations. This paper also extends previous results on the synthesis of proportional controllers for a class of delay systems Of retarded type to a larger class of delay systems. (C) 2009 Elsevier Ltd. All rights reserved.

SYNCHRONIZATION OF A CLASS OF SECOND-ORDER NONLINEAR SYSTEMS

The asymptotic behavior of a class of coupled second-order nonlinear dynamical systems is studied in this paper. Using very mild assumptions on the vector-field, conditions on the coupling parameters that guarantee synchronization are provided. The proposed result does not require solutions to be ultimately bounded in order to prove synchronization, therefore it can be used to study coupled systems that do not globally synchronize, including synchronization of unbounded solutions. In this case, estimates of the synchronization region are obtained. Synchronization of two-coupled nonlinear pendulums and two-coupled Duffing systems are studied to illustrate the application of the proposed theory.

A Class of Channels Resulting in Ill-Convergence for CMA in Decision Feedback Equalizers

This paper analyzes the convergence of the constant modulus algorithm (CMA) in a decision feedback equalizer using only a feedback filter. Several works had already observed that the CMA presented a better performance than decision directed algorithm in the adaptation of the decision feedback equalizer, but theoretical analysis always showed to be difficult specially due to the analytical difficulties presented by the constant modulus criterion. In this paper, we surmount such obstacle by using a recent result concerning the CM analysis, first obtained in a linear finite impulse response context with the objective of comparing its solutions to the ones obtained through the Wiener criterion. The theoretical analysis presented here confirms the robustness of the CMA when applied to the adaptation of the decision feedback equalizer and also defines a class of channels for which the algorithm will suffer from ill-convergence when initialized at the origin.

Increased class A scavenger receptor and glomerular lipid precede mesangial matrix expansion in the bGH mouse model

Objective: Elevated neutral lipid content and mRNA expression of class A scavenger receptor (SRA) have been found in the renal cortex of the bovine growth hormone (bGH) mouse model of progressive glomerulosclerosis (GS). We hypothesize that the increased expression of SRA precedes glomerular scarring in this model. Design: Real time RT-PCR and immunofluorescence were employed to measure SRA and collagen types I and IV in the bGH transgenic and control mice at 5 and 12 weeks (wk) of age to determine the chronology of change in SRA expression in relation to glomerular scarring. Alternative mechanisms for increasing glomerular lipid were assessed by measuring mRNA expression levels of low-density lipoprotein receptor (LDL-r), 3-hydroxy-3-methylglutaryl coenzyme A reductase (HMGR), and ATP-binding cassette transporter A1 (ABCA1). In addition, the involvement of macrophages in early GS was assessed by CD68 mRNA expression in kidney cortex. Results: Both mRNA and protein levels of SRA were significantly increased in 5-wk bGH compared with control mice, whereas the expression of collagen I and IV was unaltered. Unchanged levels of LDL-r and HMGR mRNA indicate that neither regulated cholesterol uptake via LDL-r nor the cholesterol synthetic pathway played a role in the early lipid increase. The finding of increased ABCA1 expression was an indicator of excess intracellular lipid in the renal cortex of bGH mice at 5 wk. CD68 expression in bGH did not differ significantly from that of controls at 5 wk suggesting that cortical macrophage infiltration was not increased in bGH mice at this time point. Conclusion: An early increase in SRA mRNA and protein expression in the bGH kidney precedes glomerular scarring and is independent of macrophage influx. Published by Elsevier Ltd. on behalf of Growth Hormone Research Society.

Beauty, Class and Discourse: Issues in Debate

In this text we proceed through a brief review of Naomi Lee`s (2009) article, highlighting her significant contributions to social and cultural psychology. In our dialogue with her text we inquire about some arguments and methodological procedures she presents. We raise some specific questions related to how the issue of beauty is framed, and we ponder on how a broadening of the scope to include history-of ideas, of relations-would bring some important elements to her approach. As Lee relates beauty and class, we examine the nuanced meanings of lack and deficiency in her analytical work. We also discuss her assumptions and position concerning discourse and dialogue which mark her ways of proceeding through the analysis of the interviews. We speculate that the depersonalized answer appointed in the interviewees` discourse can be related to a way of considering beauty as disembodied.

Teacher strikes in Brazil and its representations: ""orderly disciplined class"" and ""education workers"" (Sao Paulo, 1963-1979)

This article analyses the teacher strikes that took place in the state of Sao Paulo ( Brazil). These strikes produced new representations of the profession and gave a particular visibility to its interest aggregation processes. These same strikes appeared as major incentives for the organisation of teachers in Brazil. The October 1963 strike - about six months before the military coup of 1964 - was the first to mobilise the whole of the teaching profession of the Sao Paulo state: primary and secondary education, public and private schools were all involved. The two other strikes, organised by teachers in the public schools in 1978 and 1979, took place under the dictatorship. As such, they had a particular significance in the process of recovering civil liberties in the final stages of the military regime in the 1980s. This article is based on an analysis of the front-page covering of these teacher strikes by the two major journals of the state, O Estado de S. Paulo and Folha de S. Paulo. With Chartier`s concept collective representations in mind, this approach allows us to grasp how large-circulation journals diffuse images of the profession and its organisational configurations. These press pictures are analysed by dint of the analytical frame Roland Barthes advanced in the 1960s, i.e. by reading their denoted, connoted and symbolic messages.

Papillomavirus virus-like particles can deliver defined CTL epitopes to the MHC class I pathway

To evaluate an antigen delivery system in which exogenous antigen can target the major histocompatibility complex (MHC) class I pathway, a single human papillomavirus (HPV) 16 E7 cytotoxic T lymphocyte (CTL) epitope and a single HIV gp160 CTL epitope were separately fused to the C-terminus or bovine papillomavirus 1 (BPV1) L1 sequence to form hybrid BPV1L1 VLPs. Mice immunized with these hybrid VLPs mounted strong CTL responses against the relevant target cells in the absence of any adjuvants. In addition, the CTL responses induced by immunization with BPV1L1/HPV16E7CTL VLPs protected mice against challenge with E7-transformed tumor cells. Furthermore, a high titer-specific antibody response against BPV1L1 VLPs was also induced, and this antiserum could inhibit papillomavirus-induced agglutination of mouse erythrocytes, suggesting that the antibody may recognize conformational determinates relevant to virus neutralization. These data demonstrate that hybrid BPV1L1 VLPs can be used as carriers to target antigenic epitopes to both the MHC class I and class II pathways, providing a promising strategy for the design of vaccines to prevent virus infection, with the potential to elicit therapeutic virus-specific CTL responses. (C) 1998 Academic Press.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

On the loss of regularity for a class of weakly hyperbolic operators

In this paper we determine bounds for the optimal loss of regularity in the Sobolev scale for a class of weakly hyperbolic operators. (C) 2009 Elsevier Inc. All rights reserved.

The influence of oscillations on global existence for a class of semi-linear wave equations

The goal of this paper is to study the global existence of small data solutions to the Cauchy problem for the nonlinear wave equation u(tt) - a(t)(2) Delta u = u(t)(2) - a(t)(2)vertical bar del u vertical bar(2). In particular we are interested in statements for the 1D case. We will explain how the interplay between the increasing and oscillating behavior of the coefficient will influence global existence of small data solutions. Copyright c 2011 John Wiley & Sons, Ltd.