• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 118
  • 34
  • 16
  • Tagged with
  • 165
  • 79
  • 25
  • 23
  • 22
  • 21
  • 21
  • 16
  • 14
  • 14
  • 14
  • 13
  • 12
  • 12
  • 11
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

La bioénergétique systémique moléculaire des cellules cardiaques : la relation structure-fonction dans la régulation du métabolisme énergétique compartmentalisé / Molecular system bioenergetics of cardiac muscle cells : structure-function relationship in regulation of compartmentalized energy metabolism.

Gonzalez Granillo, Marcela Alejandra 28 September 2012 (has links)
An important element of metabolic regulation of cardiac and skeletal muscle energetics is the interaction of mitochondria with cytoskeleton. Mitochondria are in charge of supplying the cells with energy, adjusting its functional activity under conditions of stress or other aspects of life. Mitochondria display a tissue-specific distribution. In adult rat cardiomyocytes, mitochondria are arranged regularly in a longitudinal lattice at the level of A band between the myofibrils and located within the limits of the sarcomeres. In interaction with cytoskeleton, sarcomeres and sarcoplasmic reticulum they form the functional complexes, the intracellular energetic units (ICEUs). The ICEUs have specialized pathways of energy transfer and metabolic feedback regulation between mitochondria and ATPases, mediated by CK and AK. The central structure of ICEUs is the mitochondrial interactosome (MI) containing ATP Synthasome, respiratory chain, mitochondrial creatine kinase and VDAC, regulated by tubulins. The main role of MI is the regulation of respiration and the intracellular energy fluxes via phosophotransfer networks. The regulation of ICEUs is associated with structural proteins. The association of mitochondria with several cytoskeletal proteins described by several groups has brought to light the importance of structure-function relationship in the metabolic regulation of adult rat cardiomyocytes. To purvey a better understanding of these findings, the present work investigated the mechanism of energy fluxes control and the role of structure-function relationship in the metabolic regulation of adult rat cardiomyocytes. To show these complex associations in adult cardiac cells several proteins were visualized by confocal microscopy: α-actinin and β-tubulin isotypes. For the first time, it was showed the existence of the specific distribution of β-tubulin isotypes in adult cardiac cells. Respiratory measurements were performed to study the role of tubulins in the regulation of oxygen consumption. These results together confirmed the crucial role of cytoskeletal proteins -i.e. tubulins, α-actinin, plectin, desmin, and others- for the normal shape of cardiac cells as well as mitochondrial arrangement and regulation. In addition, in vivo - in situ mitochondrial dynamics were studied by the transfection of GFP-α-actinin, finding that fusion phenomenon does not occur as often as it is believed in healthy adult cardiac cells. / Un élément important de la régulation du métabolisme énergétique des muscles cardiaque et squelettiques est l'interaction des mitochondries avec le cytosquelette. Les mitochondries sont responsables de l'approvisionnement des cellules en énergie, elles sont capables d'ajuster leur activité fonctionnelle en fonction des conditions de stress ou d'autres aspects de la vie. Les mitochondries ont une distribution spécifique selon les tissus. Dans les cardiomyocytes de rats adultes, les mitochondries sont disposées régulièrement dans un entrelacement longitudinal au niveau des bandes A, entre les myofibrilles et dans les limites des sarcomères. En interaction avec le cytosquelette, le sarcomère et le réticulum sarcoplasmique, elles forment des complexes fonctionnels appelés unités énergétiques intracellulaires (ICEUs). Les ICEUs ont des voies spécialisées de transfert d'énergie et de régulation des feedback métaboliques entre les mitochondries et les ATPases, médiée par la CK et l'AK. La structure centrale des ICEUs est l'interactosome mitochondrial (MI) qui confient l'ATP synthasome, la chaîne respiratoire, la créatine kinase mitochondriale et VDAC, qui pourrait être régulé par les tubulines. Le rôle principal du MI est la régulation de la respiration et des flux d'énergie intracellulaires via les réseaux de phosphotransfert. La régulation des ICEUs est liée aux protéines structurales. L'association des mitochondries avec plusieurs protéines du cytosquelette, décrite par plusieurs groupes, a mis en évidence l'importance de la relation structure-fonction dans la régulation métabolique des cardiomyocytes de rats adultes. Pour fournir une meilleure compréhension de ces résultats, le présent travail étudie le mécanisme de contrôle des flux d'énergie et le rôle des relations structure-fonction dans la régulation métabolique de cardiomyocytes de rats adultes. Pour montrer ces associations complexes dans les cellules cardiaques adultes, plusieurs protéines ont été visualisées par microscopie confocale: l'α-actinine et les isoformes des β-tubulines. Pour la première fois, l'existence d'une distribution spécifique des isoformes de β-tubuline dans les cellules cardiaques adultes a été montré. Des mesures respiratoires ont été réalisées pour étudier le rôle des tubulines dans la régulation de la consommation d'oxygène. Ces résultats ont confirmé le rôle déterminant des protéines du cytosquelette -tubulines, α-actinine, plectine, desmine, et autres- pour le maintien de la forme normale des cellules cardiaques, ainsi que de l'arrangement et de la régulation mitochondrial. En outre, la dynamique mitochondriale a été étudiée in vivo et in situ par la transfection de la GFP-α-actinine, ceci permettant la mise en évidence du fait que le phénomène de fusion ne se produit pas aussi souvent qu'on ne le croit pour des cellules cardiaques adultes en bonne santé.
32

