Interviewees sometimes deliberately omit reporting some information. Such omission lies differ from other because all the information interviewees present may be entirely truthful. Truth tellers and lie carried out a mission. reported entire mission truthfully. Lie were also truthful but left one element of In truth tellers' statements, only parts that asked to recall analysed. Interviews via C...

We study multi-period college admission problems where, at each period, a matching is computed and students have the option to either finalize their matches or participate in next period. Students participating an additional run of mechanism can submit new rank order list clearinghouse. Such gradual systems adequately account for source heterogeneity among participants, like withdrawals. identi...

Abstract Gradually typed languages are designed to support both dynamically and statically programming styles while preserving the benefits of each. Sound gradually check types at runtime boundary between modules. However, there is much disagreement in gradual typing literature over how enforce complex such as tuples, lists, functions objects. In this paper, we propose a new perspective on desi...

A process fails by omission if it “forgets” to send or receive messages. Considering omission failures is crucial for distributed systems, as such failures model both crash failures and incorrect behavior of process input/output buffers (such as buffer overflow). So, designing protocols that cope not only with crash failures but also with omission failures is a real challenge as soon as one is ...

Many psychological learning theories have noted commonalities between aversive states produced by presentation of negative reinforcers, such as electric shock, and the omission of expected positive reinforcers, such as food. Here, three groups of rats received training with one auditory cue paired with shock and another with the omission of expected food, a shock-paired cue and a food-omission ...

Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A typestate checker can statically ensure, for instance, that an object method is only called when the object is in a state for which the operation is welldefined. Prior work has shown how modular typestate checking can be achieved thanks to access permissions and state guara...

In Special Relativity there are infinitely many equivalence classes of frames of reference. In each such class every two frames of reference move uniformly with respect to one another. It appears that the following questions have never been asked : In which of such equivalence classes of frames of reference is Special Relativity supposed to hold ? How can we identify such a class, and do so the...