Integral formulae for a Riemannian manifold with a distribution

We obtain a new series of integral formulae for symmetric functions of curvature of a distribution of arbitrary codimension (an its orthogonal complement) given on a compact Riemannian manifold, which start from known formula by P.Walczak (1990) and generalize ones for foliations by several authors: Asimov (1978), Brito, Langevin and Rosenberg (1981), Brito and Naveira (2000), Andrzejewski and Walczak (2010), etc. Our integral formulae involve the co-nullity tensor, certain component of the curvature tensor and their products. The formulae also deal with a number of arbitrary functions depending on the scalar invariants of the co-nullity tensor. For foliated manifolds of constant curvature the obtained formulae give us the classical type formulae. For a special choice of functions our formulae reduce to ones with Newton transformations of the co-nullity tensor.

Observations on some Avian Coccidia (Apicomplexa: Eimeriidae) in Amazonian Brazil

Oocysts of Eimeria porphyrulae n. sp. are described in faeces of Porphyrula martinica (Aves: Gruiformes: Rallidae). They are ellipsoidal to oval, 22.4 x 17.7 (20.0-23.7 x 16.2-18.7) µm, shape-index (length/width) 1.3. Oocyst wall about 1.25 µm thick, colourless, with two layers: inner one prominently striated. Micropyle and sub-micropylar granule present: no oocyst residuum. Sporocysts 17.5 x 9.0 (17.0-19.0 x 8.0-10.0) µm, shape-index 1.9, with inconspicuous Stieda/sub-Stieda bodies. Sporocyst residuum of scattered granules, sometimes a compact mass: sporozoites with two refractile bodies. Eimeria crypturelli n. sp. is described in faeces of Crypturellus soiu (Tinamiformes: Tinamidae). Oocysts ellipsoidal-oval, 20.75 x 14.5 (17.5-25.0 x 11.25-21.25) µm, shape-index 1.4. Oocysts wall about 1.25 µm thick and bi-layered: inner layer faintly striated. Micropyle present, with oocyst residuum immediately below: single polar body rarely present. Sporocysts 13.0 x 7.5 (12.5-13.75 x 7,5-8.1) µm, shape-index 1.7, with a Stieda body but seemingly no sub-Stieda. Sporocyst residuum compact: sporozoites with two refractile bodies. Isospora cacici n. sp. is recorded from faeces of Cacicus cela cela (Passeriformes: Icteridae). Oocysts subspherical-spherical, 26.5 x 23.7 (22.5-27.5 x 20.0-26.2) µm, shape-index 1.1. Wall a single, colourless layer about 1.5 µm thick. No micropyle or oocyst residuum: 1-2 polar bodies. Sporocysts ellipsoidal, 17.7 x 12.5 (17.5-18.75 x 11.25-13.75) µm, shape-index 1.4, with pronounced Stieda/sub-Stieda bodies: residuum compact and sporozoites with two refractile bodies. Isospora thraupis n. sp. is described from faeces of Thraupis palmarum melanoptera (Passeriformes: Thraupidae). Oocysts subspherial-spherical, 19.9 x 19.0 (18.7-21.2 x 18.75-20.0) µm, shape-index 1.0. Wall about 0.6 µm thick, smooth, colourless and a single layer: no micropyle, oocyst residuum or polar bodies. Sporocysts 14.2 x 9.2 (13.7-16.2 x 8.7-10.0) µm, shape-index 1.5: Stied/sub-Stieda bodies inconspicuous. Residuum compact: sporozoites with two refractile bodies.

Dynamical modeling and analysis of large cellular regulatory networks.