Efficience du travail mental sur le développement et le recouvrement des capacités motrices : force musculaire et imagerie motrice / Motor imagery effectiveness in enhancing motor performance and recovery : muscular strength and motor imagery

Lebon, Florent 07 December 2009 (has links)
L’analyse de l’activité électromyographique (EMG) corrélative de l’imagerie motrice (IM) et l’effet de l’entraînement mental sur l’amélioration et le recouvrement de la force musculaire permettent de mieux comprendre les mécanismes nerveux de l’IM et l’importance du contenu de l’image mentale. Une activité EMG subliminale a en effet été enregistrée lors de l’IM, validant l’hypothèse d’une inhibition incomplète de la commande motrice. Elle était modulée selon l’intensité de l’effort mental et le régime de contraction, comme lors d’une contraction physique. Ces données renforcent l’équivalence physiologique entre IM et exécution réelle. Les programmes d’entraînement et de réhabilitation intégrant l’IM s’appuient sur ces données théoriques. L’amélioration de la force musculaire était significativement plus importante suite à un entraînement combinant répétitions physiques et mentales, comparativement à une pratique physique seule, même si l’effet ne concernait que certains groupes musculaires. Ce travail démontre également l’efficacité d’un entraînement par IM, lorsqu’il est associé à des soins de kinésithérapie, après rupture du ligament croisé antérieur ou brûlure de la main. L’IM jouerait un rôle prépondérant dans l’activation des programmes moteurs et faciliterait la récupération fonctionnelle. L’IM peut donc être considérée comme un complément bénéfique aux programmes d’entraînement et de réhabilitation dans le développement et le recouvrement des fonctions motrices / Analyzing the electromyographic (EMG) activity accompanying motor imagery (MI) as well as the imagery‐related effects on strength enhancement contributes to a better understanding of the neural mechanisms of MI. Accordingly, the subliminal EMG activity recorded during MI supports the hypothesis of an incomplete inhibition of the motor command during mental rehearsal. Interestingly, the pattern of EMG response was modulated by the mental effort and the imagined contraction type, in the same way as during physical movement. Furthermore, the data provided evidence that MI contributed both to increase muscle strength, though strength gains were not observed in all muscles. Finally, MI was found to facilitate motor recovery following anterior cruciate ligament tear as well as in burned patients. These results confirm that MI should be considered a reliable and costeffective technique to improve motor recovery and motor performance.
33

Bioconversion des ellagitannins de la mûre tropicale de montagne (Rubus Adenotrichos) et relation avec l'écologie du microbiome intestinal / Metabolic fate of ellagitannins from tropical highland blackberry (R. adenotrichos) and relation with gut microbiota ecology

