Results 11 to 20 of about 1,067,207 (315)

Subtype Universes. [PDF]

, 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   +4 more sources

Constructor Subtyping [PDF]

, 1999
Constructor subtyping is a form of subtyping in which an inductive type A is viewed as a subtype of another inductive type B if B has more constructors than A. Its (potential) uses include proof assistants and functional programming languages. In this paper, we introduce and study the properties of a simply typed lambda-calculus with record types and ...
Gilles Barthe, Maria João Frade
openaire   +2 more sources

Explicit effect subtyping [PDF]

Journal of Functional Programming, 2020
Abstract As popularity of algebraic effects and handlers increases, so does a demand for their efficient execution. Eff, an ML-like language with native support for handlers, has a subtyping-based effect system on which an effect-aware optimising compiler could be built. Unfortunately, in our experience, implementing optimisations for
Karachalias, Georgios, Pretnar, Matija, Saleh, Amr Hany, Vanderhallen, Stien, Schrijvers, Tom   +4 more
openaire   +5 more sources

Frequent intra-subtype recombination among HIV-1 circulating in Tanzania. [PDF]

, 2013
The study estimated the prevalence of HIV-1 intra-subtype recombinant variants among female bar and hotel workers in Tanzania. While intra-subtype recombination occurs in HIV-1, it is generally underestimated.
Kiwelu, Ireen E, Baca Jeannie, Vladimir Novitsky, Essex, M., Baca, Jeannie, Mary F McLane, Kapiga, Saidi H., Novitsky, Vladimir, Saidi H Kapiga, McLane, Mary F, M Essex, Ireen E Kiwelu, McLane, Mary, Essex, M, Jeannie Baca, Kiwelu Ireen E., Novitsky Vladimir, Manongi, Rachel, Manongi Rachel, Rachel Manongi, Kapiga, Saidi H, Margolin Lauren, Essex M., John Shao, Kiwelu, Ireen E., Noel Sam, Sam Noel, Lauren Margolin, McLane Mary F., Margolin, Lauren, Sam, Noel, Shao John, Kapiga Saidi H., Shao, John   +33 more
core   +1 more source

Distribusi Genotipe dan Subtipe Virus Hepatitis B pada Penderita Hepatitis B Kronik di Pekanbaru

Majalah Kedokteran Bandung, 2011
Genetic variance of hepatitis B virus (HBV) may influence the clinical manifestation, development of hepatocellular carcinoma (HCC), and response to antiviral treatment.
Arfianti, Andi Zainal, Fauzia Andrini, Rita Endriani   +3 more
doaj   +1 more source

The HIV-1 Subtype C Epidemic in South America Is Linked to the United Kingdom [PDF]

, 2010
Background: The global spread of HIV-1 has been accompanied by the emergence of genetically distinct viral strains. Over the past two decades subtype C viruses, which predominate in Southern and Eastern Africa, have spread rapidly throughout parts of ...
Gifford, RJ, Gifford Robert J., Pillay Deenan, Pillay, D, Tulio de Oliveira, UK Collaborative Grp HIV Drug Resi, Robert J Gifford, Deenan Pillay, de Oliveira, T, UK Collaborative Group on HIV Drug Resistance, de Oliveira Tulio   +10 more
core   +1 more source

Subtype-specific expression derived from clustering

, 2022
This file contains subtype-specific expression derived from NMF clustering results. 
Jarrett Eshima (13813720)
core   +1 more source

Distinct subtypes of endometriosis identified based on stromal-immune microenvironment and gene expression: implications for hormone therapy

Frontiers in Immunology, 2023
BackgroundEndometriosis (EMs) is a chronic inflammatory condition that is highly heterogeneous. Current clinical staging fails to accurately predict drug responses and prognosis.
Yuning Wang, Yun Chen, Yun Chen, Yinping Xiao, Jingyao Ruan, Qi Tian, Qi Cheng, Kaikai Chang, Kaikai Chang, Xiaofang Yi, Xiaofang Yi   +10 more
doaj   +1 more source

Impact of HIV-1 subtype and antiretroviral therapy on protease and reverse transcriptase genotype: Results of a global collaboration [PDF]

, 2005
Background The genetic differences among HIV-1 subtypes may be critical to clinical management and drug resistance surveillance as antiretroviral treatment is expanded to regions of the world where diverse non-subtype-B viruses predominate.Methods and ...
Wynhoven, B, Cane, P, Holguin, A, Pedro Cahn, Maria Belen Bouzas, Africa Holguin, Luis F Brigido, Sirivichayakul, S, Anne-Mieke Vandamme, Camacho, R, Efron, B, Koya Ariyoshi, Grossman, Z, Robert W Shafer, Shafer, RW, Bouzas, MB, Brian Wynhoven, Ricardo Camacho, Jonathan N Weber, Harrigan, PR, Ariyoshi, K, Ana Patricia Carvalho, Rosangela Rodrigues, Rudich, H, Candice Pillay, Soares, MA, Katzenstein, DA, Vandamme, AM, Clarke, J, Lynn Morris, Snoeck, J, Soriano, V, Rodrigues, R, Brigido, LF, Wataru Sugiura, Praphan Phanuphak, Kantor, R, Sugiura, W, John Clarke, Jonathan M Schapiro, Rami Kantor, David A Katzenstein, Carvalho, AP, P Richard Harrigan, Patricia Cane, Phanuphak, P, Brad Efron, Pillay, D, Pillay, C, Sunee Sirivichayakul, Joke Snoeck, Cahn, P, Hagit Rudich, Schapiro, JM, Morris, L, Zehava Grossman, Amilcar Tanuri, Tanuri, A, Weber, JN, Vincent Soriano, Deenan Pillay, Marcelo A Soares   +61 more
core   +1 more source

Past, Present, and Possible Future Human Infection with Influenza Virus A Subtype H7

Emerging Infectious Diseases, 2009
Influenza A subtype H7 viruses have resulted in >100 cases of human infection since 2002 in the Netherlands, Italy, Canada, the United States, and the United Kingdom.
Jessica A. Belser, Carolyn B. Bridges, Jacqueline M. Katz, Terrence M. Tumpey   +3 more
doaj   +1 more source