Les calculs numériques ont été effectués à l'aide du logiciel SAGE. / En 1993, Conway et Schneeberger fournirent un critère simple permettant de déterminer si une forme quadratique donnée représente tous les entiers positifs ; le théorème des 15. Dans ce mémoire, nous nous intéressons à un problème analogue, soit la recherche d’un critère similaire permettant de détecter si une forme quadratique en trois variables représente tous les entiers impairs. On débute donc par une introduction générale à la théorie des formes quadratiques, notamment en deux variables, puis on expose différents points de vue sous lesquels on peut les considérer. On décrit ensuite le théorème des 15 et ses généralisations, en soulignant les techniques utilisées dans la preuve de Bhargava. Enfin, on démontre deux théorèmes qui fournissent des critères permettant de déterminer si une forme quadratique ternaire représente tous les entiers impairs. / In 1993, Conway and Schneeberger gave a simple criterion allowing one to determine whether a given quadratic form represents all positive integers ; the 15-theorem. In this thesis, we investigate an analogous problem, that is the search for a similar criterion allowing one to detect if a quadratic form in three variables represents all odd integers. We start with a general introduction to the theory of quadratic forms, namely in two variables, then, we expose different points of view under which quadratic forms can be considered. We then describe the 15-theorem and its generalizations, with a particular emphasis on the techniques used in Bhargava’s proof of the theorem. Finally, we give a proof of two theorems which provide a criteria to determine whether a ternary quadratic form represents all odd integers.

La manipulation de l’état magnétique d’un système ferromagnétique présente un grand intérêt en raison de possibles applications technologiques. Comprendre les mécanismes fondamentaux qui contrôlent l’aimantation est donc particulièrement important. La compréhension de certains mécanismes peut également avoir un impact dans d’autres domaines de la physique. C’est le cas par exemple de la dynamique de déplacement de parois de domaines sous champ magnétique dans le régime de reptation (creep) qui peut être assimilé à celui d’une interface élastique et qui présente un caractère universel. Cette thèse présente tout d’abord, à travers un travail expérimental sur des couches ultra-minces de Pt/Co/Pt, une description complète de la dynamique de déplacement de parois de domaines sous champ magnétique. Une analyse auto-cohérente permet d’extraire tous les paramètres de contrôle, des exposants universels sont confirmés et un nouveau régime dynamique (le TAFF) est identifié. Une deuxième étude porte sur le déplacement de parois sous courant électrique en géométrie étendue dans un film de (Ga,Mn)(As,P). Cette étude met en évidence des instabilités de forme des parois de domaines soumises à un gradient de courant électrique. Les limites de stabilités sont analytiquement prédites et présentent un bon accord avec les expériences. Un troisième travail porte sur le renversement de l’aimantation à l’interface entre un film de (Ga,Mn)(As,P) et une électrode non ferromagnétique. Un renversement stochastique de l’aimantation sous courant continu est mis en évidence. Son origine réside dans l’accumulation de spin à l’interface qui diminue fortement l’aimantation locale. Un modèle simplifié permet de décrire la probabilité de retournement de l’aimantation et d’extraire les temps caractéristiques associés. / Effectively manipulating the magnetic state of a ferromagnet has a great interest for possible technological applications. Understanding the underlying fundamental mechanisms is thus particularly important. In some cases, the understanding of some mechanisms may even importantly impact other areas of physics. This is the case for example with field induced magnetic domain walls motion in the creep regime, where the wall can be assimilated to an elastic interface and follows an universal behavior. This thesis presents through an experimental work on Pt/Co/Pt ultra-thin samples, a complete description of the temperature and field dependent domain wall dynamics. A self-consistent analysis allows the extraction of all control parameters, identifying the new Thermally Activated Flux Flow regime, and confirming universal thermal scaling exponents. A second study focuses on current induced domain wall motion in an extended geometry of a (Ga,Mn)(As,P) ferromagnetic film. This study unveils domain wall shape instabilities under a gradient of current. The instability limits are analytically predicted in agreement with the experimental observations. A third work concerns the magnetization reversal mechanism evidenced at the interface between a (Ga,Mn)(As,P) film and a non-ferromagnetic electrode under a current flow. The reversal is shown to be stochastic and mainly governed by the spin accumulation at the interface, which reduces importantly the local magnetization. A simplified model allows the description of the reversal probability and the time scales involved in the mechanism of reversal are accessed and discussed.

