This thesis investigates protein markers linked to pulmonary embolism risk using proteomics and statistical methods, employing unsupervised and supervised machine learning techniques. The research analyzes existing datasets, identifies significant features, and observes gender differences through MANOVA. Principal Component Analysis reduces variables from 378 to 59, and Random Forest achieves 70% accuracy. These findings contribute to our understanding of pulmonary embolism and may lead to diagnostic biomarkers. MANOVA reveals significant gender differences, and applying proteomics holds promise for clinical practice and research.

No description available.

No description available.

No description available.

No description available.

La surveillance biologique de l’exposition est reconnue comme approche privilégiée pour évaluer l’exposition aux pesticides pyréthrinoïdes en milieu de travail. Néanmoins, les niveaux d’exposition peuvent être influencés par plusieurs facteurs, dont la coexposition. L’objectif général du projet de thèse était d’évaluer l’impact de la coexposition sur les biomarqueurs d’exposition aux pyréthrinoïdes, par une étude animal in vivo, d’une part, et chez les travailleurs agricoles, d’autre part. En utilisant le pyréthrinoïde lambda-cyhalothrine (LCT) et le fongicide captane comme pesticides sentinelles pour l’étude de cette coexposition, trois objectifs spécifiques ont été établis et ont fait l’objet de trois articles. Dans le premier article, des groupes de rats ont été exposés par gavage à la LCT seule (2,5 ou 12,5 mg/kg p.c.) ou à un mélange binaire de LCT et de captane (2,5/2,5 ou 2,5/12,5 ou 12,5/12,5 mg/kg p.c.). Des collectes de sang et d’excrétas (urine et fèces) ont été effectuées à des intervalles prédéterminés jusqu'à 48 heures après dosage, afin d'établir les profils temporels des principaux métabolites de la LCT (CFMP, 3-PBA et 4-OH3-PBA). Les profils temporels du CFMP et 3-PBA dans le plasma, l'urine et les fèces étaient similaires après exposition à la dose de 2.5 mg/kg pc de LCT seule ou en combinaison avec le captan. Cependant, les niveaux plasmatiques de 3-PBA étaient plus faibles dans le groupe coexposés à la dose élevée. L'excrétion urinaire du 4-OH3PBA était également plus elevée dans le groupe coexposé à cette dose. Dans le deuxième article, les profils temporels individuels des biomarqueurs d'exposition à la LCT chez des travailleurs appliquant des pesticides dans des champs de fraises ont été comparés après un épisode d'application de la LCT seule ou en coexposition avec le captane. Les participants ont fourni toutes leurs urines sur une période de trois jours suivant une application d'une formulation de pesticide contenant de la LCT seule (E1) ou de la LCT mélangée à du captane (E2), et dans certains cas après être retournés dans le champ traité (E3). Les métabolites de pyréthrinoïdes ont été mesurés dans tous les échantillons d'urine, en particulier le CFMP, 3-PBA et 4-OH3BPA. Il n'y avait pas de différences évidentes, attribuables à la coexposition, dans les profils individuels des concentrations en fonction du temps et dans l'excrétion cumulative des métabolites (CFMP, 3-PBA, 4-OH3BPA) après une exposition à la LCT seule ou en combinaison avec le captane. Dans le troisième article, une étude a été menée sur 87 travailleurs agricoles affectés à différentes tâches agricoles (application, désherbage, cueillette). Ces travailleurs ont fourni des échantillons d'urine avant et après l'application de LCT seule ou en combinaison avec du captane, ainsi qu'après des tâches dans les champs traités, avec également un échantillon de contrôle. Les concentrations des métabolites CFMP et le 3-PBA ont été mesurées dans les échantillons. À l'aide d'un questionnaire, les déterminants potentiels d'exposition incluant la tâche effectuée et les facteurs personnels ont également été documentés. Les analyses statistiques ont montré que la coexposition au captane n’induisait pas de changement dans les concentrations urinaires observés de 3-PBA et de CFMP. Seule la tâche professionnelle principale montrait une association avec les niveaux urinaires de ces métabolites. Comparativement aux tâches de désherbage ou de cueillette, la tâche d'application de pesticides était associée à des concentrations urinaires plus élevées de 3-PBA et de CFMP. En résumé, bien qu’un impact de la coexposition LCT-captan a été démontré expérimentalement à de fortes doses, l’étude chez les travailleurs a révélé que la coexposition ne contribuait pas significativement aux variations dans les concentrations des biomarqueurs d'exposition, aux niveaux d'exposition observés chez les travailleurs de la culture de la fraise par rapport aux autres facteurs qui contribuent à cette variabilité. Cette étude a également confirmé les données antérieures suggérant que les applicateurs étaient plus exposés que les travailleurs affectés à des tâches telles que le désherbage et la cueillette. Cette recherche a le potentiel d'améliorer la compréhension de l'impact de la coexposition par rapport à d’autres facteurs sur les niveaux de biomarqueurs d’exposition aux pyréthrinoïdes ; elle contribue ainsi à mieux interpréter les données de biosurveillance. / Biological exposure monitoring is recognized as the preferred approach for assessing exposure to pyrethroid pesticides in the workplace. Nevertheless, exposure levels can be influenced by several factors, including coexposure. The overall aim of the thesis project was to assess the impact of coexposure on biomarkers of exposure to pyrethroids, through an in vivo animal study on the one hand, and in agricultural workers on the other. Using the pyrethroid lambda-cyhalothrin (LCT) and the fungicide captan as sentinel pesticides for the study of this coexposure, three specific objectives were established and were the subject of three published articles. In the first paper, groups of rats were exposed by gavage to LCT alone (2.5 or 12.5 mg/kg bw) or to a binary mixture of LCT and captan (2.5/2.5 or 2.5/12.5 or 12.5/12.5 mg/kg bw). Blood and excreta (urine and faeces) were collected at predetermined intervals up to 48 hours after dosing, to establish the temporal profiles of the main LCT metabolites (CFMP, 3-PBA and 4-OH3-PBA). The temporal profiles of CFMP and 3-PBA in plasma, urine and feces were similar after exposure to 2.5 mg/kg bw of LCT alone or in combination with captan. However, plasma levels of 3-PBA were lower in the high-dose co-exposure group. Urinary excretion of 4-OH3PBA was also higher in the high-dose coexposure group. In the second paper, individual temporal profiles of LCT exposure biomarkers in workers applying pesticides in strawberry fields were compared after an episode of LCT application alone or in coexposure with captan. Participants provided all their urine over a three-day period following application of a pesticide formulation containing LCT alone (E1) or LCT mixed with captan (E2), and in some cases after returning to the treated field (E3). Pyrethroid metabolites were measured in all urine samples, in particular CFMP, 3-PBA and 4-OH3BPA. No differences were observed in individual concentration-time profiles or in the cumulative excretion of metabolites (CFMP, 3-PBA, 4-OH3BPA) after exposure to LCT alone or in combination with captan. In the third article, a study was carried out on 87 farm workers assigned to different agricultural tasks (application, weeding, picking). These workers provided urine samples before and after the application of LCT alone or in combination with captan, as well as after tasks in treated fields, with also a control sample. Concentrations of the metabolites CFMP and 3-PBA were measured in the samples. Using a questionnaire, potential determinants of exposure including the task performed and personal factors were also documented. Statistical analyses showed that coexposure to captan did not lead to any change in the observed urinary concentrations of 3-PBA and CFMP. Only the main occupational task showed an association with urinary levels of these metabolites. Compared with weeding or picking tasks, the pesticide application task was associated with higher urinary concentrations of 3-PBA and CFMP. In summary, although an impact of LCT-captan coexposure has been demonstrated experimentally at high LCT doses, the field study revealed that coexposure did not contribute significantly to variations in exposure biomarker concentrations, at the exposure levels observed in strawberry crop workers compared to other factors contributing to this variability. This study also confirmed previous data suggesting that applicators were more exposed than workers assigned to tasks such as weeding and picking. This research has the potential to improve understanding of the impact of coexposure versus other factors on pyrethroid exposure biomarker levels, and thus contribute to better interpretation of biomonitoring data.

