• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 389
  • 119
  • 23
  • 10
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 580
  • 134
  • 93
  • 92
  • 89
  • 88
  • 87
  • 82
  • 80
  • 78
  • 76
  • 64
  • 59
  • 59
  • 58
  • 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.
261

L'effet de lentilles gravitationnelles sur les supernovae du SNLS

Kronborg, Taia 11 September 2009 (has links) (PDF)
Les supernovae de Type Ia sont devenues un outil essentiel dans la cosmologie observationnelle moderne. En étudiant la relation distance-redshift d'un grand nombre de supernovae, la nature de l'énergie noire peut être contrainte. Les distances au SNe de Type Ia sont néanmoins affectées par l'effet de lentilles gravitationnelles qui pourrait induire des effets systématiques dans les mesures de cosmologie. La plupart des supernovae sont faiblement demagnifiées et une petite fraction sont magnifiées de manière importante du fait de la distribution de masse dans la ligne de visée. Ceci induit naturellement une dispersion supplementaire dans les magnitudes observées. Il existe 2 façons d'estimer l'amplification des SNe Ia. Une première méthode consiste à comparer la luminosité de la supernova, qui est mesuré avec une précision typique de 15% , à la moyenne des luminosités de SNe au même redshift. Une autre estimation peut être obtenue en prédisant l'amplification induit par la densité de matière en avant-plan modelée en se basant sur les mesures de la luminosité des galaxies avec un à priori initial sur la relation de masse-luminosité des galaxies. La corrélation entre ces 2 estimateurs permet d'accorder la relation de masse-luminosité utilisée initialement pour obtenir une mesure indépendante fondée sur la luminosité des SNe Ia. Bien évidemment, cette mesure nécessite dans un premier temps la détection de cette corrélation et cette thèse a été dédiée à la mesure de la corrélation dans l'échantillon de SNLS 3 ans. Les supernovae de Type Ia sont devenues un outil essentiel dans la cosmologie observationnelle moderne. En étudiant la relation distance-redshift d'un grand nombre de supernovae, la nature de l'énergie noire peut être contrainte. Les distances au SNe de Type Ia sont néanmoins affectées par l'effet de lentilles gravitationnelles qui pourrait induire des effets systématiques dans les mesures de cosmologie. La plupart des supernovae sont faiblement demagnifiées et une petite fraction sont magnifiées de manière importante du fait de la distribution de masse dans la ligne de visée. Ceci induit naturellement une dispersion supplementaire dans les magnitudes observées. Il existe 2 façons d'estimer l'amplification des SNe Ia. Une première méthode consiste à comparer la luminosité de la supernova, qui est mesuré avec une précision typique de 15% , à la moyenne des luminosités de SNe au même redshift. Une autre estimation peut être obtenue en prédisant l'amplification induit par la densité de matière en avant-plan modelée en se basant sur les mesures de la luminosité des galaxies avec un à priori initial sur la relation de masse-luminosité des galaxies. La corrélation entre ces 2 estimateurs permet d'accorder la relation de masse-luminosité utilisée initialement pour obtenir une mesure indépendante fondée sur la luminosité des SNe Ia. Bien évidemment, cette mesure nécessite dans un premier temps la détection de cette corrélation et cette thèse a été dédiée à la mesure de la corrélation dans l'échantillon de SNLS 3 ans.
262

Rôle des tachykinines et de leurs récepteurs dans la régulation centrale de la fonction cardiovasculaire chez le rat normotendu et hypertendu

Lessard, Andrée January 2003 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
263

Recherche du neutralino avec les détecteurs ATLAS et PICASSO

Genest, Marie-Hélène January 2007 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
264

Assessing cost-of-illness in a user's perspective: two bottom-up micro-costing studies towards evidence informed policy-making for tuberculosis control in Sub-saharan Africa