[pt] O propósito deste trabalho é apresentar uma demonstração simplificada do Teorema da Composicionalidade de Coecke, o qual diz respeito ao processamento de informação quântica agregada a estados emaranhados hpartidos. Utilizando a propriedade da universalidade do produto tensorial em nossa prova, veremos que é possível considerar todos os estados relevantes como sendo estados-produto, o que torna a demonstração bem mais fácil. Apresentaremos ainda o processo de teleportação de estados quânticos, tão comentado nos dias de hoje, e verificaremos finalmente que tal processo é uma aplicação trivial do teorema de Coecke. / [en] The purpose of this work is to present a simplified demonstration of Co- ecke's Compositionality Theorem, which refers to the quantum information processing associated to n-partite entangled states. By using the universal property of the tensor product in our proof, we will see that is possible to consider all the relevant states as being product states, which turns the demonstration much easier. We will present also the teleportation process of quantum states, so called nowadays, and verify finally that such a process is a trivial application of Coecke's theorem

Les automates cellulaires forment une famille bien connue de modèles dynamiques discrets, introduits par S.Ulam et J. von Neumann dans les années 40. Ils ont été étudiés avec succès sous différents points de vue: modélisation, dynamique, ou encore complexité algorithmique. Dans ce travail, nous adoptons ce dernier point de vue pour étudier la famille des automates cellulaires coagulants, ceux dont l’état d’une cellule nepeut évoluer qu’en suivant une relation d’ordre prédéfinie sur l’ensemble de ses états. Nous étudions la complexité algorithmique de ces automates cellulaires de deux points de vue : la capacité de certains automates coagulants à simuler tous les autres automates cellulaires coagulants, appelée universalité intrinsèque, et la complexité temporelle de prédiction de l’évolution d’une cellule à partir d’une configuration finie, appelée complexité de prédiction. Nous montrons que malgré les sévères restrictions apportées par l’ordre sur les états,les automates cellulaires coagulants peuvent toujours exhiber des comportements de grande complexité.D’une part, nous démontrons qu’en dimension deux et supérieure il existe un automate cellulaire coagulants intrinsèquement universel pour les automates cellulaires coagulants en codant leurs états par des blocs de cellules ; cet automate cellulaire effectue au plus deux changements d’états par cellule. Ce résultat est minimal en dimension deux et peut être amélioré en passant à au plus un changement en dimensions supérieures.D’autre part, nous étudions la complexité algorithmique du problème de prédiction pour la famille des automates cellulaires totalistiques à deux états et voisinage de von Neumann en dimension deux. Dans cette famille de 32 automates, nous exhibons deux automates de complexité maximale dans le cas d’une mise à jour synchrone des cellules et nous montrons que dans le cas asynchrone cette complexité n’est atteinte qu’à partir de la dimension trois. Pour presque tous les autres automates de cette famille, nous montrons que leur complexité de prédiction est plus faible (sous l’hypothèse P 6≠NP). / Cellular automata are a well know family of discrete dynamic systems, defined by S. Ulam and J. von Neumannin the 40s. The have been successfully studied from the point of view of modeling, dynamics and computational complexity. In this work, we adopt this last point of view to study the family of freezing cellular automata, those where the state of a cell can only evolve following an order relation on the set of states. We study the complexity of these cellular automata from two points of view, the ability of some freezing cellular automata to simulate every other freezing cellular automata, called intrinsic universality, and the time complexity to predict the evolution of a cell starting from a given finite configuration, called prediction complexity. We show that despite the severe restriction of the ordering of states, freezing cellular automata can still exhibit highly complex behaviors.On the one hand, we show that in two or more dimensions there exists an intrinsically universal freezing cellular automaton, able to simulate any other freezing cellular automaton by encoding its states into blocks of cells, where each cell can change at most twice. This result is minimal in dimension two and can be even simplified to one change per cell in higher dimensions.On the other hand, we extensively study the computational complexity of the prediction problem for totalistic freezing cellular automata with two states and von Neumann neighborhood in dimension two. In this family of 32 cellular automata, we find two automata with the maximum complexity for classical synchronous cellular automata, while in the case of asynchronous evolution, the maximum complexity can only be achived in dimension three. For most of the other automata of this family, we show that they have a lower complexity (assuming P 6≠NP).