No description available.

Nous nous positionnons dans un contexte d'informatique ambiante dans lequel il arrive que les besoins de l'utilisateur n'aient pas été prévus, notamment en situation exceptionnelle. Dans ce cas, il peut ne pas exister de système préconçu qui réponde exactement à ces besoins. Pour les satisfaire, il faut alors pouvoir composer les systèmes disponibles dans l'environnement, et le système composé doit permettre à l'utilisateur de faire des choix à l'exécution. Ainsi, l'utilisateur a la possibilité d'adapter l'exécution de la composition à son contexte. Cela signifie que la composition intègre des structures de contrôle de l'exécution, destinées à l'utilisateur : la composition est dite flexible. Dans cette thèse, nous proposons de répondre au problème de la composition flexible en contexte d'intelligence ambiante avec un planificateur produisant des plans flexibles. Dans un premier temps, nous proposons une modélisation de la planification flexible. Pour cela, nous définissons les opérateurs de séquence et d'alternative, utilisés pour caractériser les plans flexibles. Nous définissons deux autres opérateurs au moyen de la séquence et de l'alternative : l'entrelacement et l'itération. Nous nous référons à ce cadre théorique pour délimiter la flexibilité traitée par notre planificateur Lambda-Graphplan. L'originalité de Lambda-Graphplan est de produire des itérations en s'appuyant sur une approche par graphe de planification. Nous montrons notamment que Lambda-Graphplan est très performant avec les domaines se prêtant à la construction de structures itératives. / In a context of Ambient Intelligence, some of the user's needs might not be anticipated, e.g. when the user is in an unforeseen situation. In this case, there could exist no system that exactly meets their needs. By composing the available systems, the user could obtain a new system that satisfies their needs. In order to adapt the composition to the context, the composition must allow the user to make choices at runtime. So the composition includes control structures for the user: the composition is flexible. In this thesis, I deal with the problem of the flexible composition by automated planning. I propose a model of flexible planning. The sequence and the choice operators are defined and used to characterize flexible plans. Then, two other operators are derived from the sequence and the choice operators: the interleaving and the iteration operators. I refer to this framework to define the flexibility produced by my planner, Lambda-Graphplan, which is based on the planning graph. The originality of Lambda-Graphplan is to produce iterations. I show that Lambda-Graphplan is very efficient on domains that allow the construction of iterative structures.