Laokri, Samia 04 July 2014 (has links)
Health economists, national decision-makers and global health specialists have been interested in calculating the cost of a disease for many years. Only more recently they started to generate more comprehensive frameworks and tools to estimate the full range of healthcare related costs of illness in a user’s perspective in resource-poor settings. There is now an ongoing trend to guide health policy, and identify the most effective ways to achieve universal health coverage. The user fee exemptions health financing schemes, which grounded the tuberculosis control strategy, have been designed to improve access to essential care for ill individuals with a low capacity to pay. After decades of functioning and substantial progress in tuberculosis detection rate and treatment success, this thesis analyses the extent of the coverage (financial and social protection) of two disease control programs in West Africa. Learning from the concept of the medical poverty trap (Whitehead, Dahlgren, et Evans 2001) and available framework related to the economic consequences of illness (McIntyre et al. 2006), a conceptual framework and a data collection tool have been developed to incorporate the direct, indirect and intangible costs and consequences of illness incurred by chronic patients. In several ways, we have sought to provide baseline for comprehensive analysis and standardized methodology to allow comparison across settings, and to contribute to the development of evidence-based knowledge.<p><p>To begin, filling a knowledge gap (Russell 2004), we have performed microeconomic research on the households’ costs-and-consequences-of-tuberculosis in Burkina Faso and Benin. The two case studies have been conducted both in rural and urban resource-poor settings between 2007 and 2009. This thesis provides new empirical findings on the remaining financial, social and ‘healthcare delivery related organizational’ barriers to access diagnosis and treatment services that are delivered free-of-charge to the population. The direct costs associated with illness incurred by the tuberculosis pulmonary smear-positive patients have constituted a severe economic burden for these households living in permanent budget constraints. Most of these people have spent catastrophic health expenditure to cure tuberculosis and, at the same time, have faced income loss caused by the care-seeking. To cope with the substantial direct and indirect costs of tuberculosis, the patients have shipped their families in impoverishing strategies to mobilize funds for health such as depleting savings, being indebted and even selling livestock and property. Damaging asset portfolios of the disease-affected households on the long run, the coping strategies result in a public health threat. In resource-poor settings, the lack of financial protection for health may impose inability to meet basic needs such as the rights to education, housing, food, social capital and access to primary healthcare. Special feature of our work lies in the breakdown of the information gathered. We have been able to demonstrate significant differences in the volume and nature of the amounts spent across the successive stages of the care-seeking pathway. Notably, pre-diagnosis spending has been proved critical both in the rural and urban contexts. Moreover, disaggregated cost data across income quintiles have highlighted inequities in relation to the direct costs and to the risk of incurring catastrophic health expenditure because of tuberculosis. As part of the case studies, the tuberculosis control strategies have failed to protect the most vulnerable care users from delayed diagnosis and treatment, from important spending even during treatment – including significant medical costs, and from hidden costs that might have been exacerbated by poor health systems. To such devastating situations, the tuberculosis patients have had to endure other difficulties; we mean intangible costs such as pain and suffering including stigmatization and social exclusion as a result of being ill or attending tuberculosis care facilities. The analysis of all the social and economic consequences for tuberculosis-affected households over the entire care-seeking pathway has been identified as an essential element of future cost-of-illness evaluations, as well as the need to conduct benefit incidence assessment to measure equity.<p><p>This work has allowed identifying a series of policy weaknesses related to the three dimensions of the universal health coverage for tuberculosis (healthcare services, population and financial protection coverage). The findings have highlighted a gap between the standard costs foreseen by the national programs and the costs in real life. This has suggested that the current strategies lack of patient-centered care, context-oriented approaches and systemic vision resulting in a quality issue in healthcare delivery system (e.g. hidden healthcare related costs). Besides, various adverse effects on households have been raised as potential consequences of illness; such as illness poverty trap, social stigma, possible exclusion from services and participation, and overburdened individuals. These effects have disclosed the lack of social protection at the country level and call for the inclusion of tuberculosis patients in national social schemes. A last policy gap refers to the lack of financial protection and remaining inequities with regards to catastrophic health expenditure still occurring under use fee exemptions strategies. Thereby, one year before 2015 – the deadline set for the Millennium Development Goals – it is a matter of priority for Benin and Burkina Faso and many other countries to tackle adverse effects of the remaining social, economic and health policy and system related barriers to tuberculosis control. These factors have led us to emphasize the need for countries to develop sustainable knowledge. <p><p>National decision-makers urgently need to document the failures and bottlenecks. Drawing on the findings, we have considered different ways to strengthen local capacity and generate bottom-up decision-making. To get there, we have shaped a decision framework intended to produce local evidence on the root causes of the lack of policy responsiveness, synthesize available evidence, develop data-driven policies, and translate them into actions.<p><p>Beyond this, we have demonstrated that controlling tuberculosis was much more complex than providing free services. The socio-economic context in which people affected by this disease live cannot be dissociated from health policy. The implications of microeconomic research on the households’ costs and responses to tuberculosis may have a larger scope than informing implementation and adaptation of national disease-specific strategies. They can be of great interest to support the definition of guiding principles for further research on social protection schemes, and to produce evidence-based targets and indicators for the reduction and the monitoring of economic burden of illness. In this thesis, we have build on prevailing debates in the field and formulated different assumptions and proposals to inform the WHO Global Strategy and Targets for Tuberculosis Prevention, Care and Control After 2015. For us, to reflect poor populations’ needs and experiences, global stakeholders should endorse bottom-up and systemic policy-making approaches towards sustainable people-centered health systems.<p><p>The findings of the thesis and the various global and national challenges that have emerged from case studies are crucial as the problems we have seen for tuberculosis in West Africa are not limited to this illness, and far outweigh the geographical context of developing countries.<p><p><p>Keywords: Catastrophic health expenditure, Coping strategies, Cost-of-illness studies, Direct, indirect and intangible costs, Evidence-based Public health, Financial and Social protection for health, Health Economics, Health Policy and Systems, Informed Decision-making, Knowledge translation, People-centered policy-making, Systemic approach, Universal Health Coverage<p> / Doctorat en Sciences de la santé publique / info:eu-repo/semantics/nonPublished
265

