1024 search results - page 6 / 205 » Value complete, column complete, predicate complete |
CCE
2004
13 years 9 months ago
2004
Batch time requirements are provided for the separation of ternary heterogeneous azeotropic mixtures into three pure products in closed batch column configurations. The separation...
DBPL
2007
Springer
14 years 4 months ago
2007
Springer
Annotated relational databases can be queried either by simply making the annotations explicitly available along the ordinary data, or by adapting the standard query operators so ...
ENTCS
2007
13 years 9 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
FOCS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— Under CPA and CCA1 attacks, a secure bit encryption scheme can be applied bit-by-bit to construct a secure many-bit encryption scheme. The same construction fails, howe...
JANCL
2008
13 years 9 months ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...