Garcia Munoz, Maria-Cristina 12 December 2013 (has links)
La consommation d'aliments riches en ellagitannins (ETs) pourrait être associée principalement à la prévention des maladies cardiovasculaires et la régulation des cancers hormono-dépendants. Néanmoins, les ETs ne sont pas biodisponibles en tant que tel et, après avoir été partiellement transformés en acide ellagique (EA) dans le tractus gastro-intestinal (GI) supérieur, ils sont métabolisés dans le côlon par la flore intestinale en urolithines, un groupe de molécules plus biodisponibles et bioactives qui peuvent persister jusqu'à 4 jours à des concentrations relativement élevées dans le plasma et l'urine. La variabilité de l'excrétion des urolithines dans l'urine est importante et à partir d'un échantillon de population de 26 volontaires sains, trois groupes principaux d'individus ont pu être distingués : "faible ou non-excréteur d'urolithin », « Excréteur prédominant d'UA et dérivés» et « Excréteur prédominant d'UB et dérivés»". Ces groupes ont également été observés en considérant la cinétique totale d'excrétion sur une période de 4 jours après ingestion du jus et à des périodes différentes tout au long d'une année. Bien que les variabilités inter-et intra-individuelles soient relativement élevées, les individus conservent leur statut au cours des différentes périodes d'intervention même en modifiant les quantités d'ETs ingérées. L'analyse par UPLC-PDA/ESI-Q-TOF/MS2 a permis d'attribuer hypothétiquement une identité à 15 autres métabolites d'ETs dans l'urine, mais le profilage métabolomique n'a pas permis de discriminer d'autres composés exceptés les dérivés d'UA ou d'UB. La fermentation in-vitro des ETs et EA, par les matières fécales a montré une voie métabolique spécifique qui débouche sur la production d'UA. Néanmoins, les métabolites excrétés in vivo sont beaucoup plus complexes ce qui met en évidence de fortes interactions entre le système excréteur de l'hôte et la composition du microbiote intestinal. La recirculation hépatique suivie par une re-conversion des métabolites de phase II dans le côlon permettrait d'expliquer l'excrétion d'UB chez certains volontaires. L'écologie spécifique de la flore intestinale évaluée par la méthode des empreintes PCR-DGGE a permis d'identifier quelques microorganismes associés à une plus grande capacité de bioconversion des ETs en urolithins / Consumption of dietary ellagitannins (ETs) could be associated mainly with prevention of cardiovascular diseases and regulation of hormone-dependent cancers. Nonetheless, ETs are not bioavailable as such; therefore, after being partially converted into ellagic acid (EA) in the upper gastrointestinal (GI) tract, they undergo sequential bioconversion in the colon by gut microbiota into urolithins, a more bioavailable and bioactive group of molecules that persist up to 4 days at relatively high concentrations in urine. Variability of urolithin excretion in urine is high and three main groups, “no or low urolithin excreters,” “predominantly UA derivatives excreters” and “predominantly UB derivatives excreters,” were observed on a cohort of 26 healthy volunteers. These categories were also unambiguously observed following the total excretion of main ETs' metabolites over a 4 day period after ingesting one shot of juice, and at different periods of time along one year. Although relatively high inter- and intra-individual variabilities were observed, individuals preserved their status during various intervention periods with different amounts of ETs ingested. UPLC-PDA and ESI-Q-TOF/MS1 and MS2 allowed the tentative assignment of an identity to 15 other ETs metabolites in urine, but this profiling did not allow the discrimination of any other compounds aside from UA or UB derivatives. In-vitro fermentation of ETs and EA with fecal stools showed a specific metabolic pathway ending in the production of UA. Nonetheless, metabolites excreted in-vivo are much more complex, highlighting strong interactions between host excretory system and composition of gut microbiota. Hepatic recirculation and additional bioconversion of Phase II metabolites in the colon may explain predominant excretion of UB in some volunteers. Microbiota ecology assessed by PCR-Denaturing Gradient Gel Electrophoresis (DGGE) fingerprint method allowed the association of some microorganism species to higher capacity of bioconversion of dietary ETs into urolithins.Key words: Ellagitannins, blackberry, urolithin, colonic metabolites, ETs degradation patterns, gut microbiota, gastrointestinal tract,
34