Pathogénie de Dickeya dianthicola et Dickeya solani chez Solanum tuberosum, développement et évaluation de stratégies de lutte biologique / Pathogenesis of Dickeya dianthicola and Dickeya solani onto Solanum tuberosum, development and evaluation of the biological control strategies

Raoul des Essarts, Yannick 30 June 2015 (has links)
Chez S. tuberosum, les pathogènes bactériens Pectobacterium et Dickeya causent les maladies de la jambe noire et de la pourriture molle au champ et lors du stockage des tubercules. Outre les méthodes de prophylaxie, aucune méthode de lutte n’est efficace contre ces bactéries. La FN3PT/RD3PT mène des projets de recherche en phytopathologie et épidémiologie pour mieux comprendre les traits de vie et la physiologie de ces pathogènes, et proposer des solutions de lutte adaptées. L’objectif de ce travail était double : comparer le pouvoir pathogène de deux bactéries émergentes D. dianthicola et D. solani et étudier des stratégies de lutte biologique contre Pectobacterium et Dickeya. D’abord, deux souches isolées au champ, D. dianthicola RNS04.9 et D. solani 3337 ont été comparées au niveau de leur pouvoir pathogène sur tubercules et sur plante entière. Cette étape a nécessité la mise au point de pathosystèmes appropriés. D. dianthicola RNS04.9 apparait plus virulente que D. solani 3337 sur plante entière, alors que le contraire est observé sur tubercules. Une comparaison génomique complétée d’études fonctionnelles ont révélé l’exsitence de certains traits propres à chaque souche, notamment, le catabolisme de l’arabinose et de l’urée chez D. solani 3337 et celui du rhamnose chez D. dianthicola RNS04.9. Ensuite, un criblage d’isolats bactériens a été réalisé pour identifier des agents de lutte biologique capables d’inhiber la croissance de Dickeya et Pectobacterium. Six bactéries, des genres Pseudomonas ou Bacillus, ont été retenues. Les essais menés en serre ont montré l’efficacité d’une combinaison de trois Pseudomonas pour diminuer les symptômes de jambe noire causées par D. dianthicola et sa transmission à la descendance. La séquence du génome de ces agents de lutte biologique a été déterminée. Avec ces données, par qPCR, un maintien des agents de phytoprotection dans le sol a été observé. Enfin, un criblage de molécules chimiques a été réalisé sur la base de leur capacité anti-quorum-sensing pour réduire l’expression des facteurs de virulence chez Pectobacterium. Deux inhibiteurs du quorum-sensing ont été identifiés. En conclusion de ce travail, la possibilité de coupler différentes stratégies de lutte contre ces pathogènes pectinolytiques est discutée. / Pectobacterium and Dickeya phytopathogens are the causative agents of the blackleg and soft rot diseases on S. tuberosum, in the field or during tuber-storage. Today, no effective method permits to control these bacteria. The FN3PT / RD3PT conducts plant pathology and epidemiology researches to understand the life traits and physiology of these pathogens and propose adapted control solutions. The aim of this study was dual: to compare the virulence of two emerging pathogens D. dianthicola and D. solani, and to study biocontrol strategies directed at Pectobacterium and Dickeya. First, two strains were isolated from field samples, D. dianthicola RNS04.9 and D. solani 3337. The virulence of these strains was compared in tuber and whole plant-assays. This step required the development of appropriate pathosystems. D. dianthicola RNS04.9 appeared more virulent than D. solani 3337 on whole plant tests, while the opposite was observed on tubers tests. Genome comparisons and functional studies led to the dientifiation of some genetic traits unique to each strain such as the catabolism of arabinose and urea in D. solani 3337 and that of rhamnose in D. dianthicola RNS04.9. A screening of bacterial isolates was also performed to identify biocontrol agents capable of inhibiting the growth of Dickeya and Pectobacterium strains. Six isolates, belonging to the Pseudomonas or Bacillus genera were selected. The greenhouse trials have shown the efficacy of a combination of 3 Pseudomonas to reduce blackleg symptoms caused by D. dianthicola and its transmission to the offspring. The sequence of the genome of each biocontrol agents has been determined. With these data, the survival of biocontrol agents in the soil has been investigated by qPCR. Finally, a screening of chemical compounds was carried out on the basis of their anti-quorum sensing, i.e. their ability to quench the expression of Pectobacterium virulence factors. Two quorum-sensing inhibitors have been identified. As a conclusion to this work, opportunities to mix the various biocontrol strategies directed at pectinolytic pathogens is discussed.
266

