Wavelet regression with correlated errors on a piecewise Holder class

This paper generalizes the methodology of Cat and Brown [Cai, T., Brown, L.D., 1998. Wavelet shrinkage for nonequispaced samples. The Annals of Statistics 26, 1783-1799] for wavelet shrinkage for nonequispaced samples, but in the presence of correlated stationary Gaussian errors. If the true function is a member of a piecewise Holder class, it is shown that, even for long memory errors, the rate of convergence of the procedure is almost-minimax relative to the independent and identically distributed errors case. (c) 2008 Elsevier B.V. All rights reserved.

Twisted conjugacy classes in symplectic groups, mapping class groups and braid groups (with an appendix written jointly with Francois Dahmani)

We prove that the symplectic group Sp(2n, Z) and the mapping class group Mod(S) of a compact surface S satisfy the R(infinity) property. We also show that B(n)(S), the full braid group on n-strings of a surface S, satisfies the R(infinity) property in the cases where S is either the compact disk D, or the sphere S(2). This means that for any automorphism phi of G, where G is one of the above groups, the number of twisted phi-conjugacy classes is infinite.

A compound class of Weibull and power series distributions

In this paper we introduce the Weibull power series (WPS) class of distributions which is obtained by compounding Weibull and power series distributions where the compounding procedure follows same way that was previously carried out by Adamidis and Loukas (1998) This new class of distributions has as a particular case the two-parameter exponential power series (EPS) class of distributions (Chahkandi and Gawk 2009) which contains several lifetime models such as exponential geometric (Adamidis and Loukas 1998) exponential Poisson (Kus 2007) and exponential logarithmic (Tahmasbi and Rezaei 2008) distributions The hazard function of our class can be increasing decreasing and upside down bathtub shaped among others while the hazard function of an EPS distribution is only decreasing We obtain several properties of the WPS distributions such as moments order statistics estimation by maximum likelihood and inference for a large sample Furthermore the EM algorithm is also used to determine the maximum likelihood estimates of the parameters and we discuss maximum entropy characterizations under suitable constraints Special distributions are studied in some detail Applications to two real data sets are given to show the flexibility and potentiality of the new class of distributions (C) 2010 Elsevier B V All rights reserved

Some restriction tests in a new class of regression models for proportions

The main purpose of this work is to study the behaviour of Skovgaard`s [Skovgaard, I.M., 2001. Likelihood asymptotics. Scandinavian journal of Statistics 28, 3-32] adjusted likelihood ratio statistic in testing simple hypothesis in a new class of regression models proposed here. The proposed class of regression models considers Dirichlet distributed observations, and the parameters that index the Dirichlet distributions are related to covariates and unknown regression coefficients. This class is useful for modelling data consisting of multivariate positive observations summing to one and generalizes the beta regression model described in Vasconcellos and Cribari-Neto [Vasconcellos, K.L.P., Cribari-Neto, F., 2005. Improved maximum likelihood estimation in a new class of beta regression models. Brazilian journal of Probability and Statistics 19,13-31]. We show that, for our model, Skovgaard`s adjusted likelihood ratio statistics have a simple compact form that can be easily implemented in standard statistical software. The adjusted statistic is approximately chi-squared distributed with a high degree of accuracy. Some numerical simulations show that the modified test is more reliable in finite samples than the usual likelihood ratio procedure. An empirical application is also presented and discussed. (C) 2009 Elsevier B.V. All rights reserved.

Supramolecular assemblies of a new class of nonplanar cationic metalloporphyrins and anionic metallophthalocyanines

