this study analyses the concept of cost functions for semi-automated straddle carrier (sc), rubber tyred gantry (rtg) and automated rail mounted gantry (rmg) container yard operating cranes. it develops a generic cost based model for a pair-wise comparison, analysis and evaluation of economic efficiency and effectiveness of container yard equipment to be used for decision-making by terminal pla...

Abstract In this article, we study the Ricci flow neckpinch in context of metric measure spaces. We introduce notion a spacetime and weak (refined) super associated to convex cost functions (cost which are increasing distance function). Our definition is based on coupled contraction property for suitably defined diffusions maximal diffusion subspaces. our main theorem, show that if non-degenera...

We apply the general theory of approximation orders of shift-invariant spaces of BDR1-3] to the special case when the nitely many generators L 2 (IR d) of the underlying space S satisfy an N-scale relation (i.e., they form a \father wavelet" set). We show that the approximation orders provided by such nitely generated shift-invariant spaces are bounded from below by the smoothness class of each...

This paper is concerned with the existence of globally smooth solutions for the second boundary value problem for Monge-Ampere equations and the application to regularity of potentials in optimal transportation. The cost functions satisfy a weak form of our condition A3, under which we proved interior regularity in a recent paper with Xi-nan Ma. Consequently they include the quadratic cost func...

Techniques of interval extensions and interval Newton methods have been developed for verified solution of nonlinear systems of equations and for global optimization. In most of the literature to date, such interval extensions and interval Newton methods are applicable when the functions are given by smooth expressions, without conditional branches. In fact, however, many practical problems, in...

Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal specification language for symbolic control, due to its expressiveness and closeness natural language. Furthermore, STL specifications can be encoded cost functions using STL's robust semantics, transforming the synthesis problem into optimization problem. Unfortunately, these are non-smooth non-convex, exact so...

We discuss the possibility to represent smooth nonnegative matrix-valued functions as finite linear combinations of fixed matrices with positive real-valued coefficients whose square roots are Lipschitz continuous. This issue is reduced to a similar problem for smooth functions with values in a polyhedron. 1. Motivation One of the main goals of the article is to understand what kind of optimal ...