A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

New measurements of energy expenditure and physical activity in chronic kidney disease.

The accurate estimation of total daily energy expenditure (TEE) in chronic kidney patients is essential to allow the provision of nutritional requirements; however, it remains a challenge to collect actual physical activity and resting energy expenditure in maintenance dialysis patients. The direct measurement of TEE by direct calorimetry or doubly labeled water cannot be used easily so that, in clinical practice, TEE is usually estimated from resting energy expenditure and physical activity. Prediction equations may also be used to estimate resting energy expenditure; however, their use has been poorly documented in dialysis patients. Recently, a new system called SenseWear Armband (BodyMedia, Pittsburgh, PA) was developed to assess TEE, but so far no data have been published in chronic kidney disease patients. The aim of this review is to describe new measurements of energy expenditure and physical activity in chronic kidney disease patients.

The role of the hypothalamic kisspeptin/GPR54 system in the control of GnRH neurons

Summary : The hypothalamus represents less than 1 % of the total volume of the brain tissue, yet it plays a crucial role in endocrine regulations. Puberty is defined as a process leading to physical, sexual and psychosocial maturation. The hypothalamus is central to this process, via the activation of GnRH neurons. Pulsatile GnRH secretion, minimal during childhood, increases with the onset of puberty. The primary function of GnRH is to regulate the growth, development and function of testes in boys and ovaries in girls, by stimulating the pituitary gland secretion of luteinizing hormone (LH) and follicle-stimulating hormone (FSH). Several factors contribute to the timing of puberty, including sex and ethnicity, genetics, dietary intake and energy expenditure. Kisspeptins constitute a family of small peptides arising from the proteolytic cleavage of metastin, a peptide with 54 amino acids initially purified from human placenta. These kisspeptins were the subject of much attention following their discovery because of their antimetastatic properties, but it was more recently that their determining role in the reproductive function was demonstrated. It was shown that kisspeptins are ligands of a receptor, GPR54, whose natural inactivating mutation in humans, or knockout in the mouse, lead to infertility. GnRH neurons play a pivotal role in the central regulation of fertility. Kisspeptin greatly increases GnRH release and GnRH neuron firing activity, but the neurobiological mechanisms for these actions are unknown. Gprotein-coupled receptor 54, the receptor for kisspeptin, is expressed by GnRH neurons as well as other hypothalamic neurons, suggesting that both direct and indirect effects are possible. In the first part of my thesis, we investigated a possible connection between the acceleration of sexual development induced by leptin and hypothalamic metastin neurons. However, the data generated by our preliminary experiments confirmed that the commercially available antibodies are non-specific. This finding constituted a major drawback for our studies, which relied heavily upon the neuroanatomical study of the hypothalamic metastinergic pathways to elucidate their sensitivity to exogenous leptin. Therefore, we decided to postpone any further in vivo experiment until a better antibody becomes available, and focused on in vitro studies to better understand the mechanisms of action of kisspeptins in the modulation of the activity of GnRH neurons. We used two GnRH-expressing neuronal cell lines to investigate the cellular and molecular mechanisms of action of metastin in GnRH neurons. We demonstrated that kisspeptin induces an early activation of the MAP kinase intracellular signaling pathway in both cell lines, whereas the SAP/JNK or the Akt pathways were unaffected. Moreover, we found an increase in GnRH mRNA levels after 6h of metastin stimulation. Thus, we can conclude that kisspeptin regulates GnRH neurons both at the secretion and the gene expression levels. The MAPK pathway is the major pathway activated by metastin in GnRH expressing neurons. Taken together, these data provide the first mechanism of action of kisspeptin on GnRH neurons. Résumé : L'hypothalamus est une zone située au centre du cerveau, dont il représente moins de 1 du volume total. La puberté est la période de transition entre l'enfance et l'age adulte, qui s'accompagne de transformations somatiques, psychologiques, métaboliques et hormonales conduisant à la possibilité de procréer. La fonction principale de la GnRH est la régulation de la croissance, du développement et de la fonction des testicules chez les hommes, et des ovaires chez les femmes en stimulant la sécrétion de l'hormone lutéinisante (LH) et de l'hormone folliculostimulante (FSH) par la glande hypophysaire. Plusieurs facteurs contribuent au déclanchement de la puberté, y compris le sexe et l'appartenance ethnique, la génétique, l'apport alimentaire et la dépense énergétique. Les Kisspeptines constituent une famille de peptides résultant de la dissociation proteolytique de la métastine, un peptide de 54 acides aminés initialement purifié à partir de placenta humain. Ces kisspeptines ont fait l'objet de beaucoup d'attention à la suite de leur découverte en raison de leurs propriétés anti-metastatiques, et c'est plus récemment que leur rôle déterminant dans la fonction reproductive a été démontré. Les kisspeptines sont des ligands du récepteur GPR54, dont la mutation inactivatrice chez l'homme, ou le knockout chez la souris, conduisent à l'infertilité par hypogonadisme hypogonadotrope. Les neurones à GnRH jouent un rôle central dans le règlement des fonctions reproductrices et la kisspeptine stimule l'activité des neurones à GnRH et la libération de GnRH par ces neurones. Toutefois, les mécanismes neurobiologiques de ces actions ne sont pas connus. Dans la première partie de ma thèse, nous avons étudié le lien potentiel entre l'accélération du développement sexuel induite par la leptine et les neurones hypothalamiques à metastine. Les données générées dans cette première série d'expériences ont malheureusement confirmé que les anticorps anti-metastine disponibles dans le commerce sont aspécifiques. Ceci a constitué un inconvénient majeur pour nos études, qui devaient fortement s'appuyer sur l' étude neuroanatomique des neurones hypothalamiques à metastine pour évaluer leur sensibilité à la leptine exogène. Nous avons donc décidé de focaliser nos travaux sur une étude in vitro des mécanismes d'action de la kisspeptine pour moduler l'activité des neurones à GnRH. Nous avons utilisé deux lignées de cellules neuronales exprimant la GnRH pour étudier les mécanismes d'action cellulaires et moléculaires de la metastine dans des neurones. Nous avons ainsi pu démontrer que la kisspeptine induit une activation précoce de la voie f de signalisation de la MAP kinase dans les deux lignées cellulaires, alors que nous n'avons observé aucune activation de la voie de signalisation de la P13 Kinase et de la SAP/JNK. Nous avons en outre démontré une augmentation de l'expression de la GnRH par la stimulation avec la Kisspeptine. L'ensemble de ces données contribue à élucider le mécanisme d'action avec lequel la kisspeptine agit dans les neurones à GnRH, en démontrant un effet sur l'expression génique de la GnRH. Nous pouvons également conclure que la voie de la MAPK est la voie principale activée par la metastine dans les neurones exprimant la GnRH.

