We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...

The present study explains the development of an experimental process about the comparison of programming styles; which was objective to measure productivity in software creation applying two different styles: Pair Programming ...

Piecewise-Linear Programming (PLP) is an important area of Mathematical Programming and concerns the minimisation of a convex separable piecewise-linear objective function, subject to linear constraints. In this paper a ...

Piecewise-Linear Programming (PLP) is an important area of Mathematical Programming and concerns the minimisation of a convex separable piecewise-linear objective function, subject to linear constraints. In this paper a ...

We present new version of previously published Fortran and C programs for solving the Gross-Pitaevskii equation for a Bose-Einstein condensate with contact interaction in one, two and three spatial dimensions in imaginary ...

Youth training programs and their evaluations are ubiquitous, yet there is relatively little evidence on the mechanisms through which they operate and their effect on outcomes beyond the labor market. This is the motivation ...

Background: Environmental factors, particularly nutrition during pregnancy and early life can influence the risk of chronic diseases in later life. The underlying mechanism, termed “programing”, postulates that an environmental ...