let $g$ be a finite group with the identity $e$‎. ‎the subgroup intersection graph $gamma_{si}(g)$ of $g$ is the graph with vertex set $v(gamma_{si}(g)) = g-e$ and two distinct vertices $x$ and $y$ are adjacent in $gamma_{si}(g)$ if and only if $|leftlangle xrightrangle capleftlangle yrightrangle|>1$‎, ‎where $leftlangle xrightrangle $ is the cyclic subgroup of $g$ generated by $xin g$‎. ‎in th...

The Z-number, proposed by Zadeh in the year 2011, is a new fuzzy-theoretic approach to the Computing With Words (CWW) paradigm. It aspires to capture the uncertainty of information conveyed by a sentence, and serve as a model for the precisiation and linguistic summarization of a natural language statement. The Z-number thereby, lends a new dimension to CWW – uniting CWW with Natural Language P...

Throughout this paper, R will denote a commutative ring with identity and M is a unitary R- module and Z will denote the ring of integers. We introduce the graph Ω(M) of module M with the set of vertices contain all nontrivial non-essential submodules of M. We investigate the interplay between graph-theoretic properties of Ω(M) and algebraic properties of M. Also, we assign the values of natura...

Fix a nonsingular algebraic variety Y over an algebraically closed field (of arbitrary characteristic). An arrangement of subvarieties S is a finite collection of nonsingular subvarieties such that all nonempty scheme-theoretic intersections of subvarieties in S are again in S, or equivalently, such that any two subvarieties intersect cleanly and the intersection is either empty or a subvariety...

Threshold private set intersection (TPSI) allows a receiver to obtain the when cardinality of is greater or equal threshold, which has wide range applications such as fingerprint matching, online dating and ridesharing. Existing TPSI protocols are inefficient because almost all them rely on lots expensive public-key techniques require an exponential number possible combinations among shares. In...

A residue-theoretic representation is given for massless matter fields in (quotients) of (weighted) Calabi-Yau complete intersection models and the corresponding chiral operators in Landau-Ginzburg orbifolds. The well known polynomial deformations are thus generalized and the universal but somewhat abstract Koszul computations acquire a concrete realization and a general but more heuristic rein...

CDuce is a functional programming language featuring overloaded functions and a rich type system with recursive types, subtyping, union, negation and intersection types. The boolean constructors have a set-theoretic behaviour defined via a semantic interpretation of the types. The Cπ-calculus is an extension of the π-calculus that enriches Pierce and Sangiorgi π-calculus subtyping with union, i...

Nowadays, geospatial information systems (GIS) are widely used to solve different spatial problems based on various types of fundamental data: spatial, temporal, attribute and topological relations. Topological relations are the most important part of GIS which distinguish it from the other kinds of information technologies. One of the important mechanisms for representing topological relations...

This paper introduces a class of formal grammars made up by augmenting the formalism of context-free grammars with an explicit set-theoretic intersection operation. It is shown that conjunctive grammars can generate some important non-contextfree language constructs, including those not in the intersection closure of context-free languages, and that they can provide very succinct descriptions o...