Anonymity services in the EU may be forced by the new EU data retention directive to collect connection data and deanonymise some of their users in case of serious crimes. For this purpose, we propose a new privacy-friendly solution for incorporating revocation in an anonymous communication system. In contrast to other known methods, our scheme does not reveal the identity of a user to any othe...

In this paper, we introduce a new functionality for proxy re-encryption (PRE) that we call re-encryption verifiability. In a PRE scheme with re-encryption verifiability (which we simply call verifiable PRE, or VPRE), a receiver of a re-encrypted ciphertext can verify whether the received ciphertext is correctly transformed from an original ciphertext by a proxy, and thus can detect illegal acti...

The theory of imprecise probability (IP) has been slow to catch on in philosophy, although there are signs that this is beginning to change. Gert de Cooman’s link between IP and logic, presented in a terrific talk at progic 2007, is sure to draw interest from philosophical logicians; a general result in de Cooman and Miranda (2007) showing how Finetti’s exchangeability theorem drops out as a sp...

At COLING80, we reported on an Interactive Translation System called ITS. We will discuss t h r ee p rob lems in the design of the first version of ITS: (1) human f ac to r s , (2) the "all or noth ing" syndrome, and (3) traditional centralized processing. We will also discuss a new vers ion of ITS, which is now being programmed. This new vers ion will hopeful ly o v e r c o m e these p rob lem...

A mobile learning system, called MobiQiyas, for preparing Saudi Arabian students for one of the standardized tests, given by the National Center for Assessment in Higher Education (NCAHE), has been developed, using ready-made commercial products and tools. The learning material of MobiQiyas consists of practice questions with their answers, both provided by NCAHE, to be loaded by the students i...

Improving the seasonal cycle and interannual variations of biomass burning aerosol sources S. Generoso, F.-M. Bréon, Y. Balkanski, O. Boucher, and M. Schulz Laboratoire des Sciences du Climat et de l’Environnement, CEA/CNRS, Gif-sur-Yvette, France Laboratoire d’Optique Atmosphérique, CNRS/Université des Sciences et Technologies de Lille, Villeneuve d’Ascq, France Received: 31 January 2003 – Acc...

There are probably as many variations of knowledge management definitions as there are practitioners and researchers in the discipline. Complete consensus in such a group would be a surprising finding. This is because the two words are loaded with pre-existing meanings that do not always sit comfortably in juxtaposition, so what it means to “manage knowledge” is difficult to ascertain, and henc...

Typesetting note: We have used Greek symbols in the text but we have found these sometimes do not appear if the document is opened on a computer loaded with different fonts. The symbols are Δ (upper case delta) and ε (epsilon). These symbols appear on p.3, paragraph 4, line 2 (below equation 1): " where a i is the activation of the sending unit and a j is the activation of the receiving unit, w...

Emotional language of human individuals has been studied for quite a while dealing with opinions and value judgments people have and share with others. In our work, we take a different stance and investigate whether large organizations, such as major industrial players, have and communicate emotions, as well. Such an anthropomorphic perspective has recently been advocated in management and orga...