Search

Problématique: En immunothérapie orale (ITO), le manque de variété et l’aversion envers les doses d’allergènes peuvent compromettre l’adhérence au traitement, toutefois essentielle pour maintenir la désensibilisation. Le but de l’étude était de développer et de valider une nouvelle intervention nutritionnelle pour l’utilisation d’options d’équivalences à domicile. Méthodes: L’intervention a été développée selon les besoins de familles déjà en ITO, exprimés lors d’entrevues préliminaires. De nouveaux patients débutant l’ITO ont ensuite été invités dans un essai contrôlé randomisé pour évaluer l’impact de l’intervention. Les participants (n = 30) ont été randomisés en 3 groupes : A) Consultation nutritionnelle avec outils d’options d’équivalences (intervention complète); B) Consultation nutritionnelle sans les outils (intervention partielle) et C) Groupe contrôle avec l’intervention complète retardée de 4 semaines. La compétence des parents pour le calcul de doses d’équivalences était suivie de façon longitudinale par une série d’exercices pratiques. Résultats: Les résultats aux exercices étaient en moyenne supérieurs avec l’intervention complète (93,3% ± 3,1), comparés au groupe contrôle sans intervention (1,7% ± 1,7, p, Background: During oral immunotherapy (OIT), lack of palatability or diversity in daily allergen doses can compromise treatment adherence, which is essential to maintain benefit. The aim of the study was to develop and validate a nutritional intervention program on the use of whole food alternatives for allergen daily dosing during OIT. Methods: The program was initially developed based on preliminary interviews with families already on OIT. Patients beginning OIT were then invited to participate to an open-label randomized controlled trial to assess the impact of the intervention. Participants (n=30) were randomized into 3 arms when they transferred to whole foods: A) Dietitian counselling with supporting documents (full intervention); B) Dietitian counselling without document; C) Control group where full intervention was delayed by 4 weeks. Parent competency was followed longitudinally using a series of practical food dose calculation exercises. Results: Results of exercises at week 4 were in average higher in the full intervention group (93.3% ± 3.1) compared to reference group without intervention (1.7% ± 1.7, p

Background: As part of a policy of reducing health costs , the arrival of generics on the market takes an important place . Regarding generic High Dosage Buprenorphine , they represent only 31.7% of market share against 82 % for all generic drugs issued confused .Objective: To understand the subjective and objective reasons for the distrust of the users face generic Buprenorphine High Dosage.Methods: Descriptive analysis of 48 questionnaires created by the « RAP » (Poitier’s Addictology Network) supplemented by narrative reviews of literature, patients’ forums and the common press .Results: The 48 self- collected questionnaires have not yielded significant results. The results compared with those generated additional narrative reviews helped meet certain objective criteria that could explain the distrust of patients face generic BHD : dosage , side effects and effectiveness . Subjective criteria were also identified , the most recurrent is the role of the patient's face ritualisation increasing its confidence generic .Conclusion: This study suggest objective and subjective criteria that can be considered as indicators of distrust of users for generic BHD . Associated with these indicators , the training of all health professionals framing weaning current patients remains essential to help the patient in his care approach.; Contexte : Dans le cadre d’une politique de réduction des dépenses de santé, l’arrivée des génériques sur le marché prend une place importante. En ce qui concerne les génériques de la Buprénorphine Haut Dosage, ils ne représentent que 31,7% de la part du marché contre 82% pour les génériques de tous médicaments confondus délivrés.Objectif : Comprendre les raisons objectives et subjectives à l’origine de la défiance des usagers face aux génériques de la Buprénorphine Haut Dosage.Méthodes : Analyse quantitative et descriptive de 48 auto-questionnaires créés par le Réseau Addictologie de Poitiers (RAP) complétée par des revues narratives de littérature, de forums tenus par des patients et de la presse grand public Résultats : Les 48 auto-questionnaires récoltés n’ont pas permis d’obtenir des résultats significatifs. Les résultats dégagés comparés à ceux des revues narratives complémentaires ont permis de relever certains critères objectifs pouvant expliquer la défiance des patients face aux générique de la BHD : la galénique, les effets indésirables et l’efficacité. Des critères subjectifs ont été également relevés dont le plus récurrent est le rôle de la ritualisation du patient augmentant sa défiance face aux génériques.Conclusion : Cette étude a permis de suggérer des critères objectifs et subjectifs pouvant être envisagés comme des indicateurs de la défiance des usagers pour les génériques de la BHD. Associer à ces indicateurs, la formation des tous professionnels de santé encadrant les patients en cours de sevrage reste essentielle pour aider le patient dans sa démarche de soin.

In this thesis, the conception of digital complex systems, and notably of critical embedded systems, is discussed through a methodology which goes from formal modeling to the implementation on a FPGA: the HILECOP methodology. This methodology offers, to a designer, the possibility of representing in a formal model from one hand the digital architecture thanks to some components' assembly, and on the other hand the behavior of these components and their composition, thanks to time Petri nets. The described model is then automatically transformed in an implementable model (in the VHDL language) for its execution on a hardware target, but also in an analyzable model to allow some formal analysis on system properties to be performed. The two main goals of the presented work are the study of the behavioral conformity between the different models used in the methodology (designed model, implementable model and analyzable model) and the integration of an efficient mechanism for handling exception. These works allow to have a more reliable implementation of the model and to obtain a more relevant analyzable model. It is now possible to guarantee that the behavior of the designed model is included in the analyzed one. The risk of combinatorial explosion has also been reduced to some extent. The limits of the relevance of the obtained results thanks to the formal analysis are henceforth known. As for exception handling, it has been mostly studied on the behavioral level. The mechanism of the macroplace has been chosen and adapted to meet the functional and non-functional constraints of critical embedded systems. The benefits given by the use of the macroplace and the preservation of the conformity between the models have been validated on industrial models relative to the digital architecture of neuroprosthetics., Dans ce mémoire, la conception de systèmes numériques complexes, et notamment de systèmes embarqués critiques, est abordée au travers d'une méthodologie allant de la modélisation formelle à l'implantation sur FPGA : la méthodologie HILECOP. Celle-ci offre au concepteur la possibilité de représenter dans un modèle formel d'une part l'architecture du système selon un assemblage de composants, et d'autre part le comportement de ces composants et leur composition par réseaux de Petri temporels. Le modèle décrit est ensuite transformé automatiquement en un modèle implémentable (en langage VHDL) pour son exécution sur la cible matérielle, mais également en un modèle analysable pour permettre l'analyse formelle des propriétés du système. Les deux objectifs principaux des travaux présentés sont l'étude de la conformité d'un point de vue comportemental entre les différents modèles utilisés dans la méthodologie (modèle conçu, modèle implémentable et modèle analysable), ainsi que l'intégration d'un mécanisme de gestion efficace des exceptions. Ces travaux ont permis de fiabiliser l'implémentation du modèle et d'obtenir un modèle analysable plus pertinent par rapport au modèle conçu, dans le sens où il garantit l'inclusion du comportement du modèle conçu dans celui du modèle analysé et réduit, dans une certaine mesure, le risque d'explosion combinatoire. Les limites de la pertinence des résultats obtenus par analyse formelle sont de plus désormais connues. En ce qui concerne la gestion des exceptions, principalement étudiée au niveau comportemental, le mécanisme de la macro-place a été retenu et adapté aux contraintes fonctionnelles et non-fonctionnelles des systèmes embarqués critiques. L'apport de la macro-place et la conservation de la conformité ont pu être validés sur des modèles industriels relatifs à l'architecture numérique de neuroprothèses.

12 pages; International audience; Formal methods can strongly contribute to improve dependability of logic controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations. This communication presents a formal synthesis method whose goal is to obtain the control laws of a logic system from specifications given in natural language. The formal framework underlying the method is the Boolean algebra of n-variable switching functions. The operations and relations of this algebra enable to represent controller specifications formally, to detect inconsistencies within specifications and to generate control laws with optimization criteria. The application of this formal design method to an example permits to illustrate its main advantages.

Place: Ankara

Background Linking independent sources of data describing the same individuals enable innovative epidemiological and health studies but require a robust record linkage approach. We describe a hybrid record linkage process to link databases from two independent ongoing French national studies, GEMO (Genetic Modifiers of BRCA1 and BRCA2), which focuses on the identification of genetic factors modifying cancer risk of BRCA1 and BRCA2 mutation carriers, and GENEPSO (prospective cohort of BRCAx mutation carriers), which focuses on environmental and lifestyle risk factors. Methods To identify as many as possible of the individuals participating in the two studies but not registered by a shared identifier, we combined probabilistic record linkage (PRL) and supervised machine learning (ML). This approach (named “PRL + ML”) combined together the candidate matches identified by both approaches. We built the ML model using the gold standard on a first version of the two databases as a training dataset. This gold standard was obtained from PRL-derived matches verified by an exhaustive manual review. Results The Random Forest (RF) algorithm showed a highest recall (0.985) among six widely used ML algorithms: RF, Bagged trees, AdaBoost, Support Vector Machine, Neural Network. Therefore, RF was selected to build the ML model since our goal was to identify the maximum number of true matches. Our combined linkage PRL + ML showed a higher recall (range 0.988–0.992) than either PRL (range 0.916–0.991) or ML (0.981) alone. It identified 1995 individuals participating in both GEMO (6375 participants) and GENEPSO (4925 participants). Conclusions Our hybrid linkage process represents an efficient tool for linking GEMO and GENEPSO. It may be generalizable to other epidemiological studies involving other databases and registries.