1 citations
4 papers
Logic programs with monotone cardinality atoms
Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of pro…
Cryptographic Randomized Response Techniques
Andris Ambainis, Markus Jakobsson, Helger Lipmaa
We develop cryptographically secure techniques to guarantee unconditional privacy for respondents to polls. Our constructions are efficient and practical, and are shown not to allo…
Boundary regularity for the Ricci equation, geometric convergence, and Gel'fand's inverse boundary problem
Michael T. Anderson, Atsushi Katsuda, Yaroslav Kurylev +2
This paper explores and ties together three themes. The first is to establish regularity of a metric tensor, on a manifold with boundary, on which there are given Ricci curvature b…
Waves and energy in chiral nihility
Sergei Tretyakov, Igor Nefedov, Ari Sihvola +2
A model for a chiral material in which both the permittivity and permeability are equal to zero is discussed. Such a material is referred by us as a ``chiral nihility". It is shown…