The dynamical analysis of large biological regulatory networks requires the development of scalable methods for mathematical modeling. Following the approach initially introduced by Thomas, we formalize the interactions between the components of a network in terms of discrete variables, functions, and parameters. Model simulations result in directed graphs, called state transition graphs. We are particularly interested in reachability properties and asymptotic behaviors, which correspond to terminal strongly connected components (or "attractors") in the state transition graph. A well-known problem is the exponential increase of the size of state transition graphs with the number of network components, in particular when using the biologically realistic asynchronous updating assumption. To address this problem, we have developed several complementary methods enabling the analysis of the behavior of large and complex logical models: (i) the definition of transition priority classes to simplify the dynamics; (ii) a model reduction method preserving essential dynamical properties, (iii) a novel algorithm to compact state transition graphs and directly generate compressed representations, emphasizing relevant transient and asymptotic dynamical properties. The power of an approach combining these different methods is demonstrated by applying them to a recent multilevel logical model for the network controlling CD4+ T helper cell response to antigen presentation and to a dozen cytokines. This model accounts for the differentiation of canonical Th1 and Th2 lymphocytes, as well as of inflammatory Th17 and regulatory T cells, along with many hybrid subtypes. All these methods have been implemented into the software GINsim, which enables the definition, the analysis, and the simulation of logical regulatory graphs.

Stabilized Petrov-Galerkin methods for the convection-diffusion-reaction and the Helmholtz equations

We present two new stabilized high-resolution numerical methods for the convection–diffusion–reaction (CDR) and the Helmholtz equations respectively. The work embarks upon a priori analysis of some consistency recovery procedures for some stabilization methods belonging to the Petrov–Galerkin framework. It was found that the use of some standard practices (e.g. M-Matrices theory) for the design of essentially non-oscillatory numerical methods is not feasible when consistency recovery methods are employed. Hence, with respect to convective stabilization, such recovery methods are not preferred. Next, we present the design of a high-resolution Petrov–Galerkin (HRPG) method for the 1D CDR problem. The problem is studied from a fresh point of view, including practical implications on the formulation of the maximum principle, M-Matrices theory, monotonicity and total variation diminishing (TVD) finite volume schemes. The current method is next in line to earlier methods that may be viewed as an upwinding plus a discontinuity-capturing operator. Finally, some remarks are made on the extension of the HRPG method to multidimensions. Next, we present a new numerical scheme for the Helmholtz equation resulting in quasi-exact solutions. The focus is on the approximation of the solution to the Helmholtz equation in the interior of the domain using compact stencils. Piecewise linear/bilinear polynomial interpolation are considered on a structured mesh/grid. The only a priori requirement is to provide a mesh/grid resolution of at least eight elements per wavelength. No stabilization parameters are involved in the definition of the scheme. The scheme consists of taking the average of the equation stencils obtained by the standard Galerkin finite element method and the classical finite difference method. Dispersion analysis in 1D and 2D illustrate the quasi-exact properties of this scheme. Finally, some remarks are made on the extension of the scheme to unstructured meshes by designing a method within the Petrov–Galerkin framework.

Control biològic del Rhynchophorus ferrugineus a partir de diferents soques de nematodes entomopatògens i la seva problemàtica a Catalunya

En el present treball s’ha avaluat el potencial dels nemàtodes entomopatògens per a controlar la plaga de R. ferrugineus. Per fer-ho, s’ha determinat la susceptibilitat d’aquesta a 4 espècies diferents de nemàtodes: Steinernema carpocasae (soca B14, IDEBIO, BIOVERD), Steinernema feltiae (soca D114), Steinernema sp. (D122) i Heterorhabditis bacteriophora (soca DG46). D’altra banda, s’ha determinat la predació de Steinernema carpocapsae per part de l’àcar Centroupeda almerodai (Acari: Acaridae) per comprovar si aquest pot influir negativament en l’efectivitat de S. carpocapsae com agent de control biològic. S’ha vist que el morrut de les palmeres és molt susceptible als nemàtodes entomopatògens en especial una soca comercial (S. carpocapsae), la qual produeix mortalitats del 91,67%. Hi ha evidències de que l’àcar C. almerodai depreda les formes infectives de S. carpocapsae encara que no és suficient important com perquè es vegi compromès l’efectivitat com a bioinsecticida. L’ús de nemàtodes entomopatògens com a control biològic és una alternativa viable als mètodes químics de eficàcia similar però menys respectuosos amb el medi ambient.

Generic optimality conditions for semi-algebraic convex programs

