• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 334
  • 128
  • 26
  • 1
  • Tagged with
  • 477
  • 110
  • 82
  • 53
  • 43
  • 41
  • 41
  • 40
  • 37
  • 37
  • 36
  • 31
  • 31
  • 31
  • 30
  • 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.
161

Contribution à l'analyse statistique des données fontionnelles / Contribution to statistical analysis of functional data

Saumard, Mathieu 23 May 2013 (has links)
Dans cette thèse, nous nous intéressons aux données fonctionnelles. La généralisation du modèle linéaire généralisé fonctionnel au modèle défini par des équations estimantes est étudiée. Nous obtenons un théorème du type théorème de la limite centrale pour l'estimateur considéré. Les instruments optimaux sont estimés, et nous obtenons une convergence uniforme des estimateurs. Nous nous intéressons ensuite à différents tests en données fonctionnelles. Il s'agit de tests non-paramétriques pour étudier l'effet d'une covariable aléatoire fonctionnelle sur un terme d'erreur, qui peut être directement observé comme une réponse ou estimé à partir d'un modèle fonctionnel comme le modèle linéaire fonctionnel. Nous avons prouvé, pour pouvoir mettre en oeuvre les différents tests, un résultat de réduction de la dimension qui s'appuie sur des projections de la covariable fonctionnelle. Nous construisons des tests de non-effet et d'adéquation en utilisant soit un lissage par un noyau, soit un lissage par les plus proches voisins. Un test d'adéquation dans le modèle linéaire fonctionnel est proposé. Tous ces tests sont étudiés d'un point de vue théorique et pratique. / In this thesis, we are interested in the functional data. The problem of estimation in a model of estimating equations is studying. We derive a central limit type theorem for the considered estimator. The optimal instruments are estimated, and we obtain a uniform convergence of the estimators. We are then interested in various testing with functional data. We study the problem of nonparametric testing for the effect of a random functional covariate on an error term which could be directly observed as a response or estimated from a functional model like for instance the functional linear model. We proved, in order to construct the tests, a result of dimension reduction which relies on projections of the functional covariate. We have constructed no-effect tests by using a kernel smoothing or a nearest neighbor smoothing. A goodness-of-fit test in the functional linear model is also proposed. All these tests are studied from a theoretical and practical perspective.
162

Rôle du noyau paragigantocellulaire latéral dans le réseau du sommeil paradoxal chez le rat / Role of the lateral paragigantocellular nucleus in the network of paradoxical sleep in the rat

Sirieix, Chrystelle 21 March 2011 (has links)
Le LPGi est la région bulbaire qui contient le plus grand nombre de neurones exprimant Fos pendant l’hypersomnie de SP. 10% de ces neurones Fos dans le LPGi projettent au locus coereleus, une région SP-Off. Récemment, Sapin et al. ont montré que 70% des neurones exprimant Fos pendant l’hypersomnie de SP sont de nature GABAergique. Notre hypothèse est que le LPGi contient des neurones de nature SP-On dont une partie participerait à l’inhibition des noyaux SP-Off. Nous cherchons à vérifier cette hypothèse, d’autre part à identifier les régions afférentes au LPGi actives au cours du SP et enfin, à identifier les projections du LPGi. Nous avons utilisé l’enregistrement extracellulaire des neurones du LPGi chez le rat vigile en contention stéréotaxique. Nous avons couplé cette technique avec le protocole de privation/ rebond de SP par la technique de la piscine. L’analyse du taux de décharge des neurones enregistrés au sein du LPGi montre que celui-ci contient trois types neuronaux différents (SP-On, SP-Off et indifférents). L’analyse des données neuroanatomiques montre que l’afférence majeure du LPGi, active au cours du SP, réside dans le SLD. Le LPGi est donc bien impliqué dans le réseau du SP car il contient des neurones faisant varier leur taux de décharge avec les différents états de vigilance. Le SLD, considéré comme la structure exécutive du SP, de nature glutamatergique, exciterait le LPGi au cours du SP. Ce dernier, de nature GABAergique, inhiberait le noyau moteur facial. Ce travail met pour la première fois en évidence l’activité de la voie SLD-bulbe rachidien ventrolatéral et suggère que le LPGi participe en partie à l’atonie musculaire caractéristique du SP / The LPGi is a ventrolateral medullary area that contains the highest number of Fos-labelled neurons during a paradoxical sleep (PS) hypersomnia. Ten % of these Fos neurons project to the locus coeruleus, a PS-Off area and 70% of these Fos neurons are GABAergic. Our hypothesis is that the LPGi contains PS-On neurons involved in the inhibition of the PS-Off nuclei. Our aim was to check this hypothesis by recording the unit activity of the LPGi neurons, by identifying the afferent areas to the LPGi and determining its projection areas activated during PS. We have used extracellular unit recordings in the unanethetized head-restrained rat model and coupled this method to a selective PS deprivation using the flower-pot method. The analysis of the firing rate of the LPGi neurons showed that there are three different groups, SP-On, SP-Off and indifferent neurons. Moreover, the SLD, a PS-On area, is the main afferent to the LPGi activated during PS rebound. Our conclusion is that the LPGi is involved in the network generating PS. The SLD, considered as the PS executive area through glutamatergic neurons, may excite the LPGi during this state. The LPGi, through its GABAergic neurons, may inhibit the facial motor nucleus. This work provides for the first time evidence for a SLD-ventrolateral medulla pathway and suggests that the LPGi participates in the muscular atonia occurring during PS
163

