A chemical plant in The Netherlands uses large annual supplies of a bulk chemical. A number of suppliers deliver their parcels from overseas by short sea vessel to a transshipment...
Henk de Swaan Arons, Eelco van Asperen, Rommert De...
Entity profiling is the task of identifying and ranking descriptions of a given entity. The task may be viewed as one where the descriptions being sought are terms that need to be ...
Maarten de Rijke, Krisztian Balog, Toine Bogers, A...
In this paper, a model of political consensus is introduced. Parties try to reach consensus in forming a government. A government is defined as a pair consisting of a winning coali...
Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. ...
We show that any 1-round 2-server Private Information Retrieval Protocol where the answers are 1-bit long must ask questions that are at least n - 2 bits long, which is nearly equa...
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
Verena Wolf, Christel Baier, Mila E. Majster-Ceder...