We consider linear optimization over a nonempty convex semi-algebraic feasible region F. Semidefinite programming is an example. If F is compact, then for almost every linear objective there is a unique optimal solution, lying on a unique \active" manifold, around which F is \partly smooth", and the second-order sufficient conditions hold. Perturbing the objective results in smooth variation of the optimal solution. The active manifold consists, locally, of these perturbed optimal solutions; it is independent of the representation of F, and is eventually identified by a variety of iterative algorithms such as proximal and projected gradient schemes. These results extend to unbounded sets F.

Voriconazole-Induced Inhibition of the Fungicidal Activity of Amphotericin B in Candida Strains with Reduced Susceptibility to Voriconazole: an Effect Not Predicted by the MIC Value Alone.

An antagonistic effect of voriconazole on the fungicidal activity of sequential doses of amphotericin B has previously been demonstrated in Candida albicans strains susceptible to voriconazole. Because treatment failure and the need to switch to other antifungals are expected to occur more often in infections that are caused by resistant strains, it was of interest to study whether the antagonistic effect was still seen in Candida strains with reduced susceptibility to voriconazole. With the hypothesis that antagonism will not occur in voriconazole-resistant strains, C. albicans strains with characterized mechanisms of resistance against voriconazole, as well as Candida glabrata and Candida krusei strains with differences in their degrees of susceptibility to voriconazole were exposed to voriconazole or amphotericin B alone, to both drugs simultaneously, or to voriconazole followed by amphotericin B in an in vitro kinetic model. Amphotericin B administered alone or simultaneously with voriconazole resulted in fungicidal activity. When amphotericin B was administered after voriconazole, its activity was reduced (median reduction, 61%; range, 9 to 94%). Levels of voriconazole-dependent inhibition of amphotericin B activity differed significantly among the strains but were not correlated with the MIC values (correlation coefficient, -0.19; P = 0.65). Inhibition was found in C. albicans strains with increases in CDR1 and CDR2 expression but not in the strain with an increase in MDR1 expression. In summary, decreased susceptibility to voriconazole does not abolish voriconazole-dependent inhibition of the fungicidal activity of amphotericin B in voriconazole-resistant Candida strains. The degree of interaction could not be predicted by the MIC value alone.

Keratin degradation by dermatophytes relies on cysteine dioxygenase and a sulfite efflux pump.

Millions of people suffer from superficial infections caused by dermatophytes. Intriguingly, these filamentous fungi exclusively infect keratin-rich host structures such as hair, nails, and skin. Keratin is a hard, compact protein, and its utilization by dermatophytes for growth has long been discussed as a major virulence attribute. Here, we provide strong support for the hypothesis that keratin degradation is facilitated by the secretion of the reducing agent sulfite, which can cleave keratin-stabilizing cystine bonds. We discovered that sulfite is produced by dermatophytes from environmental cysteine, which at elevated concentrations is toxic for microbes and humans. We found that sulfite formation from cysteine relies on the key enzyme cysteine dioxygenase Cdo1. Sulfite secretion is supported by the sulfite efflux pump Ssu1. Targeted mutagenesis proved that dermatophyte mutants in either Cdo1 or Ssu1 were highly growth-sensitive to cysteine, and mutants in Ssu1 were specifically sensitive to sulfite. Most notably, dermatophyte mutants in Cdo1 and Ssu1 were specifically growth-defective on hair and nails. As keratin is rich in cysteine, our identified mechanism of cysteine conversion and sulfite efflux supports both cysteine and sulfite tolerance per se and progression of keratin degradation. These in vitro findings have implications for dermatophyte infection pathogenesis.

Age effects, unobserved characteristics and hedonic price indexes: The Spanish car market in the 1990s

This paper computes and compares alternative quality-adjusted price indexes for new cars in Spain in the period 1990-2000. The proposed hedonic approach simultaneously controls for time-invariant unobserved product e¤ects and time-variant unobserved quality changes, that are assumed to be captured by model age effects. The results show that the non-adjusted price index largely overstates the increase in the cost of living induced by changes in car prices and that previous evidence for this market have not measured the real extent of that bias, probably due to the omission of controls for unobservables. It is also shown that omitting age effects can also lead to misleading conclusions. The estimated price indexes give also some insights on what could have been the determinants of price evolution in the Spanish car market.

Spaces with Noetherian cohomology