Les systèmes de capture du glutamate dans le noyau du tractus solitaire. Relations astrocytes-synapses et localisation subcellulaire des transporteurs du glutamate / Synapse-Glia interaction and subcellular localization of glutamate transporters in the Nucleus Tractus Solitarius

Chounlamountry, Keodavanh 14 November 2011 (has links)
Le glutamate est le principal neurotransmetteur excitateur du noyau du tractus solitaire (NTS), une structure sensorielle qui reçoit des informations provenant des viscères. Nous avons utilisé l'immunocytochimie et la microscopie électronique pour étudier les systèmes de recapture du glutamate dans le NTS. Nous montrons que le transporteur exprimé par les astrocytes est de type GLT-1 et que la couverture des synapses glutamatergiques par les processus astrocytaires n'est pas complète ce qui autorise des phénomènes de transmission à distance par diffusion du glutamate. Nous montrons aussi que les dendrites des neurones du NTS expriment le transporteur de type EAAC1. Ce transporteur est essentiellement présent sous forme d'un pool intracellulaire. Son expression membranaire pourrait donc être régulée par l'activité. Enfin, dans une dernière partie, nous montrons qu'une inflammation des viscères induit une augmentation de la couverture gliale des synapses glutamatergiques du NTS. / Glutamate is the main excitatory transmitter in the nucleus tractus solitarii (NTS), a sensory nucleus involved in visceral information processing. Using electron microscope immunocytochemistry, we have investigated neuron to glia relationships and localization of glutamate transporters in the NTS. We show that NTS astrocytes express GLT-1 and that astrocytic wrapping of NTS glutamatergic synapses is incomplete, allowing glutamate to diffuse out of the synaptic cleft. In addition, we demonstrate that NTS neurons express the EAAC1 transporter. EAAC1 is exclusively present in dendrites and mostly located intracellularly. Finally, we show that visceral inflammation increases the glial wrapping of NTS glutamatergic synapses.
164

Sur la résolution des équations intégrales singulières à noyau de Cauchy / [For solving Cauchy singular integral equations]

Mennouni, Abdelaziz 27 April 2011 (has links)
L'objectif de ce travail est la résolution des équations intégrales singulières à noyau Cauchy. On y traite les équations singulières de Cauchy de première espèce par la méthode des approximations successives. On s'intéresse aussi aux équations intégrales à noyau de Cauchy de seconde espèce, en utilisant les polynômes trigonométriques et les techniques de Fourier. Dans la même perspective, on utilise les polynômes de Tchebychev de quatrième degré pour résoudre une équation intégro différentielle à noyau de Cauchy. Ensuite, on s'intéresse à une autre équation intégro-différentielle à noyau de Cauchy, en utilisant les polynômes de Legendre, ce qui a donné lieu à développer deux méthodes basées sur une suite de projections qui converge simplement vers l'identité. En outre, on exploite les méthodes de projection pour les équations intégrales avec des opérateurs intégraux bornés non compacts et on a appliqué ces méthodes à l'équation intégrale singulière à noyau de Cauchy de deuxième espèce / The purpose of this thesis is to develop and illustrate various new methods for solving many classes of Cauchy singular integral and integro-differential equations. We study the successive approximation method for solving Cauchy singular integral equations of the first kind in the general case, then we develop a collocation method based on trigonometric polynomials combined with a regularization procedure, for solving Cauchy integral equations of the second kind. In the same perspective, we use a projection method for solving operator equation with bounded noncompact operators in Hilbert spaces. We apply a collocation and projection methods for solving Cauchy integro-differential equations, using airfoil and Legendre polynomials
165

