Complexité raffinée du problème d'intersection d'automates

Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une constante). Dans ce mémoire, nous étudions la complexité du problème d'intersection d'automates pour plusieurs types de langages et d'automates tels les langages unaires, les automates à groupe (abélien), les langages commutatifs et les langages finis. Nous considérons plus particulièrement le cas où chacun des automates possède au plus un ou deux états finaux. Ces restrictions permettent d'établir des liens avec certains problèmes algébriques et d'obtenir une classification intéressante de problèmes d'intersection d'automates à l'intérieur de la classe P. Nous terminons notre étude en considérant brièvement le cas où le nombre d'automates est fixé.

Structures linéaires dans les ensembles à faible densité

Réalisé en cotutelle avec l'Université Paris-Diderot.

Concept de non-violence chez le théologien processuel David Ray Griffin entre la guerre du Vietnam et celle d'Iraq (1968-2008)

La non-violence fait référence à une idéologie et un ensemble de pratiques qui ont pour caractéristique commune de rejeter la violence sous toutes ses formes dans l’actualisation quotidienne. La non-violence est cependant devenue également un outil auquel certains recourrent dans des objectifs qui ne servent pas nécessairement le bien commun. En d’autres termes, la non-violence n’est pas systématiquement un outil de paix. Elle est un moyen d’obtenir ce que l’on veut, sans recourir à la violence. Cette thèse propose une vision de la non-violence au service du bien commun. Elle puise dans l’historicité de grands événements et acteurs qui ont utilisé la non-violence pour libérer une collectivité de formes d’oppression qui amenuisaient la dignité humaine. Elle fait référence à des auteurs et acteurs qui ont influencé le théologien processuel David Ray Griffin dans sa propre démarche d’enseignement et de recherche théologiques sur une quarantaine d’années, soient de la guerre du Vietnam à celle d’Iraq. Les dates survolées vont de 1968 à 2008. Une première démarche entreprise par la recherche est de comprendre le plus précisément possible quelles sont les avenues les plus récentes concernant la non-violence et d’explorer ses influences sur la vie et la carrière du théologien processuel États-Unien David Ray Griffin. En second lieu, une rétrospective historique des événements marquants aux États-Unis permet de cerner le contexte au sein duquel Griffin a évolué et comment son discours a laissé transparaître ces influences historiques, sociales et académiques. Une analyse plus centrée sur la politique extérieure des États-Unis en matière d’économie et de militarisme aiguille vers l’identification de signes que Griffin qualifie lui-même d’anti-théologiques, ce qui l’incite à élaborer une vision paradigmatique globalisante, équilibrée selon lui, où les ressources planétaires sont redistribuées dans un souci d’équité et de justice. Pour ce faire, un tribunal international, une religion globale, à l’image de ce que propose la pensée processuelle whiteheadienne-hartshornienne sont proposés. Griffin en brosse les grands traits dans un discours où l’exhortation s’assortit d’une méthodologie et d’une pédagogie éprouvés depuis 40 ans. Une grille d’analyse des textes griffiniens est par la suite élaborée, structurant les différentes composantes fondamentales de sa pensée. Un modèle d’intégration des valeurs de la non-violence est dégagé des lectures, applicable à d’autres disciplines. Appuyé sur une tradition authentique d’auteurs non-violents, David Ray Griffin présente les caractéristiques d’un homme de paix, duquel les idéaux débordent le cadre national pour rejoindre le planétaire, dans une visée résolument sotériologique. Cette visée devient urgente alors que les événements des attentats terroristes du World Trade Center du 11 septembre 2001 font dire à Griffin que non seulement les États-Unis sont engagés dans une démarche impérialiste démoniaque, mais qu’ils contribuent de manière accélérée à la destruction de la planète. Il faut absolument, croit-il, renverser le courant et devenir, pour le monde, un leader de la réparation des écosystèmes, des économies et des sociétés. S’adjoignant des auteurs d’autres disciplines, et toujours dans un cadre processuel, Griffin entreprend le long périple pédagogique qu’est celui de convaincre le plus grand nombre d’individus possible que le temps est venu d’agir.

Dimer formation by symbiotic donor–acceptor interaction between two molecules of a specially designed dioxomolybdenum(VI) complex containing both donor and acceptor centers – A structural, spectroscopic and DFT study

