“Multi-choice Question Answering in Exams” is a typical question answering task, which aims to test how accurately the participants could answer the questions in exams. Most of the existing QA systems typically rely on handcrafted features and rules to conduct question understanding and/or answer ranking. In this paper, we perform convolutional neural networks (CNN) to learn the joint represent...

A computer program in a conventional (imperative) language provides an explicit sequence of instructions by which to compute the desired answer. A program in a declarative language, by contrast, expresses conditions that the answer should satisfy; it is up to an implementation of the language to compute an appropriate answer. The usefulness of declarative programming has been recognized for dec...

It is known that the imaginary parts of the roots of the Riemann’s ζ−function are uniformly distributed. This fact led Calude to a natural question: is the corresponding sequence (of binary expansions merged together) random in the sense of Martin-Löf? Our answer is negative: this sequence is not random.

We solve a conjecture of J. Shallit related to the automaticity function of a unary language, or equivalently to the rst occurrence function in a symbolic sequence. The answer is negative: the conjecture is false, but it can be corrected by changing the constant involved. The proof is based on a study of paths in the Rauzy graphs associated to the sequence.