Organisation de la chromatine et son lien avec la réplication de l'ADN / Chromatin organization and its link with DNA replication

Moindrot, Benoît 11 July 2012 (has links)
L'organisation de la chromatine a une importance fonctionnelle pour contrôler le programme d'expression des gènes. Par contre, les liens qui l'unissent au déroulement de la réplication de l'ADN sont beaucoup moins connus. Grâce à des approches basées sur la capture d'interactions chromosomiques et sur l'imagerie cellulaire, nous avons étudié les liens entre le repliement à grande échelle de la chromatine et le timing de réplication. Cette analyse, effectuée dans des cellules humaines lymphoblastoïdes, des cellules mononucléées du sang (PBMC) et des cellules issues d'une leucémie myéloïde à caractère érythrocytaire, a permis l'identification de domaines structuraux du noyau. Ces domaines sont relativement isolés les uns des autres et leurs frontières coïncident avec les zones d'initiation précoce. De plus, notre étude montre que ces zones d'initiation précoce interagissent préférentiellement, aussi bien entre voisins immédiats (séparation génomique de l'ordre de la mégabase) que le long du chromosome entier. Les loci répliqués tardivement interagissent eux-aussi avec leurs homologues, conduisant, dans l'espace nucléaire, à une ségrégation des loci en fonction de leur timing de réplication. Ces résultats sont soutenus par des mesures de distances sur des hybridations in-situ qui montrent que les loci répliqués en début de phase S sont plus proches qu'attendus. Nos travaux révèlent enfin que l'organisation de la chromatine est similaire dans des cellules en phase G0 (PBMC dormantes), démontrant qu'elle n'est pas spécifique des cellules en phase S. Pris ensemble, ces résultats apportent des preuves directes d'une organisation robuste de la chromatine, partagée par les cellules en cycle et dormantes, et corrélée au timing de réplication à différentes échelles. / Chromatin organization is of functional significance to control the gene expression program. However, its interplay with DNA replication program is less known. Though the capture of chromosomal interactions and cell imaging, we studied the links between the high-order folding of chromatin and the replication timing. This analysis, which has been performed in human lymphoblastoid cells, in peripheral blood mononuclear cells (PBMC), and in a myeloid leukemia cell line with erythroid properties, allowed the identification of structural domains in the nucleus. These domains are quite isolated from each other and their boundaries coincide with early-initiation zones. In addition, our study shows that these early-initiation zones preferentially interact with each other. These interactions have been observed between neighboring early-initiation zones (genomic separation around 1 to few megabases) but also along the whole chromosome. The late-replicated loci interact with their counterparts as well, leading to a nuclear segregation of the loci according to their replication timing. These results are sustained by distance measurements in in-situ hybridizations which show that loci replicated at the beginning of S-phase are closer than expected. Our work also reveals that chromatin organization is similar in cells blocked in G0 phase (quiescent PBMC), demonstrating that it does not result from the cells in S-phase. Taken together, these results provide direct clues for a robust chromatin organization, common to cycling and resting cells, and related to the replication timing at different scales.
166

A basis for intrusion detection in distributed systems using kernel-level data tainting. / Détection d'intrusions dans les systèmes distribués par propagation de teinte au niveau noyau

Hauser, Christophe 19 June 2013 (has links)
Les systèmes d'information actuels, qu'il s'agisse de réseaux d'entreprises, deservices en ligne ou encore d'organisations gouvernementales, reposent trèssouvent sur des systèmes distribués, impliquant un ensemble de machinesfournissant des services internes ou externes. La sécurité de tels systèmesd'information est construite à plusieurs niveaux (défense en profondeur). Lors de l'établissementde tels systèmes, des politiques de contrôle d'accès, d'authentification, defiltrage (firewalls, etc.) sont mises en place afin de garantir lasécurité des informations. Cependant, ces systèmes sont très souventcomplexes, et évoluent en permanence. Il devient alors difficile de maintenirune politique de sécurité sans faille sur l'ensemble du système (quand bienmême cela serait possible), et de résister aux attaques auxquelles ces servicessont quotidiennement exposés. C'est ainsi que les systèmes de détectiond'intrusions sont devenus nécessaires, et font partie du jeu d'outils desécurité indispensables à tous les administrateurs de systèmes exposés enpermanence à des attaques potentielles.Les systèmes de détection d'intrusions se classifient en deux grandes familles,qui diffèrent par leur méthode d'analyse: l'approche par scénarios et l'approchecomportementale. L'approche par scénarios est la plus courante, et elle estutilisée par des systèmes de détection d'intrusions bien connus tels queSnort, Prélude et d'autres. Cette approche consiste à reconnaître des signaturesd'attaques connues dans le trafic réseau (pour les IDS réseau) et des séquencesd'appels systèmes (pour les IDS hôtes). Il s'agit donc de détecter descomportements anormaux du système liés à la présence d'attaques. Bien que l'onpuisse ainsi détecter un grand nombre d'attaques, cette approche ne permet pasde détecter de nouvelles attaques, pour lesquelles aucune signature n'estconnue. Par ailleurs, les malwares modernes emploient souvent des techniquesdites de morphisme binaire, afin d'échapper à la détection parsignatures.L'approche comportementale, à l'inverse de l'approche par signature, se basesur la modélisation du fonctionnement normal du système. Cette approche permetainsi de détecter de nouvelles attaques tout comme des attaques plus anciennes,n'ayant recours à aucune base de données de connaissance d'attaques existantes.Il existe plusieurs types d'approches comportementales, certains modèles sontstatistiques, d'autres modèles s'appuient sur une politique de sécurité.Dans cette thèse, on s'intéresse à la détection d'intrusions dans des systèmesdistribués, en adoptant une approche comportementale basée sur une politique desécurité. Elle est exprimée sous la forme d'une politique de flux d'information. Les fluxd'informations sont suivis via une technique de propagation de marques (appeléeen anglais « taint marking ») appliquées sur les objets du systèmed'exploitation, directement au niveau du noyau. De telles approchesexistent également au niveau langage (par exemple par instrumentation de lamachine virtuelle Java, ou bien en modifiant le code des applications), ou encoreau niveau de l'architecture (en émulant le microprocesseur afin de tracer lesflux d'information entre les registres, pages mémoire etc.), etpermettent ainsi une analyse fine des flux d'informations. Cependant, nous avons choisi de nous placer au niveau du système d'exploitation, afin de satisfaire les objectifs suivants:• Détecter les intrusions à tous les niveaux du système, pas spécifiquement au sein d'une ou plusieurs applications.• Déployer notre système en présence d'applications natives, dont le code source n'est pas nécessairement disponible (ce qui rend leur instrumentation très difficile voire impossible).• Utiliser du matériel standard présent sur le marché. Il est très difficile de modifier physiquement les microprocesseurs, et leur émulation a un impact très important sur les performances du système. / Modern organisations rely intensively on information and communicationtechnology infrastructures. Such infrastructures offer a range of servicesfrom simple mail transport agents or blogs to complex e-commerce platforms,banking systems or service hosting, and all of these depend on distributedsystems. The security of these systems, with their increasing complexity, isa challenge. Cloud services are replacing traditional infrastructures byproviding lower cost alternatives for storage and computational power, butat the risk of relying on third party companies. This risk becomesparticularly critical when such services are used to host privileged companyinformation and applications, or customers' private information. Even in thecase where companies host their own information and applications, the adventof BYOD (Bring Your Own Device) leads to new security relatedissues.In response, our research investigated the characterization and detection ofmalicious activities at the operating system level and in distributedsystems composed of multiple hosts and services. We have shown thatintrusions in an operating system spawn abnormal information flows, and wedeveloped a model of dynamic information flow tracking, based on taintmarking techniques, in order to detect such abnormal behavior. We trackinformation flows between objects of the operating system (such as files,sockets, shared memory, processes, etc.) and network packetsflowing between hosts. This approach follows the anomaly detection paradigm.We specify the legal behavior of the system with respect to an informationflow policy, by stating how users and programs from groups of hosts areallowed to access or alter each other's information. Illegal informationflows are considered as intrusion symptoms. We have implemented this modelin the Linux kernel (the source code is availableat http://www.blare-ids.org), as a Linux Security Module (LSM), andwe used it as the basis for practical demonstrations. The experimentalresults validated the feasibility of our new intrusion detection principles.
167