This work presents a model study for the formation of a dimeric dioxomolybdenum(VI) complex [MoO2L]2, generated by simultaneous satisfaction of acceptor and donor character existing in the corresponding monomeric Mo(VI) complex MoO2L. This mononuclear complex is specially designed to contain a coordinatively unsaturated Mo(VI) acceptor centre and a free donor group, (e.g. –NH2 group) strategically placed in the ligand skeleton [H2L = 2-hydroxyacetophenonehydrazone of 2-aminobenzoylhydrazine]. Apart from the dimer [MoO2L]2, complexes of the type MoO2L·B (where B = CH3OH, γ-picoline and imidazole) are also reported. All the complexes are characterized by elemental analysis, spectroscopic (UV–Vis, IR, 1H NMR) techniques and cyclic voltammetry. Single crystal X-ray structures of [MoO2L]2 (1), MoO2L·CH3OH (2), and MoO2L.(γ-pic) (3) have been determined and discussed. DFT calculation on these complexes corroborates experimental data and provides clue for the facile formation of this type of dimer not reported previously. The process of dimer formation may also be viewed as an interaction between two molecules of a specially designed complex acting as a monodentate ligand. This work is expected to open up a new field of design and synthesis of dimeric complexes through the process of symbiotic donor–acceptor (acid–base) interaction between two molecules of a specially designed monomer.

Hyperbolic unit groups and quaternion algebras

We classify the quadratic extensions K = Q[root d] and the finite groups G for which the group ring o(K)[G] of G over the ring o(K) of integers of K has the property that the group U(1)(o(K)[G]) of units of augmentation 1 is hyperbolic. We also construct units in the Z-order H(o(K)) of the quaternion algebra H(K) = (-1, -1/K), when it is a division algebra.

Jordan Gradings on Associative Algebras

In this paper we apply the method of functional identities to the study of group gradings by an abelian group G on simple Jordan algebras, under very mild restrictions on the grading group or the base field of coefficients.

On the interaction of bovine serum albumin with ionic surfactants: Temperature induced EPR changes of a maleimide nitroxide reflect local protein dynamics and probe solvent accessibility

The interaction of bovine serum albumin (BSA) with the ionic surfactants sodium dodecylsulfate (SDS, anionic), cetyltrimethylammonium chloride (CTAC, cationic) and N-hexadecyl-N,N-dimethyl-3-ammonio-1-propanesulfonate (HPS, zwitterionic) was studied by electron paramagnetic resonance (EPR) spectroscopy of spin label covalently bound to the single free thiol group of the protein. EPR spectra simulation allows to monitor the protein dynamics at the labeling site and to estimate the changes in standard Gibbs free energy, enthalpy and entropy for transferring the nitroxide side chain from the more motionally restricted to the less restricted component. Whereas SDS and CTAC showed similar increases in the dynamics of the protein backbone for all measured concentrations. HPS presented a smaller effect at concentrations above 1.5 mM. At 10 mM of surfactants and 0.15 mM BSA, the standard Gibbs free energy change was consistent with protein backbone conformations more expanded and exposed to the solvent as compared to the native protein, but with a less pronounced effect for HPS. In the presence of the surfactants, the enthalpy change, related to the energy required to dissociate the nitroxide side chain from the protein, was greater, suggesting a lower water activity. The nitroxide side chain also detected a higher viscosity environment in the vicinity of the paramagnetic probe induced by the addition of the surfactants. The results suggest that the surfactant-BSA interaction, at higher surfactant concentration, is affected by the affinities of the surfactant to its own micelles and micelle-like aggregates. Complementary DLS data suggests that the temperature induced changes monitored by the nitroxide probe reflects local changes in the vicinity of the single thiol group of Cys-34 BSA residue. (C) 2011 Elsevier B.V. All rights reserved.

On the interaction of bovine serum albumin with ionic surfactants: Temperature induced EPR changes of a maleimide nitroxide reflect local protein dynamics and probe solvent accessibility

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

The influence of physical activity in the progression of experimental lung cancer in mice

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Light emission from tryptophan oxidation by hypobromous acid

The emission of ultraweak light from cells is a phenomenon associated with the oxidation of biomolecules by reactive oxygen species. The indole moiety present in tryptophan, serotonin and melatonin is frequently associated with the emission of light during the oxidation of these metabolites. This study presents results for hypobromous acid (HOBr) oxidation of tryptophan as a putative endogenous source of ultraweak light emission. We found that chemiluminescence elicited by the oxidation of tryptophan by HOBr was significantly higher than by hypochlorous acid (HOCl). This difference was related to secondary oxidation reactions, which were more intense using HOBr. The products identified during oxidation by HOCl, but depleted by using HOBr, were N-formylkynurenine, kynurenine, 1,2,3,3a,8,8a-hexahydro-3a-hydroxypyrrolo[2,3-b]-indole-2-carboxylic acid, oxindolylalanine and dioxindolylalanine. The emission of light is dependent on the free α-amino group of tryptophan, and hence, the indole of serotonin and melatonin, although efficiently oxidized, did not produce chemiluminescence. The emission of light was even greater using taurine monobromamine and dibromamine as the oxidant compared to HOBr. A mechanism based on bromine radical intermediates is suggested for the higher efficiency in light emission. Altogether, the experimental evidence described in the present study indicates that the oxidation of free tryptophan or tryptophan residues in proteins is an important source of ultraweak cellular emission of light. This light emission is increased in the presence of taurine, an amino acid present in large amounts in leukocytes, where this putative source of ultraweak light emission is even more relevant.

