subtyping - researchr tag

researchr

You are not signed in
Sign in
Sign up

2011

2010

Clustering of protein families into functional subtypes using Relative Complexity Measure with reduced amino acid alphabetsAydin Albayrak, Hasan H. Otu, Ugur O. Sezerman. bmcbi, 11:428, 2010. [doi]

Semantic subtyping with an SMT solverGavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy. ICFP 2010: 105-116 [doi]

Subtyping and Derivation Rules in Fact-Based ModelingPeter Bollen. otm 2010: 514-521 [doi]

Subtyping Algorithm of Regular Tree Grammars with Disjoint Production RulesLei Chen, Haiming Chen. ictac 2010: 45-59 [doi]

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, In Press, Corrected Proof, 2010. [doi]

Subtyping, DeclarativelyNils Anders Danielsson, Thorsten Altenkirch. mpc 2010: 100-118 [doi]

Lazy behavioral subtypingJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. jlp, 79(7):578-607, 2010. [doi]

A machine learning approach for identifying subtypes of autismRocio Guillén, Curtis Jensen, Stephen Edelson. ihi 2010: 620-628 [doi]

Integrating coercion with subtyping and multiple dispatchJ. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.. SCP, 75(9):787-795, 2010. [doi]

Pure subtype systemsDeLesley S. Hutchins. POPL 2010: 287-298 [doi]

On Learning Subtypes of the Part-Whole Relation: Do Not Mix Your SeedsAshwin Ittoo, Gosse Bouma. acl 2010: 1328-1336 [doi]

Semi-supervised recursively partitioned mixture models for identifying cancer subtypesDevin C. Koestler, Carmen J. Marsit, Brock C. Christensen, Margaret R. Karagas, Raphael Bueno, David J. Sugarbaker, Karl Kelsey, E. Andres Houseman. bioinformatics, 26(20):2578-2585, 2010. [doi]

Integrative clustering of multiple genomic data types using a joint latent variable model with application to breast and lung cancer subtype analysisRonglai Shen, Adam B. Olshen, Marc Ladanyi. bioinformatics, 26(2):292-293, 2010. [doi]

FluTyper-an algorithm for automated typing and subtyping of the influenza virus from high resolution mass spectral dataJason W. H. Wong, Alexander B. Schwahn, Kevin M. Downard. bmcbi, 11:266, 2010. [doi]

Gene pathways and subnetworks distinguish between major glioma subtypes and elucidate potential underlying biologyStefan Wuchty, Alice Zhang, Jennifer Walling, Susie Ahn, Aiguo Li, Martha Quezado, Carl Oberholtzer, Jean-Claude Zenklusen, Howard A. Fine. jbi, 43(6):945-952, 2010. [doi]

Spial: analysis of subtype-specific features in multiple sequence alignments of proteinsArthur Wuster, A. J. Venkatakrishnan, Gebhard F. X. Schertler, M. Madan Babu. bioinformatics, 26(22):2906-2907, 2010. [doi]

Differentiation of Two Subtypes of Adult Hydrocephalus by Mixture of ExpertsElif Derya Übeyli, Konuralp Ilbay, Gul Ilbay, Deniz Sahin, Gur Akansel. jms, 34(3):281-290, 2010. [doi]

2009

Automated Renal Cell Carcinoma Subtype Classification Using Morphological, Textural and Wavelets Based FeaturesQaiser Chaudry, Syed Hussain Raza, Andrew N. Young, May D. Wang. vlsisp, 55(1-3):15-23, 2009. [doi]

Drug Design for the Influenza A Virus Subtype H1N1Chien-Yu Chen, Da-Tian Bau, Ming-Hsui Tsai, Yuan-Man Hsu, Tin-Yun Ho, Hung-Jin Huang, Yea-Huey Chang, Fuu-Jen Tsai, Chang-Hai Tsai, Calvin Yu-Chian Chen. bmei 2009: 1-3 [doi]

HIVSetSubtype: software for subtype classification of HIV-1 sequencesLuciano Vieira de Araújo, Sabri S. Sanabani, Ester C. Sabino, João Eduardo Ferreira. SAC 2009: 811-815 [doi]

