Cette thèse a pour objectif la simulation numérique d'écoulements turbulents à l'aide d'un schéma d'éléments finis stabilisés. La méthode SUPG (Streamline Upwind Petrov Galerkin) est mise en place pour résoudre les équations de Navier-Stokes compressibles couplées au modèle turbulent de Spalart-Allmaras. / Abstract

En reconnaissance automatique de la parole, les mesures de confiance tentent d'estimer la confiance qu'on peut accorder au résultat (phonème, mot, phrase) fourni par le moteur de reconnaissance. Dans cette thèse nous proposons des mesures de confiance capables de faire cette estimation dans le cas d'applications nécessitant une reconnaissance grand vocabulaire en flux continu. Nous avons défini deux types de mesure de confiance. Les premières, fondées sur des rapports de vraisemblance, sont des mesures trame-synchrones qui peuvent être calculées au fur et à mesure de la progression du moteur de reconnaissance au sein de la phrase à reconnaître. Les secondes, fondées sur une estimation de la probabilité a posteriori limitée à un voisinage local du mot considéré, nécessitent seulement un court délai avant de pouvoir être calculées. Ces mesures ont été évaluées et comparées à une mesure de l'état de l'art également fondée sur la probabilité a posteriori mais nécessitant la reconnaissance de toute la phrase. Cette évaluation a été faite d'une part dans une tâche de transcription automatique d'un corpus réel d'émissions radiophoniques et en utilisant le critère d'évaluation EER (Equal Error Rate) ; d'autre part dans une tâche de détection de mots clés sur le même corpus. Des performances très proches de celles de la mesure de l'état de l'art ont été obtenues par nos mesures locales avec un délai de moins d'une seconde. Nous avons également intégré l'une de nos mesures trame-synchrones dans le processus de décodage du moteur de reconnaissance afin d'améliorer la solution proposée par le système et ainsi diminuer le taux d'erreur en mots d'environ 6% en relatif. / In automatic speech recognition, confidence measures aim at estimating the confidence we can give to a result (phone, word, sentence) provided by the speech recognition engine. In this thesis, we propose several confidence measures which are able to provide this estimation for applications using large vocabulary and on-the-fly recognition, as keyword indexation, broadcast news transcription, and live teaching class transcription for hard of hearing childs. We have defined two types of confidence measures. The first, based on likelihood ratio, are frame-synchronous measures which can be computed simultaneously with the recognition process of the sentence. The second ones are based on an estimation of the posterior probability limited to a local neighborhood of the considered word, and need only a short delay before being computed on the sub word graph extracted from the recognition process. These measures were assessed and compared to a state-of-the-art one, which is also based on posterior probability but which requires the recognition of the whole sentence. Two evaluations were performed on a real broadcast news corpus. The first one used the Equal Error Rate criterion in an automatic transcription task. The second evaluation was performed in a keyword spotting task. We achieved performance close to our reference measure with our local measures and a delay of less than one second. We also integrated one of our frame-synchronous measures in the decoding process of the recognition engine in order to improve the solution provided by the system and then to decrease the word error rate. We achieved to decrease the word error rate of around 1%.

Les présénilines PS1 et PS2 sont impliquées dans plusieurs fonctions cellulaires par l’intermédiaire de leur activité protéolytique ?-sécrétase qui clive de nombreux substrats y compris la protéine précurseur amyloïde (APP). Les mutations des présénilines, à l’origine des formes familiales de la maladie d’Alzheimer (MA), augmentent la production de peptides ß-amyloïde (Aß) qui s’accumulent dans le parenchyme cérébral et dans la paroi vasculaire, et affectent les signaux calciques de plusieurs types cellulaires. Le réseau vasculaire des patients atteints de la MA est affecté structurellement et fonctionnellement bien avant que ne se déclarent les troubles cognitifs. De plus, les pathologies cardiovasculaires sont des facteurs de risque majeurs pour les formes sporadiques de la MA. Comme les bases moléculaires de la vasculopathie liée à la MA ne sont pas établies, nous avons choisi les présénilines comme molécule cible dans le système vasculaire. Nous avons montré l’expression des présénilines et des protéines partenaires du complexe ?-sécrétase, Nicastrine, Aph-1 et Pen-2 dans les vaisseaux cérébraux et périphériques. L’ensemble génère une activité ?-sécrétase et la production de peptides Aß pathogènes dans les cellules musculaires lisses, soutenant l’hypothèse de l’origine vasculaire d’Aß dans la pathologie amyloïde. De plus, les mutations de PS1 dérégulent la signalisation calcique intracellulaire des artères cérébrales, en augmentant l’activité des canaux de libération du Ca2+ activés par l’IP3 (IP3R) et la recapture du Ca2+ par les pompes du réticulum sarco-endoplasmique Ca2+-ATPase (SERCA). La dérégulation de l’homéostasie calcique par les présénilines mutées pourrait avoir des conséquences sur la réactivité vasculaire des vaisseaux cérébraux. En conclusion, nous avons mis en évidence l’importance physiologique des présénilines dans le réseau vasculaire et l’ensemble de nos travaux permet de mieux comprendre comment les vaisseaux participent à l’apparition des symptômes cliniques de la MA que sont la surproduction d’Aß et l’hypoperfusion cérébrale. / Presenilins PS1 and PS2 are involved in several cellular functions through their ?- secretase proteolytic activity, which cleaves many substrates including the amyloid precursor protein (APP). Mutations in presenilins genes are responsible for the majority of familial forms of Alzheimer's disease (AD). Presenilins mutations increased production of ß-amyloid peptide (Aß) that accumulates in the brain parenchyma and the vascular wall, and affect calcium signals in several cell types. The vasculature of patients with AD is structurally and functionally affected before cognitive impairment appearance. In addition, cardiovascular diseases are major risk factors for sporadic forms of AD. As the molecular basis of the vasculopathy associated with AD is not established, we chose presenilins as target molecule in the vascular system. We showed the expression of presenilin and protein partners of ?-secretase complex, nicastrin, Aph-1 and Pen-2 in cerebral and peripheral blood vessels. Vascular wall generate a ?-secretase activity and production of pathogenic Aß peptides supporting the hypothesis of vascular origin of Aß in amyloid pathology. Furthermore, PS1 mutations disturb intracellular calcium signalling in cerebral arteries by first increasing channel activity of Ca2+ release activated by IP3 (IP3R) and second increasing reuptake of Ca2+ by Sarco/Endoplasmic Reticulum Ca2+-ATPase pump (SERCA). Dysregulation of calcium homeostasis by the mutant presenilins might affect vascular reactivity of cerebral vessels. In conclusion, we demonstrated the physiological importance of presenilins in the vascular network and our studies provide new insight on how cerebral blood vessels are involved in the onset of clinical symptoms of AD such as the overproduction of Aß and cerebral hypoperfusion.