Les coupes de droop, typologie, chronologie et diffusion. Thasos et sa région / The droop cups, typology, chronology and distribution. Thasos and its area

Walter, Christine 23 January 2012 (has links)
La coupe de Droop attique* est un vase sur pied haut, produit à Athènes dans la 2e moitié du VIe s. av. J.-C. et, plus exceptionnellement, dans le 1er quart du Ve avant J.-C. Par la forme de sa vasque et la distribution de son décor, elle se rapproche davantage de la coupe à bande des « Petits Maîtres », dont elle est très probablement une variante. Il n’y a eu jusqu’à présent que très peu d’études approfondies sur cette classe, John Percival Droop et Percy Neville Ure faisant figures de pionniers dans ce domaine. Pourtant, deux de ses potiers, Antidoros et Nikosthénès, ont été repérés par leurs signatures dès la fin du XIXe et du début du XXe siècles et une dizaine de peintres ou groupes de peintres ayant décoré des exemplaires de cette forme avait déjà été identifiée par John Beazley. Depuis les travaux de ces chercheurs dans les années 1950, de nombreux spécimens de coupes de Droop ont été découverts et publiés, sans toutefois être insérés dans une étude d’ensemble. Cette recherche de doctorat propose de revoir les informations anciennes livrées par l’archéologie des coupes de Droop, et d’analyser les nouvelles données à travers un corpus d’exemplaires découverts en Grèce du Nord, sur l’île de Thasos et dans sa colonie, Néapolis (Kavala). *Il existe un équivalent laconien. / The Attic* Droop cup is a vase with high foot, produced in Athens in the 2nd half of the VI and first quarter of the V century B.C. By the shape of its bowl and the distribution of its decoration, it is close to the Little Master band cup and very probably a variant of this one. Although two of its potters (Antidoros and Nikosthénès) were identified by their signatures from the XIXth century, there were until now very few in-depth studies on this class, John Percival Droop and Percy Neville Ure being real pioneers in this field. John Beazley established a list of less than about ten painters or groups of painters having decorated some of the Droop cups Since the works of these researchers in the Fiftie’s, numerous specimens of Droop cups were discovered and published, without having however been inserted into a more general study. This Ph.D. research suggests revising the former informations delivered by Archaeology of Droop cups, and analyzing the new data through a corpus of exemplaries discovered in Northern Greece, on the island of Thasos and in its colony, Néapolis (Kavala).*There is a Laconian equivalent.
267

