The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for polymorphism with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1986 (16) 1987-1988 (20) 1989 (17) 1990 (24) 1991 (40) 1992-1993 (38) 1994 (24) 1995 (32) 1996 (32) 1997 (28) 1998 (30) 1999 (55) 2000 (47) 2001 (41) 2002 (39) 2003 (60) 2004 (78) 2005 (76) 2006 (75) 2007 (75) 2008 (91) 2009 (65) 2010 (37) 2011 (30) 2012 (17) 2013 (28) 2014 (27) 2015 (27) 2016 (27) 2017 (25) 2018 (20) 2019 (25) 2020 (20) 2021 (26) 2022 (20) 2023 (24) 2024 (5)
Publication types (Num. hits)
article(451) incollection(3) inproceedings(888) phdthesis(19)
Venues (Conferences, Journals, ...)
POPL(52) ICFP(49) Nucleic Acids Res.(41) NeuroImage(37) CoRR(33) ESOP(29) ACM Trans. Program. Lang. Syst...(28) OOPSLA(24) Bioinform.(21) ECOOP(21) BMC Bioinform.(17) LICS(16) OOPSLA Companion(15) APLAS(14) ACM SIGPLAN Notices(12) PLDI(12) More (+10 of total 520)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1365 occurrences of 650 keywords

