none

Antropóloga Social / Con un enfoque feminista y transnacional, la presente investigación se propuso conocer los procesos de continuidad y transformación en los roles y estatus de género de seis mujeres mexicanas calificadas que actualmente residen en Santiago de Chile. Esta problemática se analiza a través del concepto de trayectoria migratoria, de la teoría performativa del género propuesta por Butler (1990) y la teoría articulacionista de la migración. Se trata de una investigación cualitativa con una profundidad exploratoria- descriptiva, poniendo en relieve la dimensión subjetiva de la migración. En consecuencia, se trabajó con historias de vida temáticas, poniendo énfasis en el rol de la calificación en el proceso de movilidad de mujeres y en la migración como escenario propicio para desestabilizar y/o perpetuar la estructura tradicional del género. Los resultados dan cuenta de los contextos heterogéneos que dan inicio a la trayectoria migratoria de mexicanas hacia Chile, identificando tres tipos de motivaciones: laborales, educativas y familiares/amorosas. Por su parte, se han descrito tres perfiles de cambio y continuidad en relación a los roles de género, que ponen en evidencia la relación entre las esferas de la producción y la reproducción en el contexto de la migración femenina. Finalmente se problematiza acerca de las valoraciones otorgadas a la experiencia migratoria y cómo estas dan cuenta de la transformación hacia posiciones más autónomas, más emancipadas e independientes

Inaug.-Diss. : Kunstgeschichte : Köln : 1980. - Bibliogr. p. 341-380. -

Texte remanié de: Proefschrift--Geschiedwetenschap--Katholieke universiteit Leuven, 1983. / Bibliogr. p. 15-42 p. Index.

Cette thèse étudie comment l'intégration du calcul dans les démonstrations peut les simplifier. Nous nous intéressons pour cela à la déduction modulo et à la surdéduction, deux formalismes proches dans lesquels le calcul est incorporé dans les démonstrations via un système de réécriture. Pour améliorer la recherche mécanisée de démonstration, nous considérons trois critères de simplicité. L'admissibilité des coupures permet de restreindre l'espace de recherche des démonstrations, mais elle n'est pas toujours assurée en déduction modulo. Nous définissons une procédure qui complète le système de réécriture pour, au final, admettre les coupures. Au passage, nous montrons comment transformer toute théorie pour l'intégrer à la partie calculatoire des démonstrations. Nous montrons ensuite comment la déduction modulo permet de réduire arbitrairement la taille des démonstrations, en transférant des étapes de déduction dans le calcul. En particulier, nous appliquons ceci à l'arithmétique d'ordre supérieur pour démontrer que les réductions de taille qui sont possibles en augmentant l'ordre dans lequel on se place disparaissent si on travaille en déduction modulo. Suite à ce dernier résultat, nous avons recherchés quels sont les systèmes d'ordre supérieur pouvant être simulés au premier ordre, en déduction modulo. Nous nous sommes intéressés aux systèmes de type purs et nous montrons comment ils peuvent être encodés en surdéduction, ce qui offre de nouvelles perspectives concernant leur normalisation et la recherche de démonstration dans ceux-ci. Nous développons également une méthodologie qui permet d'utiliser la surdéduction pour spécifier des systèmes de déduction. / This thesis study how computations may simplify proofs and aims to make mechanized proof search better. We are particularly interested in deduction modulo and superdeduction, two close formalisms allowing the integration of computations into proofs through a rewrite system. We consider three simplicity criteria related to proof search. Cut admissibility makes it possible to restrain the proof-search space but does not always hold in deduction modulo. We define a completion method transforming a rewrite system representing computations so that at the end cut admissibility holds. By the way, we show how to transform any first-order theory to integrate it into the computational part of proofs. We show then how deduction modulo unboundedly reduces proof lengths, by transferring deduction steps into computations. In particular, we apply this to higher-order arithmetic to show that proof-length speedups between ith- and i+1st-order arithmetic disappear when working in deduction modulo, making it possible to work in first-order logic modulo without increasing proof lengths. Following this last result, we investigate which higher-order systems can be simulated in first order using deduction modulo. We are interested by pure type systems, which are generic type systems for the lambda-calculus with dependent types. We show how these systems can be encoded in superdeduction. This offers new perspectives on their normalization and on proof search within them. We also develop a methodology to describe how superdeduction can be used to specify deductive systems.

