Search results for "subtyping"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Hassan Muhammad, Carlie S. Sigel, Gabriele Campanella, Thomas Börner, Linda M. Pak, Stefan Büttner, Jan N. M. IJzermans, Bas Groot Koerkamp, Michael Doukas, William R. Jarnagin, Amber L. Simpson, Thomas J. Fuchs	Towards Unsupervised Cancer Subtyping: Predicting Prognosis Using A Histologic Visual Dictionary.	CoRR	2019	DBLP BibTeX RDF
16	Hiroaki Inoue, Atsushi Igarashi	A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping.	CoRR	2019	DBLP BibTeX RDF
16	Julia Belyakova	Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions.	CoRR	2019	DBLP BibTeX RDF
16	Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro	A Sound Algorithm for Asynchronous Session Subtyping (extended version).	CoRR	2019	DBLP BibTeX RDF
16	Jeremy G. Siek	Transitivity of Subtyping for Intersection Types.	CoRR	2019	DBLP BibTeX RDF
16	Xiaoyi Chen, Nicolas Garcelon, Antoine Neuraz, Katy Billot, Marc Lelarge, Thomas Bonald, Hugo Garcia, Yoann Martin, Vincent Benoit, Marc Vincent, Hassan Faour, Maxime Douillet, Stanislas Lyonnet, Sophie Saunier, Anita Burgun	Phenotypic similarity for rare disease: Ciliopathy diagnoses and subtyping.	J. Biomed. Informatics	2019	DBLP DOI BibTeX RDF
16	Olga Lyudovyk, Yufeng Shen, Nicholas P. Tatonetti, Susan J. Hsiao, Mahesh M. Mansukhani, Chunhua Weng	Pathway analysis of genomic pathology tests for prognostic cancer subtyping.	J. Biomed. Informatics	2019	DBLP DOI BibTeX RDF
16	Hiroaki Inoue, Atsushi Igarashi	A type system for first-class layers with inheritance, subtyping, and swapping.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
16	Rodolphe Lepigre, Christophe Raffalli	Practical Subtyping for Curry-Style Languages.	ACM Trans. Program. Lang. Syst.	2019	DBLP DOI BibTeX RDF
16	Silvia Cascianelli, Francisco Cristovao, Arif Canakoglu, Mark J. Carman, Luca Nanni, Pietro Pinoli, Marco Masseroli	Evaluating Deep Semi-supervised Learning for Whole-Transcriptome Breast Cancer Subtyping.	CIBB	2019	DBLP DOI BibTeX RDF
16	Jie Yang 0041, Thomas Vetterli, Pallavi P. Balte, R. Graham Barr, Andrew F. Laine, Elsa D. Angelini	Unsupervised Domain Adaption With Adversarial Learning (UDAA) for Emphysema Subtyping on Cardiac CT Scans: The Mesa Study.	ISBI	2019	DBLP DOI BibTeX RDF
16	Frédéric Gilbert 0002	Verifiable Certificates for Predicate Subtyping.	ESOP	2019	DBLP DOI BibTeX RDF
16	Aleksandr Misonizhnik, Dmitry Mordvinov	On Satisfiability of Nominal Subtyping with Variance.	ECOOP	2019	DBLP DOI BibTeX RDF
16	Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek	Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).	ECOOP	2019	DBLP DOI BibTeX RDF
16	Julia Belyakova	Decidable tag-based semantic subtyping for nominal types, tuples, and unions.	FTfJP@ECOOP	2019	DBLP DOI BibTeX RDF
16	Ronald D. Hagan, Michael A. Langston	Molecular Subtyping in Human Disease Using the Paraclique Algorithm.	DEXA Workshops	2019	DBLP DOI BibTeX RDF
16	Hassan Muhammad, Carlie S. Sigel, Gabriele Campanella, Thomas Börner, Linda M. Pak, Stefan Büttner, Jan N. M. IJzermans, Bas Groot Koerkamp, Michael Doukas, William R. Jarnagin, Amber L. Simpson, Thomas J. Fuchs	Unsupervised Subtyping of Cholangiocarcinoma Using a Deep Clustering Convolutional Autoencoder.	MICCAI (1)	2019	DBLP DOI BibTeX RDF
16	Zhiyuan Xue, Bowen Xin, Dingqian Wang, Xiuying Wang	Radiomics-Enhanced Multi-task Neural Network for Non-invasive Glioma Subtyping and Segmentation.	RNO-AI@MICCAI	2019	DBLP DOI BibTeX RDF
16	María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001	ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.	JELIA	2019	DBLP DOI BibTeX RDF
16	Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro	A Sound Algorithm for Asynchronous Session Subtyping.	CONCUR	2019	DBLP DOI BibTeX RDF
16	Tayfun Sönmez, M. Utku Ünver, Özgür Yilmaz	How (not) to integrate blood subtyping technology to kidney exchange.	J. Econ. Theory	2018	DBLP DOI BibTeX RDF
16	Fabian Muehlboeck, Ross Tate	Empowering union and intersection types with integrated subtyping.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
16	Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek	Julia subtyping: a rational reconstruction.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
16	Rashid Mehmood, Saeed El-Ashram, Rongfang Bie, Yunchuan Sun	Effective cancer subtyping by employing density peaks clustering by using gene expression microarray.	Pers. Ubiquitous Comput.	2018	DBLP DOI BibTeX RDF
16	Maliazurina Saad, Tae-Sun Choi	Computer-assisted subtyping and prognosis for non-small cell lung cancer patients with unresectable tumor.	Comput. Medical Imaging Graph.	2018	DBLP DOI BibTeX RDF
16	Eric Feczko, N. M. Balba, Oscar Miranda-Dominguez, Michaela Cordova, S. L. Karalunas, Louis N. Irwin, D. V. Demeter, A. P. Hill, B. H. Langhorst, J. Grieser Painter, Jan P. H. van Santen, E. J. Fombonne, Joel T. Nigg, Damien A. Fair	Subtyping cognitive profiles in Autism Spectrum Disorder using a Functional Random Forest algorithm.	NeuroImage	2018	DBLP DOI BibTeX RDF
16	Mario Bravetti, Marco Carbone, Gianluigi Zavattaro	On the boundary between decidability and undecidability of asynchronous session subtyping.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
16	Pietro Coretto, Angela Serra, Roberto Tagliaferri	Robust clustering of noisy high-dimensional gene expression data for patients subtyping.	Bioinform.	2018	DBLP DOI BibTeX RDF
16	Michael Glueck, Mahdi Pakdaman Naeini, Finale Doshi-Velez, Fanny Chevalier, Azam Khan, Daniel Wigdor, Michael Brudno	PhenoLines: Phenotype Comparison Visualizations for Disease Subtyping via Topic Models.	IEEE Trans. Vis. Comput. Graph.	2018	DBLP DOI BibTeX RDF
16	Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca	Semantic subtyping for non-strict languages.	CoRR	2018	DBLP BibTeX RDF
16	Moez A. AbdelGawad	Java Subtyping as an Infinite Self-Similar Partial Graph Product.	CoRR	2018	DBLP BibTeX RDF
16	Olivier Laurent 0001	Intersection Subtyping with Constructors.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
16	Julia Padberg	Subtyping for Hierarchical, Reconfigurable Petri Nets.	CoRR	2018	DBLP BibTeX RDF
16	Nikhil Galagali, Minnan Xu-Wilson	Patient Subtyping with Disease Progression and Irregular Observation Trajectories.	CoRR	2018	DBLP BibTeX RDF
16	Dariusz Biernacki, Piotr Polesiuk	Logical relations for coherence of effect subtyping.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
16	Tianyu Kang, Kourosh Zarringhalam, Marieke L. Kuijjer, Ping Chen 0001, John Quackenbush, Wei Ding 0003	Clustering on Sparse Data in Non-overlapping Feature Space with Applications to Cancer Subtyping.	ICDM	2018	DBLP DOI BibTeX RDF
16	Yuyan Bao, Gary T. Leavens	A Methodology for Invariants, Framing, and Subtyping in JML.	Principled Software Development	2018	DBLP DOI BibTeX RDF
16	Jan Bessai, Jakob Rehof, Boris Düdder	Fast Verified BCD Subtyping.	Models, Mindsets, Meta	2018	DBLP DOI BibTeX RDF
16	Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira	Consistent Subtyping for All.	ESOP	2018	DBLP DOI BibTeX RDF
16	Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers	Explicit Effect Subtyping.	ESOP	2018	DBLP DOI BibTeX RDF
16	Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca	Semantic Subtyping for Non-Strict Languages.	TYPES	2018	DBLP DOI BibTeX RDF
16	Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers	Formalization of a Polymorphic Subtyping Algorithm.	ITP	2018	DBLP DOI BibTeX RDF
16	Po-Hsiang Chiu, Ning Shang, Chunhua Weng	Sequencing EHR for Disease Subtyping.	AMIA	2018	DBLP BibTeX RDF
16	Suzan Arslanturk, Sorin Draghici	Disease Subtyping using Somatic Variant Data.	BCB	2018	DBLP DOI BibTeX RDF
16	Frédéric Gilbert 0002	Extending higher-order logic with predicate subtyping: Application to PVS. (Extension de la logique d'ordre supérieur avec le sous-typage par prédicats).		2018	RDF
16	Yanpeng Yang, Bruno C. d. S. Oliveira	Unifying typing and subtyping.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
16	James C. Ross, Peter J. Castaldi, Michael H. Cho, Junxiang Chen, Yale Chang, Jennifer G. Dy, Edwin K. Silverman, George R. Washko, Raúl San José Estépar	A Bayesian Nonparametric Model for Disease Subtyping: Application to Emphysema Phenotypes.	IEEE Trans. Medical Imaging	2017	DBLP DOI BibTeX RDF
16	Aïcha BenTaieb, Hector Li-Chang, David G. Huntsman, Ghassan Hamarneh	A structured latent model for ovarian carcinoma subtyping from histopathology slides.	Medical Image Anal.	2017	DBLP DOI BibTeX RDF
16	Moez A. AbdelGawad	Towards a Java Subtyping Operad (extended version).	CoRR	2017	DBLP BibTeX RDF
16	Dariusz Biernacki, Piotr Polesiuk	Logical relations for coherence of effect subtyping.	CoRR	2017	DBLP BibTeX RDF
16	Mario Bravetti, Marco Carbone, Gianluigi Zavattaro	Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types.	CoRR	2017	DBLP BibTeX RDF
16	Artur Boronat	Well-Behaved Model Transformations with Model Subtyping.	CoRR	2017	DBLP BibTeX RDF
16	Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida	On the Preciseness of Subtyping in Session Types.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Jay Ligatti, Jeremy Blackburn, Michael Nachtigal	On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types.	ACM Trans. Program. Lang. Syst.	2017	DBLP DOI BibTeX RDF
16	Mario Bravetti, Marco Carbone, Gianluigi Zavattaro	Undecidability of asynchronous session subtyping.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
16	Ornela Dardha, Daniele Gorla, Daniele Varacca	Semantic Subtyping for Objects and Classes.	Comput. J.	2017	DBLP DOI BibTeX RDF
16	Diana Diaz, Michele Donato, Tin Nguyen 0001, Sorin Draghici	MicroRNA-Augmented Pathways (mirAP) and Their Applications to Pathway Analysis and Disease Subtyping.	PSB	2017	DBLP BibTeX RDF
16	Artur Boronat	Structural model subtyping with OCL constraints.	SLE	2017	DBLP DOI BibTeX RDF
16	Stephen Dolan, Alan Mycroft	Polymorphism, subtyping, and type inference in MLsub.	POPL	2017	DBLP DOI BibTeX RDF
16	Julien Lange, Nobuko Yoshida	On the Undecidability of Asynchronous Session Subtyping.	FoSSaCS	2017	DBLP DOI BibTeX RDF
16	Inci M. Baytas, Cao Xiao, Xi Zhang, Fei Wang 0001, Anil K. Jain 0001, Jiayu Zhou	Patient Subtyping via Time-Aware LSTM Networks.	KDD	2017	DBLP DOI BibTeX RDF
16	Moez A. AbdelGawad	Towards a Java Subtyping Operad.	FTfJP@ECOOP	2017	DBLP DOI BibTeX RDF
16	Gary T. Leavens, David A. Naumann	An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping.	SETSS	2017	DBLP DOI BibTeX RDF
16	Luigi Liquori, Claude Stolze	A Decidable Subtyping Logic for Intersection and Union Types.	TTCS	2017	DBLP DOI BibTeX RDF
16	Xi Zhang, Jian Liang, Cao Xiao, Yize Zhao, Fei Wang 0001	Subtyping Parkinson's Disease with Recurrent Neural Network Models.	AMIA	2017	DBLP BibTeX RDF
16	Sandro Stucki	Higher-Order Subtyping with Type Intervals.		2017	DOI RDF
16	Luca Padovani	Fair subtyping for multi-party session types.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Ioana Cristescu, Daniel Hirschkoff	Termination in a π-calculus with subtyping.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Rodolphe Lepigre, Christophe Raffalli	Subtyping-Based Type-Checking for System F with Induction and Coinduction.	CoRR	2016	DBLP BibTeX RDF
16	Peter J. Schüffler, Judy Sarungbam, Hassan Muhammad, Ed Reznik, Satish K. Tickoo, Thomas J. Fuchs	Mitochondria-based Renal Cell Carcinoma Subtyping: Learning from Deep vs. Flat Feature Representations.	CoRR	2016	DBLP BibTeX RDF
16	Mario Bravetti, Marco Carbone, Gianluigi Zavattaro	Undecidability of Asynchronous Session Subtyping.	CoRR	2016	DBLP BibTeX RDF
16	Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida	On the Preciseness of Subtyping in Session Types.	CoRR	2016	DBLP BibTeX RDF
16	Mehdi Bagherzadeh 0001, Robert Dyer 0001, Rex D. Fernando, José Sánchez, Hridesh Rajan	Modular Reasoning in the Presence of Event Subtyping.	T. Aspect-Oriented Software Development	2016	DBLP DOI BibTeX RDF
16	Davide Ancona, Andrea Corradi	Semantic subtyping for imperative object-oriented languages.	OOPSLA	2016	DBLP DOI BibTeX RDF
16	Burook Misganaw, Mathukumalli Vidyasagar	A robust platform-independent gene signature for single-sample breast cancer subtyping.	ACC	2016	DBLP DOI BibTeX RDF
16	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida	Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
16	Simon J. Gay	Subtyping Supports Safe Session Substitution.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
16	Georgiana E. Lungu, Zhaohui Luo	On Subtyping in Type Theories with Canonical Objects.	TYPES	2016	DBLP DOI BibTeX RDF
16	Timothy Jones 0002, David J. Pearce 0001	A Mechanical Soundness Proof for Subtyping Over Recursive Types.	FTfJP@ECOOP	2016	DBLP BibTeX RDF
16	Benoît Vaugon, Michel Mauny	A Type Inference System Based on Saturation of Subtyping Constraints.	TFP	2016	DBLP DOI BibTeX RDF
16	Peter J. Schüffler, Judy Sarungbam, Hassan Muhammad, Ed Reznik, Satish K. Tickoo, Thomas J. Fuchs	Mitochondria-based Renal Cell Carcinoma Subtyping: Learning from Deep vs. Flat Feature Representations.	MLHC	2016	DBLP BibTeX RDF
16	Benoît Vaugon	Sous-Typage par Saturation de Contraintes, Théorie et Implémentation. (Subtyping by Constraint Saturation, Theory and Implementation).		2016	RDF
16	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida	Precise subtyping for synchronous multiparty sessions.	PLACES	2015	DBLP DOI BibTeX RDF
16	Suchi Saria, Anna Goldenberg	Subtyping: What It is and Its Role in Precision Medicine.	IEEE Intell. Syst.	2015	DBLP DOI BibTeX RDF
16	Gary T. Leavens, David A. Naumann	Behavioral Subtyping, Specification Inheritance, and Modular Reasoning.	ACM Trans. Program. Lang. Syst.	2015	DBLP DOI BibTeX RDF
16	Nils Gesbert, Pierre Genevès, Nabil Layaïda	A Logical Approach to Deciding Semantic Subtyping.	ACM Trans. Program. Lang. Syst.	2015	DBLP DOI BibTeX RDF
16	Dimitris Mostrous, Nobuko Yoshida	Session typing and asynchronous subtyping for the higher-order π-calculus.	Inf. Comput.	2015	DBLP DOI BibTeX RDF
16	Gary T. Leavens	JML: Expressive Contracts, Specification Inheritance, and Behavioral Subtyping.	PPPJ	2015	DBLP DOI BibTeX RDF
16	Dariusz Biernacki, Piotr Polesiuk	Logical Relations for Coherence of Effect Subtyping.	TLCA	2015	DBLP DOI BibTeX RDF
16	Hiroaki Inoue, Atsushi Igarashi	A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers.	APLAS	2015	DBLP DOI BibTeX RDF
16	Mehdi Bagherzadeh 0001, Robert Dyer 0001, Rex D. Fernando, José Sánchez, Hridesh Rajan	Modular reasoning in the presence of event subtyping.	MODULARITY	2015	DBLP DOI BibTeX RDF
16	Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia 0001, Alessandro Sebastian Podda, Livio Pompianu	Compliance and Subtyping in Timed Session Types.	FORTE	2015	DBLP DOI BibTeX RDF
16	Guisong Chang, Hongzeng Wang, Tie Zhang	A novel alignment-free method for whole genome analysis: Application to HIV-1 subtyping and HEV genotyping.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
16	Moez A. AbdelGawad	Subtyping in Java with Generics and Wildcards is a Fractal.	CoRR	2014	DBLP BibTeX RDF
16	Asankhaya Sharma	Verified Subtyping with Traits and Mixins.	FSFMA	2014	DBLP DOI BibTeX RDF
16	Jiangwen Sun, Jinbo Bi, Henry R. Kranzler	Multiview Comodeling to Improve Subtyping and Genetic Association of Complex Diseases.	IEEE J. Biomed. Health Informatics	2014	DBLP DOI BibTeX RDF
16	Henning Berg, Birger Møller-Pedersen	Typing and Subtyping of Metamodels.	MODELSWARD	2014	DBLP DOI BibTeX RDF
16	Ali Assaf 0002	A Calculus of Constructions with Explicit Subtyping.	TYPES	2014	DBLP DOI BibTeX RDF
16	Raphaël Cauderlier, Catherine Dubois	Objects and Subtyping in the Lambda-Pi-Calculus Modulo.	TYPES	2014	DBLP DOI BibTeX RDF
16	Davide Ancona, Andrea Corradi	Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages.	ECOOP	2014	DBLP DOI BibTeX RDF