Morphometric Subtyping for a Panel of Breast Cancer Cell LinesJu Han, Hang Chang, Gerald Fontenay, Nicholas J. Wang, Joe W. Gray, Bahram Parvin. isbi 2009: 791-794 [doi]

Pairwise and higher-order correlations among drug-resistance mutations in HIV-1 subtype B proteaseOmar Haq, Ronald M. Levy, Alexandre V. Morozov, Michael Andrec. bmcbi, 10(S-8):10, 2009. [doi]

Mapping HIV-1 Subtype C gp120Epitopes Using a Bioinformatic ApproachDennis Maletich Junqueira, RÃºbia MarÃlia de Medeiros, Sabrina Esteves de Matos Almeida, Vanessa Rodrigues PaixÃ£o-Cortez, Paulo Michel Roehe, Fernando Rosado Spilki. wob 2009: 156-159 [doi]

MULTI-K: accurate classification of microarray subtypes using ensemble k-means clusteringEun-Youn Kim, Seon-Young Kim, Daniel A. Ashlock, Dougu Nam. bmcbi, 10:260, 2009. [doi]

Is Structural Subtyping Useful? An Empirical StudyDonna Malayeri, Jonathan Aldrich. ESOP 2009: 95-111 [doi]

CAPS Genomic Subtyping on ::::Orthomyxoviridae::::Sheng-Lung Peng, Yu-Wei Tsay, Chich-Sheng Lin, Chuan Yi Tang. icic 2009: 130-137 [doi]

Matching ::::ThisType:::: to subtypingChieri Saito, Atsushi Igarashi. SAC 2009: 1851-1858 [doi]

Integrative clustering of multiple genomic data types using a joint latent variable model with application to breast and lung cancer subtype analysisRonglai Shen, Adam B. Olshen, Marc Ladanyi. bioinformatics, 25(22):2906-2912, 2009. [doi]

Clinical Information Driven Ensemble Clustering for Inferring Robust Tumor SubtypesHaiyun Wang, Min Ding, Xia Li, Bairong Shen. bmei 2009: 1-4 [doi]

On the Decidability of Subtyping with Bounded Existential TypesStefan Wehr, Peter Thiemann. aplas 2009: 111-127 [doi]

2008

Polarised subtyping for sized typesAndreas Abel. mscs, 18(5):797-822, 2008. [doi]

Syntactic Metatheory of Higher-Order SubtypingAndreas Abel, Dulma Rodriguez. csl 2008: 446-460 [doi]

Shared subtypes: subtyping recursive parametrized algebraic data typesKi Yung Ahn, Tim Sheard. haskell 2008: 75-86 [doi]

Coercive Subtyping via Mappings of Reduction BehaviourPaul Callaghan. ENTCS, 196:53-68, 2008. [doi]

Semantic subtyping for the pi-calculusGiuseppe Castagna, Rocco De Nicola, Daniele Varacca. TCS, 398(1-3):217-242, 2008. [doi]

Regular Expression Subtyping for XML Query and Update LanguagesJames Cheney. ESOP 2008: 32-47 [doi]

Theory and applications of subtyping: IntroductionAdriana B. Compagnoni, Healfdene Goguen. mscs, 18(5):795-796, 2008. [doi]

Lazy Behavioral SubtypingJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. fm 2008: 52-67 [doi]

Perfect hashing as an almost perfect subtype testRoland Ducournau. TOPLAS, 30(6), 2008. [doi]

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation typesAlain Frisch, Giuseppe Castagna, Véronique Benzaken. JACM, 55(4), 2008. [doi]

Integrating coercion with subtyping and multiple dispatchJ. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.. SAC 2008: 166-170 [doi]

Abnormalities of the Corpus Callosum in autism subtypeQing He, Ye Duan, Judith Miles, Nicole Takahashi. ijfipm, 1(1):103-110, 2008. [doi]

Low- and high- agressive genetic breast cancer subtypes and significant survival gene signaturesVladimir A. Kuznetsov, Efthimios Motakis, Anna V. Ivshina. ijcnn 2008: 4151-4156 [doi]

Structural subtyping for inductive types with functorial equality rulesZhaohui Luo, Robin Adams. mscs, 18(5):931-972, 2008. [doi]