: La TEP (Tomographie par Emission de Positons) est actuellement la technique d’imagerie la plus performante. Cependant sa résolution spatiale millimétrique interdit de déterminer avec certitude si les traceurs radiomarqués atteignent sélectivement leur cible moléculaire. Nous avons donc proposé d’utiliser un nouvel outil d’imagerie ex vivo pour apporter de nouvelles informations moléculaires grâce à la haute résolution des analyses par faisceaux d’ions. Les analyses PIGE (Particle Induced Gamma-ray Emission) et RBS (Rutherford Backscattering Spectrometry) permettent ainsi de quantifier les éléments chimiques d’un échantillon avec une résolution spatiale micrométrique. Nos travaux ont donc été fondés sur l’optimisation de ces techniques pour la détection de molécules marquées au 19F stable (FDG et peptide polyfluoré ciblant spécifiquement l’angiogenèse tumorale) au sein d’échantillons biologiques tels que des coupes tumorales ou des membranes vascularisées. / Abstract

Pas de résumé / Pas de résumé

Pas de résumé / No summary

pas de résumé

L'elicitation des exigences est une partie fondamentale du processus de développement de logiciel, et est considérée souvent comme une des activités les plus difficiles à réaliser. Beaucoup des techniques, d'approches, et des outils courants sont inconnus ou trop complexes pour les novices, créant ainsi un écart significatif entre la théorie et la pratique de l'elicitation des exigences. Il y aussi l'écart important entre les novices et les experts analystes, qui peuvent être attribués à la compétence étendue réglée et à la gamme des expériences qui est souvent exigée pour conduire avec succès cette activité essentielle. En conséquence, dans cette recherche nous avons examiné l'état de l'art et l'état de pratique afin de développer et évaluer une approche et un outil pour soutenir les novices pendant l'elicitation des exigences. La première étape de la recherche était une étude critique de la littérature, qui a impliqué une révision vaste et une analyse critique de théorie existante sur et autour du secteur de l'elicitation des exigences. Ceci a été suivi par un aperçu de la pratique, qui s'est composé des entrevues détaillées avec les experts, et d'un questionnaire en ligne pour les novices, utilisés pour obtenir des directives d'approche et des caractéristiques d'outil. L'approche OUTSET a été alors conçue, et l'outil MUSTER a été construit. L'étape finale de la recherche a impliqué l'évaluation de l'approche et de l'outil par une étude de cas, une expérience d'étude de cas, et une expérience formelle. Les évaluations empiriques accomplies ont montré que l'utilisation de l'outil MUSTER a amélioré l'efficacité générale les processus de l'elicitation des exigences, pendant que l'approche fondamentale OUTSET a amélioré l'efficacité générale. Il a été aussi montré que la combinaison de l'approche et de l'outil a fourni un système coopératif qui était utile et utilisable. Dans l'expérience accomplie, l'outil MUSTER a reçu plus de trois fois le score de l'outil manuel p our l'efficacité et plus que double pour l'utilité. En plus, la combinaison de méthodes de recherche utilisée, et l'application réussie d'Ingénierie de Méthode Situationnelle et le Système de Soutien de Groupe pour l'approche et l'outil respectivement, était les deux bases d'un autre précédent travail sur l'elicitation des exigences.

A l'aide de quelques exemples illustratifs, des pistes sont évoquées pour combiner les méthodes polynomiales (algèbre, géométrie algébrique) et l'optimisation convexe (inégalités matricielles linéaires, LMI) dans le but de développer des outils numériques de résolution de problèmes basiques en automatique, et en particulier pour la commande robuste des systèmes linéaires. Dans le chapitre 2, nous évoquons les liens étroits entre ensembles semi-algébriques convexes et LMI,ainsi que la notion sous-jacente de convexité cachée remettant en question la traditionnelle dichomotime entre convexité et non-convexité. Dans le chapitre 3, nous décrivons les méthodes classiques permettant d'approcher les problèmes de commande linéaire robuste à l'aide des polynômes, en insistant sur l'interaction entre algèbre et géométrie. Le chapitre 4 mentionne les différents outils logiciels développés dans ce cadre. Finalement le chapitre 5 contient quelques suggestions d'axes de recherche cohérents avec ces développements.

Pas de résumé / No abstract