The work deals with the phenomenon of homosexuality from the perspective of the Roman Catholic Church and organizations in the Czech Republic, represented by the SOHO / Gay Initiative and South Bohemian Lambda, which are espoused to the rights of gay and lesbian people. The first part describes the basic concepts that define homosexuality. It deals with historical perceptions of homosexuality in the line of historical period of humanity, to present a comprehensive empirical evidence. The second part describes the ideological background and practical approaches of the Roman Catholic Church. It deals with the interpretation of the Scripture's texts, and knowledge of Magisterium of the Church's documents in relation to homosexuality. The theme of the third part is the recognition of organizations in the Czech Republic SOHO / Gay Initiative and South Bohemian Lambda. Describe the ideological foundations and practical approaches to gay and lesbian individuals in Czech society. The final chapter compares, based on current empirical knowledge, the homosexual orientation and the ideological resource of selected organizations also reflects the tension in the way of experiencing the gay and lesbian individuals in the Czech society.

Cette thèse porte sur l’adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d’un langage de programmation, tous deux décrits comme des systèmes de types purs. Cette logique fournit des formules pour exprimer des propriétés des programmes et elle offre un cadre formel adéquat pour développer une théorie de la réalisabilité au sein de laquelle les réalisateurs des formules sont exactement les programmes du langage de départ. Notre cadre permet alors de considérer les théorèmes de représentation pour le système T de Gödel et le système F de Girard comme deux instances d'un théorème plus général.Puis, nous expliquons comment les relations logiques de la théorie de la paramétricité peuvent s'exprimer en terme de réalisabilité, ce qui montre que la logique engendrée fournit un cadre adéquat pour développer une théorie de la paramétricité du langage de départ. Pour finir, nous montrons comment cette théorie de la paramétricité peut-être adaptée au système sous-jacent à l'assistant de preuve Coq et nous donnons un exemple d'application original de la paramétricité à la formalisation des mathématiques. / This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to build a logic from a programming language, both described as pure type systems. This logic provides formulas to express properties of programs and offers a formal framework that allows us to develop a theory of realizability in which realizers of formulas are exactly programs of the starting programming language. In our framework, the standard representation theorems of Gödel's system T and Girard's system F may be seen as two instances of a more general theorem. Then, we explain how the so-called « logical relations » of parametricity theory may be expressed in terms of realizability, which shows that the generated logic provides an adequate framework for developping a general theory of parametricity. Finally, we show how this parametricity theory can be adapted to the underlying type system of the proof assistant Coq and we give an original example of application of parametricity theory to the formalization of mathematics.