Run-to-run optimization methodologies exploit the repetitive nature of batch processes to find the optimal operating policy in the presence of uncertainty. For the class of batch optimization problems where the solution is determined by terminal constraints, the update of the decision variables towards their optimal values is realized using a constraint control scheme. The methodology is adapte...

The purpose of this paper is to investigate the system of oil revenues effects on the production performance of oil-rich countries in both short and long-run. To reveal new insight, a macroeconomic model is designed to hypothesize long-run structural relations in the economies of the oil-rich countries including three long-run relationships of real output, real money balance, and the adjusted p...

This paper briefly describes the Forester tree automata-based shape analyser and its participation in the SV-COMP’16 competition on software verification. In particular, it summarizes the verification approach used by Forester, its architecture and setup for the competition, as well as its strengths and weaknesses observed in the competition run. The paper highlights the newly added counterexam...

purpose the aim of this study was to investigate the relation between anthropometric variables and total race time including split times in 184 recreational male ironman triathletes. methods body mass, body height, body mass index, lengths and circumferences of imbs, thicknesses of skin-folds, sum of skin-fold thicknesses, and percent body fat were related to total race time including split tim...