In this paper, we introduce a new electronic money methodology: sub-contracting the blinding to a trustee and using an Identitybased piece of information to achieve provable privacy and security. This variation on the Brickel, Gemmel and Kravitz paradigm [2] offers protection against various attacks minimizing user’s computational requirement. Furthermore, our scheme offers various complexity/p...

Background This study shows how emotions are expressed in a trauma team setting and assesses their influence and importance with regard to team performance. The term ”Team emotion” can be interpreted as the emotions that trauma team members do/do not display in a trauma receiving unit. Health care professionals are expected to refrain from showing emotion in the presence of patients and colleag...

Robotic manipulation by rolling contacts is an appealing method for achieving dexterity with relatively simple hardware. While there exist techniques for planning motions of rigid bodies in rolling contact under nominal conditions, an inescapable challenge is the design of robust controllers of provable performance in the presence of model perturbations. As a preliminary step in this direction,...

In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of the initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a countable partial order is scattered ...

H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule (and β-conversion). A long-standing conjecture of H. Barendregt states that the provable equations of Hω form a Π11-complete set. Here we prove that conjecture.

In the present paper, by considering the notion of MV-modules which is the structure that naturally correspond to lu-modules over lu-rings, we prove some results on prime A-ideals and state some conditions to obtain a prime A-ideal in MV-modules. Also, we state some conditions that an A-ideal is not prime and investigate conditions that $Ksubseteq bigcup _{i=1}^{n}K_{i}$ implies $Ksubseteq K_{j...

‎there are a few finite groups that are determined up to isomorphism solely by their order, such as $mathbb{z}_{2}$ or $mathbb{z}_{15}$. still other finite groups are determined by their order together with other data, such as the number of elements of each order, the structure of the prime graph, the number of order components, the number of sylow $p$-subgroups for each prime $p$, etc. in this...