A cyber security architecture for military networks using a cognitive network approach

Cyber security is one of the main topics that are discussed around the world today. The threat is real, and it is unlikely to diminish. People, business, governments, and even armed forces are networked in a way or another. Thus, the cyber threat is also facing military networking. On the other hand, the concept of Network Centric Warfare sets high requirements for military tactical data communications and security. A challenging networking environment and cyber threats force us to consider new approaches to build security on the military communication systems. The purpose of this thesis is to develop a cyber security architecture for military networks, and to evaluate the designed architecture. The architecture is described as a technical functionality. As a new approach, the thesis introduces Cognitive Networks (CN) which are a theoretical concept to build more intelligent, dynamic and even secure communication networks. The cognitive networks are capable of observe the networking environment, make decisions for optimal performance and adapt its system parameter according to the decisions. As a result, the thesis presents a five-layer cyber security architecture that consists of security elements controlled by a cognitive process. The proposed architecture includes the infrastructure, services and application layers that are managed and controlled by the cognitive and management layers. The architecture defines the tasks of the security elements at a functional level without introducing any new protocols or algorithms. For evaluating two separated method were used. The first method is based on the SABSA framework that uses a layered approach to analyze overall security of an organization. The second method was a scenario based method in which a risk severity level is calculated. The evaluation results show that the proposed architecture fulfills the security requirements at least at a high level. However, the evaluation of the proposed architecture proved to be very challenging. Thus, the evaluation results must be considered very critically. The thesis proves the cognitive networks are a promising approach, and they provide lots of benefits when designing a cyber security architecture for the tactical military networks. However, many implementation problems exist, and several details must be considered and studied during the future work.