Is the cohomology of the classifying space of a p-compact group, with Noetherian twisted coefficients, a Noetherian module? This note provides, over the ring of p-adic integers, such a generalization to p-compact groups of the Evens-Venkov Theorem. We consider the cohomology of a space with coefficients in a module, and we compare Noetherianity over the field with p elements, with Noetherianity over the p-adic integers, in the case when the fundamental group is a finite p-group.

Age effects, unobserved characteristics and hedonic price indexes: The Spanish car market in the 1990's

This paper computes and compares alternative quality-adjusted price indexes for new cars in Spain in the period 1990-2000. The proposed hedonic approach simultaneously controls for time-invariant unobserved product effects and time-variant unobserved quality changes, that are assumed to be captured by model age effects. The results show that the non-adjusted price index largely overstates the increase in the cost of living induced by changes in car prices and that previous evidence for this market have not measured the real extent of that bias, probably due to the omission of controls for unobservables. It is also shown that omitting age effects can also lead to misleading conclusions. The estimated price indexes give also some insights on what could have been the determinants of price evolution in the Spanish car market. JEL classi…fication numbers: C43, E31, L11, L13, Keywords: Hedonic price indexes, Spanish car market, car prices, CPI, Cost of living

Emissió ràdio a baixa freqüència en fenòmens eruptius i en fonts esteses de raigs gamma d'alta i molt alta energia

La tasca investigadora presentada en aquesta memòria s'ha centrat en les fonts galàctiques de raigs gamma de molt alta energia LS I +61 303, HESS J1708-410 i HESS J1858+020. La primera és una binària de raigs gamma molt estudiada, formada per una estrella massiva i un objecte compacte. S'ha proposat un escenari on l'objecte compacte seria un púlsar jove, i la interacció del seu vent amb el vent de l'estrella generaria els raigs gamma. De totes formes, no s'ha detectat polsos procedents d'aquest putatiu púlsar. L'investigador va realitzar observacions en fase a 1280 MHz amb el radiotelescopi GMRT, sense trobar-hi polsos, cosa que implica un estricte límit superior de 0,38 mJy a la densitat mitjana de flux polsat en un putatiu púlsar amb un període major que 2 mil•lisegons en el sistema binari LS I +61 303. Per altra banda, HESS J1708-410 i HESS J1858+020 són dues fonts esteses de raigs gamma de molt alta energia de les quals no es coneix cap contrapart a d'altres longituds d'ona. L'investigador les va observar amb el GMRT, quatre vegades HESS J1708-410 (dues a 610 MHz i dues a 1400 MHz) i dues vegades HESS J1858+020 (una a cada freqüència). En les imatges realitzades amb aquestes dades no hi ha emissió estesa coincident amb les regions d'emissió de raigs gamma. HESS J1858+020 se solapa parcialment amb una font estesa que podria ser un SNR. De confirmar-se la falta de contrapartida ràdio de HESS J1708-410, estaríem parlant d'un accelerador hadrònic extraordinàriament eficient, d'una classe desconeguda fins ara.

A methodology to event reconstruction from trace images

The widespread use of digital imaging devices for surveillance (CCTV) and entertainment (e.g., mobile phones, compact cameras) has increased the number of images recorded and opportunities to consider the images as traces or documentation of criminal activity. The forensic science literature focuses almost exclusively on technical issues and evidence assessment [1]. Earlier steps in the investigation phase have been neglected and must be considered. This article is the first comprehensive description of a methodology to event reconstruction using images. This formal methodology was conceptualised from practical experiences and applied to different contexts and case studies to test and refine it. Based on this practical analysis, we propose a systematic approach that includes a preliminary analysis followed by four main steps. These steps form a sequence for which the results from each step rely on the previous step. However, the methodology is not linear, but it is a cyclic, iterative progression for obtaining knowledge about an event. The preliminary analysis is a pre-evaluation phase, wherein potential relevance of images is assessed. In the first step, images are detected and collected as pertinent trace material; the second step involves organising and assessing their quality and informative potential. The third step includes reconstruction using clues about space, time and actions. Finally, in the fourth step, the images are evaluated and selected as evidence. These steps are described and illustrated using practical examples. The paper outlines how images elicit information about persons, objects, space, time and actions throughout the investigation process to reconstruct an event step by step. We emphasise the hypothetico-deductive reasoning framework, which demonstrates the contribution of images to generating, refining or eliminating propositions or hypotheses. This methodology provides a sound basis for extending image use as evidence and, more generally, as clues in investigation and crime reconstruction processes.

