A full mode analysis system for CLP(H,N) could result from a straightforward combination of the deeniteness analysis (developed at U.P.M.) and the freeness analysis (developed at K.U.Leuven). However, the computational complexity of the freeness abstraction, which is due to an exhaustive enumeration of possible dependencies between variables, impedes this. This paper proposes two orthogonal app...

paper recycling in an increasingly environmentally conscious world is gaining importance. withrapid developments in deinking processes for the reuse of secondary fibers being made, therecycling process is become more and more efficient. this work investigated the effect ofchemical different treatments including h2o2 and naoh on repulping and flotation operationsduring the deinking of laser prin...

We show that an asymptotic envy-freeness is a necessary condition for a form of robust approximate implementation in large economies. JEL classi cation numbers: D78, D51, D71 Envy-Freeness and Implementation in Large Economies Matthew O. Jackson Ilan Kremer

Abstract In this note, we study base point freeness up to taking p‐power, which will call p‐power freeness. We first establish some criteria for as analogues of semi‐ampleness. then apply these results three‐dimensional birational geometry.

In this paper, we analyse the concept of vote buying based on examples that try to stretch the meaning of the concept. Which examples can still be called vote buying, and which cannot? We propose several dimensions that are relevant to qualifying an action as vote buying or not. As a means of protection against vote buying and coercion, the concept of receipt-freeness has been proposed. We argu...

Formal methods have provided us with tools to check both anonymity of protocols and – more specifically – receipt-freeness of voting protocols. One of the frameworks used for proving anonymity is epistemic logic. However, to the best of our knowledge, epistemic logic has never been used to prove receipt-freeness of voting protocols. Still, the concept of indistinguishability used in formalizing...