Rôle de la Protéine Cellulaire du Prion (PrPc) dans l'homéostasie de l'épithélium intestinal / Role of the cellular prion protein in the intestinal epithelium homeostasis

Besnier, Laura 31 January 2014 (has links)
La Protéine Cellulaire du Prion (PrPc), isoforme non pathogène de la Protéine Scrapie, est une protéine ubiquitaire qui a été impliquée dans de nombreux processus cellulaires tels que la prolifération, la migration, l’adhésion, la différenciation et l’apoptose, par des mécanismes qui restent en grande partie à élucider. L’épithélium intestinal est en constant renouvellement et son homéostasie repose sur une régulation fine et coordonnée de l’ensemble de ces processus. Notre équipe s’est intéressée au rôle de la PrPc dans l’épithélium intestinal et a mis en évidence son expression dans le type cellulaire majoritaire de cet épithélium, les entérocytes, et sa double localisation selon leur état de différenciation. En effet, dans les cellules différenciées, la PrPc est majoritairement présente au niveau des desmosomes, alors que dans les cellules prolifératives, elle est principalement nucléaire. Nous mettons en évidence que la PrPc desmosomale est impliquée dans le maintien et l’intégrité de l’ensemble des jonctions intercellulaires (jonctions serrées, adhérentes et desmosomes) et contribue à la fonction de barrière de l’épithélium intestinal. La PrPc nucléaire, quant à elle, interagit avec plusieurs effecteurs de la voie de signalisation Wnt : la -caténine, la -caténine et le facteur de transcription TCF7L2. Dans ce contexte, nous révélons la capacité de la PrPc nucléaire à moduler l’expression de gènes cibles de la voie Wnt canonique. L’ensemble de ces travaux permet de révéler la PrPc comme un nouvel élément clé de l’homéostasie de l’épithélium intestinal – du maintien de la fonction de barrière jusqu’à la régulation de l’expression de gènes – et de définir la PrPc comme un nouveau membre de la famille des protéines NACos. / The cellular Prion Protein (PrPc), the normal conformer of the Scrapie protein, is a ubiquitous protein, which has been involved in several cellular processes such as proliferation, migration, adhesion, differentiation and apoptosis, through mechanisms that are not fully characterized. Intestinal epithelium is renewing constantly and its homeostasis requires a fine and coordinated regulation of all these processes. Our team has focused on PrPc functions in this tissue and has demonstrated that it is expressed in enterocytes, the major cell type in the intestinal epithelium, with a dual localization depending on the differentiation state of the cells. Indeed, in differentiated cells PrPc is localized in desmosomes while being mostly in the nucleus in proliferative cells. We demonstrated the involvement of desmosomal PrPc in the maintenance and integrity of all the intercellular junctions (tight, adherens junctions and desmosomes) and its requirement for the intestinal barrier function. PrPc in the nucleus interacts with key effectors of the Wnt pathway: -catenin, -catenin and the transcription factor TCF4/TCF7L2. In this context, we revealed the ability of nuclear PrPc to modulate the expression of a subset of Wnt target genes. Altogether, this work highlights the role of PrPc as a new key element of the intestinal epithelial homeostasis – from the barrier function to gene regulation – and allows considering PrPc as a new member of the NACos family proteins (proteins associated with the Nucleus and Adhesion Complexes).
168