The heteroaggregation behavior between a new class of nonplanar cationic beta-octabrominated meso-alkylpyridinium zinc(II)-porphyrins (beta-Br(8)(ZnP)) and anionic tetrasulfonated metallophthalocyanines (MTSPc, M = Ni(II) and Cu(II)) has been studied by UV-Vis electronic spectroscopy, in dimethylsulfoxide (DMSO) solution. The heteroaggregate stoichiometry and the association constants were determined by means of Job plots. Dimers and unexpected trimers, taking into account the existence of axially coordinated DMSO molecules to the central metal in both beta-Br(8)(ZnP) and MTSPc complexes, are formed in solution. The spectroscopic properties of the heteroaggregates are markedly different from those observed in the correspondent planar cationic derivatives, the heteroaggregates showing major changes predominantly in the beta-Br(8)(ZnP) Soret band region and minor effects in the MTSPc Q bands. The observed changes in the Soret band region (red/blue shifts, decrease in the absorption intensities) depend on the nature of the alkyl substituent attached to the meso-pyridinium group. The greater versatility of the nonplanar porphyrins accommodating the meso-substituents in out-of-plane and in-plane conformations is proposed to explain the observed stoichiometries and the differences on the heteroaggregates spectroscopic properties for each beta-Br(8)(ZnP) compound. The likely conformations assumed by the meso-substituents in these beta-Br(8)(ZnP) compounds and its spectroscopic characteristics are in accordance with the participation of the substituents as the main factor on the extent of the observed red-shifted spectra in nonplanar porphyrins. The obtained association constants (K(IP)) for the dimers and trimers are lower than those previously found for the similar planar cationic porphyrin systems, due to the lack of extensive pi-pi interactions and to the less effective approximation between the ionic groups, resulting in loosened heteroaggregates, particularly for the trimeric systems. Furthermore, the experimental results suggest that the NiTSPc is more distorted in DMSO solution than the CuTSPc derivative, favoring the interaction with the nonplanar beta-Br(8)(ZnP) compounds. (C) 2007 Elsevier B.V. All rights reserved.

Novel insights for dihydroorotate dehydrogenase class 1A inhibitors discovery

The enzyme dihydroorotate dehydrogenase (DHODH) has been suggested as a promising target for the design of trypanocidal agents. We report here the discovery of novel inhibitors of Trypanosoma cruzi DHODH identified by a combination of virtual screening and ITC methods. Monitoring of the enzymatic reaction in the presence of selected ligands together with structural information obtained from X-ray crystallography analysis have allowed the identification and validation of a novel site of interaction (S2 site). This has provided important structural insights for the rational design of T cruzi and Leishmania major DHODH inhibitors. The most potent compound (1) in the investigated series inhibits TcDHODH enzyme with K(i)(app) value of 19.28 mu M and possesses a ligand efficiency of 0.54 kcal mol(-1) per non-H atom. The compounds described in this work are promising hits for further development. (C) 2010 Elsevier Masson SAS. All rights reserved.

Stabilizing a class of time delay systems using the Hermite-Biehler theorem

In this paper we use the Hermite-Biehler theorem to establish results for the design of fixed order controllers for a class of time delay systems. We extend results of the polynomial case to quasipolynomials using the property of interlacing in high frequencies of the class of time delay systems considered. (C) 2003 Elsevier B.V. All rights reserved.

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.

Bifurcation of limit cycles from an n-dimensional linear center inside a class of piecewise linear differential systems

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

The central repeat domain 1 of Kaposi's sarcoma-associated herpesvirus (KSHV) latency associated-nuclear antigen 1 (LANA1) prevents cis MHC class I peptide presentation

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Leukotriene B(4) is essential for selective eosinophil recruitment following allergen challenge of CD4(+) cells in a model of chronic eosinophilic inflammation

