Polymorphism - PDFSEARCH.IO - Document Search Engine

Polymorphism
Results: 2987

#	Item
1	Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-04-20 00:08:12 Mathematical logic Metalogic Logic Model theory Type theory Proof assistants Proof theory Higher-order logic Theoretical computer science Isabelle Simply typed lambda calculus Gdel's incompleteness theorems
2	Variation data This document explains the variation data present on the EnsemblPlants website. Here the term variation data is used synonymously for Single Nucleotide Polymorphism (SNP) data and small Insertion/Deletions Add to Reading List Source URL: www.wheat-training.com Language: English - Date: 2016-07-25 12:28:21
3	Mapping Polymorphism Ryan Wisnesky (Harvard) Mauricio Hernandez (IBM Almaden) Lucian Popa (IBM Almaden) ICDT 2010 Add to Reading List Source URL: wisnesky.net Language: English - Date: 2015-08-19 23:56:43
4	Mapping Polymorphism∗ Ryan Wisnesky Harvard University IBM Almaden Research Center Add to Reading List Source URL: wisnesky.net Language: English - Date: 2015-08-19 23:56:43
5	Levity Polymorphism (extended version) Richard A. Eisenberg Simon Peyton Jones Bryn Mawr College Add to Reading List Source URL: cs.brynmawr.edu Language: English - Date: 2016-11-17 15:03:49
6	articles A genetic variation map for chicken with 2.8 million single-nucleotide polymorphisms International Chicken Polymorphism Map Consortium* Add to Reading List Source URL: chicken.genomics.org.cn Language: English - Date: 2004-12-13 01:40:53
7	INVESTIGATION Polymorphism Identiﬁcation and Improved Genome Annotation of Brassica rapa Through Deep RNA Sequencing Upendra Kumar Devisetty, Michael F. Covington, An V. Tat,1 Saradadevi Lekkala, and Julin N. Maloof 2 Add to Reading List Source URL: malooflab.phytonetworks.org Language: English - Date: 2015-05-26 18:05:49
8	Acta Zoologica Academiae Scientiarum Hungaricae 48 (Suppl. 2), pp. 203–208, 2002 ENZYMATIC POLYMORPHISM IN CHRYSOPERLA CARNEA (STEPHENS) AND C. KOLTHOFFI (NAVÁS) (NEUROPTERA : CHRYSOPIDAE) MOULOUD, M., CHU, N. T., SI Add to Reading List Source URL: actazool.nhmus.hu Language: English - Date: 2002-09-21 08:56:28
9	Brooke Allan Foraging-induced polymorphism in sticklebacks and perch On various occasions, freshwater lakes have been described as sites that promote adaptive radiation of species, by which discrete ‘morphs’ have pot Add to Reading List Source URL: www.fsbi.org.uk Language: English - Date: 2016-12-03 16:32:10
10	Vitamin D Receptor (VDR) Gene Polymorphism: Implications on Non-Bone Diseases Add to Reading List Source URL: www.jbclinpharm.org Language: English - Date: 2018-07-06 00:41:48

UPDATE