3618 search results - page 250 / 724 » Additive functions for number systems in function fields |
124
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a novel software-protection method, which can be fully implemented with today's technologies, that provides traitor tracing and license-enforcement functionalitie...
155
click to vote
IANDC
2006
15 years 4 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
147
Voted
POPL
1992
ACM
15 years 9 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
139
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Today, data evaluation has become a bottleneck in chromatographic science. Analytical instruments equipped with automated samplers yield large amounts of measurement d...
199
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: The analysis of expressed sequence tags (EST) offers a rapid and cost effective approach to elucidate the transcriptome of an organism, but requires several computatio...