Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider a decision problem that can be expressed as the verification of the existence of an initial topology in which the execution of the protocol can lead to a configuration with at least one node in a certain state. The decision problem is parametric both on the size and on the form of the communication topology of the initial configurations. We draw a complete picture of the decidability and complexity boundaries of this problem according to various assumptions on the possible topologies.Comment: In Proceedings PACO 2011, arXiv:1108.145

Dental Educators’ Perceptions of Educational Learning Domains

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/153618/1/jddjde019010.pd

Real-world utilization of the pill-in-the-pocket method for terminating episodes of atrial fibrillation: data from the multinational Antiarrhythmic Interventions for Managing Atrial Fibrillation (AIM-AF) survey

AIMS: Atrial fibrillation (AF) is the most common sustained arrhythmia encountered in clinical practice. Episodes may stop spontaneously (paroxysmal AF); may terminate only via intervention (persistent AF); or may persist indefinitely (permanent AF) (see European and American guidelines, referenced below, for more precise definitions). Recently, there has been renewed interest in an approach to terminate AF acutely referred to as 'pill-in-the-pocket' (PITP). The PITP is recognized in both the US and European guidelines as an effective option using an oral antiarrhythmic drug for acute conversion of acute/recent-onset AF. However, how PITP is currently used has not been systematically evaluated. METHODS AND RESULTS: The recently published Antiarrhythmic Interventions for Managing Atrial Fibrillation (AIM-AF) survey included questions regarding current PITP usage, stratified by US vs. European countries surveyed, by representative countries within Europe, and by cardiologists vs. electrophysiologists. This manuscript presents the data from this planned sub-study. Our survey revealed that clinicians in both the USA and Europe consider PITP in about a quarter of their patients, mostly for recent-onset AF with minimal or no structural heart disease (guideline appropriate). However, significant deviations exist. See the Graphical abstract for a summary of the data. CONCLUSION: Our findings highlight the frequent use of PITP and the need for further physician education about appropriate and optimal use of this strategy

In vitro antiviral activity of SCH446211 (SCH6), a novel inhibitor of the hepatitis C virus NS3 serine protease.

Current hepatitis C virus (HCV) therapies may cure approximately 60% of infections. They are often contraindicated or poorly tolerated, underscoring the need for safer and more effective drugs. A novel, alpha-ketoamide-derived, substrate-based inhibitor of the HCV serine protease (SCH446211) was developed. Compared with earlier reported inhibitors of similar chemical class, it has a P1'-P2' extension which provides extended interaction with the protease active site. The aim of this study was to evaluate the in vitro antiviral activity of SCH446211. Binding constant of SCH446211 to HCV NS3 protease was measured with the chromogenic substrate in vitro cleavage assay. Cell-based activity of SCH446211 was evaluated in replicon cells, which are Huh-7 hepatoma cells stably transfected with a subgenomic HCV RNA as reported previously. After 72 h of incubation with SCH446211, viral transcription and protein expression were measured by real-time RT-PCR (TaqMan), quantitative in situ hybridization, immunoblot and indirect immunofluorescence. The binding constant of SCH446211 to HCV NS3 protease was 3.8 +/- 0.4 nM. HCV replication and protein expression were inhibited by SCH446211 in replicon cells as consistently shown by four techniques. In particular, based on quantitative real-time RT-PCR measurements, the IC50 and IC90 of SCH446211 were estimated to be 40 +/- 20 and 100 +/- 20 nM (n = 17), respectively. Long-term culture of replicon cells with SCH446211 reduced replicon RNA to <0.1 copy per cell. SCH446211 did not show cellular toxicity at concentrations up to 50 microM. SCH446211 is a potent inhibitor of HCV protease in vitro. Its extended interaction with the HCV NS3 protease active site is associated with potent in vitro antiviral activity. This observation is potentially a useful guide for development of future potent inhibitors against HCV NS3 protease

Associations between tooth wear and dental sleep disorders : A narrative overview

Objectives Tooth wear is a common finding in adult patients with dental sleep disorders. The aim of this paper was to review the literature on the possible associations between tooth wear and the following dental sleep disorders: sleep-related oro-facial pain, oral moistening disorders, gastroesophageal reflux disease (GERD), obstructive sleep apnoea syndrome (OSAS) and sleep bruxism. Methods A PubMed search was performed on 1 June 2018 using MeSH terms in the following query: Tooth Wear AND (Facial Pain OR Temporomandibular Joint Disorders OR Xerostomia OR Sialorrhea OR Gastroesophageal Reflux OR Sleep Apnea Syndrome OR Sleep Bruxism). Results The query yielded 706 reports on tooth wear and the mentioned dental sleep disorders. Several associations between tooth wear and the dental sleep disorders were suggested in the literature. It could be concluded that: (a) tooth wear is associated with dental pain and/or hypersensitivity; (b) oral dryness is associated with tooth wear, oro-facial pain and sleep bruxism; (c) GERD is associated with tooth wear, oro-facial pain, oral dryness, OSAS and sleep bruxism; (d) OSAS is associated with oral dryness, GERD and sleep bruxism; and (e) sleep bruxism is associated with tooth wear. Conclusions Tooth wear is associated with the dental sleep disorders oro-facial pain, oral dryness, GERD and sleep bruxism. The dental sleep disorders are interlinked with each other, which leads to indirect associations as well, and makes the consequences of each single condition difficult to disentangle. Knowledge of these associations is clinically relevant, but more research is needed to confirm their validity.Peer reviewe

