We propose prefix constraints, a novel method to enforce constraints on target sentences in neural machine translation. It places a sequence of special tokens at the beginning of target sentence (target prefix), while side constraints (Sennrich et al., 2016) places a special token at the end of source sentence (source suffix). Prefix constraints can be predicted from source sentence jointly wit...

In statistical machine translation, the generation of a translation hypothesis is computationally expensive. If arbitrary reorderings are permitted, the search problem is NP-hard. On the other hand, if we restrict the possible reorderings in an appropriate way, we obtain a polynomial-time search algorithm. We investigate different reordering constraints for phrase-based statistical machine tran...

Density functional theory is the standard for computing electronic structure of materials, which based on a that maps electron density to energy. However, rigorous form not known and has been heuristically constructed by interpolating asymptotic constraints extreme situations, such as isolated atoms uniform gas. Recent studies have demonstrated can be effectively approximated using machine lear...

Reactive machine + Environment +Time constraints Logical (internal) time Consistency pbs-timelocks Time constraints on interactions Execution times as specified Usually, timeless atomic

Many CSPs can be effectively represented and efficiently solved using matrix models, in which the matrices may have symmetry between their rows and/or columns. Eliminating all such symmetry can be very costly as there are in general exponentially many symmetries. Cost-effective methods have been proposed to break much of the symmetry, if not all. In this paper, we continue with this line of res...

We review research on the ̄uency heuristic as a basis for the subjective experience of familiarity. Then, we explore the links between the construct of ̄uency and the automatic versus consciously controlled memory processes that are estimated using the process dissociation procedure, and the phenomenological experiences studied using ``Remember'' and ``Know'' judgements. Although the ̄uency tha...

Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...