Alien Registration- Roy, Annie M. (Auburn, Androscoggin County)

https://digitalmaine.com/alien_docs/30261/thumbnail.jp

Modular Compilation of a Synchronous Language

Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing the reliability of systems, especially those which are safety or business critical. It is still difficult to develop automatic specification and verification tools due to limitations like state explosion, undecidability, etc... In this work, we design a new specification model based on a reactive synchronous approach. Then, we benefit from a formal framework well suited to perform compilation and formal validation of systems. In practice, we design and implement a special purpose language (LE) and its two semantics~: the ehavioral semantics helps us to define a program by the set of its behaviors and avoid ambiguousness in programs' interpretation; the execution equational semantics allows the modular compilation of programs into software and hardware targets (c code, vhdl code, fpga synthesis, observers). Our approach is pertinent considering the two main requirements of critical realistic applications~: the modular compilation allows us to deal with large systems, the model-based approach provides us with formal validation

La coopération fonctionelle entre deux protéines codées par l’ARNm du gène SMCR7L/MiD51

Il a été établi que l’ARN messager (ARNm) eucaryote ne contient qu’un cadre de lecture ouvert (ORF, open reading frame en anglais) unique appelé CDS (pour coding sequence en anglais) entouré de deux régions non codantes (UTRs, untranslated regions en anglais). Pourtant, il est possible de retrouver dans l’ARNm d’autres ORFs appelés cadres de lecture ouverts alternatifs (altORFs). Ces altORFs peuvent être traduits en protéines fonctionnelles et contribuer à l’enrichissement du protéome. Pour démontrer le potentiel fonctionnel des altORFs dans le génome de plusieurs espèces, nous avons effectué des analyses bio-informatiques. Nos analyses mettent en lumière le potentiel multicodant des ARNms pour des petites protéines pouvant coopérer avec la protéine de référence dans une même voie biologique. Pour illustrer la coopération fonctionnelle entre une protéine alternative et de référence, je me suis intéressée à un altORF et un refORF retrouvés dans le gène SMCR7L. La protéine de référence MiD51 est connue pour son implication dans la fission mitochondriale. J’ai démontré que la protéine alternative altMiD51 est elle aussi impliquée dans la fission mitochondriale, car sa surexpression induit la fragmentation des mitochondries. En conclusion, mes travaux de maîtrise ont permis de consolider le concept de l’existence des altORFs codant pour des protéines fonctionnelles par la caractérisation d’un altORF codant pour altMiD51. J’ai aussi apporté un exemple concret de coopération fonctionnelle dans le dynamisme mitochondrial entre une protéine de référence et une protéine alternative codées à partir du même ARNm. Ces résultats remettent en question le potentiel unicodant de l’ARNm. L’ARNm eucaryote aurait plutôt un potentiel multicodant pour des protéines coopérant de près ou de loin à une même finalité biologique

Malocclusions dentaires chez les enfants atteints d’un trouble du déficit de l’attention et de l’hyperactivité (TDAH)

