we prove that for $p>7$ there are‎ ‎[‎ ‎p^{4}+2p^{3}+20p^{2}+147p+(3p+29)gcd (p-1,3)+5gcd (p-1,4)+1246‎ ‎] ‎groups of order $p^{8}$ with exponent $p$‎. ‎if $p$ is a group of order $p^{8}$‎ ‎and exponent $p$‎, ‎and if $p$ has class $c>1$ then $p$ is a descendant of $‎p/gamma _{c}(p)$‎. ‎for each group of exponent $p$ with order less than $‎p^{8} $ we calculate the number of descendants of o...

Knowledge involves belief. Belief is a propositional attitude, i.e. an attitude that a subject holds towards a proposition. If a subject S knows that P and the proposition P involves no further knowledge attribution, let us say that S possesses first-order knowledge. On the other hand, if S knows that P and the proposition P involves a knowledge attribution, let us say that S possesses higher-o...

Knowledge involves belief. Belief is a propositional attitude, i.e. an attitude that a subject holds towards a proposition. If a subject S knows that P and the proposition P involves no further knowledge attribution, let us say that S possesses first-order knowledge. On the other hand, if S knows that P and the proposition P involves a knowledge attribution, let us say that S possesses higher-o...

H useyin Tek, Perry A. Stoll, and Benjamin B. Kimia LEMS, Division of Engineering, Brown University Providence RI 02912 Abstract The extraction of gure symmetry from image contours faces a number of fundamental di culties: object symmetries are distorted due to (i) gaps in the bounding contour of a shape due to gure-ground blending, weak contrast edges, highlights, noise, etc.; (ii) an introdu...

Let Lk be the k-variable fragment of first-order logic, for some k 3. We prove that equivalence of finite structures in Lk has no P-computable canonization function unless NP P=poly. The latter assumption is considered as highly unlikely; in particular it implies a collapse of the polynomial hierarchy. The question for such a canonization function came up in the context of the problem of whethe...

let $g$ be a non-abelian group of order $p^n$‎, ‎where $nleq 5$ in which $g$ is not extra special of order $p^5$‎. ‎in this paper we determine the maximal size of subsets $x$ of $g$‎ ‎with the property that $xyneq yx$ for any $x,y$ in $x$ with‎ ‎$xneq y$‎.