Results
Found 1361 publication records. Showing 1361 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
16Ankita Shukla, Tiratha Raj Singh Structure based inference of functional single nucleotide polymorphism and its role in TGFβ1 allied colorectal cancer (CRC). Search on Bibsonomy Int. J. Bioinform. Res. Appl. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Chamil Rathnayake Uptake, polymorphism, and the construction of networked events on Twitter. Search on Bibsonomy Telematics Informatics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Adam Jaffe Characterizing Bipartite Graphs Which Admit a k-NU Polymorphism via Absolute Retracts. Search on Bibsonomy Graphs Comb. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16M. Clarence Protin, Gilda Ferreira Typability and Type Inference in Atomic Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
16Paolo Pistone, Luca Tranchini What's Decidable about (Atomic) Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
16Preeti Jha, Aruna Tiwari, Neha Bharill, Milind B. Ratnaparkhe, Mukkamalla Mounika, Neha Nagendra Apache Spark based kernelized fuzzy clustering framework for single nucleotide polymorphism sequence analysis. Search on Bibsonomy Comput. Biol. Chem. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Manish Datt Interplay of substrate polymorphism and conformational plasticity of Plasmodium tyrosyl-tRNA synthetase. Search on Bibsonomy Comput. Biol. Chem. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Haritha Mallina, Ramprasad Elumalai, Solomon F. D. Paul, C. George Priya Doss, Udhayakumar S, Gnanasambandan Ramanathan Computational validation of ABCB1 gene polymorphism and its effect on tacrolimus dose concentration/levels in renal transplant individuals of South India. Search on Bibsonomy Comput. Biol. Medicine The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16John Kenneth Truss, Edith Vargas-García Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals. Search on Bibsonomy Contributions Discret. Math. The full citation details ... 2021 DBLP  BibTeX  RDF
16Dylan Weil, Alexa Fort, Rhiannon Wold Gonzalez, Irina Vlasova-St. Louis Predicting the functional consequences of non-synonymous rs121918573 single-nucleotide polymorphism within the plant homeobox finger domain of human recombination activation gene 2. Search on Bibsonomy Int. J. Data Min. Bioinform. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16M. Clarence Protin Type inhabitation of atomic polymorphism is undecidable. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Gizem Caylak, Öznur Tastan, A. Ercüment Çiçek A Tool for Detecting Complementary Single Nucleotide Polymorphism Pairs in Genome-Wide Association Studies for Epistasis Testing. Search on Bibsonomy J. Comput. Biol. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Jun Zhong, Ping Zhang, Jie Wu, Qiao Liu, Jingjing Yang, Jingyun Fu Analysis of Risk Factors for Hyperglycemia and GHR Gene Polymorphism in Growth Hormone secreting Pituitary Adenoma. Search on Bibsonomy BIBE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Paolo Pistone, Luca Tranchini What's Decidable About (Atomic) Polymorphism? Search on Bibsonomy FSCD The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Antranig Basman Markup-driven polymorphism: A little journey (Work in Progress). Search on Bibsonomy PPIG The full citation details ... 2021 DBLP  BibTeX  RDF
16Mengchi Zhang, Ahmad Alawneh, Timothy G. Rogers Characterizing Massively Parallel Polymorphism. Search on Bibsonomy ISPASS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Tanzila Islam, Chyon Hae Kim, Hiroyoshi Iwata, Hiroyuki Shimono, Akio Kimura, Hein Zaw, Chitra Raghavan, Hei Leung, Rakesh Kumar Singh A Deep Learning Method to Impute Missing Values and Compress Genome-ide Polymorphism Data in Rice. Search on Bibsonomy BIOINFORMATICS The full citation details ... 2021 DBLP  BibTeX  RDF
16Yafeng Li, Yiyao Liu, Tianfu Wang 0001, Baiying Lei Alzheimer's Disease Prediction via the Association of Single Nucleotide Polymorphism with Brain Regions. Search on Bibsonomy CCBR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Nathan Mills, Allen Wang, Nasser Giacaman Visual Analogy for Understanding Polymorphism Types. Search on Bibsonomy ACE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Ahmed Samir, Fairuz Soufy, Omar Ehab, Sara Hassan, Lobna Shaheen, Ashraf AbdelRaouf, Nourhan Elsamanodie, Omar Eldemerdash, Rawan AL-Kady, Lamiaa N. Hammad, Mohamed H. Shahin A new approach for detection Alzheimer's Disease with machine learning using Whole Genomic and Single Nucleotide Polymorphism-Chip data. Search on Bibsonomy CCWC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann Effects as capabilities: effect handlers and lightweight effect polymorphism. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Juan Enrique Sánchez Lasheras, Carmen González-Donquiles, Paulino José García Nieto, José Juan Jiménez Moleon, Dolores Salas-Trejo, Sergio Luis Suárez Gómez, Antonio J. Molina de la Torre, Joaquín González-Nuevo, Laura Bonavera, Jorge Carballido-Landeira, Francisco Javier de Cos Juez A methodology for detecting relevant single nucleotide polymorphism in prostate cancer with multivariate adaptive regression splines and backpropagation artificial neural networks. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Can Alkan Automatic characterization of copy number polymorphism using high throughput sequencing. Search on Bibsonomy Turkish J. Electr. Eng. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Ka-Chun Wong, Shankai Yan, Qiuzhen Lin, Xiangtao Li, Chengbin Peng Deleterious Non-Synonymous Single Nucleotide Polymorphism Predictions on Human Transcription Factors. Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16José Espírito Santo, Gilda Ferreira A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism. Search on Bibsonomy Stud Logica The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
16Yong Li, Xue-Yu Chen, Wei-Min Gu, Hai-Ming Qian, Yuan Tian, Jie Tang, Ting Cheng A meta-analysis of tumor necrosis factor (TNF) gene polymorphism and susceptibility to influenza A (H1N1). Search on Bibsonomy Comput. Biol. Chem. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Manish Manish, Andrew M. Lynn, Smriti Mishra Cytochrome P450 2C9 polymorphism: Effect of amino acid substitutions on protein flexibility in the presence of tamoxifen. Search on Bibsonomy Comput. Biol. Chem. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Benno van den Berg Univalent polymorphism. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Agata Gryta, Magdalena Frac Methodological Aspects of Multiplex Terminal Restriction Fragment Length Polymorphism-Technique to Describe the Genetic Diversity of Soil Bacteria, Archaea and Fungi. Search on Bibsonomy Sensors The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Hanna Märkle, Aurélien Tellier Inference of coevolutionary dynamics and parameters from host and parasite polymorphism data of repeated experiments. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Marwa M. Abd El Hamid, Nehal M. Ali, Mohamed N. Saad, Mai S. Mabrouk, Olfat G. Shaker Multiple sclerosis: an associated single-nucleotide polymorphism study on Egyptian population. Search on Bibsonomy Netw. Model. Anal. Health Informatics Bioinform. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Endre Tóth, Tamás Waldhauser Polymorphism-homogeneity and universal algebraic geometry. Search on Bibsonomy ALGOS The full citation details ... 2020 DBLP  BibTeX  RDF
16Silvia Sebastián, Juan Caballero Towards Attribution in Mobile Markets: Identifying Developer Account Polymorphism. Search on Bibsonomy CCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. Search on Bibsonomy APLAS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Arpitha P. Bharathi, Monaldo Mastrolilli Ideal Membership Problem and a Majority Polymorphism over the Ternary Domain. Search on Bibsonomy MFCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Joshua B. Gross, Gabriel S. Oliviera, Kevin Coogan Toward a Model of Polymorphism Comprehension. Search on Bibsonomy SIGCSE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates FreezeML: complete and easy type inference for first-class polymorphism. Search on Bibsonomy PLDI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Elvira Bondareva, Olga Parfenteva, Valentine D. Son'kin Influence of the -3826A/G Polymorphism UCP1 (rs1800592) and Physical Activity on Obesity-related Traits in Russian Females with Different Level of Physical Activity. Search on Bibsonomy icSPORTS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Srilakshmi Srinivasan, Jyotsna Batra Single Nucleotide Polymorphism Typing. Search on Bibsonomy Encyclopedia of Bioinformatics and Computational Biology (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Jana Dunfield, Neelakantan R. Krishnaswami Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Changchuan Yin, Stephen S.-T. Yau Whole genome single nucleotide polymorphism genotyping of Staphylococcus aureus. Search on Bibsonomy Commun. Inf. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Aleksandr Igorevich Zhernakov, Alexey Mikhailovich Afonin, Natalia Dmitrievna Gavriliuk, Olga Mikhailovna Moiseeva, Vladimir Aleksandrovich Zhukov s-dePooler: determination of polymorphism carriers from overlapping DNA pools. Search on Bibsonomy BMC Bioinform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Akio Miyao, Jianyu Song Kiyomiya, Keiko Iida, Koji Doi, Hiroshi Yasue Polymorphic edge detection (PED): two efficient methods of polymorphism detection from next-generation sequencing data. Search on Bibsonomy BMC Bioinform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Julika Zimmermann, Nadja Deris, Christian Montag, Martin Reuter 0003, Andrea Felten, Benjamin Becker, Bernd Weber 0001, Sebastian A. Markett Corrigendum to "A common polymorphism on the oxytocin receptor gene (rs2268498) and resting-state functional connectivity of amygdala subregions - A genetic imaging study" [NeuroImage 179 (2018) 1-10]. Search on Bibsonomy NeuroImage The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso Typed path polymorphism. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Zhen Wah Tan, Wei-Ven Tee, Enrico Guarnera, Lauren Booth, Igor N. Berezovsky AlloMAPS: allosteric mutation analysis and polymorphism of signaling database. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Lê Thành Dung Nguyên, Paolo Pistone, Thomas Seiller, Lorenzo Tortora de Falco Finite semantics of polymorphism, complexity and the power of type fixpoints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
16Paolo Pistone, Luca Tranchini, Mattia Petrolo The naturality of natural deduction (II). Some remarks on atomic polymorphism. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
16Justin Slepak, Olin Shivers, Panagiotis Manolios The Semantics of Rank Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
16Paolo Pistone, Luca Tranchini Polymorphism and the free bicartesian closed category. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
16Mozhdeh Zamani, Mahboobeh Eslami, Navid Nezafat, Seyed Vahid Hosseini, Younes Ghasemi Evaluating the effect of BDNF Val66Met polymorphism on complex formation with HAP1 and Sortilin1 via structural modeling. Search on Bibsonomy Comput. Biol. Chem. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Opeyemi S. Soremekun, Mahmoud E. S. Soliman From genomic variation to protein aberration: Mutational analysis of single nucleotide polymorphism present in ULBP6 gene and implication in immune response. Search on Bibsonomy Comput. Biol. Medicine The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Ruchi Lohia, Reza Salari, Grace Brannigan Sequence specificity despite intrinsic disorder: How a disease-associated Val/Met polymorphism rearranges tertiary interactions in a long disordered protein. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Andreas Lochbihler Effect Polymorphism in Higher-Order Logic (Proof Pearl). Search on Bibsonomy J. Autom. Reason. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Gilda Ferreira, Vasco T. Vasconcelos The computational content of atomic polymorphism. Search on Bibsonomy Log. J. IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Hamid Eghbal-Zadeh, Lukas Fischer 0001, Niko Popitsch, Florian Kromp, Sabine Taschner-Mandl, Teresa Gerber, Eva Bozsaky, Peter F. Ambros, Inge M. Ambros, Gerhard Widmer, Bernhard Alois Moser DeepSNP: An End-to-End Deep Neural Network with Attention-Based Localization for Breakpoint Detection in Single-Nucleotide Polymorphism Array Genomic Data. Search on Bibsonomy J. Comput. Biol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Shin-ya Nishizaki ML Polymorphism of Linear Lambda Calculus with First-class Continuations. Search on Bibsonomy ICSCA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers Distributive Disjoint Polymorphism for Compositional Programming. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Iyswarya Narayanan, Aishwarya Ganesan, Anirudh Badam, Sriram Govindan, Bikash Sharma, Anand Sivasubramaniam Getting more performance with polymorphism from emerging memory technologies. Search on Bibsonomy SYSTOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Colleen M. Lewis, Daniel D. Garcia, Helen H. Hu, Saber Khan, Nigamanth Sridhar, Bryan Twarek, Chinma Uche Microteaching: Recursion, Coding Style, Creative Coding, Inheritance and Polymorphism, Loops, and the Internet. Search on Bibsonomy SIGCSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Justin Slepak, Olin Shivers, Panagiotis Manolios Records with rank polymorphism. Search on Bibsonomy ARRAY@PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Dominique Devriese Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. Search on Bibsonomy Haskell@ICFP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Waldemar Pokuta The Concept of a Flexible Database - Implementation of Inheritance and Polymorphism. Search on Bibsonomy ISAT (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima Finitary polymorphism for optimizing type-directed compilation. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Jennifer Hackett, Graham Hutton Parametric polymorphism and operational improvement. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Julika Zimmermann, Nadja Deris, Christian Montag, Martin Reuter 0003, Andrea Felten, Benjamin Becker, Bernd Weber 0001, Sebastian A. Markett A common polymorphism on the oxytocin receptor gene (rs2268498) and resting-state functional connectivity of amygdala subregions - A genetic imaging study. Search on Bibsonomy NeuroImage The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Beatriz López 0001, Ferran Torrent-Fontbona, Ramón Viñas 0002, José Fernández-Real Single Nucleotide Polymorphism relevance learning with Random Forests for Type 2 diabetes risk prediction. Search on Bibsonomy Artif. Intell. Medicine The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Paolo Pistone Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Alberto Casagrande, Joanna Jarmolowska, Marcello Turconi, Pierpaolo Busan, Francesco Fabris, Piero Paolo Battaglini PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions. Search on Bibsonomy Int. J. Hum. Comput. Interact. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Mohammad Sultan Alam Analysis of Sequence Polymorphism of LINEs and SINEs in Entamoeba histolytica. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
16Benno van den Berg Univalent polymorphism. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
16Guillaume Munch-Maccagnoni Resource Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
16Gopalan Nadathur, Yuting Wang 0001 Schematic Polymorphism in the Abella Proof Assistant. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
16Gilda Ferreira Atomic polymorphism and the existence property. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Markus Boenn ShRangeSim: Simulation of Single Nucleotide Polymorphism Clusters in Next-Generation Sequencing Data. Search on Bibsonomy J. Comput. Biol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Nicholas B. Larson, Chen Wang, Jie Na, Ross A. Rowsey, William Edward Highsmith, Nicole L. Hoppman, Jean-Pierre A. Kocher, Eric W. Klee Improving Single-Nucleotide Polymorphism-Based Fetal Fraction Estimation of Maternal Plasma Circulating Cell-Free DNA Using Bayesian Hierarchical Models. Search on Bibsonomy J. Comput. Biol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Andreas Nuyts, Dominique Devriese Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Guilhem Jaber, Nikos Tzevelekos A Trace Semantics for System F Parametric Polymorphism. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Justin Slepak, Panagiotis Manolios, Olin Shivers Rank polymorphism viewed as a constraint problem. Search on Bibsonomy ARRAY@PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Alejandro Serrano 0001, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones Guarded impredicative polymorphism. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Jerry Swan, Colin G. Johnson, Edwin C. Brady Subtype polymorphism à la carte via machine learning on dependent types. Search on Bibsonomy ISSTA/ECOOP Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Gopalan Nadathur, Yuting Wang 0001 Schematic Polymorphism in the Abella Proof Assistant. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Yi Liu, Will N. Browne, Bing Xue 0001 Hierarchical Learning Classifier Systems for Polymorphism in Heterogeneous Niches. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Yizhou Zhang 0001, Andrew C. Myers Familia: unifying interfaces, type classes, and family polymorphism. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Mbemba Jabbi, Brett Cropp, Tiffany Nash, Philip Kohn, J. Shane Kippenhan, Joseph C. Masdeu, Raghav Mattay, Bhaskar S. Kolachana, Karen Faith Berman BDNF Val66Met polymorphism tunes frontolimbic circuitry during affective contextual learning. Search on Bibsonomy NeuroImage The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Thomas Degueule, Benoît Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel Safe model polymorphism for flexible modeling. Search on Bibsonomy Comput. Lang. Syst. Struct. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Ruifang Cao, Yan Shi, Shuangguan Chen, Yimin Ma, Jiajun Chen, Juan Yang, Geng Chen 0003, Tieliu Shi dbSAP: single amino-acid polymorphism database for protein variation detection. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Mike Behrisch, John Kenneth Truss, Edith Vargas-García Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. Search on Bibsonomy Stud Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Paolo Pistone Polymorphism and the obstinate circularity of second order logic: a victims' tale. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
16Ki Yung Ahn An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
16Juan Edi, Andrés Viso, Eduardo Bonelli Efficient Type Checking for Path Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
16Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet Runtime Code Polymorphism as a Protection Against Side Channel Attacks. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2017 DBLP  BibTeX  RDF
16Andreas Lochbihler Effect polymorphism in higher-order logic. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2017 DBLP  BibTeX  RDF
16Beta Ziliani, Matthieu Sozeau A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. Search on Bibsonomy J. Funct. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper 0001 Correctness of compiling polymorphism to dynamic typing. Search on Bibsonomy J. Funct. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16M. Stanley Fujimoto, Cole A. Lyman, Anton Suvorov, Paul M. Bodily, Quinn Snell, Keith A. Crandall, Seth M. Bybee, Mark J. Clement Genome Polymorphism Detection Through Relaxed de Bruijn Graph Construction. Search on Bibsonomy BIBE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Karl Crary Modules, abstraction, and parametric polymorphism. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Stephen Dolan, Alan Mycroft Polymorphism, subtyping, and type inference in MLsub. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Lian Li 0002, Yi Lu 0003, Jingling Xue Dynamic symbolic execution for polymorphism. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
Displaying result #301 - #400 of 1361 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license