Results 11 to 20 of about 43,101 (266)

Detailed Evaluation of Data Analysis Tools for Subtyping of Bacterial Isolates Based on Whole Genome Sequencing: Neisseria meningitidis as a Proof of Concept

Frontiers in Microbiology, 2019
Whole genome sequencing is increasingly recognized as the most informative approach for characterization of bacterial isolates. Success of the routine use of this technology in public health laboratories depends on the availability of well-characterized ...
Assia Saltykova, Assia Saltykova, Wesley Mattheus, Sophie Bertrand, Nancy H. C. Roosens, Kathleen Marchal, Kathleen Marchal, Sigrid C. J. De Keersmaecker   +7 more
doaj   +1 more source

Recent Molecular Evolution of Human Metapneumovirus (HMPV): Subdivision of HMPV A2b Strains

Microorganisms, 2020
Human metapneumovirus (HMPV) is a major etiological agent of acute respiratory infections in humans. HMPV has been circulating worldwide for more than six decades and is currently divided into five agreed-upon subtypes: A1, A2a, A2b, B1, and B2. Recently,
Naganori Nao, Miwako Saikusa, Ko Sato, Tsuyoshi Sekizuka, Shuzo Usuku, Nobuko Tanaka, Hidekazu Nishimura, Makoto Takeda   +7 more
doaj   +1 more source

Subtyping of Swine Influenza Viruses Using a High-Throughput Real-Time PCR Platform

Frontiers in Cellular and Infection Microbiology, 2018
Influenza A viruses (IAVs) are important human and animal pathogens with high impact on human and animal health. In Denmark, a passive surveillance program for IAV in pigs has been performed since 2011, where screening tests and subsequent subtyping are ...
Nicole B. Goecke, Jesper S. Krog, Charlotte K. Hjulsager, Kerstin Skovgaard, Timm C. Harder, Solvej Ø. Breum, Lars E. Larsen   +6 more
doaj   +1 more source

Molecular characterization of Blastocystis sp. in Chinese bamboo rats (Rhizomys sinensis)

Parasite, 2021
Blastocystis sp., a parasitic eukaryote, widely colonizes the intestines of humans and a large number of animals, including rodents and lagomorphs. More than 30 million bamboo rats (Rhizomys sinensis) are farmed in China as a source of meat for human ...
Song Junke, Yang Xin, Ma Xun, Wu Xuemei, Wang Yuxin, Li Zhili, Liu Guohua, Zhao Guanghui   +7 more
doaj   +1 more source

Positive subtyping

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Martin Hofmann 0001, Benjamin C. Pierce
openaire   +2 more sources

Evaluation of Next-Generation Sequencing Applied to Cryptosporidium parvum and Cryptosporidium hominis Epidemiological Study

Pathogens, 2022
Background. Nowadays, most of the C. parvum and C. hominis epidemiological studies are based on gp60 gene subtyping using the Sanger sequencing (SgS) method. Unfortunately, SgS presents the limitation of being unable to detect mixed infections.
Eloïse Bailly, Stéphane Valot, Anne Vincent, Yannis Duffourd, Nadège Grangier, Martin Chevarin, Damien Costa, Romy Razakandrainibe, Loïc Favennec, Louise Basmaciyan, Frédéric Dalle   +10 more
doaj   +1 more source

Genus, Species, and Subspecies Classification of Salmonella Isolates by Proteomics

Applied Sciences, 2021
Identification of bacteria by mass spectrometry offers the potential of a high-throughput non-targeted method to determine the presence of Salmonella. While MALDI-TOF mass spectrometry can identify Salmonella at the genus and species level, few studies ...
Shu-Hua Chen, Christine H. Parker, Timothy R. Croley, Melinda A. McFarland   +3 more
doaj   +1 more source

Subtyping of Human Papillomavirus-Positive Cervical Cancers Based on the Expression Profiles of 50 Genes

Frontiers in Immunology, 2022
BackgroundHuman papillomavirus-positive (HPV+) cervical cancers are highly heterogeneous in molecular and clinical features. However, the molecular classification of HPV+ cervical cancers remains insufficiently unexplored.MethodsBased on the expression ...
Xiaojun Zhu, Shengwei Li, Shengwei Li, Shengwei Li, Jiangti Luo, Jiangti Luo, Jiangti Luo, Xia Ying, Zhi Li, Yuanhe Wang, Mengmeng Zhang, Tianfang Zhang, Peiyue Jiang, Xiaosheng Wang, Xiaosheng Wang, Xiaosheng Wang   +15 more
doaj   +1 more source

Subtype Universes.

, 2021
We introduce a new concept called a subtype universe, which is a collection of subtypes of a particular type. Amongst other things, subtype universes can model bounded quantification without undecidability. Subtype universes have applications in programming, formalisation and natural language semantics.
Maclean, Harry, Luo, Zhaohui
openaire   +3 more sources

Subtyping and parametricity [PDF]

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 2002
We study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic supports the formal definition and use of relational parametricity. We give two models for it, and compare it with other formal systems for the same language.
Plotkin, Gordon, Abadi, Martin, Cardelli, Luca   +2 more
openaire   +2 more sources