Troubles du cycle veille/sommeil liés à la maladie de Parkinson : modèle animal, mécanismes et approches thérapeutiques / Sleep-wake disorders related to Parkinson’s disease : animal model, mechanisms and therapeutic approaches

Cendrès-Bozzi, Christophe 10 May 2011 (has links)
Les troubles du sommeil, tels que la somnolence diurne excessive et les attaques narcoleptiques, sont fréquemment observés chez les patients Parkinsoniens. Malgré de nombreux efforts cliniques à l’échelle mondiale, il reste à déterminer si ces troubles sont causés par les lésions neuronales dopaminergiques (DAergiques) ou non DAergiques, par les troubles moteurs ou par les effets délétères des médicaments anti-parkinsoniens. Par une approche pluridisciplinaire (analyse EEG; mesure de l’activité locomotrice; tests pharmacologiques; immunohistochimie) chez le félin traité au MPTP, nous avons étudié la corrélation possible entre perte DAergique et troubles du cycle veille-sommeil (V/S). Le MPTP (5mg/kg/jour x5, i.p.) induit en période aiguë, une hypersomnie en sommeil lent (SL), une suppression du sommeil paradoxal (SP), ainsi qu’une diminution de la locomotion et une difficulté à l’initiation des mouvements. Les agonistes DAergiques (L-dopa; ropinirole) empêchent l’hypersomnie en SL de façon transitoire. Durant la période chronique, les taux d’éveil et de SL reviennent à la normale. Le SP augmente transitoirement et s’associe à des épisodes narcoleptiques. Les analyses ex-vivo révèlent une diminution du marquage TH (corps cellulaire de la substance noire ; fibres du striatum). Le marquage des neurones cholinergiques (cerveau antérieur basal et tegmentum mésopontique) semblent inchangée. Nos résultats montrent donc que le MPTP induit chez le félin des symptômes moteurs et des troubles du sommeil proches de ceux observés chez les patients parkinsoniens. Cette étude suggère également une corrélation possible entre les troubles du cycle V/S et la perte des cellules DAergiques / Motors disorders are not the only symptoms of Parkinson disease (PD), and sleep disorders such as somnolence and narcolepsy are frequently reported in PD patients. Despite much investigation worldwide, it remains unknown whether these disorders are caused by dopaminergic (DArgic), non-DArgic neural lesions, nocturnal motor disability or deleterious effect of anti-PD drugs. Using multiple experimental approaches (EEG and sleep-wake recordings/pharmacological dosing / immunohistochemistry) in cats treated with MPTP, which causes DArgic neuronal loss, we have studied the possible correlation between the induced effects on the sleep-wake (S/W) cycle and those on DArgic neurons. MPTP (5mg/kg/day x 5, i.p.) caused, during the acute period, a slow wave sleep hypersomnia (SWS, up to 80% of recorded time) and a suppression of paradoxical sleep (PS), accompanied with pronounced behavioural somnolence, marked decrease in locomotion and difficulty to initiate movements. DArgic agonists L-dopa and ropinirole transiently prevented hypersomnia in SWS. During the chronic period, whereas the amount of W and SWS returned to control, PS transiently increased, associated with narcolepsy-like episodes. Ex-vivo analyses revealed marked decrease in TH labelling (cell bodies in the substantia nigra and terminal-like dots in the striatum) whereas cholinergic neurons in the basal forebrain and mesopontine-tegmentum seemed unchanged. Thus, MPTP treated cats showed major signs of motor and S/W disorders similar to those seen in PD patients and so could serve as useful animal model. Our results also suggest a possible correlation/causality between the MPTP-induced S/W disorders and DArgic cell loss.
268