En Afrique et particulièrement dans la zone CIMA, l’assurance vie classique représente moins d’un tiers du chiffre d’affaires de l’assurance, alors qu’à titre de comparaison, elle représente plus de deux tiers du chiffre d’affaires de l’assurance en France. L’une des nombreuses raisons du faible développement de l’assurance sur la vie dans l’espace CIMA est que les populations n’ont pas assez confiance au mécanisme de l’assurance et surtout aux assureurs qu’ils considèrent comme des arnaqueurs. Nous avons estimé qu’une réelle protection juridique des consommateurs d’assurance sur la vie pourrait modestement contribuer à développer cette activité dans ces pays où l’inexistence de véritables systèmes de protection sociale a laissé la place à une forme de solidarité informelle qui gagnerait beaucoup à être mieux organisée. En essayant de savoir contre qui et comment sont protégés les consommateurs d’assurance sur la vie dans l’espace CIMA, nous avons constaté que les Etats interviennent avant la souscription du contrat et même avant la rencontre des parties au contrat. Les professions d’assureur et d’intermédiaire d’assurance sont organisées et contrôlées aussi bien au niveau de leur accès que de leur exercice, dans l'intérêt des assurés, souscripteurs et bénéficiaires de contrats d'assurance sur la vie. Des ratios et normes de gestions sont imposés pour s’assurer que l’assureur sera toujours capable de remplir ses engagements envers le souscripteur et le bénéficiaire. Dans la relation purement contractuelle, l’Etat intervient également pour veiller à ce que les clauses contractuelles ne soient pas abusives pour le souscripteur, et aussi pour imposer des obligations contractuelles et précontractuelles aux professionnels de l’assurance que sont l’assureur et les intermédiaires d’assurances. Il nous est donc ainsi apparu que l’assureur, nonobstant sa qualité de partenaire ou cocontractant est la principale personne de qui les consommateurs d’assurance sur la vie doivent être protégés. Mais le danger pouvant aussi venir d’ailleurs, les consommateurs d’assurance sur la vie devraient également être protégés contre les interventions de certaines autres personnes qui, contrairement à l’assureur, sont des tiers au contrat d’assurance. Il s’agit notamment des créanciers du souscripteur, ainsi que de ses descendants et même parfois de son conjoint. Pour garantir cette protection, le capital d’assurance a été rendu insaisissable, même si, comme nous l’avons constaté, ce principe d’insaisissabilité est de plus en plus mis à mal, notamment dans le cadre de la lutte contre le grand banditisme et la délinquance fiscale. / In Africa and particularly in the zone CIMA, the classic life insurance represents less than one third of the turnover of the insurance, while as comparison, it represents more than two thirds of the turnover of the insurance in France. One of the numerous reasons of the low development of the life insurance in the space CIMA is that the populations do not enough trust in the mechanism of the insurance and especially to the insurers whom they consider as swindlers. We considered that a real legal protection of the consumers of life insurance could modestly contribute to develop this activity in these countries where the non-existence of real systems of social protection made way for a shape of informal solidarity which would a lot win to be better organized. While trying to know how are protected the consumers of life insurance in the space CIMA, we noticed that the States intervene before the subscription of the contract and even before the meeting of the parts to the contract. The occupations of insurer and intermediary of insurance are organized and checked as well at the level of their access as of their exercise, in the interest of the insurants, the subscribers and the beneficiaries of insurance contracts on the life. Ratios and standards of managements are imposed to make sure that the insurer will be always able to fill his commitments towards the subscriber and the beneficiary. In the purely contractual relation, the State also intervenes to take care that the contractual clauses are not abusive for the subscriber, and also to impose contractual and precontractual obligations to the professionals of the insurance that are the insurer and the intermediaries of insurances. It appeared to us that the insurer, in spite of his quality of partner orcocontracting party is the main person from whom the consumers of life insurance must be protected. But the danger which can also come moreover, the consumers of life insurance would also be protected against the interventions of other certain people who, contrary to the insurer, are third parties to the insurance contract. It is in particular about creditors of the subscriber, as well as about his descendants and even sometimes about his spouse. To guarantee this protection, the capital of insurance was made imperceptible, even if, as we noticed it, that protection is more and more damaged, in particular within the framework of the fight against the organized crime and the fiscal crime.