Equivariant semiprojectivity

We define equivariant semiprojectivity for C* -algebras equipped with actions of compact groups. We prove that the following examples are equivariantly semiprojective: A. Arbitrary finite dimensional C*-algebras with arbitrary actions of compact groups. - B. The Cuntz algebras Od and extended Cuntz algebras Ed, for finite d, with quasifree actions of compact groups. - C. The Cuntz algebra O∞ with any quasifree action of a finite group. For actions of finite groups, we prove that equivariant semiprojectivity is equiv- alent to a form of equivariant stability of generators and relations. We also prove that if G is finite, then C*(G) is graded semiprojective.

New insights into the long-term evolutionary history of the avian MHC

SummaryGene duplication and neofunctidnalization are important processes in the evolution of phenotypic complexity. They account for important evolutionary novelties that confer ecological adaptation, such as the major histocompatibility complex (MHC), a multigene family with a central role in vertebrates' adaptive immune system. Multigene families, which evolved in large part through duplication, represent promising systems to study the still strongly depbated relative roles of neutral and adaptive processes in the evolution of phenotypic complexity. Detailed knowledge on ecological function and a well-characterized evolutionary history place the mammals' MHC amongst ideal study systems. However mammalian MHCs usually encompass several million base pairs and hold a large number of functional and non-functional duplicate genes, which makes their study complex. Avian MHCs on the other hand are usually way more compact, but the reconstruction of. their evolutionary history has proven notoriously difficult. However, no focused attempt has been undertaken so far to study the avian MHC evolutionary history in a broad phylogenetic context and using adequate gene regions.In the present PhD, we were able to make important contributions to the understanding of the long-term evolution of the avian MHC class II Β (MHCI1B). First, we isolated and characterized MHCIIB genes in barn owl (Tyto alba?, Strigiformes, Tytonidae), a species from an avian lineage in which MHC has not been studied so far. Our results revealed that with only two functional MHCIIB genes the MHC organization of barn owl may be similar to the 'minimal essential' MHC of chicken (Gallus gallus), indicating that simple MHC organization may be ancestral to birds. Taking advantage of the sequence information from barn owl, we studied the evolution of MHCIIB genes in 13 additional species of 'typical' owls (Strigiformes, Strigidae). Phylogenetic analyses revealed that according to their function, in owls the peptide-binding region (PBR) encoding exon 2 and the non-PBR encoding exon 3 evolve by different patterns. Exon 2 exhibited an evolutionary history of positive selection and recombination, while exon 3 traced duplication history and revealed two paralogs evolving divergently from each other in owls, and in a shorebird, the great snipe {Gallinago media). The results from exon 3 were the first ever from birds to demonstrate gene orthology in species that diverged tens of millions of years ago, and strongly questioned whether the taxa studied before provided an adequate picture of avian MHC evolution. In a follow-up study, we aimed at explaining a striking pattern revealed by phylogenetic trees analyzing the owl sequences along with MHCIIB sequences from other birds: One owl paralog (termed DAB1) grouped with sequences of passerines and falcons, while the other (DAB2) grouped with wildfowl, penguins and birds of prey. This could be explained by either a duplication event preceding the evolution of these bird orders, or by convergent evolution of similar sequences in a number of orders. With extensive phylogenetic analyses we were able to show, that indeed a duplication event preceeded the major avian radiation -100 my ago, and that following this duplication, the paralogs evolved under positive selection. Furthermore, we showed that the divergently evolving amino acid residues in the MHCIIB-encoded β-chain potentially interact with the MHCI I α-chain, and that molecular coevolution of the interacting residues may have been involved in the divergent evolution of the MHCIIB paralogs.The findings of this PhD are of particular interest to the understanding of the evolutionary history of the avian MHC and, by providing essential information on long-term gene history in the avian MHC, open promising perspectives for advances in the understanding of the evolution of multigene families in general, and for avian MHC organization in particular. Amongst others I discuss the importance of including protein structure in the phylogenetic study of multigene families, and the roles of ecological versus molecular selection pressures. I conclude by providing a population genomic perspective on avian MHC, which may serve as a basis for future research to investigate the relative roles of neutral processes involving effective population size effects and of adaptation in the evolution of avian MHC diversity and organization.RésuméLa duplication de gènes et leur néo-fonctionnalisation sont des processus importants dans l'évolution de la complexité phénotypique. Ils sont impliqués dans l'apparition d'importantes nouveautés évolutives favorisant l'adaptation écologique, comme c'est le cas pour le complexe majeur d'histocompatibilité compacts, mais la reconstruction de leur histoire évolutive s'est révélée difficile. Aucune analyse spécifique n'a cependant été entreprise jusqu'à présent pour étudier l'histoire évolutive du CMH aviaire dans un large contexte phylogénétique et en utilisant des régions géniques adéquates.Ce travail de thèse a contribué à la compréhension de l'évolution à long-terme du CMH aviaire classe II Β (CMH II Β). Nous avons isolé et caractérisé les gènes CMH I IB de la chouette effraie (Tyto alba; Strigiformes, Tytonidae), une espèce appartenant à une lignée aviaire dont le CMH n'avait pas été étudié jusqu'ici. Avec uniquement deux gènes CMHIIB fonctionnels, l'organisation CMH de la chouette effraie semble être comparable à celle "minimale" du poulet (Gallus gallus), ce qui suggère qu'une organisation simple du CMH pourrait être ancestrale chez les oiseaux. En se basant sur l'information obtenue pour cette espèce, nous avons ensuite étudié l'évolution des gènes CMHIIB chez 13 espèces de chouettes "typiques" (Strigiformes, Strigidae). Les analyses phylogénétiques ont révélé que chez les chouettes, selon leur fonction, l'exon 2 codant pour la 'peptide-binding region' (PBR) et l'exon 3 ne codant pas pour la région PBR évoluent de manière distincte. L'exon 2 montre une histoire évolutive de sélection positive et recombinaison, tandis que l'exon 3 retrace l'histoire de duplication et révèle deux paralogues évoluant de façon divergente chez les chouettes, ainsi que chez un limicole, la bécassine double (Gallinago media). Les résultats découlant de l'analyse de l'exon 3 ont montré pour la première fois chez les oiseaux une orthologie de gènes chez des espèces ayant divergé il y a des dizaines de millions d'années. Dans une deuxième étude, nous avons voulu expliquer le pattern surprenant révélé par les arbres phylogénétiques lorsque les séquences CMHIIB des chouettes sont analysées avec les séquences d'autres oiseaux: un paralogue de chouette (appelé DABI) forme un groupe avec les séquences de passereaux et faucons, tandis que l'autre (DAB2) se regroupe avec les gallo-ansériformes, les manchots et les rapaces diurnes. Ceci pourrait être expliqué soit par une duplication qui a précédé l'évolution de ces ordres aviaires soit par évolution convergente dans un certain nombre d'ordres. Grâce à des analyses phylogénétiques approfondies, nous avons pu montrer qu'un événement de duplication a effectivement précédé la radiation aviaire principale d'il y a environ 100 millions d'années, et qu'après cette duplication les paralogues ont évolué sous sélection positive. De plus, les résidus d'acides aminés évoluant de façon divergente dans la chaîne β codée par le CMHIIB interagissent potentiellement avec la chaîne α codée par le CMHII, et que la coévolution moléculaire de ces résidus pourrait être à la base de l'évolution divergente des paralogues CMHIIB.Dans cette thèse sont discutés entre autres l'importance d'inclure la structure des protéines dans l'étude phylogénétique des familles multigéniques, ainsi que les rôles respectifs des pressions sélectives écologique et moléculaire. La conclusion comporte une perspective sur la génomique des populations du CMH aviaire, qui pourrait servir de base pour de futures recherches sur les rôles relatifs joués par Îes processus neutres comprenant les effets de la taille efficace des populations et l'adaptation dans l'évolution de la diversité et l'organisation du MHC aviaire.