Analyse et optimisation d'algorithmes pour l'inférence de modèles de composants logiciels / Analysis and optimization of software model inference algorithms

Irfan, Muhammad Naeem 19 September 2012 (has links)
Les Components-Off-The-Shelf (COTS) sont utilisés pour le développement rapide et efficace de logiciels tout en limitant le coût. Il est important de tester le fonctionnement des composants dans le nouvel environnement. Pour les logiciels tiers,le code source des composants, les spécifications et les modèles complets ne sont pas disponibles. Dans la littérature de tels systèmes sont appelés composants “boîte noire”. Nous pouvons vérifier leur fonctionnement avec des tests en boîte noire tels que le test de non-régression, le test aléatoire ou le test à partir de modèles. Pour ce dernier, un modèle qui représente le comportement attendu du système sous test(SUT) est nécessaire. Ce modèle contient un ensemble d’entrées, le comportement du SUT après stimulation par ces entrées et l’état dans lequel le système se trouve.Pour les systèmes en boîte noire, les modèles peuvent être extraits à partir des traces d’exécutions, des caractéristiques disponibles ou encore des connaissances des experts. Ces modèles permettent ensuite d’orienter le test de ces systèmes.Les techniques d’inférence de modèles permettent d’extraire une information structurelle et comportementale d’une application et de la présenter sous forme d’un modèle formel. Le modèle abstrait appris est donc cohérent avec le comportement du logiciel. Cependant, les modèles appris sont rarement complets et il est difficile de calculer le nombre de tests nécessaires pour apprendre de façon complète et précise un modèle.Cette thèse propose une analyse et des améliorations de la version Mealy de l’algorithme d’inférence L* [Angluin 87]. Elle vise à réduire le nombre de tests nécessaires pour apprendre des modèles. La version Mealy de L* nécessite d’utiliser deux types de test. Le premier type consiste à construire les modèles à partir des sorties du système, tandis que le second est utilisé pour tester l’exactitude des modèles obtenus. L’algorithme utilise ce que l’on appelle une table d’observation pour enregistrer les réponses du système.Le traitement d’un contre-exemple peut exiger d’envoyer un nombre conséquent de requêtes au système. Cette thèse aborde ce problème et propose une technique qui traite les contre-exemples de façon efficace. Nous observons aussi que l’apprentissage d’un modèle ne nécessite pas de devoir remplir complètement ces tables. Nous proposons donc un algorithme d’apprentissage qui évite de demander ces requêtes superflues.Dans certains cas, pour apprendre un modèle, la recherche de contre-exemples peut coûter cher. Nous proposons une méthode qui apprend des modèles sans demander et traiter des contre-exemples. Cela peut ajouter de nombreuses colonnes à la table d’observation mais au final, nous n’avons pas besoin d’envoyer toutes les requêtes. Cette technique ne demande que les requêtes nécessaires.Ces contributions réduisent le nombre de tests nécessaires pour apprendre des modèles de logiciels, améliorant ainsi la complexité dans le pire cas. Nous présentons les extensions que nous avons apportées à l’outil RALT pour mettre en oeuvre ces algorithmes. Elles sont ensuite validées avec des exemples tels que les tampons, les distributeurs automatiques, les protocoles d’exclusion mutuelle et les planificateurs. / Components-Off-The-Shelf (COTS) are used for rapid and cost effective developmentof software systems. It is important to test the correct functioning of COTS in new environment. For third party software components source code, completes pecifications and models are not available. In literature such systems are referred as black box software components. Their proper functioning in new environment can be tested with black box testing techniques like, comparison testing, fuzz testing, Model based testing. For Model based software testing, software models are required, which represent the desired behavior of a system under test (SUT). A software model shows that a certain set of inputs are applicable to the SUT and how it behaves when these inputs are applied under different circumstances. For software black box systems, models can be learned from behavioral traces, available specifications, knowledge of experts and other such sources. The software models steer the testing of software systems. The model inference algorithms extractstructural and design information of a software system and present it as a formal model. The learned abstract software model is consistent with the behavior of the particular software system. However, the learned models are rarely complete and it is difficult to calculate the number of tests required to learn precise and complete model of a software system. The thesis provides analysis and improvements on the Mealy adaptation of the model inference algorithm L* [Angluin 87]. It targets at reducing the number oftests required to learn models of software systems. The Mealy adaptation of thealgorithm L* requires learning models by asking two types of tests. First type oftests are asked to construct models i.e. output queries, whereas the second type is used to test the correctness of these models i.e. counterexamples. The algorithm uses an observation table to record the answers of output queries. Processing a counterexample may require a lot of output queries. The thesis addresses this problem and proposes a technique which processes the counterexamples efficiently. We observe that while learning the models of software systems asking output queries for all of the observation table rows and columns is not required. We propose a learning algorithm that avoids asking output queries for such observationtable rows and columns. In some cases to learn a software model, searching for counterexamples may govery expensive. We have presented a technique which learns the software models without asking and processing counterexamples. But this may add many columns to the observation table and in reality we may not require to ask output queries for all of the table cells. This technique asks output queries by targeting to avoid asking output queries for such cells. These contributions reduce the number of tests required to learn software models, thus improving the worst case learning complexity. We present the tool RALT which implements our techniques and the techniques are validated by inferring the examples like buffers, vending machines, mutual exclusion protocols and schedulers.
269

