Polymorphism

Results: 2987



#Item
441Data types / Computer programming / Object-oriented programming / Primitive types / Programming paradigms / Type system / Subtype polymorphism / Soundness / Reference / Software engineering / Type theory / Computing

1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2012-09-21 10:50:57
442Bosons / Phase transitions / Computational chemistry / Molecular dynamics / Molecular modelling / Crystal structure / Phonon / Periodic boundary conditions / Ice / Chemistry / Physics / Condensed matter physics

Supporting Material for: Superionicity and Polymorphism in Calcium Fluoride at High Pressure Claudio Cazorla∗ School of Materials Science and Engineering, University of New South Wales, Sydney NSW 2052, Australia Danie

Add to Reading List

Source URL: www.claudiocazorla.com

Language: English - Date: 2014-12-05 05:57:57
443Human evolution / DNA / Genetic genealogy / Population genetics / SNP genotyping / Single-nucleotide polymorphism / Polymerase chain reaction / Haplotype / Human Y-chromosome DNA haplogroup / Biology / Genetics / Molecular biology

J Forensic Sci, July 2004, Vol. 49, No. 4 Paper ID JFS2003303 Available online at: www.astm.org Peter M. Vallone,1 Ph.D. and John M. Butler,1 Ph.D.

Add to Reading List

Source URL: www.cstl.nist.gov

Language: English - Date: 2004-07-15 09:37:57
444Computer programming / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Subtype polymorphism / Type system / System F / Foreach loop / Software engineering / Computing / Type theory

Object Calculi with Dynamic Messages Michele Bugliesi∗ Dip. di Informatica Universit` a “Ca’ Foscari” di Venezia Via Torino 155, IMestre (VE), Italy

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 07:06:13
445Computer programming / Type theory / Type conversion / Primitive data type / Subtype polymorphism / Ada / Array data type / Enumerated type / C / Software engineering / Computing / Data types

Safe and Secure Software An Invitation to Ada

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2012-03-22 11:54:57
446DNA / Mutation / Population genetics / Single-nucleotide polymorphism / Genetic code / Penetrance / Genome-wide association study / Gene / Human genome / Biology / Genetics / Molecular biology

FAQ 2015 HGMD® - Frequently Asked Questions 1 In HGMD®, there are many common SNPs listed as mutations. Are you going to

Add to Reading List

Source URL: www.biobase-international.com

Language: English - Date: 2015-04-02 11:58:23
447Myrmarachne / Species / Science / Polymorphism / Sexual selection / Autapomorphy / Ant mimicry / Salticidae / Behavior / Biology

PeckhamiaMatching sexes exemplified by Myrmarachne PECKHAMIA 111.1, 12 October 2013, 1―12 urn:lsid:zoobank.org:pub:8F2D-4BC6-B9EE-EDCC39DE0168 (registered 9 OCT 2013)

Add to Reading List

Source URL: peckhamia.com

Language: English - Date: 2013-10-16 00:25:10
448DNA / Population genetics / Applied genetics / RAPD / Genetic marker / Genetic variation / DNA profiling / Haor / Restriction fragment length polymorphism / Biology / Molecular biology / Genetics

Int. J. BiosciInternational Journal of Biosciences (IJB) ISSN: PrintOnline) Vol. 2, No. 9, p, 2012

Add to Reading List

Source URL: www.innspub.net

Language: English - Date: 2012-09-19 04:46:05
449Type theory / Object-oriented programming / Data types / Cross-platform software / Polymorphism / Type system / Object / Subtype polymorphism / Type inference / Software engineering / Computing / Computer programming

CALCULEMUSMining Maple Code for Contracts Jacques Carette 1 Stephen Forrest 2 Computing and Software McMaster University

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2006-09-07 12:33:54
450Statistics / Computational linguistics / Natural language processing / Semantics / Flatcat / Word-sense disambiguation / Conditional random field / Segmentation / Polymorphism / Machine learning / Science / Linguistics

Morfessor FlatCat: An HMM-Based Method for Unsupervised and Semi-Supervised Learning of Morphology Stig-Arne Gr¨onroos1 Sami Virpioja2

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2014-08-08 12:22:55
UPDATE