Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhancement techniques of which many are successfully established in related fields, such as common subexpression elimination. Our aim is to apply these techniques in an efficient fashion, since we tailor instance-wise, and...

As stated in the conference theme, the failure of information systems and information technology projects remains stubbornly high. Agile methods have recently emerged as a new and seemingly popular alternative approach to systems development. Purveyors of these methods claim they solve many of the problems that have plagued the field for over 40 years, and there is now anecdotal evidence to sug...

BACKGROUND Web-based physical activity interventions that apply computer tailoring have shown to improve engagement and behavioral outcomes but provide limited accountability and social support for participants. It is unknown how video calls with a behavioral expert in a Web-based intervention will be received and whether they improve the effectiveness of computer-tailored advice. OBJECTIVE T...

Conditions on type preorders are provided in order to characterize the induced filter models for the λ-calculus and some of its restrictions. Besides, two examples are given of filter models in which not all the continuous functions are representable.

Increased glucose metabolism in cancer cells is a phenomenon that has been known for over 90 years, allowing maximal cell growth through faster ATP production and redistribution of carbons towards nucleotide, protein and fatty acid synthesis. Recently, metabolites that can promote tumorigeneis by altering the epigenome have been identified. These 'oncometabolites' include the tricarboxylic acid...