In recent years, a large number of secure voting protocols have been proposed in the literature. Often these protocols contain flaws, but because they are complex protocols, rigorous formal analysis has proven hard to come by. Rivest’s ThreeBallot voting system is important because it aims to provide security (voter anonymity and voter verifiability) without requiring cryptography. In this pape...

call and success substitutions but also with a current state ASc which describes correctly the part of CS local to the clause in question. In Fig. 1, assuming Bj is to be executed, that means that all clauses on the path between Bj and the root (H *--BI,..., Bz, G ~-AI,..., Ak,...) are adorned with an AS~ but also the clauses which can be involved in solving calls to the left of calls on the pa...

In this paper we describe a system for semantic interpretation of noun compounds that relies on world and domain knowledge from a knowledge base. This architecture combines domain-independent compounding rules with a task-independent knowledge representation, allowing both components to be flexibly reused. We present examples from Scientific American text, on which the system was developed, and...

A paradox of self-reference in beliefs in games is identified, which yields a game-theoretic impossibility theorem akin to Russell’s Paradox. An informal version of the paradox is that the following configuration of beliefs is impossible: Ann believes that Bob assumes that Ann believes that Bob’s assumption is wrong This is formalized to show that any belief model of a certain kind must have a ...

This paper presents a fully automatic approach of spatio-temporal facial expression tracking for 4D range scans without any manual interventions (such as specifying landmarks). The approach consists of three steps: rigid registration, facial model reconstruction, and facial expression tracking. A Scaling Iterative Closest Points (SICP) algorithm is introduced to compute the optimal rigid regist...

Ultrasonography represents the method of choice in the investigation of the female pelvis. An accurate interpretation of the images must take into consideration the specific features of the uterus, ovaries and fallopian tubes. The present case review aims to demonstrate important points in interpretation and management of the female pelvis images.

Generally speaking, seismoelectric modeling is a prospecting method based on seismic and electromagnetic waves, in which waves generated by a seismic source at the boundary of the two environments generate a relative fluid-solid motion formed as a result of antagonism between the elastic properties of the environment with the saturated fluid. This research has as its objective, a study of the e...

This study compared focus attention and interpretation biases in social phobia patients and normal subject. In this study with causal- comparative method 100 subjects with social phobia and 100 normal individuals have compared. Subjects were selected through cluster sampling among Tabriz university students. Data scale of social phobia, attention bias and interpretation of the data was performe...