Extension de la théorie des espaces de tentes et applications à certains problèmes aux limites / Extensions of the theory of tent spaces and applications to boundary value problems

Amenta, Alexander 24 March 2016 (has links)
Nous étendons la théorie des espaces de tentes, définis classiquement sur R^n, à différents espaces métriques. Pour les espaces doublant nous montrons que la théorie usuelle «globale» reste valide, et pour les espaces «non-uniformément localement doublant» (y compris R^n avec la mesure gaussienne) nous établissons une théorie locale satisfaisante. Dans le contexte doublant nous prouvons des résultats de plongement du type Hardy–Littlewood–Sobolev pour des espaces de tentes a poids, et dans le cas particulier des espaces métriques non-bornes AD-réguliers nous identifions les espaces d’interpolation réelle (les «espaces-Z») des espaces de tentes a poids. Les espaces de tentes a poids et les espaces-Z sur R^n sont ensuite utilises pour construire les espaces de Hardy–Sobolev et de Besov adaptes a des opérateurs de Dirac perturbes. Ces espaces jouent un rôle clé dans la classification des solutions de systèmes du premier ordre de type Cauchy–Riemann (ou de manière équivalente, la classification des gradients conormaux des solutions de systèmes elliptiques de second ordre) dans les espaces de tentes à poids et les espaces-Z. Nous établissons cette classification, et en corollaire nous obtenons une classification utile des cas ou les problèmes de Neumann et de Régularité; sont bien poses, pour des systèmes elliptiques de second ordre avec coefficients complexes et données dans les espaces de Hardy–Sobolev et de Besov d’ordre s en (-1,0). / We extend the theory of tent spaces from Euclidean spaces to various types of metric measure spaces. For doubling spaces we show that the usual `global' theory remains valid, and for `non-uniformly locally doubling' spaces (including R^n with the Gaussian measure) we establish a satisfactory local theory. In the doubling context we show that Hardy–Littlewood–Sobolev-type embeddings hold in the scale of weighted tent spaces, and in the special case of unbounded AD-regular metric measure spaces we identify the real interpolants (the `Z-spaces') of weighted tent spaces.Weighted tent spaces and Z-spaces on R^n are used to construct Hardy–Sobolev and Besov spaces adapted to perturbed Dirac operators. These spaces play a key role in the classification of solutions to first-order Cauchy–Riemann systems (or equivalently, the classification of conormal gradients of solutions to second-order elliptic systems) within weighted tent spaces and Z-spaces. We establish this classification, and as a corollary we obtain a useful characterisation of well-posedness of Regularity and Neumann problems for second-order complex-coefficient elliptic systems with boundary data in Hardy--Sobolev and Besov spaces of order s in (-1,0).
35

Le diagnostic de système de systèmes : une approche à base de modèles appliquée aux bancs d’intégration avionique / System of systems diagnosis : a model-based approach for avionics test bench diagnosis