Neste trabalho nós encontramos condições suficientes para que dois homeomorfismos do círculo, f e g, \'C POT. 2+\' por pedaços serem \'C POT. 1\' conjugados. Além de restrições sobre a combinatória dessas aplicações (nós assumimos que elas tem algum tipo de combinatória limitada) e uma condição necessária sobre as derivadas laterais nos pontos onde f e g não são diferenciáveis, nós também assumimos que a não-linearidade média de f e g é zero. A prova é baseada no estudo detalhado da renormalização de transformações de intercâmbio de intervalos generalizadas de genus um com certas restrições combinatoriais / In this work we find sufficient conditions for two piecewise \'C POT. 2+\' homeomorphisms f and g of the circle to be \'C POT. 1\' conjugate. Besides the restrictions on the combinatorics of the maps (we assume that the maps have the same bounded combinatorics) and necessary conditions on the one-side derivatives of points where f and g are not differentiable, we also assume zero mean nonlinearity for f and g. The proof relies on the detailed study of the renormalizations of genus one generalized interval exchange maps with certain restrictions on their combinatorics

Invitant à réfléchir sur l’appartenance au groupe dans le domaine de la protection sociale, la thèse contribue à éclairer cette dernière et appelle à repenser la condition de l’étranger. L’observation de la construction de l’État social révèle à quel point celui-ci est lié à l’État-Nation. La solidarité, maître-mot de la protection sociale, s’est développée dans le périmètre de l’État-Nation. N’appartenant pas au groupe national, l’étranger, à moins d’être rattaché à la collectivité des travailleurs, a été exclu du cercle de la solidarité. La construction européenne et la montée en puissance des droits de l’homme ont toutefois conduit à délégitimer la condition de nationalité pour faire prévaloir l’égalité. Alors, la voie s’est ouverte pour que se concrétise le projet d’une protection sociale universelle, i.e. applicable à toutes les personnes, en tant que membres de la société, résidant sur le territoire français. La nationalité a laissé place à la résidence. Pareil passage s’est inscrit dans un double contexte. Dans l’ordre interne d’une part, les préoccupations relatives à la maîtrise de l’immigration ont conduit à réorganiser la protection sociale de l’étranger autour de l’exigence de régularité du séjour. Plus libéral, un tel régime conserve néanmoins l’empreinte de la nationalité. L’approfondissement de l’intégration européenne et la promotion d’une nouvelle citoyenneté sociale, d’autre part, font du droit de l’UE un laboratoire incitant à ouvrir le champ des possibles. De son étude, émerge un critère universel d’accès à la protection sociale organisé moins autour du lien à l’État qu’à la société, un lien non plus de nationalité mais d’intégration. / By inviting consideration of the phenomenon of group belonging in the field of social protection, the thesis sets out to shed light on the field and calls for a rethinking of the condition of foreigners. Observation of how the social State is constructed reveals the extent to which it is related to the Nation-State. Solidarity, the key word in social protection, developed within the scope of the Nation-State. Because foreigners do not belong to the national group, they are excluded from the circle of solidarity, unless they attach themselves to the community of workers. The construction of Europe and the rise of human rights have, however, resulted in a delegitimisation of the condition of nationality in the interests of equality. The way is thus open to realise plans for universal social protection, i.e. protection applicable to all those living on French soil, by virtue of their status as members of society. Nationality has given way to residence. The context behind such a shift is twofold. At the domestic level, on the one hand, concerns over the control of immigration have resulted in social protection for foreigners being reorganised around the requirement for legal residency. Although more liberal, such a regime nevertheless retains the imprint of nationality. On the other, closer European integration and the promotion of a new social citizenship have automatically made EU law a testing ground to encourage the opening up of new possibilities. From its study there emerges a universal criterion of access to social protection centred less on the link to the State and more on the link to society, a link no longer of nationality but of integration.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-05-11T15:32:26Z No. of bitstreams: 1 Odair Camati_.pdf: 1067364 bytes, checksum: 5f0ed114a31bc5d5fcfe07a390e1b15c (MD5) / Made available in DSpace on 2018-05-11T15:32:26Z (GMT). No. of bitstreams: 1 Odair Camati_.pdf: 1067364 bytes, checksum: 5f0ed114a31bc5d5fcfe07a390e1b15c (MD5) Previous issue date: 2018-03-21 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho sustentamos a tese de que o encontro entre as teorias de Charles Taylor e Will Kymlicka oferece boas perspectivas para o estabelecimento de um projeto multicultural em sociedades liberais e democráticas, mas possui limites quando da tentativa de universalização desse mesmo projeto. As dificuldades quanto à universalização se apresentam de formas distintas nos autores referidos. Para o liberal Kymlicka, os valores tradicionais do liberalismo são suficientes para o reconhecimento de todas as diferentes manifestações culturais. Com isso a universalidade estaria pré-concebida, o que, segundo nosso entendimento, impediria um diálogo construtivo com aqueles que não comungam os mesmos valores. Taylor, por sua vez, propõe um modelo de razão prática com raízes hermenêuticas que ofereceria elementos para o estabelecimento de juízos de valor com validade para todas as comunidades humanas que se colocassem em processo de compreensão mútua. As limitações residem na dificuldade para estabelecer condições mínimas para que esse processo se desenvolva sem distorções. Para chegar a esse momento, faremos antes uma retomada dos principais elementos envoltos nas discussões multiculturais no sentido de provar a necessidade de debater tal temática. Na sequência, apresentaremos criticamente os fundamentos conceituais desenvolvidos pelos filósofos canadenses em suas teorias do multiculturalismo. Basicamente, a autonomia é o conceito central em Kymlicka e o reconhecimento ocupa o mesmo espaço em Taylor. Por fim, a partir de um liberalismo brando, da não possibilidade de total neutralidade estatal e da valorização do contexto de escolha, propomos que existem elementos suficientes para desenvolver um projeto multicultural em sociedades liberais e democráticas. O que não significa, necessariamente, que temos elementos para um projeto multicultural com validade universal / In this work, I support the thesis that even though the encounter between Charles Taylor’s and Will Kymlicka’s theories offers good prospects for the establishment of a multicultural project in liberal and democratic societies, it has some limits when we try to universalize it. The difficulties regarding universalization are presented in different ways by the aforementioned authors. On the one hand, Kymlicka’s liberalism holds that the traditional values of liberalism are sufficient for the recognition of all different cultural manifestations. On this view, the universality would be preconceived, which, according to our understanding, would preclude a constructive dialogue with those who do not share the same values. On the other hand, Taylor proposes a model of practical reason with hermeneutical roots that would provide elements for the establishment of value judgments valid for all human communities that put themselves in a process of mutual understanding. The limitations of this model lie in the difficulty of establishing minimum conditions for this process to be developed without distortions. To get this point, we shall first take up the main elements involved in multicultural discussions in order to prove the need to discuss such issues. After that, we shall critically expose the conceptual foundations developed by both Canadian philosophers in their theories of multiculturalism. Basically, while autonomy is Kymlicka’s core concept, recognition is Taylor’s one. Finally, from a soft liberalism, which claims the lack of state neutrality and the valorization of the context of choice, we propose that the encounter between the two theories has enough elements to develop a multicultural project in societies that are both liberal and democratic. Yet this does not necessarily mean that we have elements for a multicultural project with universal validity.