Scintillateurs cryogéniques pour la détection d'événements rares, dans les expériences EDELWEISS et EURECA / Cryogenic scintillators for rare events detection in the      EDELWEISS and EURECA experiments

Verdier, Marc-Antoine 08 October 2010 (has links)
Une solution au problème astrophysique de la matière sombre pourrait être apportée par la détection de WIMPs, particules prédites par la supersymétrie. Sa détection directe nécessite de grandes masses de détecteurs capables d'identifier le signal d'un WIMP parmi le fond radioactif et cosmique environnant. Cette thèse se déroule dans le cadre de l'expérience EDELWEISS et la future expérience EURECA qui lui succédera. Ces expériences utilisent une technologie basée sur des détecteurs cryogéniques (bolomètres) à double voies, fonctionnant à quelques dizaines de mK. Ils sont constitués de cristaux qui sont le siège des interactions des particules, dont les dépôts d'énergie vont entraîner une élévation de température ainsi que l'ionisation du cristal, pouvant entraîner des charges ou des photons selon sa nature. Afin d'augmenter la palette de cibles pouvant faire office de bolomètres scintillants, nous avons mis en place un dispositif expérimental permettant d'étudier la scintillation de cristaux refroidis jusqu'à 3 K. Il est basé sur un cryostat à géométrie optique compacte permettant une collecte de lumière améliorée. Une méthode de comptage de photons individuels ainsi qu'un traitement statistique des données permettent de mesurer l'évolution du rendement lumineux et des constantes de temps de scintillation de cristaux entre la température ambiante et 3K. Cette thèse présente ainsi les résultats obtenus à 3 K avec ce dispositif expérimental sur deux cristaux, bien connus à température ambiante: le BGO (Bi4Ge3O12) et le BaF2. Nous présentons également les résultats sur la luminescence du saphir dopé au titane (Ti:Al2O3), sous VUV et refroidi à 8 K. / A solution to the dark matter problem in astrophysics could be found by the detection of WIMPs, particles predicted by supersymmetry. Its direct detection requires a large mass of detectors, able to identify WIMPs in the background of natural radioactivity and cosmic rays. This thesis takes place within the framework of the EDELWEISS and the future EURECA experiments. These experiments use a technology based on two channel cryogenic detectors (bolometers), working at a few tens of mK. They are made of crystals in which the energy deposited by particle interactions will produce a temperature increase (phonon signal), and where the ionization of the crystals results in either a charge or photon signal, depending on their nature. In order to broaden the range of targets for scintillating bolometers, we have built a setup to study the scintillation of crystals cooled down to 3 K. It is based on a cryostat with a compact optical geometry allowing enhanced light collection. Thanks to an individual photon counting technique and a statistical treatment of data, it allows us to measure the evolution of the the light yields and the decay time components between room temperature and 3 K. Thus this thesis presents the results obtained at 3 K on two well known room temperature crystals: BGO (Bi4Ge3O12) and BaF2. We also study the luminescence properties of titanium sapphire (Ti:Al2O3), under VUV excitation cooled down to 8 K.
270