Cossé, Ronan 02 November 2016 (has links)
Le but de cette thèse est d’étudier le diagnostic de systèmes de test utilisés en aéronautique chez AIRBUS HELICOPTERS, appelés bancs d’intégration avioniques.Les hélicoptères embarquent une vingtaine de fonctionnalités pour offrir aux clientsd’hélicoptère les fonctions qui vont lui permettre d’opérer son appareil dans toutes lesconditions de vol (visibilité réduite, accès restreint, terrain hostile, en zone de combat). Les tests d’intégration permettent de valider le système embarqué par rapport à un ensemble d’exigences définies par les autorités de certification européenne et américaine. Ils consistent à évaluer l’état des sous-systèmes avioniques au sein du système global, c’est-à-dire à l’aide de simulation de l’environnement réel de l’hélicoptère. Chez AIRBUS HELICOPTERS, pour diminuer le coût des tests réalisés sur l’hélicoptère, des tests préliminaires dans un environnement simulé, appelé banc d’intégration, sont effectués. Le banc d’intégration doit être compatible avec les différentes configurations de l’hélicoptère et les simulations de son environnement. Nous nous intéressons dans cette thèse au diagnostic du banc d’intégration avionique. La mise en œuvre de méthodes de diagnostic est indispensable pour identifier les causes de défaillances du banc d’intégration. Nous avons travaillé sur un modèle de diagnostic adapté au banc d’intégration. Les notions de diagnostic fonctionnel et structurel ont été définies et ont servi à la mise en place d’un algorithme de diagnostic. Nous avons ainsi défini des fonctions de vérification que nous avons intégrées au banc de test afin de valider notre méthode. / The aim of this thesis is to study the diagnostic of test systems used at Airbus HELICOPTERS called avionics test benches. Helicopters embark twenty features to offer helicopter customers functions that will enable to operate the aircraft in all flight conditions (reduced visibility, restricted area, hostile terrain, in a combat zone). Integration tests are used to validate the embedded system with regards to a set of requirements defined by the European and US certification authorities. The state of avionics subsystems is assessed within the overall system, that is to say, using simulation of the real environment of the helicopter. AIRBUS HELICOPTERS wants to reduce the cost of the tests of the helicopter, preliminary testing in a simulated environment, called integration benches. The integration bench must be compliant with the various configurations of the helicopter and simulation environment.We are interested in this thesis in the diagnosis of avionics integration bench. The implementation of diagnostic methods is essential to identify the causes of failures of integration benches. We work on a diagnostic model adapted to the integration bench. functional and structural diagnostic concepts were defined and used for the establishment of a diagnostic algorithm. We have defined verfications functions we have integrate on test benches to validate our method.
36

Développement d'un contact haute-fréquence pour les antennes à résonance cyclotronique ionique d'ITER : validation mécanique et matériaux / Mechanical and Materials Development of Radio-Frequency Contact for the ITER Ion Cyclotron Resonance Heating Antenna

Chen, Zhaoxi 06 November 2018 (has links)
L'objectif du projet ITER est de démontrer la faisabilité scientifique et technique de la fusion nucléaire à des fins énergétiques. Pour obtenir les réactions de fusion, un plasma chauffé à 150 millions de degrés doit être confiné par un champ magnétique de plusieurs teslas en quasi-continu. Pour obtenir ces températures, des antennes radiofréquences (RF) injectent des ondes électromagnétiques de forte puissance dans le plasma, en particulier entre 40 et 55 MHz aux fréquences de résonance cyclotron des ions. L'assemblage et la dilatation thermique en fonctionnement de ces antennes sont rendus possibles par des contacts électriques glissants. Ces contacts doivent supporter un courant RF crête de 2.25 kA en régime stationnaire, dans un environnement sous vide et pendant toute la durée de fonctionnement de l'antenne. De plus, les matériaux de ces contacts doivent être compatibles avec la température de 250°C utilisée pour l'étuvage de la machine pendant plusieurs milliers d'heures cumulées. Ces contacts RF sont donc des composants critiques pour les performances de l'antenne. Aucun contact électrique du commerce n'a jusqu'à présent été qualifié pour ces spécifications et un effort particulier a donc été porté dans le cadre de ce travail de thèse afin de développer une solution satisfaisante. Le choix des matériaux et des revêtements utilisés pour ces contacts a fait l'objet de la première partie de cette étude. Pour ce faire, un modèle multi-physique tenant compte des paramètres RF, mécaniques et thermiques a été développé. À la suite de cette étude, des premiers couples de matériaux et de revêtements ont été sélectionnés. Les propriétés d'échantillons représentatifs ont été caractérisées par des mesures réalisées au laboratoire CIRIMAT avant et après un vieillissement thermique simulé. Afin d'évaluer le comportement électrique et tribologique de ces paires de matériaux dans les conditions de fonctionnement d'ITER, un tribomètre sous vide a été spécifiquement conçu et utilisé pendant ce travail de thèse.[...] / Ion Cyclotron Resonance Heating (ICRH) is one of the most important plasma heating methods in magnetically confined fusion experiments. In ITER, two ICRH antennas are designed to supply 20 MW of Radio-Frequency (RF) power at 40-55 MHz to heat the plasma. RF sliding contacts are used in the antennas to allow their remote handling assembly and to improve their maintainability, as well as to absorb the thermal expansion of the RF conductors during operations. One of the RF contacts is designed to be operated at 2.25 kA in steady-state (1200 s), with a current density of 4.8 kA/m. With such current levels, high heating occurs at the contact area which threatens the structural and material safety of the RF contacts and constrain their life time. In addition, before operation of the ITER ICRH antennas, all the in-vessel structures will be baked at 250°C during thousands of cumulated hours for outgassing. In CEA, R&D work on RF contact development has been carried out for 10 years. Recently, Ag-coated CuCrZr louvers RF contact prototype based on Multi-Contact LA-CUT commercial contact configuration was tested on TITAN test-bed. 1500 A, 1200 s steady-state operation was achieved. However, due to burn failure, the RF contact prototype couldn't reach 1200 s steady-state under 2 kA as expected. In order to improve the performances of the RF sliding contacts to match ITER requirements, failure mechanisms of RF contacts during RF operations were analyzed and possible materials or coated systems that can be used for RF sliding contacts compatible with the ITER environment have been studied in detail within this thesis work. The effects of material selection, cooling parameter and contact resistance on louvers temperature have been modelled and simulated through finite element methods. Moreover, functional coatings like Ag, Au, Rh and their alloys were manufactured by electroplating on 316L and CuCrZr, which are commonly used as base materials on tokamak. By mimicking the ITER baking conditions, the coated samples were thermal aged under vacuum at 250ºC for 500 h, after which the materials properties evolution such as hardness, grain size and adherence was characterized. In addition, the coating life time has been evaluated through cross-sectional diffusion characterizations.[...]
37

