|
|
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 | M. H. Polymeropoulos, H. Xiao, D. S. Rath, C. R. Merril |
Dinucleotide repeat polymorphism at the human non-histone chromosomal protein HMG14 gene. |
Nucleic Acids Res. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | P. J. McAlpine, M. Dickson, C. Guy, A. Wiens, David M. Irwin, R. T. MacGillivray |
Polymorphism detected by multiple RENS in the human coagulation factor II (F2) gene. |
Nucleic Acids Res. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | P. S. Ganly, P. H. Rabbitts |
Polymerase chain reaction (PCR) for detection of MspI polymorphism at the D3S2 locus. |
Nucleic Acids Res. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | G. F. Xu, L. Nelson, P. O'Connell, R. White |
An Alu polymorphism intragenic to the neurofibromatosis type 1 gene (NF1). |
Nucleic Acids Res. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | P. S. Ganly, P. H. Rabbitts |
Polymerase chain reaction (PCR) for detection of RsaI polymorphism at the D3S32 locus. |
Nucleic Acids Res. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | M. H. Polymeropoulos, H. Xiao, D. S. Rath, C. R. Merril |
Tetranucleotide repeat polymorphism at the human aromatase cytochrome P- 450 gene (CYP19). |
Nucleic Acids Res. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | P. S. Ganly, P. H. Rabbitts |
Polymerase chain reaction (PCR) for detection of MspI polymorphism at the D3S30 locus. |
Nucleic Acids Res. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Bernd J. Krämer |
A sort of parametric polymorphism for algebraic specifications. |
J. Syst. Softw. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | John Yen, Hsiao-Lei Juang, Robert M. MacGregor |
Using Polymorphism to Improve Expert System Maintainability. |
IEEE Expert |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Ronald Morrison, Alan Dearle, Richard C. H. Connor, Alfred L. Brown |
An Ad Hoc Approach to the Implementation of Polymorphism. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
Napier88 |
16 | Daniel Leivant |
Finitely Stratified Polymorphism |
Inf. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Alfons Kemper, Guido Moerkotte, Hans-Dirk Walter, Andreas Zachmann |
GOM: A Strongly Typed Persistent Object Model With Polymorphism. |
BTW |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Shail Aditya, Rishiyur S. Nikhil |
Incremental Polymorphism. |
FPCA |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Michael Kifer, James Wu |
A First-Order Theory of Types and Polymorphism in Logic Programming |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Ryu Hasegawa |
Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Elana D. Granston, Vincent F. Russo |
Signature-Based Polymorphism for C++. |
C++ Conference |
1991 |
DBLP BibTeX RDF |
|
16 | Wesley Phoa |
Two Results on Set-Theoretic Polymorphism. |
Category Theory and Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Zhenyu Qian |
Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism. |
|
1991 |
RDF |
|
16 | Stephen Blott |
An approach to overloading with polymorphism. |
|
1991 |
RDF |
|
16 | Richard C. H. Connor |
Types and polymorphism in persistent programming systems. |
|
1991 |
RDF |
|
16 | E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott |
Functorial Polymorphism. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Oscar de la Calle, Jordi Yagüe, Antoni Gaya, Matilde Romero, Jordi Vives |
Biallelic Bgl II DNA polymorphism of the human p53 oncogene. |
Nucleic Acids Res. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | R. Ghosh-Roy |
Conjunction-Type Standard ML Polymorphism. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
16 | F. Warren Burton |
Type Extension Through Polymorphism. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | R. Ghosh-Roy |
An Extended Type Generalization of Standard ML Polymorphism (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
ML |
16 | Edmund Robinson, Giuseppe Rosolini |
Polymorphism, Set Theory, and Call-by-Value |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Martín Abadi, Gordon D. Plotkin |
A Per Model of Polymorphism and Recursive Types |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Leivant |
Discrete Polymorphism. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow |
Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract). |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Tag Gon Kim |
The role of polymorphism in class evolution in the DEVS-scheme environment. |
WSC |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Kevin B. Kenny, Kwei-Jay Lin |
Implementing real-time systems using performance polymorphism. |
COMPSAC |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Kevin B. Kenny, Kwei-Jay Lin |
Structuring Large Real-Time Systems with Performance Polymorphism. |
RTSS |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Kevin B. Kenny |
Structuring real-time systems using performance polymorphism |
|
1990 |
RDF |
|
16 | Peter Grogono, Anne Bennett |
Polymorphism and type checking in object-oriented languages. |
ACM SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
Domain Theoretic Models of Polymorphism |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell |
F-Bounded Polymorphism for Object-Oriented Programming. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Atsushi Ohori |
A Simple Semantics for ML Polymorphism. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
ML |
16 | Daniel Leivant |
Stratified Polymorphism (Extended Summary) |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
16 | José Meseguer 0001 |
Relating Models of Polymorphism. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Val Tannen, Thierry Coquand |
Extensional Models for Polymorphism. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Ronald Morrison, Alfred L. Brown, Raymund Carrick, Richard C. H. Connor, Alan Dearle, Malcolm P. Atkinson 0001 |
Polymorphism, persistence and software re-use in a strongly typed object-oriented environment. |
Softw. Eng. J. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | L. Tikka, K. Roiko, R. Soininen, D. J. Prockop, K. Tryggvason |
A HindIII polymorphism in the 3' end of the human alpha 1(IV) collagen gene. |
Nucleic Acids Res. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | N. K. Hayward, D. J. Nancarrow, George I. Bell |
A Taq I polymorphism for the human transforming growth factor alpha gene (TGFA). |
Nucleic Acids Res. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | H. H. Hobbs, V. Esser, D. W. Russell |
AvaII polymorphism in the human LDL receptor gene. |
Nucleic Acids Res. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Cynthia Guzzo, Mark G. Weiner, Eric Rappaport, Paul LaRocco, Saul Surrey, Mortimer Poncz, Elias Schwartz |
An Eco R1 polymorphism of a human platelet factor 4 (PF4) gene. |
Nucleic Acids Res. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas P. Anagnou, Stylianos E. Antonarakis, S. J. O'Brien, Arthur W. Nienhuis |
A novel form of human polymorphism involving the hDHFR-psi 1 pseudogene identifies three RFLPs. |
Nucleic Acids Res. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Ian Toyn, Alan J. Dix, Colin Runciman |
Performance polymorphism. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Val Tannen, Albert R. Meyer |
Polymorphism is conservative over simple types (Preliminary Report) |
LICS |
1987 |
DBLP BibTeX RDF |
|
16 | Val Tannen, Thierry Coquand |
Extensional Models for Polymorphism. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Andrew M. Pitts |
Polymorphism is Set Theoretic, Constructively. |
Category Theory and Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
16 | R. Goldstein, J. Gruhn, F. C. Arnett, M. Duvic |
A frequent polymorphism of the complement component C4 gene. |
Nucleic Acids Res. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Daniel H. H. Ingalls |
A Simple Technique for Handling Multiple Polymorphism. |
OOPSLA |
1986 |
DBLP DOI BibTeX RDF |
|
16 | David M. Harland, Martyn W. Szyplewski, John B. Wainwright |
An alternative view of polymorphism. |
ACM SIGPLAN Notices |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Luca Cardelli, Peter Wegner |
On Understanding Types, Data Abstraction, and Polymorphism. |
ACM Comput. Surv. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Rishiyur S. Nikhil |
Practical Polymorphism. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Letschert |
Type Inference in the Presence of Overloading, Polymorphism and Coercions. |
Fachtagung über Programmiersprachen |
1984 |
DBLP DOI BibTeX RDF |
|
16 | John C. Reynolds |
Polymorphism is not Set-Theoretic. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Mario Coppo |
On the Semantics of Polymorphism. |
Acta Informatica |
1983 |
DBLP DOI BibTeX RDF |
|
16 | John C. Reynolds |
Types, Abstraction and Parametric Polymorphism. |
IFIP Congress |
1983 |
DBLP BibTeX RDF |
|
16 | David C. J. Matthews |
Programming language design with polymorphism. |
|
1983 |
RDF |
|
16 | Robin Milner |
A Theory of Type Polymorphism in Programming. |
J. Comput. Syst. Sci. |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Alan J. Demers, James E. Donahue, Glenn Skinner |
Data Types as Values: Polymorphism, Type-Checking, Encapsulation. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
14 | Philip O'Kane, Sakir Sezer, Kieran McLaughlin |
Obfuscation: The Hidden Malware. |
IEEE Secur. Priv. |
2011 |
DBLP DOI BibTeX RDF |
packer, metamorphism, computer security, polymorphism, malware, obfuscation |
14 | James Laird |
Game Semantics for a Polymorphic Programming Language. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
general references, genericity, polymorphism, game semantics |
14 | Karl Mazurak, Jianzhou Zhao, Steve Zdancewic |
Lightweight linear types in system fdegree. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
type systems, polymorphism, linear logic |
14 | William Harrison, David Lievens, Fabio Simeoni |
Safer typing of complex API usage through Java generics. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
family polymorphism, interface-based programming, programming patterns, generics, programming languages |
14 | Barbara Petit |
A Polymorphic Type System for the Lambda-Calculus with Constructors. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
strong normalisation, pattern matching, polymorphism, lambda-calculus |
14 | William C. Kreahling |
Using computer graphics to explore object oriented concepts using C. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
?????, inheritance, polymorphism |
14 | Levent Erkök, John Matthews |
Pragmatic equivalence and safety checking in Cryptol. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
sat/smt solving, size polymorphism, formal methods, cryptography, theorem proving, equivalence checking |
14 | Andrei Doncescu, Baptiste Tauzain, Nabil Kabbaj |
Machine Learning Applied to BRCA1 Hereditary Breast Cancer Data. |
AINA Workshops |
2009 |
DBLP DOI BibTeX RDF |
BRCA1, Heredity, polymorphism, inductive logic programming, breast cancer |
14 | Minzhu Xie, Jianxin Wang 0001 |
An Improved (and Practical) Parameterized Algorithm for the Individual Haplotyping Problem MFR with Mate-Pairs. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
SNP (single-nucleotide polymorphism), NP-hardness, Haplotype, Genotype, Parameterized algorithm |
14 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Closing the stage: from staged code to typed closures. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism |
14 | Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst |
Enforcing reference and object immutability in Java. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac |
14 | Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup |
Runtime concepts for the C++ standard template library. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
runtime polymorphism, C++, generic programming, standard template library |
14 | Minzhu Xie, Jianxin Wang 0001, Jianer Chen |
A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
SNP (single-nucleotide polymorphism), MLF (Minimum Letter Flip), NP-hardness, haplotype, parameterized algorithm |
14 | Nicholas E. Hardison, Theresa J. Fanelli, Scott M. Dudek, David M. Reif, Marylyn D. Ritchie, Alison A. Motsinger-Reif |
A balanced accuracy fitness function leads to robust analysis using grammatical evolution neural networks in the case of class imbalance. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
gene-gene interactions, neural networks, grammatical evolution, single nucleotide polymorphism |
14 | Franck Binard, Amy P. Felty |
Genetic programming with polymorphic types and higher-order functions. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
genetic programming, polymorphism, types, lambda calculus |
14 | Yukiyoshi Kameyama, Takuo Yonezawa |
Typed Dynamic Control Operators for Delimited Continuations. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation |
14 | Minzhu Xie, Jianxin Wang 0001, Jianer Chen |
A Practical Exact Algorithm for the Individual Haplotyping Problem MEC. |
BMEI (1) |
2008 |
DBLP DOI BibTeX RDF |
SNP (single-nucleotide polymorphism), MEC (Minimum Error Correction), NP-hardness, haplotype |
14 | Libor Barto, Marcin Kozik, Todd Niven |
Graphs, polymorphisms and the complexity of homomorphism problems. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
computational complexity, polymorphism, constraint satisfaction problem, universal algebra, graph homomorphism |
14 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Refinement preserving approximations for the design and verification of heterogeneous systems. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization |
14 | Eric Filiol, Grégoire Jacob, Mickaël Le Liard |
Evaluation methodology and theoretical model for antiviral behavioural detection strategies. |
J. Comput. Virol. |
2007 |
DBLP DOI BibTeX RDF |
Black-box analysis, Metamorphism, Detection model, Polymorphism, Malware, Malware detection, Antivirus |
14 | Eric Filiol |
Formalisation and implementation aspects of K -ary (malicious) codes. |
J. Comput. Virol. |
2007 |
DBLP DOI BibTeX RDF |
Cohen model, k-ary malware, Detection problem, Metamorphism, Code interaction, Polymorphism |
14 | Paul Kinnucan, Pieter J. Mosterman |
A graphical variant approach to object-oriented modeling of dynamic systems. |
SCSC |
2007 |
DBLP BibTeX RDF |
physical systems modeling, simulation software engineering, embedded systems, inheritance, polymorphism, object-oriented modeling, system dynamics |
14 | Dimitris Grammenos, Anthony Savidis, Constantine Stephanidis |
Unified Design of Universally Accessible Games. |
HCI (7) |
2007 |
DBLP DOI BibTeX RDF |
Universally Accessible Games, interaction design methods, polymorphism, Design for All |
14 | Jonathan Edwards |
No ifs, ands, or buts: uncovering the simplicity of conditionals. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
refactoring, visual programming, polymorphism, decision tables, control structures |
14 | Douglas P. Gregor, Jaakko Järvi |
Variadic templates for C++. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
template metaprogramming, variadic arguments, parametric polymorphism, C++ templates |
14 | Craig B. Zilles |
Accordion arrays. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
Java, compression, memory management, polymorphism, array, character, unicode |
14 | Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon |
A very modal model of a modern, major, general type system. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
impredicative polymorphism, mutable references, recursive types, Kripke models |
14 | Yongyan Yang, Yili Yin, Jun Su |
Business Process Depicting and Analyzing with a Lightweight Approach: A Case Study. |
CONFENIS (2) |
2007 |
DBLP DOI BibTeX RDF |
Abstracted actions, Business process, Hierarchy, Polymorphism, Case studies, Enumeration |
14 | Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion |
A Classification of Viruses Through Recursion Theorems. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
iteration theorem, polymorphism, propagation, Computer viruses, recursion theorem |
14 | Heribert Vollmer |
Computational Complexity of Constraint Satisfaction. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems |
14 | Andrew P. Black, Norman C. Hutchinson, Eric Jul, Henry M. Levy |
The development of the Emerald programming language. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
Eden, Emerald, Washington, call-by-move, object mobility, remote object invocation, type conformity, mobility, object-oriented programming, polymorphism, distributed programming, remote procedure call, abstract types |
14 | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi |
Toward Open-World Software: Issue and Challenges. |
Computer |
2006 |
DBLP DOI BibTeX RDF |
open-world software, web services, software engineering, grid computing, autonomic computing, polymorphism, middleware systems |
14 | Danil Shopyrin |
Multimethods in C++ using recursive deferred dispatching. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
template metaprogramming, C++, polymorphism, multimethods, multiple dispatch, reusable libraries |
14 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization and concretization. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization |
14 | Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine |
Concepts: linguistic support for generic programming in C++. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
constrained generics, generic programming, concepts, parametric polymorphism, C++0x, C++ templates |
14 | Philip Wadler |
Faith, evolution, and programming languages: from Haskell to Java to links. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism |
14 | James Sasitorn, Robert Cartwright |
Efficient first-class generics on stock Java virtual machines. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
Java implementation, custom class loader, first-class generics, type erasure, parametric polymorphism |
14 | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
A polymorphic modal type system for lisp-like multi-staged languages. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference |
Displaying result #801 - #900 of 1361 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|