Polymorphism

Results: 2987



#Item
281

A logic for parametric polymorphism with effects Rasmus Ejlers Møgelberg and Alex Simpson LFCS, School of Informatics, University of Edinburgh Abstract. We present a logic for reasoning about parametric polymorphism in

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2007-12-18 07:08:12
    282Logic / Linguistics / Philosophical logic / Symbol / Mixing / Interpretation

    TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany

    Add to Reading List

    Source URL: www4.in.tum.de

    Language: English - Date: 2015-01-25 16:18:54
    283Genetics / Molecular biology / Genetic genealogy / Single-nucleotide polymorphism / Biology / Population genetics / DNA

    2015 IEEE CS Security and Privacy Workshops Privacy Threats and Practical Solutions for Genetic Risk Tests Ludovic Barman, Mohammed-Taha Elgraini, Jean Louis Raisaro, and Jean-Pierre Hubaux ´ Ecole

    Add to Reading List

    Source URL: www.genopri.org

    Language: English - Date: 2015-05-21 15:26:53
    284Biological databases / Genomics / Galaxy / Single-nucleotide polymorphism / Human genome / Ensembl / UCSC Genome Browser / Biology / Bioinformatics / Science

    High-throughput annotation of genomic datasets with Genephony Angelo Nuzzo and Alberto Riva ! Abstract — We describe the initial implementation of Genephony, an online tool for the creation and manipulation of

    Add to Reading List

    Source URL: www.biotconf.org

    Language: English - Date: 2014-05-21 17:42:44
    285

    Decreasing mathematical strength in one formalization of parametric polymorphism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI res

    Add to Reading List

    Source URL: intelligence.org

    Language: English - Date: 2014-06-06 13:58:20
      286Philosophy of biology / Homomorphic encryption / Genetic epidemiology / Abstract algebra / Single-nucleotide polymorphism / Genetic association / Genome-wide association study / Cloud computing / Euclidean vector / Biology / Genetics / Cryptography

      2015 IEEE CS Security and Privacy Workshops Efficient Secure Outsourcing of Genome-wide Association Studies Wenjie Lu

      Add to Reading List

      Source URL: www.genopri.org

      Language: English - Date: 2015-05-21 15:25:06
      287Applied mathematics / Theoretical computer science / Data types / Polymorphism / Lambda calculus / Π-calculus / Type system / Subtype polymorphism / System F / Mathematics / Type theory / Software engineering

      Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi

      Add to Reading List

      Source URL: www.dcs.gla.ac.uk

      Language: English - Date: 2013-12-29 19:43:45
      288Molecular biology / Population genetics / Biological databases / Single-nucleotide polymorphism / International HapMap Project / SNP genotyping / Nasopharyngeal carcinoma / Melanoma / Cervical cancer / Biology / Genetics / DNA

      TLR3 gene polymorphisms in cancer: a systematic review and meta-analysis

      Add to Reading List

      Source URL: www.cjcjournal.com

      Language: English
      289Genetic genealogy / Classical genetics / Molecular biology / Single-nucleotide polymorphism / Genome-wide association study / Genetic association / Class / Genetics / Biology / Population genetics

      Differences between snpStats and snpMatrix David Clayton April 16, 2015 The snpMatrix and snpStats packages The package “snpMatrix” was written to provide data classes and methods to facilitate the

      Add to Reading List

      Source URL: www.bioconductor.org

      Language: English - Date: 2015-04-16 22:34:47
      290Chemistry / Genetic genealogy / Beta blockers / Classical genetics / Matrix metalloproteinase / Metalloproteins / Haplotype / Polymorphism / Metoprolol / Genetics / Biology / Population genetics

      Microsoft Word - setor11 2009.doc

      Add to Reading List

      Source URL: www.sbfte.org.br

      Language: English - Date: 2015-04-07 16:00:17
      UPDATE