Etude du déclenchement de combustion de mélanges air-propane et air-heptane par décharge mono-impulsionnelle nanoseconde / Study of air-propane and air-heptane mixtures ignition by a single nanosecond pulsed discharge

Bentaleb, Sabrina 06 July 2012 (has links)
De nombreuses études sont menées pour la compréhension et l'utilisation de plasmas hors équilibre pour les procédés industriels capables d'améliorer la combustion, de stabiliser des flammes et de réduire les polluants. En effet, dans le cadre des nouvelles normes européennes, il devient indispensable de pouvoir maîtriser la qualité de la combustion et de réduire ainsi les émissions polluantes. Même si le principe de l'allumage classique par étincelle est depuis longtemps connu et utilisé dans l’industrie automobile, ce système présente néanmoins quelques limites. En effet, le caractère localisé de l’étincelle créée réduit la probabilité de rencontre entre l’étincelle et une zone de mélange inflammable ce qui conduit à des ratés d’allumages et spécialement en mélanges pauvres. Ainsi, l’utilisation de systèmes différents reposant sur des plasmas non-thermiques fournit des avantages significatifs, dont les propriétés de forte réactivité chimique et de faible coût énergétique. L’objet principal de ce travail de thèse est l’étude de l’allumage de mélanges combustibles par un certain type de décharges pulsées nanosecondes. En effet, un des intérêts du déclenchement de combustion par décharges nanosecondes est le développement d’une zone spatiale d’allumage nettement plus étendue que celle obtenue par l’étincelle de la bougie standard. Enfin, un autre avantage des décharges nanosecondes est la création de nombreux radicaux dans le milieu combustible nécessaires à l’initiation directe des cinétiques de combustion en limitant la contribution thermique, souvent impliquées dans les pertes de rendement des allumeurs. Dans notre étude, la décharge nanoseconde pulsée utilisée est caractérisée par l’application d’une surtension très élevée donnant un pulse de tension très court (12 ns), d’amplitude très élevée (50 kV) et un front de montée très raide (2 ns). Au cours de cette étude, nous avons d’abord caractérisé la décharge nanoseconde pulsée dans des mélanges air/propane et air/heptane à pression atmosphérique. Ensuite, nous avons appliqué la décharge au déclenchement de combustion dans les mélanges air/propane et air/heptane dans les proportions stœchiométriques mais aussi en mélanges pauvres et ce toujours à pression atmosphérique, ce qui a montré la réduction des délais de combustion. De plus, les résultats en mélanges stœchiométriques montrent qu’il existe trois modes d’allumage : un ponctuel, un double et un mode cylindrique et ce en fonction de la densité d’énergie. / One growing topic of interest in the field of non-thermal plasmas is the use of pulsed corona discharges for ignition purposes and more specifically the use of discharges generated under very strong overvoltages for car atmospheric engine applications. Because of strong environmental constraints on car exhaust gases, engines to be developed in the future have to run with lean air / gasoline mixtures or diluted with burnt gases. In both cases, it needs the optimization of ignition devices since classical spark gaps become inefficient in these conditions. In this context, the generation of non-equilibrium plasmas on large volumes, with high densities of active species, and the ability to induce fast gas heating is challenging. Our experimental work is dedicated to the understanding of physical mechanisms involved in the ignition of lean mixtures of air and hydrocarbons such as propane and n-heptane, at high pressure, using nanosecond range discharges. Such kind of discharges could improve the energy release in the mixtures, promoting the creation of radicals and excited species instead of direct heat through Joule effect, and thus, it could improve the ignition efficiency. A positive high voltage (50 kV) is applied between a pin electrode and a grounded plane over a short nanosecond range pulse (12 ns) with a steep rise time (2 ns). In this study, the discharge has been characterised in air/propane and air-heptane mixtures. The diffuse regime observed in pure air tends to disappear in mixtures containing few percents of propane or heptane. The experimental results show the ability of the single nanosecond pulsed discharge to ignite air-propane and air-heptane mixtures even at low equivalence ratios. It is strongly correlated to the energy density the discharge is able to release into the gas. Finally, it has been shown that for stoechiometric mixtures show that three different modes of ignition are possible, i.e. a single point, a double point or a cylindrical mode, according to the energy density. Combustion delays are strongly reduced and complete combustion of very lean mixtures can be achieved if the amount of energy is slightly increased.
169