Integrating Nominal and Structural SubtypingDonna Malayeri, Jonathan Aldrich. ECOOP 2008: 260-284 [doi]

Nominal and Structural Subtyping in Component-Based ProgrammingKlaus Ostermann. jot, 7(1):121-145, 2008. [doi]

Subtyping in Java 5.0Martin Plümicke. itcs 2008: 33-37 [doi]

Adaptive Discriminant Wavelet Packet Transform and Local Binary Patterns for Meningioma Subtype ClassificationHammad Qureshi, Olcay Sertel, Nasir Rajpoot, Roland Wilson, Metin N. Gurcan. miccai 2008: 196-204 [doi]

Logical Equivalence for Subtyping Object and Recursive TypesSteffen van Bakel, Ugo de Liguoro. mst, 42(3):306-348, 2008. [doi]

Neighborhood Rough Set Model Based Gene Selection for Multi-subtype Tumor ClassificationShulin Wang, Xueling Li, Shanwen Zhang. icic 2008: 146-158 [doi]

2007

Efficient distributed subtyping testsSébastien Baehni, João Barreto, Patrick Eugster, Rachid Guerraoui. debs 2007: 214-225 [doi]

Selecting dissimilar genes for multi-class classification, an application in cancer subtypingZhipeng Cai, Randy Goebel, Mohammad R. Salavatipour, Guohui Lin. bmcbi, 8, 2007. [doi]

Transformation of structure-shy programs: applied to XPath queries and strategic functionsAlcino Cunha, Joost Visser. PEPM 2007: 11-20 [doi]

Comparing sequences without using alignments: application to HIV/SIV subtypingGilles Didier, Laurent Debomy, Maude Pupin, Ming Zhang, Alexander Grossmann, Claudine Devauchelle, Ivan Laprevotte. bmcbi, 8, 2007. [doi]

Statistical Shape Analysis of the Corpus Callosum in Subtypes of AutismQing He, Ye Duan, Judith Miles, Nicole Takahashi. bibe 2007: 1087-1091 [doi]

Combining structural subtyping and external dispatchDonna Malayeri, Jonathan Aldrich. OOPSLA 2007: 789-790 [doi]

Combining structural subtyping and external dispatchDonna Malayeri. OOPSLA 2007: 951-952 [doi]

Novel Data Mining Techniques in aCGH based Breast Cancer Subtypes Profiling: the Biological PerspectiveFilippo Menolascina, Stefania Tommasi, Angelo Paradiso, Marco Cortellino, Vitoantonio Bevilacqua, Giuseppe Mastronardi. cibcb 2007: 9-16 [doi]

Subtyping and intersection types revisitedFrank Pfenning. ICFP 2007: 219 [doi]

Piecewise Modelling with State SubtypesFriedrich Steimann, Thomas Kühne. MoDELS 2007: 181-195 [doi]

Computer Aided Histopathological Classification of Cancer SubtypesSohaib Waheed, Richard A. Moffitt, Qaiser Chaudry, Andrew N. Young, May D. Wang. bibe 2007: 503-508 [doi]

Nucleotide composition string selection in HIV-1 subtyping using whole genomesXiaomeng Wu, Zhipeng Cai, Xiu-Feng Wan, Tin Hoang, Randy Goebel, Guohui Lin. bioinformatics, 23(14):1744-1752, 2007. [doi]

2006

Polarized Subtyping for Sized TypesAndreas Abel. csr 2006: 381-392 [doi]

Practical Verification of Component Substitutability Using Subtype RelationPremek Brada, Lukas Valenta. euromicro 2006: 38-45 [doi]

Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using ::::inherit:::: and ::::insert:::: in SmartEiffel, the GNU Eiffel CompilerDominique Colnet, Guillem Marpons-Ucero, Frederic Merizen. icsr 2006: 203-216 [doi]

Anti-symmetry of higher-order subtyping and equality by subtypingAdriana B. Compagnoni, Healfdene Goguen. mscs, 16(1):41-65, 2006. [doi]

Abstraction preservation and subtyping in distributed languagesPierre-Malo Deniélou, James J. Leifer. ICFP 2006: 286-297 [doi]

Phantom types and subtypingMatthew Fluet, Riccardo Pucella. JFP, 16(6):751-791, 2006. [doi]

Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage AnalysisTobias Gedell, Jörgen Gustavsson, Josef Svenningsson. aplas 2006: 200-216 [doi]