Functional encryption applied to privacy-preserving classification : practical use, performances and security / Chiffrement fonctionnel appliqué à la classification respectant la confidentialité des données : utilisation pratique, performances et sécurité

Ligier, Damien 15 October 2018 (has links)
L'apprentissage automatique (en anglais machine learning) ou apprentissage statistique, a prouvé être un ensemble de techniques très puissantes. La classification automatique en particulier, permettant d'identifier efficacement des informations contenues dans des gros ensembles de données. Cependant, cela lève le souci de la confidentialité des données. C'est pour cela que le besoin de créer des algorithmes d'apprentissage automatique capable de garantir la confidentialité a été mis en avant. Cette thèse propose une façon de combiner certains systèmes cryptographiques avec des algorithmes de classification afin d'obtenir un classifieur que veille à la confidentialité. Les systèmes cryptographiques en question sont la famille des chiffrements fonctionnels. Il s'agit d'une généralisation de la cryptographie à clef publique traditionnelle dans laquelle les clefs de déchiffrement sont associées à des fonctions. Nous avons mené des expérimentations sur cette construction avec un scénario réaliste se servant de la base de données du MNIST composée d'images de digits écrits à la main. Notre système est capable dans ce cas d'utilisation de savoir quel digit est écrit sur une image en ayant seulement un chiffre de l'image. Nous avons aussi étudié la sécurité de cette construction dans un contexte réaliste. Ceci a révélé des risques quant à l'utilisation des chiffrements fonctionnels en général et pas seulement dans notre cas d'utilisation. Nous avons ensuite proposé une méthode pour négocier (dans notre construction) entre les performances de classification et les risques encourus. / Machine Learning (ML) algorithms have proven themselves very powerful. Especially classification, enabling to efficiently identify information in large datasets. However, it raises concerns about the privacy of this data. Therefore, it brought to the forefront the challenge of designing machine learning algorithms able to preserve confidentiality.This thesis proposes a way to combine some cryptographic systems with classification algorithms to achieve privacy preserving classifier. The cryptographic system family in question is the functional encryption one. It is a generalization of the traditional public key encryption in which decryption keys are associated with a function. We did some experimentations on that combination on realistic scenario using the MNIST dataset of handwritten digit images. Our system is able in this use case to know which digit is written in an encrypted digit image. We also study its security in this real life scenario. It raises concerns about uses of functional encryption schemes in general and not just in our use case. We then introduce a way to balance in our construction efficiency of the classification and the risks.
38

On the achievability of white-box cryptography / Sur la faisabilité de la cryptographie en boîte-blanche

