Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid operation to lattices. The resulting residuated lattices have been studied in several branches of mathematics, including the areas of lattice-ordered groups, ideal lattices of rings, linear logic and multi-valued logic. Our exposition aims to cover...

In the last few years, cryptographic multilinear maps have proved their tremendous potential as building blocks for new constructions, in particular the first viable approach to general program obfuscation. After the first candidate construction by Garg, Gentry and Halevi (GGH) based on ideal lattices, a second construction over the integers was described by Coron, Lepoint and Tibouchi (CLT). H...

OBJECTIVES We develop and test a conceptual model of factors influencing women's ideal family size (IFS) in a natural fertility population, the Tsimane of Bolivia. The model posits affects of socioecology, reproductive history, maternal condition, and men's IFS. We test three hypotheses for why women may exceed their IFS despite experiencing socioeconomic development: (H(1) ) limited autonomy; ...

This essay shows that a moral sense or moral sentiments alone cannot identify appropriate morals. To this end, the essay analyzes three defenses of Francis Hutcheson’s, David Hume’s, and Adam Smith’s moral sense theories against the relativism charge that a moral sense or moral sentiments vary across people, societies, cultures, or times. The first defense is the claim that there is a universal...

The increasing concern of the policy maker about eating behaviour has focused on the spread of obesity and on the evidence of people dieting despite being underweight. As the latter behaviour is often attributed to the social pressure to be thin, some governments have already taken actions to ban ultra-thin ideals and models. This paper proposes a theoretical framework to assess whether increas...

We show that any non-type I separable unital AF algebra B can be modeled from inside by a nonnuclear C*-algebra and from outside by a nonexact C*-algebra. More precisely there exist unital separable quasidiagonal C*-algebras A B C of real rank zero, stable rank one, such that A is nonnuclear, C is nonexact, and both A and C are asymptotically homotopy equivalent to B. In particular A, B and C h...

One way of improving efficiency of Gentry’s fully homomorphic encryption from ideal lattices is controlling the number of operations, but our recollection is that any scheme which controls the bound has not proposed. In this paper, we propose a key generation algorithm for Gentry’s scheme that controls the bound of the circuit depth by using the relation between the circuit depth and the eigenv...

previous studies involving the ideal observer, the task considered has been that detection where it is assumed that there is complete a priori knowledge of the and of the possible object's shape, amplitude, and position. It is shown that the detection task to include the possibility of an unknown, slowly varying back._ _ ground reduces the importance of the low-frequency components in the image...