|
|
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 | Ankita Shukla, Tiratha Raj Singh |
Structure based inference of functional single nucleotide polymorphism and its role in TGFβ1 allied colorectal cancer (CRC). |
Int. J. Bioinform. Res. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Chamil Rathnayake |
Uptake, polymorphism, and the construction of networked events on Twitter. |
Telematics Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Adam Jaffe |
Characterizing Bipartite Graphs Which Admit a k-NU Polymorphism via Absolute Retracts. |
Graphs Comb. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | M. Clarence Protin, Gilda Ferreira |
Typability and Type Inference in Atomic Polymorphism. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Paolo Pistone, Luca Tranchini |
What's Decidable about (Atomic) Polymorphism. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Preeti 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. |
Comput. Biol. Chem. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Manish Datt |
Interplay of substrate polymorphism and conformational plasticity of Plasmodium tyrosyl-tRNA synthetase. |
Comput. Biol. Chem. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Haritha 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. |
Comput. Biol. Medicine |
2021 |
DBLP DOI BibTeX RDF |
|
16 | John Kenneth Truss, Edith Vargas-García |
Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals. |
Contributions Discret. Math. |
2021 |
DBLP BibTeX RDF |
|
16 | Dylan 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. |
Int. J. Data Min. Bioinform. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | M. Clarence Protin |
Type inhabitation of atomic polymorphism is undecidable. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Gizem 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. |
J. Comput. Biol. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jun 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. |
BIBE |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Pistone, Luca Tranchini |
What's Decidable About (Atomic) Polymorphism? |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Antranig Basman |
Markup-driven polymorphism: A little journey (Work in Progress). |
PPIG |
2021 |
DBLP BibTeX RDF |
|
16 | Mengchi Zhang, Ahmad Alawneh, Timothy G. Rogers |
Characterizing Massively Parallel Polymorphism. |
ISPASS |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Tanzila 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. |
BIOINFORMATICS |
2021 |
DBLP BibTeX RDF |
|
16 | Yafeng Li, Yiyao Liu, Tianfu Wang 0001, Baiying Lei |
Alzheimer's Disease Prediction via the Association of Single Nucleotide Polymorphism with Brain Regions. |
CCBR |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Nathan Mills, Allen Wang, Nasser Giacaman |
Visual Analogy for Understanding Polymorphism Types. |
ACE |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed 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. |
CCWC |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann |
Effects as capabilities: effect handlers and lightweight effect polymorphism. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Juan 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. |
Neural Comput. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Can Alkan |
Automatic characterization of copy number polymorphism using high throughput sequencing. |
Turkish J. Electr. Eng. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Ka-Chun Wong, Shankai Yan, Qiuzhen Lin, Xiangtao Li, Chengbin Peng |
Deleterious Non-Synonymous Single Nucleotide Polymorphism Predictions on Human Transcription Factors. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | José Espírito Santo, Gilda Ferreira |
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism. |
Stud Logica |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Yong 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). |
Comput. Biol. Chem. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Manish Manish, Andrew M. Lynn, Smriti Mishra |
Cytochrome P450 2C9 polymorphism: Effect of amino acid substitutions on protein flexibility in the presence of tamoxifen. |
Comput. Biol. Chem. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Benno van den Berg |
Univalent polymorphism. |
Ann. Pure Appl. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Agata Gryta, Magdalena Frac |
Methodological Aspects of Multiplex Terminal Restriction Fragment Length Polymorphism-Technique to Describe the Genetic Diversity of Soil Bacteria, Archaea and Fungi. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Hanna Märkle, Aurélien Tellier |
Inference of coevolutionary dynamics and parameters from host and parasite polymorphism data of repeated experiments. |
PLoS Comput. Biol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Marwa 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. |
Netw. Model. Anal. Health Informatics Bioinform. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Endre Tóth, Tamás Waldhauser |
Polymorphism-homogeneity and universal algebraic geometry. |
ALGOS |
2020 |
DBLP BibTeX RDF |
|
16 | Silvia Sebastián, Juan Caballero |
Towards Attribution in Mobile Markets: Identifying Developer Account Polymorphism. |
CCS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves |
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Arpitha P. Bharathi, Monaldo Mastrolilli |
Ideal Membership Problem and a Majority Polymorphism over the Ternary Domain. |
MFCS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Joshua B. Gross, Gabriel S. Oliviera, Kevin Coogan |
Toward a Model of Polymorphism Comprehension. |
SIGCSE |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
FreezeML: complete and easy type inference for first-class polymorphism. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Elvira 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. |
icSPORTS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Srilakshmi Srinivasan, Jyotsna Batra |
Single Nucleotide Polymorphism Typing. |
Encyclopedia of Bioinformatics and Computational Biology (3) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Jana Dunfield, Neelakantan R. Krishnaswami |
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Changchuan Yin, Stephen S.-T. Yau |
Whole genome single nucleotide polymorphism genotyping of Staphylococcus aureus. |
Commun. Inf. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Aleksandr Igorevich Zhernakov, Alexey Mikhailovich Afonin, Natalia Dmitrievna Gavriliuk, Olga Mikhailovna Moiseeva, Vladimir Aleksandrovich Zhukov |
s-dePooler: determination of polymorphism carriers from overlapping DNA pools. |
BMC Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Akio 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. |
BMC Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Julika 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]. |
NeuroImage |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso |
Typed path polymorphism. |
Theor. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Zhen Wah Tan, Wei-Ven Tee, Enrico Guarnera, Lauren Booth, Igor N. Berezovsky |
AlloMAPS: allosteric mutation analysis and polymorphism of signaling database. |
Nucleic Acids Res. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Lê Thành Dung Nguyên, Paolo Pistone, Thomas Seiller, Lorenzo Tortora de Falco |
Finite semantics of polymorphism, complexity and the power of type fixpoints. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Paolo Pistone, Luca Tranchini, Mattia Petrolo |
The naturality of natural deduction (II). Some remarks on atomic polymorphism. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Justin Slepak, Olin Shivers, Panagiotis Manolios |
The Semantics of Rank Polymorphism. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Paolo Pistone, Luca Tranchini |
Polymorphism and the free bicartesian closed category. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Mozhdeh 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. |
Comput. Biol. Chem. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Opeyemi 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. |
Comput. Biol. Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ruchi 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. |
PLoS Comput. Biol. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Lochbihler |
Effect Polymorphism in Higher-Order Logic (Proof Pearl). |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Gilda Ferreira, Vasco T. Vasconcelos |
The computational content of atomic polymorphism. |
Log. J. IGPL |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hamid 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. |
J. Comput. Biol. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Shin-ya Nishizaki |
ML Polymorphism of Linear Lambda Calculus with First-class Continuations. |
ICSCA |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers |
Distributive Disjoint Polymorphism for Compositional Programming. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Iyswarya Narayanan, Aishwarya Ganesan, Anirudh Badam, Sriram Govindan, Bikash Sharma, Anand Sivasubramaniam |
Getting more performance with polymorphism from emerging memory technologies. |
SYSTOR |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Colleen 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. |
SIGCSE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Justin Slepak, Olin Shivers, Panagiotis Manolios |
Records with rank polymorphism. |
ARRAY@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Dominique Devriese |
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Waldemar Pokuta |
The Concept of a Flexible Database - Implementation of Inheritance and Polymorphism. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima |
Finitary polymorphism for optimizing type-directed compilation. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jennifer Hackett, Graham Hutton |
Parametric polymorphism and operational improvement. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Julika 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. |
NeuroImage |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Beatriz 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. |
Artif. Intell. Medicine |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Pistone |
Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale. |
Bull. Symb. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Alberto 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. |
Int. J. Hum. Comput. Interact. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Sultan Alam |
Analysis of Sequence Polymorphism of LINEs and SINEs in Entamoeba histolytica. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Benno van den Berg |
Univalent polymorphism. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Guillaume Munch-Maccagnoni |
Resource Polymorphism. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Gopalan Nadathur, Yuting Wang 0001 |
Schematic Polymorphism in the Abella Proof Assistant. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Gilda Ferreira |
Atomic polymorphism and the existence property. |
Ann. Pure Appl. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Markus Boenn |
ShRangeSim: Simulation of Single Nucleotide Polymorphism Clusters in Next-Generation Sequencing Data. |
J. Comput. Biol. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas 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. |
J. Comput. Biol. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Nuyts, Dominique Devriese |
Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Guilhem Jaber, Nikos Tzevelekos |
A Trace Semantics for System F Parametric Polymorphism. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Justin Slepak, Panagiotis Manolios, Olin Shivers |
Rank polymorphism viewed as a constraint problem. |
ARRAY@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Alejandro Serrano 0001, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones |
Guarded impredicative polymorphism. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jerry Swan, Colin G. Johnson, Edwin C. Brady |
Subtype polymorphism à la carte via machine learning on dependent types. |
ISSTA/ECOOP Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Gopalan Nadathur, Yuting Wang 0001 |
Schematic Polymorphism in the Abella Proof Assistant. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yi Liu, Will N. Browne, Bing Xue 0001 |
Hierarchical Learning Classifier Systems for Polymorphism in Heterogeneous Niches. |
Australasian Conference on Artificial Intelligence |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yizhou Zhang 0001, Andrew C. Myers |
Familia: unifying interfaces, type classes, and family polymorphism. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mbemba 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. |
NeuroImage |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Degueule, Benoît Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel |
Safe model polymorphism for flexible modeling. |
Comput. Lang. Syst. Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ruifang 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. |
Nucleic Acids Res. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mike Behrisch, John Kenneth Truss, Edith Vargas-García |
Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. |
Stud Logica |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Pistone |
Polymorphism and the obstinate circularity of second order logic: a victims' tale. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Ki Yung Ahn |
An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Juan Edi, Andrés Viso, Eduardo Bonelli |
Efficient Type Checking for Path Polymorphism. |
CoRR |
2017 |
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. |
IACR Cryptol. ePrint Arch. |
2017 |
DBLP BibTeX RDF |
|
16 | Andreas Lochbihler |
Effect polymorphism in higher-order logic. |
Arch. Formal Proofs |
2017 |
DBLP BibTeX RDF |
|
16 | Beta Ziliani, Matthieu Sozeau |
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. |
J. Funct. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper 0001 |
Correctness of compiling polymorphism to dynamic typing. |
J. Funct. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | M. 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. |
BIBE |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Karl Crary |
Modules, abstraction, and parametric polymorphism. |
POPL |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Stephen Dolan, Alan Mycroft |
Polymorphism, subtyping, and type inference in MLsub. |
POPL |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Lian Li 0002, Yi Lu 0003, Jingling Xue |
Dynamic symbolic execution for polymorphism. |
CC |
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][ >>] |
|