Estimations gaussiennes des noyaux de la chaleur / Gaussian estimates for heat kernels

Kayser, Laurent 11 December 2015 (has links)
Nous revisitons la méthode classique des paramétrices pour en déduire une minoration et une majoration gaussiennes, pour la solution fondamentale d'un opérateur parabolique général sous forme non divergentielle. Nous utilisons ensuite le fait que la fonction de Neumann Green, d'un opérateur parabolique général sur un ouvert borné régulier, peut être construite comme somme de la solution fondamentale et d'une intégrale de type simple couche parabolique pour établir une minoration gaussienne pour cette fonction de Neumann Green. Le point clef de la preuve réside dans l'effet régularisant, en temps, de l'intégrale de type simple couche. Nous démontrons aussi que cette approche peut être adaptée pour démontrer une minoration gaussienne pour la fonction de Green-Neumann correspondante à l'opérateur de Laplace-Beltrami sur un ouvert régulier d'une variété riemannienne compacte sans bord. Nous démontrons ensuite une nouvelle majoration gaussienne pour la fonction de Neumann Green correspondante à l'opérateur de Laplace-Beltrami sur un ouvert Lipschitz d'une variété riemannienne complète. L'intérêt de cette nouvelle majoration est qu'elle ne contient pas le terme habituel d'une exponentielle en temps. Finalement, comme application des estimations gaussiennes, nous donnons un résultat de compacité des potentiels isospectraux en relation avec une formule asymptotique pour les noyaux de la chaleur / We revisit the parametrix method in order to obtain a gaussian two-sided bound for the fundamental solution of a general parabolic operator which is not in a divergence form. Then we use the fact that the Neumann Green function of a general parabolic operator on a regular bounded domain can be constructed as a perturbation of the fundamental solution by a simple-layer potential in order to establish a Gaussian lower bound for this Neumann Green function. The key point of the proof lies in the time-regularising effect of the single-layer potential. We also prove that this method can be adapted to get a lower Gaussian bound for the Neumann heat kernel of the Laplace-Beltrami operator on an open subset of a compact Riemannian manifold. In a second part, we prove a new Gaussian upper bound for the Neumann heat kernel of the Laplace-Beltrami operator on a Lipschitz domain of a complete Riemannian manifold. The principal interest of this new upper bound is that we do not have the usual exponentiel terme in time in this upper bound. In a last part, as an application of the Gaussian estimates, we give a compactness result of isospectral potentials which is in relation to an asymptotic formule for the heat kernels
170