Les laboratoires sur puce visent à intégrer sur un substrat miniaturisé une ou plusieurs fonctions de laboratoire. Cette miniaturisation d’opérations élémentaires présente des avantages indéniables en termes de portabilité, de vitesse et de rendement des analyses chimiques ou biologiques. Il est ainsi nécessaire de pouvoir contrôler avec précision des petites quantités de liquide sous forme de gouttes. Les actionneurs à ondes acoustiques de surfaces permettent de réaliser la plupart des opérations requises en exploitant les interactions non linéaires entre une onde acoustique et un liquide. Toutefois la physique sous-jacente à ces microsystèmes n’est encore que partiellement comprise, limitant le développement de telles plateformes d’analyse. Nous nous proposons, dans ce travail, d’étudier de manière théorique et expérimentale l’oscillation et le déplacement d’une goutte soumise à des ondes acoustiques de surface. La réaction d’une goutte à une telle excitation ainsi que les transferts non linéaires d’énergie sont abordés dans une première partie. La deuxième partie est consacrée à la modélisation faiblement non linéaire de l’oscillation d’une goutte afin de prédire les résonances paramétriques d’une goutte soumise à une excitation périodique. Dans une troisième partie, la comparaison de la dynamique de gouttes pendantes et de gouttes posées sur des plans horizontaux et inclinés met en exergue l’influence de la gravité sur la dynamique de la goutte, et permet d’observer de nouvelles dynamiques complexes. Enfin dans la dernière partie, les dynamiques décrites dans les précédents chapitres sont utilisées pour trier des cellules en fonction de leur pouvoir d’adhésion. / A lab-on-a-chip aims at integrating on a miniaturized substrate one or several laboratory functions. This miniaturization of elementary functions has major advantages to design portable systems, to control precisely the experimental conditions or to reduce the environmental impact of industrial activities. In most of these microsystems, it is necessary to actuate a small amount of chemical or biological fluid under the form of droplets. In particular, it is often necessary to move, divide atomize or mix these small quantities of fluids. Surface Acoustic Wave actuators allow to perform all these elementary operations. They rely on the nonlinear interaction of a surface wave and a liquid. However a precise understanding of the underlying physics is still missing, hence restraining a widespread use of these microsystems. We present, in this thesis, a theorical and experimental study of the oscillation and the displacement of a droplet under a surface acoustic wave excitation. In the first part, we describe the droplet dynamics and nonlinear energy transfers that occur during actuation. The second part of the manuscript is dedicated to the development of a weakly nonlinear model to study parametric response of a droplet to periodic excitation. In a third part, the influence of the gravity is shown through the comparison of pendant and sessile droplet dynamics. A competition beetwen acoustic forces and gravity appears when tilting the experimental device and allow us to observe new droplet dynamics. In the last part of the manuscript, the free surface drop deformations generated by surface acoustic waves, are used to viably sort cells based on their adhesion properties.

Texte remanié de: Th. doct.--Sci. de gestion--Bordeaux 4, 2000. Titre de soutenance : Contribution à la connaissance de la politique de stock-options des entreprises françaises cotées : approche quantitative et qualitative. / En appendice, choix de documents. Bibliogr. p. 315-344. Glossaire.

Doctoral dissertation--Informatics--Göteborg university, 2004. / Notes bibliogr.

Texte remanié de: Mémoire de maîtrise--Histoire, 1989. Titre de soutenance : La vie à Isigny de 1919 à 1939. / En appendice, choix de documents. Bibliogr. p. 245-246.