Finding cancer subtypes in microarray data using random projectionsDebashis Ghosh. ijon, 69(16-18):2258-2267, 2006. [doi]

Variant parametric types: A flexible subtyping scheme for genericsAtsushi Igarashi, Mirko Viroli. TOPLAS, 28(5):795-847, 2006. [doi]

Proving Program Properties Specified with Subtype MarksTamás Kozsik. IFL 2007: 163-180 [doi]

Oncogenes and Subtypes of Diffuse Large B-Cell Lymphoma Discoveries from Microarray DatabaseChing-Hao Lai, Jun-Dong Chang, Meng-Hsiun Tsai. jcis 2006: [doi]

JML s Rich, Inherited Specifications for Behavioral SubtypesGary T. Leavens. icfem 2006: 2-34 [doi]

A Feature Selection Algorithm for Detecting Subtype Specific Functional Sites from Protein Sequences for Smad Receptor BindingElena Marchiori, Walter Pirovano, Jaap Heringa, K. Anton Feenstra. icmla 2006: 168-173 [doi]

Logic of subtypingPavel Naumov. TCS, 357(1-3):167-185, 2006. [doi]

Gene Expression Data Analysis in Subtypes of Ovarian Cancer Using Covariance AnalysisVictor Olman, Chindo Hicks, Peng Wang, Ying Xu. jbcb, 4(5):999-1014, 2006. [doi]

ABS++: Assertion Based Subtyping in C++Herbert Toth. jot, 5(6), 2006. [doi]

Characterization of lung tumor subtypes through gene expression cluster validity assessmentGiorgio Valentini, Francesca Ruffino. ita, 40(2):163-176, 2006. [doi]

Association Research on Potassium Channel Subtypes and Functional SitesPeng Wu, Xia Li, Shaoqi Rao, Wei Jiang, Chuanxing Li, Jie Zhang. icic 2006: 780-785 [doi]

A method for predicting disease subtypes in presence of misclassification among training samples using gene expression: application to human breast cancerWensheng Zhang, Romdhane Rekaya, Keith Bertrand. bioinformatics, 22(3):317-325, 2006. [doi]

2005

A gentle introduction to semantic subtypingGiuseppe Castagna, Alain Frisch. ppdp 2005: 198-199 [doi]

A Gentle Introduction to Semantic SubtypingGiuseppe Castagna, Alain Frisch. icalp 2005: 30-34 [doi]

Semantic Subtyping for the p-CalculusGiuseppe Castagna, Rocco De Nicola, Daniele Varacca. lics 2005: 92-101 [doi]

Subtyping recursion and parametric polymorphism in kernel funDario Colazzo, Giorgio Ghelli. iandc, 198(2):71-147, 2005. [doi]

Automated Classification of Dementia Subtypes from Post-mortem Cortex ImagesDavid Cornforth, Herbert F. Jelinek. ausai 2005: 1285-1288 [doi]

Subtyping Recursive Types Modulo Associative Commutative ProductsRoberto Di Cosmo, François Pottier, Didier Rémy. tlca 2005: 179-193 [doi]

Subtyping for session types in the pi calculusSimon J. Gay, Malcolm Hole. ACTA, 42(2-3):191-225, 2005. [doi]

Tutorial on Subtype MarksTamás Kozsik. cefp 2006: 191-222 [doi]

Transitivity in coercive subtypingZhaohui Luo, Yong Luo. iandc, 197(1-2):122-144, 2005. [doi]

Complexity of Subtype Satisfiability over PosetsJoachim Niehren, Tim Priesnitz, Zhendong Su. ESOP 2005: 357-373 [doi]

A Typed Semantics of Higher-Order Store and SubtypingJan Schwinghammer. ictcs 2005: 390-405 [doi]

Subtyping First-Class Polymorphic ComponentsJoão Costa Seco, Luís Caires. ESOP 2005: 342-356 [doi]

GenSo-FDSS: a neural-fuzzy decision support system for pediatric ALL cancer subtype identification using gene expression dataW. L. Tung, Hiok Chai Quek. artmed, 33(1):61-88, 2005. [doi]

PreviousNext