Computer-integrated manufacturing (CIM), technologies are presented as solutions to manufacturing organizations, which need to perform well in all customer-related dimensions simultaneously. In the literature, CIM technologies providing such benefits as more frequent production changes, reduced inventory level, improved ability of producing complex parts with a high degree of accuracy and repea...

“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the univ operator and higher-order logic programming techniques. We pay attention to the particularities of Prolog. For instance, we deal with traversal of non-ground terms. We also develop an alternative model of SYB-like trave...

We apply the “Monotone Comparative Statics” method à la Topkis (1978), Edlin and Shannon (1998), and Milgrom and Segal (2002)’s generalized envelope theorem to the three-tier agency model with hidden information and collusion à la Tirole (1986, 1992), thereby providing a framework that can address the issues treated in the existing literature, e.g., Kofman and Lawarree (1993)’s auditing applica...

the main design criteria of ballasted railway tracks include rail deflections, rail bending stresses, rail wheel contact stresses, sleeper bending moments and ballast sleeper contact pressures. numerous criteria have been defined for the design of ballasted railway tracks owing to the various mechanical properties of track components and their complex interaction. therefore, railway track desig...

closed-loop supply chain network (clscn) design aims at incorporating environmental considerations into the traditional supply chain design by including recycling, disassembly and reuse activities. in a clscn, the environmental considerations can also be facilitated by resorting to environmentally friendly materials and enhancing product reuse through the design of an appropriate product recove...

A probabilistic model for mooring chain fatigue damage is developed based on the S–N approach. The effects of mean load and corrosion condition capacity chains are included by adopting a parameterized curve intercept parameter, allows uncertainties time dependencies these to be addressed. Uncertainties in loads also accounted for, including annual variability which may importance certain cases....