|
|
Venues (Conferences, Journals, ...)
|
|
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 |
16 | João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi |
Disjoint Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 1-28, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Marin Aglic Cuvic, Josip Maras, Sasa Mladenovic |
Extending the object-oriented notional machine notation with inheritance, polymorphism, and GUI events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 40th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2017, Opatija, Croatia, May 22-26, 2017, pp. 794-799, 2017, IEEE, 978-953-233-090-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Richard A. Eisenberg, Simon Peyton Jones |
Levity polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 525-539, 2017, ACM, 978-1-4503-4988-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Zellmann, Ulrich Lang 0002 |
C++ Compile Time Polymorphism for Ray Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMV ![In: 22nd International Symposium on Vision, Modeling, and Visualization, VMV 2017, Bonn, Germany, September 25-27, 2017., pp. 129-136, 2017, Eurographics Association, 978-3-03868-049-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ali Foroughi Pour, Lori A. Dalton |
Optimal Bayesian feature filtering for single-nucleotide polymorphism data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2017 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2017, Kansas City, MO, USA, November 13-16, 2017, pp. 2290-2292, 2017, IEEE Computer Society, 978-1-5090-3050-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Lochbihler |
Effect Polymorphism in Higher-Order Logic (Proof Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 389-409, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Juan Enrique Sánchez Lasheras, Adonina Tardón, Guillermo González Tardón, Sergio Luis Suárez Gómez, Vicente Martín Sánchez, Carmen González-Donquiles, Francisco Javier de Cos Juez |
A Methodology for the Detection of Relevant Single Nucleotide Polymorphism in Prostate Cancer by Means of Multivariate Adaptive Regression Splines and Backpropagation Artificial Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCO-CISIS-ICEUTE ![In: International Joint Conference SOCO'17-CISIS'17-ICEUTE'17, León, Spain, September 6-8, 2017, Proceedings, pp. 391-399, 2017, Springer, 978-3-319-67179-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Samer Al Masri, Nazim Uddin Bhuiyan, Sarah Nadi, Matthew Gaudet |
Software variability through C++ static polymorphism: a case study of challenges and open problems in eclipse OMR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, CASCON 2017, Markham, Ontario, Canada, November 6-8, 2017, pp. 285-291, 2017, IBM / ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
An extensible approach to session polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 26(3), pp. 465-509, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Stephanie M. Greer, Andrea Goldstein, Brian Knutson, Matthew P. Walker |
A Genetic Polymorphism of the Human Dopamine Transporter Determines the Impact of Sleep Deprivation on Brain Responses to Rewards and Punishments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 28(6), pp. 803-810, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yunlong Yu, Le Ru, Wensheng Chi, Yaqing Liu, Qiangqiang Yu, Kun Fang |
Ant colony optimization based polymorphism-aware routing algorithm for ad hoc UAV network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 75(22), pp. 14451-14476, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Alencar Xavier, William M. Muir, Katy Martin Rainey |
Impact of imputation methods on the amount of genetic variation captured by a single-nucleotide polymorphism panel in soybeans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 17, pp. 55, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Regina Boecker-Schlier, Nathalie E. Holz, Arlette F. Buchmann, Dorothea Blomeyer, Michael M. Plichta, Christine Jennen-Steinmetz, Isabella Wolf, Sarah Baumeister, Jens Treutlein, Marcella Rietschel, Andreas Meyer-Lindenberg, Tobias Banaschewski, Daniel Brandeis, Manfred Laucht |
Interaction between COMT Val158Met polymorphism and childhood adversity affects reward processing in adulthood. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 132, pp. 556-570, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Thorben Schlüter, Oliver Winz, Karsten Henkel, Thomas Eggermann, Siamak Mohammadkhani-Shali, Claudia Dietrich, Alexander Heinzel, Michel G. Decker, Paul Cumming, Klaus Zerres, Markus Piel, Felix M. Mottaghy, Ingo Vernaleken |
MAOA-VNTR polymorphism modulates context-dependent dopamine release and aggressive behavior in males. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 125, pp. 378-385, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | L. Forest Gruss, Taimour Langaee, Andreas Keil |
The role of the COMT val158met polymorphism in mediating aversive learning in visual cortex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 125, pp. 633-642, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | H. Schneider-Hassloff, Benjamin Straube, Andreas Jansen, B. Nuscheler, G. Wemken, Stephanie H. Witt, Marcella Rietschel, Tilo Kircher |
Oxytocin receptor polymorphism and childhood social experiences shape adult personality, brain structure and neural correlates of mentalizing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 134, pp. 671-684, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yina Ma, Chenbo Wang, Siyang Luo, Bingfeng Li, Tor D. Wager, Wenxia Zhang, Yi Rao, Shihui Han |
Serotonin transporter polymorphism alters citalopram effects on human pain responses to physical pain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 135, pp. 186-196, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Sreeram Krishnan, P. Rani |
Polymorphism in the ligand binding domain of rage alters its binding affinity towards Aβ42 peptides: an in-silico study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bioinform. Res. Appl. ![In: Int. J. Bioinform. Res. Appl. 12(3), pp. 181-193, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Li-Yeh Chuang, Sin-Hua Moi, Yu-Da Lin, Cheng-Hong Yang 0001 |
A comparative analysis of chaotic particle swarm optimizations for detecting single nucleotide polymorphism barcodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Medicine ![In: Artif. Intell. Medicine 73, pp. 23-33, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón |
Type Soundness for Path Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.03271, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Jana Dunfield, Neelakantan R. Krishnaswami |
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.05106, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Faezeh Marzbanrad, Ahsan H. Khandoker, Brett D. Hambly, Ethan Ng, Michael Tamayo, Yaxin Lu, Slade Matthews, Chandan K. Karmakar, Marimuthu Palaniswami, Herbert F. Jelinek, Craig McLachlan |
Methodological Comparisons of Heart Rate Variability Analysis in Patients With Type 2 Diabetes and Angiotensin Converting Enzyme Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Biomed. Health Informatics ![In: IEEE J. Biomed. Health Informatics 20(1), pp. 55-63, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Carlos Camarão 0001, Lucília Figueiredo, Rodrigo Geraldo Ribeiro |
Ambiguity and constrained polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 124, pp. 1-19, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jing Zhao, Bin Wei, Jin Zhang |
单核苷酸多态性在疾病相关性分析中的编码问题研究 (Research on Single Nucleotide Polymorphism Encoding in Disease Association Studies). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(Z6), pp. 219-221, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jacek Chrzaszcz, Aleksy Schubert |
The role of polymorphism in the characterisation of complexity by soft types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 248, pp. 130-149, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Nicolas Bredèche, Jean-Baptiste André, Arthur Bernard |
Evolving Specialisation in a Population of Heterogeneous Robots: the Challenge of Bootstrapping and Maintaining Genotypic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALIFE ![In: Fifteenth International Conference on the Simulation and Synthesis of Living Systems, ALIFE 2016, Cancun, Mexico, July 4-6, 2016, pp. 152-159, 2016, MIT Press. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky |
Call graphs for languages with parametric polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016, pp. 394-409, 2016, ACM, 978-1-4503-4444-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Rossberg |
1ML with Special Effects - F-ing Generativity Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 336-355, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | James Laird |
Game Semantics for Bounded Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 55-70, 2016, Springer, 978-3-662-49629-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson |
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 3-19, 2016, Springer, 978-3-662-49629-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe 0001 |
TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., pp. 41-55, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Damien 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](Pics/bibsonomy.png) |
WISTP ![In: Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, pp. 136-152, 2016, Springer, 978-3-319-45930-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey Todd McDonald, Yong C. Kim, Todd R. Andel, Miles A. Forbes, James McVicar |
Functional polymorphism for intellectual property protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOST ![In: 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016, McLean, VA, USA, May 3-5, 2016, pp. 61-66, 2016, IEEE Computer Society, 978-1-4673-8826-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Richard Ruzicka, Radek Tesar |
Lets move polymorphism downwards: On the multifunctional logic based on ambipolar behaviour of semiconductor devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTIS ![In: 2016 International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2016, Istanbul, Turkey, April 12-14, 2016, pp. 1-5, 2016, IEEE, 978-1-5090-0336-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Ondrej Kuncar |
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
16 | Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón |
Type Soundness for Path Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015, pp. 235-251, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell |
Bifibrational Functorial Semantics of Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015, pp. 165-181, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Paola Giannini, Elena Zucca |
Incremental Rebinding with Name Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015, pp. 19-34, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jian Zhao, Mingyuan Yang, Jie Shao, Yushu Bai, Ming Li 0038 |
Association Between VDR FokI Polymorphism and Intervertebral Disk Degeneration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genom. Proteom. Bioinform. ![In: Genom. Proteom. Bioinform. 13(6), pp. 371-376, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jacques Garrigue |
A certified implementation of ML with structural polymorphism and recursive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(4), pp. 867-891, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Matthew A. Scult, Joey W. Trampush, Fengyu Zheng, Emily Drabant Conley, Todd Lencz, Anil K. Malhotra, Dwight Dickinson, Daniel R. Weinberger, Ahmad R. Hariri |
A Common Polymorphism in SCN2A Predicts General Cognitive Ability through Effects on PFC Physiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 27(9), pp. 1766-1774, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jana Dunfield |
Elaborating Evaluation-Order Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.07680, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Alberto Casagrande, Joanna Jarmolowska, Marcello Turconi, Francesco Fabris, Pierpaolo Busan, Piero Paolo Battaglini |
PolyMorph: Increasing P300 Spelling Efficiency by Selection Matrix Polymorphism and Sentence-Based Predictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.04485, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Ainun Nizar Masbuchin, Mohammad Saifur Rohman, Jayarani Fatimah Putri, Miryanti Cahyaningtyas, Widodo |
279Val→Phe Polymorphism of lipoprotein-associated phospholipase A2 resulted in changes of folding kinetics and recognition to substrate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 59, pp. 199-207, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Goudey, Mani Abedini, John L. Hopper, Michael Inouye, Enes Makalic, Daniel F. Schmidt, John Wagner, Zeyu Zhou, Justin Zobel, Matthias Reumann |
High performance computing enabling exhaustive analysis of higher order single nucleotide polymorphism interaction in Genome Wide Association Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Health Inf. Sci. Syst. ![In: Health Inf. Sci. Syst. 3(1), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jihae Baek, Heeyoung Lee, Kwang Woo Hwang, Eunyoung Kim, Hyeyoung Min |
The association of CD28 polymorphism, rs3116496, with Cancer: A meta-analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 61, pp. 172-177, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo |
Parametric Polymorphism - Universally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, pp. 81-92, 2015, Springer, 978-3-662-47708-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand |
Implementing Polymorphism in Zenon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015, pp. 15-20, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | John C. Sarivougioukas, Aristides Th. Vagelatos, Isaac E. Lagaris |
Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI*CC ![In: 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2015, Beijing, China, July 6-8, 2015, pp. 368-374, 2015, IEEE Computer Society, 978-1-4673-7290-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini |
Imperative Polymorphism by Store-Based Types as Abstract Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 3-8, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Beatrice Åkerblom, Tobias Wrigstad |
Measuring polymorphism in python programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, pp. 114-128, 2015, ACM, 978-1-4503-3690-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton |
Models for Polymorphism over Physical Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 45-59, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi |
An Institution for Object-Z with Inheritance and Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software, Services, and Systems ![In: Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, pp. 134-154, 2015, Springer, 978-3-319-15544-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nevena Milojkovic, Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz, David Röthlisberger, Romain Robbes |
Polymorphism in the spotlight: studying its prevalence in Java and Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, ICPC 2015, Florence/Firenze, Italy, May 16-24, 2015, pp. 186-195, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Kai Zhao 0003, Liang Huang 0001 |
Type-Driven Incremental Semantic Parsing with Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT-NAACL ![In: NAACL HLT 2015, The 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Denver, Colorado, USA, May 31 - June 5, 2015, pp. 1416-1421, 2015, The Association for Computational Linguistics, 978-1-941643-49-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Juan Edi, Andrés Viso, Eduardo Bonelli |
Efficient Type Checking for Path Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 21st International Conference on Types for Proofs and Programs, TYPES 2015, May 18-21, 2015, Tallinn, Estonia, pp. 6:1-6:23, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-030-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Yuheng Long, Yu David Liu, Hridesh Rajan |
Intensional Effect Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic, pp. 346-370, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-86-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jana Dunfield |
Elaborating evaluation-order polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 256-268, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Beta Ziliani, Matthieu Sozeau |
A unification algorithm for Coq featuring universe polymorphism and overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 179-191, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Zhaohui Liang, Gang Zhang, Jimmy Xiangji Huang |
Discovery of the relations between genetic polymorphism and adverse drug reactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015, Washington, DC, USA, November 9-12, 2015, pp. 543-548, 2015, IEEE Computer Society, 978-1-4673-6799-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Benja Fallenstein, Ramana Kumar |
Proof-Producing Reflection for HOL - With an Application to Model Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pp. 170-186, 2015, Springer, 978-3-319-22101-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Fernando C. Colón Osorio, Hongyuan Qiu, Anthony Arrott |
Segmented sandboxing - A novel approach to Malware polymorphism detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MALWARE ![In: 10th International Conference on Malicious and Unwanted Software, MALWARE 2015, Fajardo, PR, USA, October 20-22, 2015, pp. 59-68, 2015, IEEE Computer Society, 978-1-5090-0317-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Thomas F. Denson, Carol Dobson-Stone, Richard Ronay, William von Hippel, Mark M. Schira |
A Functional Polymorphism of the MAOA Gene Is Associated with Neural Responses to Induced Anger Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 26(7), pp. 1418-1427, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Yukika Nishimura, Ryu Takizawa, Shinsuke Koike, Akihide Kinoshita, Yoshihiro Satomura, Shingo Kawasaki, Hidenori Yamasue, Mamoru Tochigi, Chihiro Kakiuchi, Tsukasa Sasaki, Yoshimi Iwayama, Kazuo Yamada, Takeo Yoshikawa, Kiyoto Kasai |
Association of decreased prefrontal hemodynamic response during a verbal fluency task with EGR3 gene polymorphism in patients with schizophrenia and in healthy individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 85, pp. 527-534, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Dietsche, Heidelore Backes, Davide Laneri, Thomas J. Weikert, Stephanie H. Witt, Marcella Rietschel, Jens Sommer, Tilo Kircher, Axel Krug |
The impact of a CACNA1C gene polymorphism on learning and hippocampal formation in healthy individuals: A diffusion tensor imaging study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 89, pp. 256-261, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Bryan A. Strange, Nina Gartmann, Jessica Brenninkmeyer, Jan Haaker, Andreas Reif, Raffael Kalisch, Christian Büchel |
Dopamine receptor 4 promoter polymorphism modulates memory and neuronal responses to salience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 84, pp. 922-931, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Natalie J. Forde, Lisa Ronan, John Suckling, Cathy Scanlon, Simon Neary, Laurena Holleran, Alexander Leemans, Roger Tait, Catarina Rua, Paul C. Fletcher, Ben Jeurissen, Chris M. Dodds, Sam R. Miller, Edward T. Bullmore, Colm McDonald, Pradeep J. Nathan, Dara M. Cannon |
Structural neuroimaging correlates of allelic variation of the BDNF val66met polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 90, pp. 280-289, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Marie Cornuet, Pierre Pudlo, Julien Veyssier, Alexandre Dehne-Garcia, Mathieu Gautier, Raphaël Leblois, Jean-Michel Marin, Arnaud Estoup |
DIYABC v2.0: a software to make approximate Bayesian computation inferences about population history using single nucleotide polymorphism, DNA sequence and microsatellite data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 30(8), pp. 1187-1189, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Parsai, Quinten David Soetens, Alessandro Murgia, Serge Demeyer |
Considering Polymorphism in Change-Based Test Suite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.3726, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Jiahao Chen 0001, Alan Edelman |
Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.6449, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Marcin Benke, Viviana Bono, Aleksy Schubert |
Lucretia - intersection type polymorphism for scripting languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 65-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Kai Zhao 0003, Liang Huang 0001 |
Type-Driven Incremental Semantic Parsing with Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.5379, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Jung Hun Oh, Joseph O. Deasy |
SITDEM: A simulation tool for disease/endpoint models of association studies based on single nucleotide polymorphism genotypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 45, pp. 136-142, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Norman E. Davey, Venkata P. Satagopam, Salvador Santiago-Mozos, Carlos Villacorta-Martin, Tanmay A. M. Bharat, Reinhard Schneider 0002, John A. G. Briggs |
The HIV Mutation Browser: A Resource for Human Immunodeficiency Virus Mutagenesis and Polymorphism Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 10(12), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Romain Robbes, David Röthlisberger, Mircea Lungu |
Polymorphism in the Spotlight: How Developers Use it in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIbSE ![In: Proceedings of the XVII Iberoamerican Conference on Software Engineering, CIbSE 2014, Pucon, Chile, April 23-25, 2014., pp. 392-404, 2014, Curran Associates, 978-1-63266-649-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Damien Couroussé, Bruno Robisson, Jean-Louis Lanet, Thierno Barry, Hassan Noura 0001, Philippe Jaillon, Philippe Lalevée |
COGITO: Code Polymorphism to Secure Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014, pp. 451-456, 2014, SciTePress, 978-989-758-045-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Umberto S. P. Melia, Montserrat Vallverdú, Mathieu Jospin, José Fernando Valencia, Erik W. Jensen, Pedro L. Gambús, Alexandre Perera-Lluna, Pere Caminal |
Interaction between EEG and drug concentration to predict response to noxious stimulation during sedation-analgesia: Effect of the A118G genetic polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, pp. 4298-4301, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Faezeh Marzbanrad, Brett D. Hambly, Ethan Ng, Mikhail Tamayo, Slade Matthews, Chandan K. Karmakar, Ahsan H. Khandoker, Marimuthu Palaniswami, Herbert F. Jelinek |
Relationship between Heart Rate Variability and angiotensinogen gene polymorphism in diabetic and control individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, pp. 6683-6686, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Justin Slepak, Olin Shivers, Panagiotis Manolios |
An Array-Oriented Language with Static Rank Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 27-46, 2014, Springer, 978-3-642-54832-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Xinran Wang, Tadayoshi Kohno, Bob Blakley 0001 |
Polymorphism as a Defense for Automated Attack of Websites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security - 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings, pp. 513-530, 2014, Springer, 978-3-319-07535-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Parsai, Quinten David Soetens, Alessandro Murgia, Serge Demeyer |
Considering Polymorphism in Change-Based Test Suite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP Workshops ![In: Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation - XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers, pp. 166-181, 2014, Springer, 978-3-319-14357-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Yuanyuan Cheng, Jin Zhang 0003, Xiaoli Gong, Haozhou Wang, Xiaowei Liu 0001 |
Research on Polymorphism and Inertial Reading Application in Text Watermarking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BWCCA ![In: Ninth International Conference on Broadband and Wireless Computing, Communication and Applications, BWCCA 2014, Guangdong, China, November 8-10, 2014, pp. 89-95, 2014, IEEE Computer Society, 978-1-4799-4173-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Kaileigh A. Byrne, Darrell A. Worthy |
The C957T DRD2 Polymorphism Predicts Rule-Based Category Learning Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014, Quebec City, Canada, July 23-26, 2014, 2014, cognitivesciencesociety.org, 978-0-9911967-0-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Ben Greenman, Fabian Muehlboeck, Ross Tate |
Getting F-bounded polymorphism into shape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014, pp. 89-99, 2014, ACM, 978-1-4503-2784-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jeremy Yallop, Leo White |
Lightweight Higher-Kinded Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 119-135, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Matthieu Sozeau, Nicolas Tabareau |
Universe Polymorphism in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 499-514, 2014, Springer, 978-3-319-08969-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jiahao Chen 0001, Alan Edelman |
Parallel prefix polymorphism permits parallelization, presentation & proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPTCDL@SC ![In: Proceedings of the 1st First Workshop for High Performance Technical Computing in Dynamic Languages, HPTCDL '14, New Orleans, Louisiana, USA, November 16-21, 2014, pp. 47-56, 2014, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Richard Bonichon, David Déharbe, Cláudia Tavares |
Extending SMT-LIB v2 with λ-Terms and Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014., pp. 53-62, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Timur Beyan |
Single nucleotide polymorphism (SNP) data integrated electronic health record (EHR) for personalized medicine (Tek nükleotid polimorfizm (TNP) verisi bütünleşik elektronik sağlık kaydı (ESK)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
16 | Fernando Ferreira 0001, Gilda Ferreira |
Atomic polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 78(1), pp. 260-274, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Daniele Catanzaro, Ramamoorthi Ravi, Russell Schwartz |
A mixed integer linear programming model to reconstruct phylogenies from single nucleotide polymorphism haplotypes under the maximum parsimony criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms Mol. Biol. ![In: Algorithms Mol. Biol. 8, pp. 3, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mohsen Hajiloo, Babak Damavandi, Metanat HooshSadat, Farzad Sangi, John R. Mackey, Carol E. Cass, Russell Greiner, Sambasivarao Damaraju |
Breast cancer prediction using genome wide single nucleotide polymorphism data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 14(S-13), pp. S3, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | J. M. Rusted, S. L. Evans, S. L. King, Nicholas Dowell, Naji Tabet, P. S. Tofts |
APOE e4 polymorphism in young adults is associated with improved attention and indexed by distinct neural signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 65, pp. 364-373, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Xiaochu Zhang, Mary R. Lee, Betty Jo Salmeron, Dan J. Stein, L. Elliot Hong, Xiujuan Geng, Thomas J. Ross, Nan Li, Colin Hodgkinson, Pei-Hong Shen, Yihong Yang, David Goldman, Elliot A. Stein |
Prefrontal white matter impairment in substance users depends upon the catechol-o-methyl transferase (COMT) val158met polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 69, pp. 62-69, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Getzmann, Patrick D. Gajewski, Jan G. Hengstler, Michael Falkenstein, Christian Beste |
BDNF Val66Met polymorphism and goal-directed behavior in healthy elderly - evidence from auditory distraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 64, pp. 290-298, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Daisuke Takaya, Tomohiro Sato, Hitomi Yuki, Shunta Sasaki, Akiko Tanaka, Shigeyuki Yokoyama, Teruki Honma |
Prediction of Ligand-Induced Structural Polymorphism of Receptor Interaction Sites Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 53(3), pp. 704-716, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | James Robinson, Jason A. Halliwell, Hamish McWilliam, Rodrigo Lopez, Steven G. E. Marsh |
IPD - the Immuno Polymorphism Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 41(Database-Issue), pp. 1234-1240, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Samson Abramsky, Radha Jagadeesan |
A Game Semantics for Generic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.1120, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Jana Dunfield, Neelakantan R. Krishnaswami |
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.6032, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Michael W. Berry, Tiantian Gao, Ryhan Pathan, Gary W. Stuart |
PolyLens: software for map-based visualisation and analysis of genome-scale polymorphism data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Biol. Drug Des. ![In: Int. J. Comput. Biol. Drug Des. 6(1/2), pp. 93-106, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 1361 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|