Multi-client Predicate-Only Encryption for Conjunctive Equality Tests [PDF]
Lecture Notes in Computer Science, 2018 We propose the first multi-client predicate-only encryption scheme capable of efficiently testing the equality of two encrypted vectors. Our construction can be used for the privacy-preserving monitoring of relations among multiple clients. Since both the clients’ data and the predicates are encrypted, our system is suitable for situations in which ...
Tim Van De Kamp +2 more
exaly +10 more sources
Attribute-Hiding Predicate Encryption With Equality Test in Cloud Computing
IEEE Access, 2018 Public key encryption with equality test (PKE-ET) enables anyone to perform equivalence test between two messages encrypted under distinct public keys.
Jianfei Sun, Yangyang Bao, Xuyun Nie
exaly +4 more sources
The Closure Operator with the Equality Predicate Branching on the Set of Hyperfunctions on Two-Element Set [PDF]
Известия Иркутского государственного университета: Серия "Математика", 2014 In this work we consider the closure operator with the equality predicate branching (E-operator) on the set of hyperfunctions on two-element set. With respect to this operator closed classes of hyperfunctions are generated.
V.I. Panteleev, L.V. Ryabets
doaj +3 more sources
Amortized Communication Complexity of an Equality Predicate [PDF]
Lecture Notes in Computer Science, 2013 12 pages, beta ...
Vladimir Nikishkin
exaly +3 more sources
Set theory in predicate calculus with equality
Archive for Mathematical Logic, 1983 This paper has the same aim as that of the author's paper reviewed above, but the system of illative combinatory logic on which it is based has an extra primitive constant Q for equality. Also instead of assuming that all individuals are sets it assumes the (incompatible) property that all sets are individuals.
M W Bunder
exaly +3 more sources
Elementary classes of graphs in a language without equality predicate
Journal of Physics: Conference Series, 2020 Abstract In this paper we describe equivalence classes generated by finite graphs in the graph theory language without equality predicate. These classes coincide with classes of so called hard extensions of graphs.
V N Remeslennikov, Alexander Treier
exaly +2 more sources
On the Lattice of $ES_I$-closed Classes of Multifunctions on Two-elements Set
Известия Иркутского государственного университета: Серия "Математика", 2021 The paper considers multifunctions on a two-element set with superposition and the equality predicate branching operator. The superposition operator is based on the intersection of sets. The main purpose of the work is to describe all closed classes with
V.I. Panteleyev, E. S. Taglasov
doaj +1 more source
A Review of Moral Semantics in Mohaghegh Tusi’s Theory [PDF]
Comparative Theology, 2021 Extended Abstract Moral semantics is one of the subjects of moral philosophy which discusses the semantic analysis of moral conceptions and propositions. Moral semantics has a close relationship with the ontology of ethical terms.
Hossein Ahmadi
doaj +1 more source
Similative and Equative Constructions in Lori Silakhori Dialect [PDF]
نشریه پژوهشهای زبانشناسی, 2022 The concept of comparison is expressed in the form of various linguistic constructions. Among the different types of comparative constructions, we can mention similative and equative constructions.
Farhad Moezzipour, Parisa Najafi
doaj +1 more source
A Rereading of Arguments for and against ʿAllāma Ṭabāṭabāʾī’s Account of the Deployment of Demonstrations Propter Quid in Philosophy [PDF]
حکمت معاصر, 2022 A major problem introduced to the contemporary Islamic philosophy by ʿAllāma Ṭabāṭabāʾī is whether propter quid demonstrations (al-barāhīn al-limmiyya) can be deployed in philosophy.
mohammad ali vatandoost, mahdi Chanaani
doaj +1 more source