A physical activity intervention in a workplace setting

Physical inactivity poses a huge burden on Canada's health care system and is detrimental to the health of Canadians (Katzmarzyk & Janssen, 2004). Walking is a viable option for individuals to become physically active on a daily basis and is in fact the most commonly reported leisure time physical activity. It has been associated with many health benefits including weight loss/weight control, reduced risk of coronary artery disease and diabetes, lowered blood pressure, and improved psychological wellbeing (Brisson & Tudor-Locke, 2004). Specifically, individuals' stage of change, selfefficacy and health related quality of life (HRQL) are three psychological constructs that can be greatly improved with increased physical activity (Dishman, 1991; Penedo & Dahn, 2005; Poag & McAuley, 1992). Public health physical activity recommendations exist but many individuals find these difficult to meet due to overly busy lifestyles (Public Health Agency of Canada, 2003). Pedometers are inexpensive devices that can monitor individual bouts of walking so that the incorporation of physical activity into one's daily life is more plausible. They are also excellent tools for motivation, goalsetting, and immediate feedback (Brisson & Tudor-Locke, 2004). Since many people spend a large proportion of their time at their places of employment, workplaces have begun to be a common site for the development of physical activity interventions. These programs have been growing in popUlarity and have shown numerous benefits for both employees and employers (Voit, 2001). The purpose of the current study was to implement and evaluate the use of a pedometer-based physical activity intervention incorporating goal-setting and physical activity logs in a workplace setting, and to examine the relationship between different types of self-efficacy (task, barrier, and scheduling) and different phases of the intervention. Twenty male participants from a local steel manufacturing plant who exhibited health risk factors (e.g. hypertension, diabetes, etc.) were assigned to one of two groups (group A or group B). All participants were asked to wear pedometers on their waists, record their daily steps, set goals that were outlined on a step-tracking sheet (detennined by their baseline number of steps), and keep track of their work days, wakelbed time, sedentary time, and time spent doing other physical activity. Group A began the intervention immediately following the baseline measures, whereas group B continued with their regular routine for 4 weeks before beginning. Physiological measures (height, weight, blood pressure, relative body fat, waist and hip circumference, and body mass index) were taken and a battery of questionnaires that assessed barrier, task and scheduling self-efficacy, HRQL, and stage of change administered at baseline, week 5 (end of intervention for group A), week 9 (end of intervention for group B; follow-up for group A) and week 13 (follow-up for both groups). Results showed that this workplace physical activity intervention was successful at increasing the participants' daily steps, that task self-efficacy is a significant predictor of participants' exercise adherence during the initial stages of participation (intervention phase), and that the participants felt that this intervention was effective. Finally, further exploratory analyses showed that this intervention was effective for all participants, but most valuable for participants most in need of improvement - that is, those who were most sedentary prior to the intervention. This intervention is an inexpensive use of simple and effective tools (e.g. pedometers), has the potential to attract a wide variety of participants and become a pennanent part of any health promotion initiative.

Physical access for persons with disabilities

