3001 search results - page 110 / 601 » Recursive type generativity |
121
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Bacterial typing schemes based on the sequences of genes encoding surface antigens require databases that provide a uniform, curated, and widely accepted nomenclature ...
127
Voted
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
Although keyword query enables inexperienced users to easily search XML database with no specific knowledge of complex structured query languages or XML data schemas, the ambigui...
115
Voted
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
138
Voted
CORR
2010
Springer
15 years 19 hour ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
126
Voted
NAR
2011
14 years 5 months ago
2011
Stem cell biology has experienced explosive growth over the past decade as researchers attempt to generate therapeutically relevant cell types in the laboratory. Recapitulation of...