1670 search results - page 9 / 334 » On Skolemization in constructive theories |
108
click to vote
IACR
2011
13 years 11 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
15 years 1 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 ...
102
click to vote
JUCS
2006
14 years 11 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...
111
click to vote
BMCBI
2007
14 years 12 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...