1670 search results - page 9 / 334 » On Skolemization in constructive theories |
IACR
2011
12 years 6 months ago
2011
Abstract. Homomorphic encryption schemes are powerful cryptographic primitives that allow for a variety of applications. Consequently, a variety of proposals have been made in the ...
ECIS
2004
13 years 8 months ago
2004
Globalization has seen the emergence of virtual teams solving complex organisational problems using computer-mediated technologies. By extending Media Richness Theory, it was the ...
JUCS
2006
13 years 6 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
TIT
2002
13 years 6 months ago
2002
We construct a full data rate space
BMCBI
2007
13 years 6 months ago
2007
Background: Large-scale sequencing of entire genomes has ushered in a new age in biology. One of the next grand challenges is to dissect the cellular networks consisting of many i...