Orientador: Christina de Rezende Rubim / Banca: Aluísio Almeida Schumacher / Banca: Ana Lúcia Pastore Schritzmeyer / Resumo: O objetivo deste trabalho é compreender a contribuição de Jean Jacques Rousseau na construção do pensamento sobre as diferenças entre os homens e que no século seguinte se constituiu enquanto disciplina acadêmica de antropologia e de que forma ela ocorreu. Suas obras mais significativas foram utilizadas, contextualizando-se as idéias dentro do momento histórico em que se desenvolveram na Europa dos séculos XVIII e XIX. Os conceitos de cultura/natureza, identidade/diversidade e singularidade/universalidade foram enfatizados numa tentativa de se entender o pensamento social europeu diante da diversidade de culturas existentes no planeta e cujo início de mapeamento teve início com o colonialismo ocidental. / Abstract: The goal of this work is comprehend Jean Jacques Rousseau's contribution on the construction of thoughts about differences between men and which on next century constituted as academic discipline of anthropology and in which way it occurs. His most significant works were used, contextualizing the ideas within historical moment at which they developed in Europe XVIII and XIX centuries. The concepts of culture/nature, identity/diversity and singularity/universality were emphasized for trying to understanding the European social thought before diversity of cultures existing in the planet and which maping had beginning with the occidental colonialism. Keywords: Nature/Culture. Identity/Diversity. Singularity/universality. Rousseau. History of classical anthropological thought. Evolution and progress. / Mestre