Mechanisms of HIV non-progression; robust and sustained CD4+ T-cell proliferative responses to p24 antigen correlate with control of viraemia and lack of disease progression after long-term transfusion-acquired HIV-1 infection

<p>Abstract</p> <p>Background</p> <p>Elite non-progressors (plasma viral load <50 copies/ml while antiretroviral naive) constitute a tiny fraction of HIV-infected individuals. After 12 years follow-up of a cohort of 13 long-term non-progressors (LTNP) identified from 135 individuals with transfusion-acquired HIV infection, 5 remained LTNP after 23 to 26 years infection, but only 3 retained elite LTNP status. We examined the mechanisms that differentiated delayed progressors from LTNP in this cohort.</p> <p>Results</p> <p>A survival advantage was conferred on 12 of 13 subjects, who had at least one host genetic factor (HLA, chemokine receptor or TLR polymorphisms) or viral attenuating factor (defective <it>nef</it>) associated with slow progression. However, antiviral immune responses differentiated the course of disease into and beyond the second decade of infection. A stable p24-specific proliferative response was associated with control of viraemia and retention of non-progressor status, but this p24 response was absent or declined in viraemic subjects. Strong Gag-dominant cytotoxic T lymphocyte (CTL) responses were identified in most LTNP, or Pol dominant-CTL in those with <it>nef</it>-defective HIV infection. CTL were associated with control of viraemia when combined with p24 proliferative responses. However, CTL did not prevent late disease progression. Individuals with sustained viral suppression had CTL recognising numerous Gag epitopes, while strong but restricted responses to one or two immunodominant epitopes was effective for some time, but failed to contain viraemia over the course of this study. Viral escape mutants at a HLA B27-restricted Gag-p24 epitope were detected in only 1 of 3 individuals, whereas declining or negative p24 proliferative responses occurred in all 3 concurrent with an increase in viraemia.</p> <p>Conclusion</p> <p>Detectable viraemia at study entry was predictive of loss of LTNP status and/or disease progression in 6 of 8, and differentiated slow progressors from elite LTNP who retained potent virological control. Sustained immunological suppression of viraemia was independently associated with preserved p24 proliferative responses, regardless of the strength and breadth of the CTL response. A decline in this protective p24 response preceded or correlated with loss of non-progressor status and/or signs of disease progression.</p

Gastrointestinal adenocarcinomas of the esophagus, stomach, and colon exhibit distinct patterns of genome instability and oncogenesis

A more detailed understanding of the somatic genetic events that drive gastrointestinal adenocarcinomas is necessary to improve diagnosis and therapy. Using data from high-density genomic profiling arrays, we conducted an analysis of somatic copy-number aberrations in 486 gastrointestinal adenocarcinomas including 296 esophageal and gastric cancers. Focal amplifications were substantially more prevalent in gastric/esophageal adenocarcinomas than colorectal tumors. We identified 64 regions of significant recurrent amplification and deletion, some shared and others unique to the adenocarcinoma types examined. Amplified genes were noted in 37% of gastric/esophageal tumors, including in therapeutically targetable kinases such as ERBB2, FGFR1, FGFR2, EGFR, and MET, suggesting the potential use of genomic amplifications as biomarkers to guide therapy of gastric and esophageal cancers where targeted therapeutics have been less developed compared with colorectal cancers. Amplified loci implicated genes with known involvement in carcinogenesis but also pointed to regions harboring potentially novel cancer genes, including a recurrent deletion found in 15% of esophageal tumors where the Runt transcription factor subunit RUNX1 was implicated, including by functional experiments in tissue culture. Together, our results defined genomic features that were common and distinct to various gut-derived adenocarcinomas, potentially informing novel opportunities for targeted therapeutic interventions

Real-World Utilization of the Pill-In-The-Pocket Method for Terminating Episodes of Atrial Fibrillation: Data From the Multinational Antiarrhythmic Interventions for Managing Atrial Fibrillation (AIM-AF) Survey

AIMS: Atrial fibrillation (AF) is the most common sustained arrhythmia encountered in clinical practice. Episodes may stop spontaneously (paroxysmal AF); may terminate only via intervention (persistent AF); or may persist indefinitely (permanent AF) (see European and American guidelines, referenced below, for more precise definitions). Recently, there has been renewed interest in an approach to terminate AF acutely referred to as \u27pill-in-the-pocket\u27 (PITP). The PITP is recognized in both the US and European guidelines as an effective option using an oral antiarrhythmic drug for acute conversion of acute/recent-onset AF. However, how PITP is currently used has not been systematically evaluated. METHODS AND RESULTS: The recently published Antiarrhythmic Interventions for Managing Atrial Fibrillation (AIM-AF) survey included questions regarding current PITP usage, stratified by US vs. European countries surveyed, by representative countries within Europe, and by cardiologists vs. electrophysiologists. This manuscript presents the data from this planned sub-study. Our survey revealed that clinicians in both the USA and Europe consider PITP in about a quarter of their patients, mostly for recent-onset AF with minimal or no structural heart disease (guideline appropriate). However, significant deviations exist. See the Graphical abstract for a summary of the data. CONCLUSION: Our findings highlight the frequent use of PITP and the need for further physician education about appropriate and optimal use of this strategy