Etude des performances d'un banc interférométrique en frange noire dans le cadre de la préparation de la mission Darwin

Gabor, Pavel 22 September 2009 (has links) (PDF)
Une future mission spatiale (Darwin, TPF-I) est en préparation pour étudier les planètes extrasolaires telluriques dans les zones habitables respectives de leurs étoiles, notamment, pour établir combien, parmi ces exoplanètes, ont une composition atmosphérique indiquant la présence de la photosynthèse biotique. Travaillant dans la bande spectrale de 6 à 18 m, l'interfèrométrie en frange noire doit permettre de distinguer le flux lumineux de l'exoplanète de celui de son étoile ainsi que des sources diffuses. La thèse résume les travaux expérimentaux conduits sur le banc Synapse à l'Institut d'Atrophysique Spatiale à Orsay. Le banc a été testé dans la bande K, de 2.0 à 2.5 µm, ainsi qu'avec une source laser à 3.39 µm. Les fibres optiques monomodes sont employées comme filtres du front d'onde. Le banc utilise deux paires (une dans chacun des deux bras) de prismes dispersifs qui servent de compensateur du chromatisme et de d´ephaseur achromatique. Les résultats confirment la tendance observée par d'autres équipes : les performances sont meilleures en lumière monochromatique qu'en bande large (taux d'extinction : 1E-5 monochromatique et 3E-4 bande large). Des études expérimentales extensives de ce phénomène sont décrites. A part ces travaux portant sur le principe de l'interférométrie en frange noire, nous avons testé un prototype du déphaseur achromatique basé sur le passage par un foyer optique. Nous avons d´eveloppé une technique pour stabiliser la différence de marche, mesurant le flux recombiné en modulant la différence de marche. Nous avons obtenu des niveaux de stabilité comparables à ceux qui sont nécessaires pour la future mission spatiale.

Page generated in 0.0471 seconds