Neste trabalho nós encontramos condições suficientes para que dois homeomorfismos do círculo, f e g, \'C POT. 2+\' por pedaços serem \'C POT. 1\' conjugados. Além de restrições sobre a combinatória dessas aplicações (nós assumimos que elas tem algum tipo de combinatória limitada) e uma condição necessária sobre as derivadas laterais nos pontos onde f e g não são diferenciáveis, nós também assumimos que a não-linearidade média de f e g é zero. A prova é baseada no estudo detalhado da renormalização de transformações de intercâmbio de intervalos generalizadas de genus um com certas restrições combinatoriais / In this work we find sufficient conditions for two piecewise \'C POT. 2+\' homeomorphisms f and g of the circle to be \'C POT. 1\' conjugate. Besides the restrictions on the combinatorics of the maps (we assume that the maps have the same bounded combinatorics) and necessary conditions on the one-side derivatives of points where f and g are not differentiable, we also assume zero mean nonlinearity for f and g. The proof relies on the detailed study of the renormalizations of genus one generalized interval exchange maps with certain restrictions on their combinatorics

<p>Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). A challenge is to design <i>verification</i> methods to ensure correctness of software. </p><p>We focus on <i>model checking</i>, an approach in which an abstract model of the implementation and a specification of requirements are provided. The task is to answer automatically whether the system conforms with its specification.We concentrate on (i) timed systems, and (ii) parameterized systems.</p><p><i>Timed systems </i>can be modeled and verified using the classical model of timed automata. Correctness is translated to language inclusion between two timed automata representing the implementation and the specification. We consider variants of timed automata, and show that the problem is at best highly complex, at worst undecidable.</p><p>A <i>parameterized system</i> contains a variable number of components. The problem is to verify correctness regardless of the number of components. <i>Regular model checking</i> is a prominent method which uses finite-state automata. We present a semi-symbolic minimization algorithm combining the partition refinement algorithm by Paige and Tarjan with decision diagrams.</p><p>Finally, we consider systems which are both timed and parameterized: <i>Timed Petri Nets</i> (<i>TPNs</i>), and <i>Timed Networks</i> (<i>TNs</i>). We present a method for checking safety properties of TPNs based on forward reachability analysis with acceleration. We show that verifying safety properties of TNs is undecidable when each process has at least two clocks, and explore decidable variations of this problem.</p>