For persons with disabilities, the activities that able-bodied people take for granted can be major, often insurmountable challenges. Attempting to enter a restaurant for lunch with friends can result in lengthy and adversarial litigation if the facility is not accessible to a person with a disability or other mobility impairment. This litigation would be initiated after the individual was effectively refused service; a refusal based on hislher personal physical characteristics. If a shopping mall is not equipped with "access amenities", then the disabled person may be excluded from shopping there and thus exercising consumer freedom. If workplaces are not equipped to accommodate the access needs of persons with disabilities, then those people are effectively barred from gainful employment there. If a municipal goveniment building is inaccessible to disabled persons, then they may be excluded from participating in council meetings. These are all activities that the majority of the population enjoys as a matter of course, in that they represent the functions of a free citizen in a free society. If a person is excluded from such activities because of some personal characteristic, then that person is subjected to differential or discr~minatory treatment. The guarantees provided in Canadian feden! and provincial rights legislation, are such that people are not to be discriminated againsL Where buildings and facilities othen\iise open to the public are not accessible for persens with disabilities, then those people are being discriminated against. To challenge these discriminatory practices, individuals initiate complaints through the administrative justice system. To address the extent to which this is a problem, many sources were consulted. Constitutional lawyers, tribunal members, advocates for the disabled and land use planners were interviewed. Case law and legislation were reviewed. Literature on citizenship theory, dispute resolution and dispute avoidance was compiled and assessed. And, the field of land use planning was analyzed (drawing on the WTiter's educational and experiential background) as a possible alternative method for effecting systemic access for persons with disabilities. The conclusion of this study is that there does exist a proactive method for assuring access, a method that can apply the systemic remedy needed to deal with this problem. The current method, which is an adversarial and piecemeal complaint process, has proven ineffective in remedying this discrimination problem~ Failure to provide an appropriate remedy means that persons with disabilities will not enjoy the degree of citizen status enjoyed by the able-bodied. This is the current circumstance, and since equity is the aim of rights legislation, and since such legislative and administrative frameworks have failed in that purpose, then an alternative method is necessary. An alternative model is the one in which land use planning is based. It has conflict avoidance and conflict minimization as underpinnings. And, most importantly, land use planning is already a proyen method of combatting discrimination.

Evaluation of a professional development curriculum in movement education and adapted physical activity for invisible disabilities : a critical cross-case analysis

Movement education and adapted physical activity are content areas not addressed in pre-service education or in-service training for Ontario practitioners working with individuals with disabilities in physical environments. Consequently, physical activity is often overlooked by service providers in programming and intervention for exceptional young learners. A formative evaluation, multiple-case study design was employed in this research in which a purposeful sample of expert practitioners performed a guided, descriptive evaluation of a three-day professional development workshop curriculum designed to supplement these areas lacking in professional preparation within their respective cohorts. Case-by-case and comparative analyses illustrated the inherent assumptions and societal constraints which prioritize the structure of professional development within the education system and other government organizations providing services for school-aged persons with disabilities in Ontario. Findings, discussed from a critical postmodern perspective, illustrate the paradoxical nature of Western values and prevailing mind/body dichotomy that guide professional practice in these fields.

Active2010 and the Ontario School System: A Top-Down Policy Implementation Analysis

In 2004, the Ontario Ministry of Health Promotion and Sport (MHPS) established Active2010: Ontario’s Sport and Physical Activity Strategy. Active2010 demonstrates a strong provincial government policy emphasis regarding sport participation and physical activity (PA), and identifies the school system as a primary vehicle for enhancing PA levels. This study examines the sport and PA initiatives MHPS is undertaking within the school system. Theoretical context regarding neo-liberalism in Canada and Canadian sport frames this study, while a revised version of Van Meter and Van Horn’s (1975) top-down model of policy implementation guides the research process. A case study of the school-based PA system is conducted which relies on the analysis of 11 semi-structured interviews and 47 official organizational documents. Four emergent categories of Jurisdictional Funding, Coercive Policy, Sector Silos, and Community Champions are identified. Additional insight is provided regarding neo-liberalism, provincial level government, interministerial collaboration, and government/non-profit sector partnership.

A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Studies on the exaggerated inflammatory response caused by streptococcus suis at systemic and central nervous system levels

Streptococcus suis de type 2 est un microorganisme pathogène d’importance chez le porc. Il est la cause de différentes pathologies ayant comme caractéristique commune la méningite. C’est également un agent émergeant de zoonose : des cas cliniques humains ont récemment été rapportés en Asie. Cependant, la pathogénèse de S. suis n’est pas encore complètement élucidée. Jusqu’à présent, la réponse pro-inflammatoire initiée par S. suis n’a été étudiée qu’in vitro. L’étude du choc septique et de la méningite requiert toujours des modèles expérimentaux appropriés. Au cours de cette étude, nous avons développé un modèle in vivo d’infection chez la souris qui utilise la voie d’inoculation intra-péritonéale. Ce modèle a servi à l’étude de la réponse pro-inflammatoire associée à ce pathogène, tant au niveau systémique qu’au niveau du système nerveux central (SNC). Il nous a également permis de déterminer si la sensibilité aux infections à S. suis pouvait être influencée par des prédispositions génétiques de l’hôte. Le modèle d’infection par S. suis a été mis au point sur des souris de lignée CD1. Les résultats ont démontré une bactériémie élevée pendant les trois jours suivant l’infection. Celle-ci était accompagnée d’une libération rapide et importante de différentes cytokines pro-inflammatoires (TNF-α, IL-6, IL-12p40/p70, IFN-ɣ) et de chémokines (KC, MCP-1 and RANTES), qui ont entraîné un choc septique et la mort de 20 % des animaux. Ensuite, pour confirmer le rôle de l’inflammation sur la mortalité et pour déterminer si les caractéristiques génétiques de l’hôte pouvaient influencer la réponse inflammatoire et l’issue de la maladie, le modèle d’infection a été étendu à deux lignées murines consanguines différentes considérées comme résistante : la lignée C57BL/6 (B6), et sensible : la lignée A/J. Les résultats ont démontré une importante différence de sensibilité entre les souris A/J et les souris B6, avec un taux de mortalité atteignant 100 % à 20 h post-infection (p.i.) pour la première lignée et de seulement 16 % à 36 h p.i. pour la seconde. La quantité de bactéries dans le sang et dans les organes internes était similaire pour les deux lignées. Donc, tout comme dans la lignée CD1, la bactériémie ne semblait pas être liée à la mort des souris. La différence entre les taux de mortalité a été attribuée à un choc septique non contrôlé chez les souris A/J infectées par S. suis. Les souris A/J présentaient des taux exceptionnellement élevés de TNF-α, IL-12p40/p70, IL-1β and IFN- γ, significativement supérieurs à ceux retrouvés dans la lignée B6. Par contre, les niveaux de chémokines étaient similaires entre les lignées, ce qui suggère que leur influence est limitée dans le développement du choc septique dû à S. suis. Les souris B6 avaient une production plus élevée d’IL-10, une cytokine anti-inflammatoire, ce qui suppose que la cascade cytokinaire pro-inflammatoire était mieux contrôlée, entraînant un meilleur taux de survie. Le rôle bénéfique potentiel de l’IL-10 chez les souris infectées par S. suis a été confirmé par deux approches : d’une part en bloquant chez les souris B6 le récepteur cellulaire à l’IL-10 (IL-10R) par un anticorps monoclonal anti-IL-10R de souris et d’autre part en complémentant les souris A/J avec de l’IL-10 de souris recombinante. Les souris B6 ayant reçu le anticorps monoclonal anti-IL-10R avant d’être infectées par S. suis ont développé des signes cliniques aigus similaires à ceux observés chez les souris A/J, avec une mortalité rapide et élevée et des taux de TNF-α plus élevés que les souris infectées non traitées. Chez les souris A/J infectées par S. suis, le traitement avec l’IL-10 de souris recombinante a significativement retardé l’apparition du choc septique. Ces résultats montrent que la survie au choc septique dû à S. suis implique un contrôle très précis des mécanismes pro- et anti-inflammatoires et que la réponse anti-inflammatoire doit être activée simultanément ou très rapidement après le début de la réponse pro-inflammatoire. Grâce à ces expériences, nous avons donc fait un premier pas dans l’identification de gènes associés à la résistance envers S. suis chez l’hôte. Une des réussites les plus importantes du modèle d’infection de la souris décrit dans ce projet est le fait que les souris CD1 ayant survécu à la septicémie présentaient dès 4 jours p.i. des signes cliniques neurologiques clairs et un syndrome vestibulaire relativement similaires à ceux observés lors de méningite à S. suis chez le porc et chez l’homme. L’analyse par hybridation in situ combinée à de l’immunohistochimie des cerveaux des souris CD1 infectées a montré que la réponse inflammatoire du SNC débutait avec une augmentation significative de la transcription du Toll-like receptor (TLR)2 et du CD14 dans les microvaisseaux cérébraux et dans les plexus choroïdes, ce qui suggère que S. suis pourrait se servir de ces structures comme portes d’entrée vers le cerveau. Aussi, le NF-κB (suivi par le système rapporteur de l’activation transcriptionnelle de IκBα), le TNF-α, l’IL-1β et le MCP-1 ont été activés, principalement dans des cellules identifiées comme de la microglie et dans une moindre mesure comme des astrocytes. Cette activation a également été observée dans différentes structures du cerveau, principalement le cortex cérébral, le corps calleux, l’hippocampe, les plexus choroïdes, le thalamus, l’hypothalamus et les méninges. Partout, cette réaction pro-inflammatoire était accompagnée de zones extensives d’inflammation et de nécrose, de démyélinisation sévère et de la présence d’antigènes de S. suis dans la microglie. Nous avons mené ensuite des études in vitro pour mieux comprendre l’interaction entre S. suis et la microglie. Pour cela, nous avons infecté des cellules microgliales de souris avec la souche sauvage virulente (WT) de S. suis, ainsi qu’avec deux mutants isogéniques, un pour la capsule (CPS) et un autre pour la production d’hémolysine (suilysine). Nos résultats ont montré que la capsule était un important mécanisme de résistance à la phagocytose pour S. suis et qu’elle modulait la réponse inflammatoire, en dissimulant les composants pro-inflammatoires de la paroi bactérienne. Par contre, l’absence d’hémolysine, qui est un facteur cytotoxique potentiel, n’a pas eu d’impact majeur sur l’interaction de S. suis avec la microglie. Ces études sur les cellules microgliales ont permis de confirmer les résultats obtenus précédemment in vivo. La souche WT a induit une régulation à la hausse du TLR2 ainsi que la production de plusieurs médiateurs pro-inflammatoires, dont le TNF-α et le MCP-1. S. suis a induit la translocation du NF-kB. Cet effet était plus rapide dans les cellules stimulées par le mutant déficient en CPS, ce qui suggère que les composants de la paroi cellulaire représentent de puissants inducteurs du NF-kB. De plus, la souche S. suis WT a stimulé l’expression de la phosphotyrosine, de la PKC et de différentes cascades liées à l’enzyme mitogen-activated protein kinase (MAPK). Cependant, les cellules microgliales infectées par le mutant déficient en CPS ont montré des profils de phosphorylation plus forts et plus soutenus que celles infectées par le WT. Finalement, la capsule a aussi modulé l’expression de l’oxyde nitrique synthétase inductible (iNOS) induite par S. suis et par la production subséquente d’oxyde nitrique par la microglie. Ceci pourrait être lié in vivo à la neurotoxicité et à la vasodilatation. Nous pensons que ces résultats contribueront à une meilleure compréhension des mécanismes sous-tendant l’induction de l’inflammation par S. suis, ce qui devrait permettre, d’établir éventuellement des stratégies plus efficaces de lutte contre la septicémie et la méningite. Enfin, nous pensons que ce modèle expérimental d’infection chez la souris pourra être utilisé dans l’étude de la pathogénèse d’autres bactéries ayant le SNC pour cible.

The hypotensive effect of exercise on IOP : an interaction of physical fitness and parasympathetic efficacy

RÉSUMÉ Suite à une centaine de publications sur la réduction de la PIO post-exercice, il est connu que parmi un grand nombre de programme d'exercices de différentes durées et intensités, les effets hypotenseurs de l'exercice sur la PIO sont atténués chez les sujets en bonne condition physique. Le mécanisme proposé est l'augmentation potentielle de l'efficacité du système parasympathique avec l'activité physique. Le principal objectif de cette thèse est d'identifier les facteurs contribuants à la réduction de la PIO post-exercice et d'élucider les différents mécanismes possibles. L'étude 1, une méta-analyse, a été menée afin de quantifier les contributions relatives de l'intensité et de la durée de l'effet de l'exercice sur la PIO et la mesure dans laquelle ces variables affectent les sujets sédentaires et normalement actifs. La tendance ressortant des résultats est que la diminution de la PIO suite à de l'exercice aérobie est plus élevée chez les sujets sédentaires que les sujets en bonne condition physique. (ES = -4.198 mm Hg et -2.340 mm Hg, respectivement). L'absence d'un contrôle des liquides ingérés avant l'activité physique est à souligné dans cette étude. L'hyperosmolarité (un effet secondaire de la déshydratation) est l'un des mécanismes proposés influant l'effet hypotenseur de l'exercice. L'étude 2 comparait la réduction de la PIO dans deux conditions, soit hypohydraté et hyperhydraté, avant, pendant et après un effort de 90 minutes sur un ergocycle. Après une diminution initiale pour les deux conditions, la PIO revient aux valeurs de départ pour la condition hypohydratée malgré une perte de poids significative et elle augmente pour la condition hyperhydratée (résultat du protocole d'hydratation). Étant donné le niveau élevé de participants en bonne condition physique dans l'étude 2, la troisième étude a été conçue afin de etude la relation entre la PIO et la condition physique. À l'aide d'analyses corrélationnelles il a été possible d'observer la relation entre le test de vo2max et la moyenne des mesures de PIO prises sur un intervalle de huit semaines. Une relation significative n'existait que pour les participants se situant dans la portion supérieure du continuum de la condition physique. Conclusion: Les résultats de la présente étude suggèrent que l'effet hypotenseur de l'exercice sur la PIO est probablement une réponse homéostatique à la dérégulation de l'humeur aqueuse causée par l'initiation de l'exercice et le protocole d'ingestion de fluides pré-exercice.

Temperature Stable Low Loss Ceramic Dielectrics in (1-x)ZnAI2O4-xTiO2 System for Microwave Substrate Applications

The microwave dielectric properties of ZnAl2O4 spinels were investigated and their properties were tailored by adding different mole fractions of Ti02. The samples were synthesized using the mixed oxide rout.e. The phase purity and crystal structure were identified using X-ray diffraction technique. The sintered specimens were characterized in the microwave frequency range (3-13 GHz). The ZnA12O4 ceramics exhibited interesting dielectric properties (dielectric constant (e,.) = 8.5, unloaded quality factor (Q.) = 4590 at 12.27 GHz and temperature coefficient of resonant frequency (Tf) = -79 ppm/°C). Addition of Ti02 into the spinel improved its properties and the Tf approached zero for 0.83ZnAl2O4- 0.17TiO2• This temperature compensated composition has excellent microwave dielectric properties (Cr _ 12.67, Q, = 9950 at 10.075 GHz) which can be exploited for microwave substrate applications

Multiple edges of a quantum Hall system in a strong electric

In this paper we show that if the electrons in a quantum Hall sample are subjected to a constant electric field in the plane of the material, comparable in magnitude to the background magnetic field on the system of electrons, a multiplicity of edge states localized at different regions of space is produced in the sample. The actions governing the dynamics of these edge states are obtained starting from the well-known Schrödinger field theory for a system of nonrelativistic electrons, where on top of the constant background electric and magnetic fields, the electrons are further subject to slowly varying weak electromagnetic fields. In the regions between the edges, dubbed as the "bulk," the fermions can be integrated out entirely and the dynamics expressed in terms of a local effective action involving the slowly varying electromagnetic potentials. It is further shown how the bulk action is gauge noninvariant in a particular way, and how the edge states conspire to restore the U(1) electromagnetic gauge invariance of the system. In the edge action we obtain a heretofore unnoticed gauge-invariant term that depends on the particular edge. We argue that this term may be detected experimentally as different edges respond differently to a monochromatic probe due to this term

Continuum bound states as surface states of a finite periodic system

We discuss the relation between continuum bound states (CBSs) localized on a defect, and surface states of a finite periodic system. We model an experiment of Capasso et al. [F. Capasso, C. Sirtori, J. Faist, D. L. Sivco, S-N. G. Chu, and A. Y. Cho, Nature (London) 358, 565 (1992)] using the transfer-matrix method. We compute the rate for intrasubband transitions from the ground state to the CBS and derive a sum rule. Finally we show how to improve the confinement of a CBS while keeping the energy fixed.

Hysteresis in a system driven by either generalized force or displacement variables: martensitic phase transition in single-crystalline Cu-Zn-Al

We report on experiments aimed at comparing the hysteretic response of a Cu-Zn-Al single crystal undergoing a martensitic transition under strain-driven and stress-driven conditions. Strain-driven experiments were performed using a conventional tensile machine while a special device was designed to perform stress-driven experiments. Significant differences in the hysteresis loops were found. The strain-driven curves show reentrant behavior yield point which is not observed in the stress-driven case. The dissipated energy in the stress-driven curves is larger than in the strain-driven ones. Results from recently proposed models qualitatively agree with experiments.