Introduction : Certaines études ont démontré que les patients présentant un trouble du déficit de l’attention et de l’hyperactivité (TDAH) ont plus de problèmes respiratoires du sommeil et d’habitudes orales parafonctionnelles. Bien que ces facteurs puissent être liés aux malocclusions dentaires, aucune donnée n’a encore permis de déterminer si la prévalence de malocclusions dentaires et la nécessité d'un traitement orthodontique sont plus élevés chez les enfants atteints d’un TDAH. Ainsi, une étude plus approfondie de la prévalence et de la sévérité des malocclusions dentaires chez ces patients est importante pour favoriser un diagnostic précoce et une planification optimale de leur traitement orthodontique. Objectifs : Les objectifs primaires de la présente étude sont de : (i) comparer la sévérité des malocclusions des patients avec TDAH et des patients sans TDAH et de (ii) déterminer le type de malocclusion le plus fréquent chez les patients avec TDAH. Les objectifs secondaires de l’étude sont d’évaluer le lien entre : (i) les habitudes orales parafonctionnelles et les malocclusions des patients avec TDAH et (ii) la prise de médicaments utilisés dans le traitement du TDAH et les malocclusions dentaires. Matériels et méthodes : Les patients ont été divisés en deux groupes : un groupe de patients avec TDAH (n = 44) et un groupe contrôle (n = 44). Un questionnaire médical et un examen orthodontique ont été complétés pour chaque patient. Résultats : Les patients atteints de TDAH présentaient une plus grande sévérité de malocclusion (p=0,042), un plus grand nombre de rotation dentaire (p=0,021) et plus d’habitudes orales parafonctionnelles (p=0,001) que le groupe contrôle. Les habitudes orales présentent de façon plus significative chez les patients atteints d’un TDAH comparativement au groupe contrôle étaient le bruxisme (p=0,005) et l’utilisation de la suce pendant l’enfance (p=0,009). Conclusion : Il est important de prendre conscience du risque accru d’habitudes orales parafonctionnelles et de malocclusion dentaire chez les patients atteints de TDAH et de développer des programmes de prévention ainsi que des stratégies thérapeutiques à leur égard.Introduction: Evidence has shown that patients with attention deficit and hyperactivity disorder (ADHD) have more sleep-breathing problems and parafunctional oral habits. Although these factors can be related to dental malocclusion, it is still unclear if the prevalence of malocclusion and need for orthodontic treatment are higher in children with ADHD. Thus, the knowledge about its prevalence and severity in children with ADHD is valuable in their early diagnosis and treatment planning. Objectives: The primary objectives of this study are: (i) to compare the type of malocclusions of patients with ADHD and patients without ADHD and (ii) to determine the most common type of malocclusion in patients with ADHD. The secondary objectives of the study are to assess the link between: (i) parafunctional oral habits and malocclusions of patients with ADHD and (ii) the drugs used in the treatment of ADHD and malocclusions. Materials and Methods: Patients were divided in two groups: ADHD (n=44) and control (n=44). A medical questionnaire and an orthodontic examination were completed for each patient. Results: Compared to the control group, patients with ADHD had a significantly higher severity of malocclusion (p=0.042), more dental rotation (p=0.021) and more parafunctional oral habits (p=0.001), especially bruxism (p=0.005) and history of pacifier use (p=0.009). Conclusion: It is important to be aware of the increased risk of oral habits and dental malocclusion among ADHD patients and to develop preventive programs as well as therapeutic strategies for them

Antipsychotic medications and disruptive behavior in long term care : a path analysis / by Annie Roy.

The purpose of this study was to examine the frequencies and structure of score on Minimum Data Set 2.0 (MDS 2.0) items relevant to disruptive behaviour and antipsychotic medications in Ontario LTC home residents. These items consisted of delirium, restraint use, activities of daily living (ADLs), depression, cognitive impairment and bladder incontinence. Lisrel Path analysis was used for the analysis. Significant positive effects were found between delirium and disruptive behaviour, cognitive impairment and delirium, disruptive behaviour and antipsychotic medication, depression and disruptive behaviour, depression and delirium, restraint use and delirium, cognitive impairment and antipsychotic medication, ADLs and antipsychotic medication, ADLs and restraint use, cognitive impairment and restraint use. Significant negative effects were found between antipsychotic medication and disruptive behaviour, ADLs and antipsychotic medication, and disruptive behaviour and delirium

La prescription des programmes d’exercices à domicile : Comment s’y retrouver?