Extending Polyhedral Techniques towards Parallel Specifications and Approximations / Extension des Techniques Polyedriques vers les Specifications Parallelles et les Approximations

Isoard, Alexandre 05 July 2016 (has links)
Les techniques polyédriques permettent d’appliquer des analyses et transformations de code sur des structures multidimensionnelles telles que boucles imbriquées et tableaux. Elles sont en général restreintes aux programmes séquentiels dont le contrôle est affine et statique. Cette thèse consiste à les étendre à des programmes comportant par exemple des tests non analysables ou exprimant du parallélisme. Le premier résultat est l'extension de l’analyse de durée de vie et conflits mémoire, pour les scalaires et les tableaux, à des programmes à spécification parallèle ou approximée. Dans les travaux précédents sur l’allocation mémoire pour laquelle cette analyse est nécessaire, la notion de temps ordonne totalement les instructions entre elles et l’existence de cet ordre est implicite et nécessaire. Nous avons montré qu'il est possible de mener à bien de telles analyses sur un ordre partiel quelconque qui correspondra au parallélisme du programme étudié. Le deuxième résultat est d'étendre les techniques de repliement mémoire, basées sur les réseaux euclidiens, de manière à trouver automatiquement une base adéquate à partir de l'ensemble des conflits mémoire. Cet ensemble est fréquemment non convexe, cas qui était traité de façon insuffisante par les méthodes précédentes. Le dernier résultat applique les deux analyses précédentes au calcul par blocs "pipelinés" et notamment au cas de blocs de taille paramétrique. Cette situation donne lieu à du contrôle non-affine mais peut être traité de manière précise par le choix d’approximations adaptées. Ceci ouvre la voie au transfert efficace de noyaux de calculs vers des accélérateurs tels que GPU, FPGA ou autre circuit spécialisé. / Polyhedral techniques enable the application of analysis and code transformations on multi-dimensional structures such as nested loops and arrays. They are usually restricted to sequential programs whose control is both affine and static. This thesis extend them to programs involving for example non-analyzable conditions or expressing parallelism. The first result is the extension of the analysis of live-ranges and memory conflicts, for scalar and arrays, to programs with parallel or approximated specification. In previous work on memory allocation for which this analysis is required, the concept of time provides a total order over the instructions and the existence of this order is an implicit requirement. We showed that it is possible to carry out such analysis on any partial order which match the parallelism of the studied program. The second result is to extend memory folding techniques, based on Euclidean lattices, to automatically find an appropriate basis from the set of memory conflicts. This set is often non convex, case that was inadequately handled by the previous methods. The last result applies both previous analyzes to "pipelined" blocking methods, especially in case of parametric block size. This situation gives rise to non-affine control but can be processed accurately by the choice of suitable approximations. This paves the way for efficient kernel offloading to accelerators such as GPUs, FPGAs or other dedicated circuit.

Page generated in 0.0461 seconds