Results 21 to 30 of about 1,160,550 (308)
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 moreopenaire +8 more sourcesIntegrative Transcriptomic, Lipidomic, and Metabolomic Analysis Reveals Potential Biomarkers of Basal and Luminal Muscle Invasive Bladder Cancer Subtypes
Frontiers in Genetics, 2021 Muscle invasive bladder cancer (MIBC) is a heterogeneous disease with a high recurrence rate and poor clinical outcomes. Molecular subtype provides a new framework for the study of MIBC heterogeneity.Chao Feng, Chao Feng, Chao Feng, Lixin Pan, Lixin Pan, Lixin Pan, Shaomei Tang, Shaomei Tang, Liangyu He, Liangyu He, Liangyu He, Liangyu He, Xi Wang, Xi Wang, Yuting Tao, Yuting Tao, Yuting Tao, Yuanliang Xie, Yuanliang Xie, Yuanliang Xie, Zhiyong Lai, Zhiyong Lai, Zhong Tang, Qiuyan Wang, Qiuyan Wang, Tianyu Li, Tianyu Li, Tianyu Li, Tianyu Li +28 moredoaj +1 more sourceImpact 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, Lynn Morris (7883), Brigido Luis F, Amilcar Tanuri (7885), Praphan Phanuphak (7886), Phanuphak Praphan, Ana Patricia Carvalho (7866), Camacho Ricardo, Soriano Vincent, Weber Jonathan N, Snoeck Joke, Maria Belen Bouzas (7878), Rudich Hagit, Sugiura Wataru, Rodrigues Rosangela, Hagit Rudich (7874), Pillay Deenan, Deenan Pillay (7888), Morris Lynn, Pillay Candice, Pedro Cahn (4922), Harrigan P. Richard, Anne-Mieke Vandamme (7884), Candice Pillay (7873), Robert W Shafer (7892), John Clarke (7869), Sunee Sirivichayakul (7870), Efron Brad, Kantor Rami, Rami Kantor (7863), Brad Efron (7865), Carvalho Ana Patricia, Holguin Africa, Cahn Pedro, Tanuri Amilcar, Ariyoshi Koya, Vandamme Anne-Mieke, Brian Wynhoven (7867), Sirivichayakul Sunee, Wataru Sugiura (7879), P. Richard Harrigan (7889), David A Katzenstein (7864), Joke Snoeck (7872), Africa Holguin (7876), Katzenstein David A, Koya Ariyoshi (7877), Vincent Soriano (7880), Shafer Robert W, Luis F Brigido (7881), Soares Marcelo A, Patricia Cane (7868), Rosangela Rodrigues (7875), Bouzas Maria Belen, Grossman Zehava, Schapiro Jonathan M, Marcelo A Soares (7871), Zehava Grossman (7882), Cane Patricia, Jonathan N Weber (7887), Clarke John, Wynhoven Brian, Jonathan M Schapiro (7891), Ricardo Camacho (7890) +123 morecore +2 more sourcesFrequent 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 morecore +1 more sourcePositive 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. Pierceopenaire +3 more sourcesSubtype analysis of Blastocystis isolates in Swedish patients. [PDF]
, 2012 Blastocystis is a genetically diverse and widespread intestinal parasite of animals and humans with controversial pathogenic potential. At least nine subtypes of Blastocystis have been found in humans.Clark, G. C.,, Forsell, Joakim,, Evengård, Birgitta,, Granlund, Margareta,, Stensvold, C. R.,, Granlund, M, Forsell, J, Clark, CG, Stensvold, CR, Evengård, B +9 morecore +1 more sourceAChBP-targeted alpha-conotoxin correlates distinct binding orientations with nAChR subtype selectivity [PDF]
, 2007 Neuronal nAChRs are a diverse family of pentameric ion channels with wide distribution throughout cells of the nervous and immune systems. However, the role of specific subtypes in normal and pathological states remains poorly understood due to the lack ...Sixma, Titia K., Alewood, Paul F., Buettner, Regina, van Elk, R, Smit, A.B., Sixma, T., Dutertre, S., Nicke, A, van Elk, R., Smit, A., Nicke, Annette, Alewood, P. F., Sixma, T.K., Kendel, Y., Smit, AB, Lewis, R. J., Hopping, G., Kendel, Y, Büttner, Regina, Elk, René van, Ulens, C, Ulens, Chris, Buttner, R, Kendel, Yvonne, Sixma, TK, Fish, Alexander, Lewis, R.J., Schroeder, Christina, Lewis, Richard,, Smit, August,, Alewood, P.F., Lewis, Richard J., Fish, A, Sixma, Titia,, Schroeder, C., Alewood, Paul,, Fish, A., Alewood, P., Dutertre, Sébastien, Smit, August B., Ulens, C., Hopping, Gene, Nicke, A., Lewis, R., Ulens, Chris (author), Schroeder, Christina (author), Dutertre, Sébastien (author), Lewis, Richard J. (author), Lewis, Richard, J, Büttner, Regina (author), van Elk, René (author), Alewood, Paul, F, Fish, Alexander (author), Nicke, Annette (author), Sixma, Titia, K, Kendel, Yvonne (author), Hopping, Gene (author), Alewood, Paul F. (author), Sixma, Titia K. (author), Smit, August, B, Smit, August B. (author), Büttner, R., van Elk, Rene +62 morecore +1 more sourceSubtyping 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 moreopenaire +2 more sources