Roşie, Răzvan 28 May 2019 (has links)
Cette thèse s’intéresse à la faisabilité des implémentations en boîte blanche de permutations pseudo-aléatoires sûres. Concrètement nous montrons comment un schéma de chiffrement fonctionnel à plusieurs entrées, qui satisfait une notion naturelle d’être à sens unique, est fondamental à la construction d’implémentations protégées contre les attaques d’extraction de clés. Comme contribution indépendante possédant son intérêt propre, nous étendons la notion de robustesse cryptographique. Sommairement, le chiffrement robuste garantit qu’un chiffré ne peut être lu au moyen de plusieurs clés. Décrite tout d’abord dans le contexte de la cryptographie à clé publique, nous étendons les définitions aux contextes du chiffrement fonctionnel et à l’authentification. / This thesis investigates the realizability of white-box implementations for secure pseudorandom permutations. Concretely, we show that multi-input functional encryption achieving a natural definition of one-wayness is instrumental in building implementations that are secure against key-extraction attacks. As a contribution of independent interest, we extend the notion of robustness to a larger set of primitives. Roughly speaking, robust encryption guarantees that a ciphertext cannot be decrypted under different keys. Initially formalized in a public-key context, we introduce compelling definitions for authentication and functional encryption schemes.
39

Bayesian dynamic scheduling for service composition testing / Ordonnancement dynamique bayesien pour le test des architectures de service

Maesano, Ariele 30 January 2015 (has links)
Aujourd'hui la connectivité entre les systèmes se standardise. Il supprime l'intervention humaine et permet aux systèmes distribués d'accomplir des tâches longues et complexes. La SOA est une approche fondée sur le modèle qui s'appuie sur des contrats et qui permet aux systèmes existants de collaborer par échange de messages. De multiples organisations peuvent, automatiser des échanges de services sans risquer leur confidentialité. Cette collaboration est à l'origine des difficultés concernant le test, parce que si il a des échanges entre les différents partenaires, le fonctionnement interne de processus résultant dans l'information échangé est limité à certains partenaires/testeurs. Ceci nous place dans un cadre de tests boîte grise où les systèmes sont des boîtes noires et seulement l'échange de message est visible. C'est pourquoi nous proposons une approche probabiliste en utilisant l'inférence bayésienne pour tester les SOA. Le deuxième défi est leur taille. Etant donné que les systèmes sont connectés de manière lâche en les couplant deux par deux selon les spécifications, une SOA peut contenir un nombre très important de participants et donc une grande taille. La taille des SOA se reflète dans la complexité de l'inférence bayésienne. Cette seconde contrainte pousse à chercher de meilleure solution pour l'inférence bayésienne. Afin de faire face à la taille et la densité de la BN, même pour de petits services architectures, les techniques d'inférence par compilation dirigée par les modèles qui permet la génération rapide de circuits arithmétiques directement à partir du modèle de l'architecture des services et de la suite de tests sont en cours d'élaboration. / In present times connectivity between systems becomes more common. It removes human mediation and allows complex distributed systems to autonomously complete long and complex tasks. SOA is a model driven contract based approach that allows legacy systems to collaborate by messages exchange. Collaboration, here, is a key word in the sense that multiple organisation can, with this approach, automate services exchanges between them without putting at risks their confidentiality. This cause to encounter the first difficulty, because if there are exchanges between the different partners, the inner-processes resulting in the exchange information is restricted to some partners and therefor to some of the testers. That put us in a grey-box testing case where the systems are black-boxes and only the message exchange is visible. That is why we propose a probabilistic approach using Bayesian Inference to test the architectures. The second Challenge is the size of the SOA. Since the systems are connected by loosely coupling them two by two according to SOA Specifications, SOA can contain a very important number of participants. In Fact most of the existing SOA are very important in there size. The size of the SOA is reflected in the complexity of the Bayesian inference. This second challenge constraints us to search for better solution for the Bayesian Inference. In order to cope with the size and density of the BN for even small services architectures, techniques of model-driven inference by compilation that allows quick generation of arithmetic circuits directly from the services architecture model and the test suite are being developed.
40

Access to rehabilitation for young children with physical disabilities

Grilli, Lisa January 2005 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Page generated in 0.088 seconds