Deviation is a recent constraint to balance a set of variables with respect to a given mean. We show that the propagators recently introduced are not bound-consistent when the mean is rational. We introduce bound-consistent propagators running in linear time with respect to the number of variables. We evaluate the improvement in terms of efficiency and pruning obtained with the new propagators ...

Reversible mechanochromic luminescence (ML) is known for difluoroboron β-diketonates (BF2bdks). Here, we report ML for the methoxy-substituted dinaphthoylmethane (dnmOMe) ligand even without coordination to boron. In addition, dnmOMe shows solvatochromism and aggregation-induced emission (AIE). Diketone thin films showed high contrast emission when smeared, and rapid recovery of the pre-smeared...

Recent investigations of the Dyson–Schwinger equations and Monte– Carlo lattice calculations resulted in a coherent description of the fully dressed gluon, ghost and quark propagators in Landau gauge QCD. In the Dyson–Schwinger approach the infrared behaviour of these propagators is determined analytically. For finite spacelike momenta the gluon, ghost and quark propagators are compared to avai...

Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarative specification is automatically translated into an efficient propagator. This paper introduces the use of existential monadic secondorder logic as declarative specification language for finite set propagators. The ap...