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 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

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

Portraying persons who inject drugs recently infected with hepatitis C accessing antiviral treatment : a cluster analysis

Objectives. To empirically determine a categorization of people who inject drug (PWIDs) recently infected with hepatitis C virus (HCV), in order to identify profiles most likely associated with early HCV treatment uptake. Methods.The study population was composed of HIV-negative PWIDs with a documented recent HCV infection. Eligibility criteria included being 18 years old or over, and having injected drugs in the previous 6 months preceding the estimated date of HCV exposure. Participant classification was carried out using a TwoStep cluster analysis. Results. FromSeptember 2007 to December 2011, 76 participants were included in the study. 60 participants were eligible for HCV treatment. Twenty-one participants initiated HCV treatment.The cluster analysis yielded 4 classes: class 1: Lukewarm health seekers dismissing HCV treatment offer; class 2: multisubstance users willing to shake off the hell; class 3: PWIDs unlinked to health service use; class 4: health seeker PWIDs willing to reverse the fate. Conclusion. Profiles generated by our analysis suggest that prior health care utilization, a key element for treatment uptake, differs between older and younger PWIDs. Such profiles could inform the development of targeted strategies to improve health outcomes and reduce HCV infection among PWIDs

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

Visits to primary care physicians among persons who inject drugs at high risk of hepatitis C virus infection: room for improvement

The role of primary care physicians (PCP) in hepatitis C virus (HCV) prevention is increasingly emphasized. Yet, little is known about the patterns of contacts with PCP among persons who inject drugs (PWID). We sought to assess the 6-month prevalence of PCP visiting among PWID at risk of HCV infection and to explore the associated factors. Baseline data were collected from HCV-seronegative PWID recruited in HEPCO, an observational Hepatitis Cohort study (2004-2011) in Montreal, Canada. An interviewer-administered questionnaire elicited information on socio-demographic factors, drug use patterns and healthcare services utilization. Blood samples were tested for HCV antibodies. Using the Gelberg-Andersen Behavioral Model, hierarchical logistic regression analyses were conducted to identify predisposing, need and enabling factors associated with PCP visiting. Of the 349 participants (mean age = 34; 80.8% male), 32.1% reported visiting a PCP. In the multivariate model, among predisposing factors, male gender [adjusted odds ratio (AOR) = 0.45 (0.25-0.83)], chronic homelessness [AOR = 0.08 (0.01-0.67)], cocaine injection [AOR = 0.46 (0.28-0.76)] and reporting greater illegal or semi-legal income [AOR = 0.48 (0.27-0.85)] were negatively associated with PCP visits. Markers of need were not associated with the outcome. Among enabling factors, contact with street nurses [AOR = 3.86 (1.49-9.90)] and food banks [AOR = 2.01 (1.20-3.37)] was positively associated with PCP visiting. Only one third of participating PWID reported a recent visit to a PCP. While a host of predisposing factors seems to hamper timely contacts with PCP among high-risk PWID, community-based support services may play an important role in initiating dialogue with primary healthcare services in this population

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

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

Mapping species distributions: A comparison of skilled naturalist and lay citizen science recording

To assess the ability of traditional biological recording schemes and lay citizen science approaches to gather data on species distributions and changes therein, we examined bumblebee records from the UK’s national repository (National Biodiversity Network) and from BeeWatch. The two recording approaches revealed similar relative abundances of bumblebee species but different geographical distributions. For the widespread common carder (Bombus pascuorum), traditional recording scheme data were patchy, both spatially and temporally, reflecting active record centre rather than species distribution. Lay citizen science records displayed more extensive geographic coverage, reflecting human population density, thus offering better opportunities to account for recording effort. For the rapidly spreading tree bumblebee (Bombus hypnorum), both recording approaches revealed similar distributions due to a dedicated mapping project which overcame the patchy nature of naturalist records. We recommend, where possible, complementing skilled naturalist recording with lay citizen science programmes to obtain a nation-wide capability, and stress the need for timely uploading of data to the national repository

Prospectives

Tiré de: Prospectives, vol. 21, no 2/3/4, avril/oct./déc. 1985Titre de l'écran-titre (visionné le 24 janv. 2013