Influência do alcoolismo crônico e da deficiência estrogênica sobre a variação de estequiometria da hidroxiapatita na crista óssea alveolar de ratas

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

Avaliação dos preparos da superfície cerâmica para a colagem de acessórios ortodônticos

The purpose of this study was to evaluate the effects of two conditioning methods used to enhance the shear strength of orthodontic brackets bonded to porcelain surfaces. A total of 18 feldspathic specimens were used. The specimens were divided randomly into two groups (n = 9): group free silane, the porcelain specimens were etched with hidrofuoric acid 10% (Acid Gel-Maquira) for 4 minutes followed by adhesive-primer (Transbond XT) and the metallic brackets (Morelli Roth Light .022" x .030") were bonded with a light-cured microfilled resin (Transbond XT Light Cure Orthodontic Adhesive); group silane, the porcelain specimens were etched with hidrofuoric acid 10% (Acid Gel-Maquira) for 4 minutes followed by silane (Silano Ângelus) for 1 minute, adhesive-primer (Transbond XT) and the metallic brackets (Morelli Roth Light .022" x .030") were bonded with a light-cured microfilled resin (Transbond XT Light Cure Orthodontic Adhesive). All specimens were stored in solution of artificial saliva at ambient temperature for 24 hours. The debonding was done with shear strength through a universal testing machine (DL 500-Emic) calibrated with a fixed speed of 1mm/minute. Statical analysis was performed using the Student t test. The results indicated that in the free silane group the mean bond strength was 9,97 MPA, significantly lower than the silane group, that was 12,38 MPa (p < 0,05). The both groups were effective for bonding, although the silane group had the highest bond strength values.

Capuchin monkey tool use: Overview and implications

Nutcracking capuchins are mentioned in reports dating as far back as the sixteenth century,(1,2) as well as in Brazilian folklore.(3) However, it was barely a decade ago that primatologists ""discovered"" the spontaneous use of stones to crack nuts in a semi-free ranging group of tufted capuchin monkeys. Since then, we have found several more capuchin populations in savanna-like environments which(5-7) employ this form of tool use. The evidence so far only weakly supports geneti cally based behavioral differences between populations and does not suggest that dietary pressures in poor environments are proximate determinants of the likelihood of tool use. Instead, tool use within these capuchin populations seems to be a behavioral tradition that is socially learned and is primarily associated with more terrestrial habits. However, differences in the diversity of ""tool kits"" between populations remain to be understood.

EXTENSION OF AUTOMORPHISMS OF SUBGROUPS

Let G be a group such that, for any subgroup H of G, every automorphism of H can be extended to an automorphism of G. Such a group G is said to be of injective type. The finite abelian groups of injective type are precisely the quasi-injective groups. We prove that a finite non-abelian group G of injective type has even order. If, furthermore, G is also quasi-injective, then we prove that G = K x B, with B a quasi-injective abelian group of odd order and either K = Q(8) (the quaternion group of order 8) or K = Dih(A), a dihedral group on a quasi-injective abelian group A of odd order coprime with the order of B. We give a description of the supersoluble finite groups of injective type whose Sylow 2-subgroup are abelian showing that these groups are, in general, not quasi-injective. In particular, the characterisation of such groups is reduced to that of finite 2-groups that are of injective type. We give several restrictions on the latter. We also show that the alternating group A(5) is of injective type but that the binary icosahedral group SL(2, 5) is not.

Axioms for the coincidence index of maps between manifolds of the same dimension

We study the coincidence theory of maps between two manifolds of the same dimension from an axiomatic viewpoint. First we look at coincidences of maps between manifolds where one of the maps is orientation true, and give a set of axioms such that characterizes the local index (which is an integer valued function). Then we consider coincidence theory for arbitrary pairs of maps between two manifolds. Similarly we provide a set of axioms which characterize the local index, which in this case is a function with values in Z circle plus Z(2). We also show in each setting that the group of values for the index (either Z or Z circle plus Z(2)) is determined by the axioms. Finally, for the general case of coincidence theory for arbitrary pairs of maps between two manifolds we provide a set of axioms which characterize the local Reidemeister trace which is an element of an abelian group which depends on the pair of functions. These results extend known results for coincidences between orientable differentiable manifolds. (C) 2012 Elsevier B.V. All rights reserved.