The problem of reassembling an object from its parts or fragments has never been addressed with a unified computational approach, which depends on the pure geometric form of the parts and not application-specific features. We propose a method for the automatic reconstruction of a model based on the geometry of its parts, which may be computergenerated models or range-scanned models. The matchin...

Let p be a prime number. In this article we present a theorem, suggested by Peter Scholze, which states that Gal(Qp/Qp) is the étale fundamental group of a certain object Z which is defined over an algebraically closed field. This object is the quotient of the “punctured perfectoid open disk” by an action of the group Qp . The proof of this fact combines two themes: the tilting equivalence for ...

The use of Geometric Logic as the foundation of a speciication language called GeoZ is proposed elsewhere 4]. In this note we explore GeoZ from the perspective of practitioners, who are familiar with the existing Z notation, by explaining the issues that arise and the essential role of schema entailment in the GeoZ reformulation of Z's mathematical toolkit.

in this paper we classify fuzzy subgroups of a rank-3 abelian group $g = mathbb{z}_{p^n} + mathbb{z}_p + mathbb{z}_p$ for any fixed prime $p$ and any positive integer $n$, using a natural equivalence relation given in cite{mur:01}. we present and prove explicit polynomial formulae for the number of (i) subgroups, (ii) maximal chains of subgroups, (iii) distinct fuzzy subgroups, (iv) non-isomorp...

In Hard Disk Drives (HDD), it is necessary to decrease the Flying Height (FH) between the head and the disk (currently, FH is around 3-5 nm) so as to increase recording densities. Retaining the solid lubricant has become a difficult proposition owing to intermittent contact between the surfaces. ZTMD and Z are used as solid lubricant to lubricate these interfaces. In this paper, the behavior of...

‎let $g$ be a finite group and $z(g)$ be the center of $g$‎. ‎for a subset $a$ of $g$‎, ‎we define $k_g(a)$‎, ‎the number of conjugacy classes of $g$ which intersect $a$ non-trivially‎. ‎in this paper‎, ‎we verify the structure of all finite groups $g$ which satisfy the property $k_g(g-z(g))=5$ and classify them‎.

objective: hydatidosis is one of the most important zoonotic diseases and surgery is still the main treatment for this problem. one of the side effects of hydatid cyst surgery is recurrence, thus, searching and assessment of some new agents such as medicinal plant extracts are very important. in the present study, the scolicidal effect of ethanolic extract of ziziphora tenuior l. (z. tenuior) w...

‎In this paper‎, ‎we define and study the notion of zero elements in topoframes; a topoframe is a pair‎ ‎$(L‎, ‎tau)$‎, ‎abbreviated $L_{ tau}$‎, ‎consisting of a frame $L$ and a‎ ‎subframe $ tau $ all of whose elements are complemented elements in‎ ‎$L$‎. ‎We show that‎ ‎the $f$-ring $ mathcal{R}(L_tau)$‎, ‎the set of $tau$-real continuous functions on $L$‎, ‎is uniformly complete‎. ‎Also‎, ‎t...