Dans le cadre du cours PHT-6113 Travail dirigéIntroduction/problématique : Les problèmes du système de santé québécois nous amènent à devoir augmenter l’efficacité et l’efficience des soins. La prescription de programmes d’exercices à domicile (PED) s’avère être un bon moyen d’y parvenir. Toutefois, il manque de lignes directrices en ce qui concerne les évidences sur l’efficacité des PED et la méthode d’enseignement optimale. Par ailleurs, aucune recension sur la manière dont les PED sont prescrits dans la pratique clinique des physiothérapeutes et sur la satisfaction des patients à l’égard des PED n’a été faite à ce jour. Objectifs : Le but principal de ce projet est de recueillir les informations pertinentes afin de guider les physiothérapeutes dans leur pratique clinique en ce qui concerne l’utilisation et l’enseignement des PED. Pour y parvenir, un des sous-objectifs est la création de questionnaires pour sonder l’efficacité des PED et évaluer la manière dont ces derniers sont prescrits par les physiothérapeutes. Stratégie méthodologique : Recension de la littérature pour ce qui est des différentes pathologies pour lesquelles la prescription des PED a été prouvée efficace et sur les aspects pédagogiques à considérer dans leur enseignement. Révision et modification des questionnaires élaborés lors d’un projet pilote suite à une recension des écrits et une rencontre avec des experts. Résultats : La littérature a effectivement démontré l’efficacité des PED pour plusieurs pathologies musculo-squelettiques, et ce, à plusieurs niveaux (douleur, fonction, etc.). Certaines variables d’enseignement doivent être considérées par les physiothérapeutes telles que la pratique de la tâche motrice et la rétroaction donnée. Deux questionnaires valides ont été réalisés. Conclusion : Des lignes directrices concernant la prescription de PED et leur enseignement seront distribuées aux physiothérapeutes

Contributing to Children’s Early Comprehension of Emotions: A Picture Book Approach

Previous studies have suggested that children’s emotion comprehension begins todevelop in the early stages of childhood and has been linked to prosocial behaviours, displays of empathy, and better interpersonal relationships, to name a few. However, children’s levels of emotion comprehension do not develop at the same rhythm, due to both environmental and biological factors. There are a few interventions that can help children in their development of emotion understanding, but these interventions are not readily accessible (e.g., due to cost, availability, duration). For example, the School Matters in Lifeskills Education Program (SMILE) is a theoretically based program aimed at improving children’s emotion comprehension. Unfortunately, since, for instance, it requires rigorous training to be administered, it is not accessible to all. To address some of the issues with previous programs, the current study examined the use of shared book reading and the effectiveness of picture books created on current theories and models of children’s emotion comprehension. Eighteen preschoolers were divided into an experimental and a control group. Over the course of multiple exposures to the experimental treatment, results revealed a significant gain for the experimental group compared to the control group. These results are promising by showing that a simple shared book reading approach can contribute to the development of emotion comprehension without requiring special training or expertise

Strategic community : an approach for developing interorganizational collaboration

This research is a continuation of the initial pilot project (2007-2009) that was conducted with institutions and organizations providing cancer care. The research team wanted to determine whether the approach could be transferred to a different type of care: that of mental health. The mental health Strategic Community project made it possible to define the prerequisite conditions for the success of such an undertaking: a significant commitment by the general managers (one meeting per month), the participation of assistant directors associated with the general managers of each institution, the spearheading of a Strategic Community by a credible and experienced person who values this approach, concrete support for the pilot projects from an advisor-facilitator recruited by the general managers, the forming of an influential and active interinstitutional support group, and the contribution of independent expertise to steer the thought processes

The FCTOOLS User Manual (Version 1.0)

We describe a set of modular extensions to our Auto/Graph verification toolset for networks of communicating processes. These software additions operate from a common file exchange format for automata and networks, called {\sc fc2}. Tool functionalities comprise graphical depiction of objects, global model construction from hierarchical descriptions, various types of model reductions and of verification of simple modal properties by observers, counterexample production and visualisation. We illustrate typical verification sessions conducted on usual academic examples: dining philosophers, mutual exclusion algorithms and round-robin schedulers. Based on previous experience of drastic state explosion problems we aim here at efficiency in implementation. We use both explicit representation techniques and implicit techniques such as {\sc BDD}s, with functional overlap at places