Subcutaneous heat-coagulated egg white implants (EWI) induce chronic, intense local eosinophilia in mice, followed by asthma-like responses to airway ovalbumin challenge. Our goal was to define the mechanisms of selective eosinophil accumulation in the EWI model. EWI carriers were challenged i.p. with ovalbumin and the contributions of cellular immunity and inflammatory mediators to the resulting leukocyte accumulation were defined through cell transfer and pharmacological inhibition protocols. Eosinophil recruitment required Major Histocompatibility Complex Class It expression, and was abolished by the leukotriene B4 (LTB4) receptor antagonist CP 105.696, the 5-lipoxygenase inhibitor BWA4C and the 5-lipoxygenase activating protein inhibitor MK886. Eosinophil recruitment in EWI carriers followed transfer of: a) CD4(+) (but not CD4(-)) cells, harvested from EWI donors and restimulated ex vivo; b) their cell-free supernatants, containing LTB4. Restimulation in the presence of MK886 was ineffective. CC chemokine receptor ligand (CCL)5 and CCL2 were induced by ovalbumin challenge in vivo. mRNA for CCL17 and CCL11 was induced in ovalbumin-restimulated CD4(+) cells ex vivo. MK886 blocked induction of CCL17 Pretreatment of EWI carriers with MK886 eliminated the effectiveness of exogenously administered CCL11, CCL2 and CCL5. In conclusion, chemokine-producing, ovalburnin-restimulated CD4(+) cells initiate eosinophil recruitment which is strictly dependent on LTB4 production. (C) 2008 Elsevier B.V. All rights reserved.

Influence of Implant Inclination Associated With Mandibular Class I Removable Partial Denture

The aim of this study was to use two-dimensional finite element method to evaluate the displacement and stress distribution transmitted by a distal extension removable partial denture (DERPD) associated with an implant placed at different inclinations (0, 5, 15, and 30 degrees) in the second molar region of the edentulous mandible ridge. Six hemimandibular models were created: model A, only with the presence of the natural tooth 33; model B, similar to model A, with the presence of a conventional DERPD replacing the missing teeth; model C, similar to the previous model, with a straight implant (0 degrees) in the distal region of the ridge, under the denture base; model D, similar to model C, with the implant angled at 5 degrees in the mesial direction; model E, similar to model C, with the implant angled at 15 degrees in the mesial direction; and model F, similar to ME, with the implant angled at 30 degrees in the mesial direction. The models were created with the use of the AutoCAD 2000 program (Autodesk, Inc, San Rafael, CA) and processed for finite element analysis by the ANSYS 8.0 program (Swanson Analysis Systems, Houston, PA). The force applied was vertical of 50 N on each cusp tip. The results showed that the introduction of the RPD overloaded the supporting structures of the RPD and that the introduction of the implant helped to relieve the stresses of the mucosa alveolar, cortical bone, and trabecular bone. The best stress distribution occurred in model D with the implant angled at 5 degrees. The use of an implant as a support decreased the displacement of alveolar mucosa for all inclinations simulated. The stress distribution transmitted by the DERPD to the supporting structures was improved by the use of straight or slightly inclined implants. According to the displacement analysis and von Mises stress, it could be expected that straight or slightly inclined implants do not represent biomechanical risks to use.

Evaluation of Bone Insertion Level of Support Teeth in Class I Mandibular Removable Partial Denture Associated With an Osseointegrated Implant: A Study Using Finite Element Analysis

Purpose: This study evaluated the influence of distal extension removable partial denture associated with implant in cases of different bone level of abutment tooth, using 2D finite element analysis.Materials and Methods: Eight hemiarch models were simulated: model A-presenting tooth 33 and distal extension removable partial denture replacing others teeth, using distal rest connection and no bone lost; model B-similar to model A but presenting distal guide plate connection; model C-similar to model A but presenting osseointegrated implant with ERA retention system associated under prosthetic base; model D-similar to model B but presenting osseointegrated implant as described in model C; models E, F, G, and H were similar to models A, B, C, and D but presenting reduced periodontal support around tooth 33. Using ANSYS 9.0 software, the models were loaded vertically with 50 N on each cusp tip. For results, von Mises Stress Maps were plotted.Results: Maximum stress value was encountered in model G (201.023 MPa). Stress distribution was concentrated on implant and retention system. The implant/removable partial denture association decreases stress levels on alveolar mucosa for all models.Conclusions: Use of implant and ERA system decreased stress concentrations on supporting structures in all models. Use of distal guide plate decreased stress levels on abutment tooth and cortical and trabecular bone. Tooth apex of models with reduced periodontal support presented increased stress when using distal rest. (Implant Dent 2011;20:192-201)