Abstract This is a study of the semantics definiteness marking and its applicability to Old East Scandinavian linguistic scenario. Contrary Modern Continental languages, varieties did not possess fully-fledged definite articles, although all three demonstrative systems ( hinn, -inn, sá/þænn , sjá/þænni ) show some evidence being used as markers definiteness. A semantic analysis these forms in e...

In this paper we investigate non-convex optimal control problems. We are concerned with a-posteriori verification of sufficient optimality conditions. If the proposed verification method confirms the fulfillment of the sufficient condition then a-posteriori error estimates can be computed. A special ingredient of our method is an error analysis for the Hessian of the underlying optimization pro...

This paper describes a reduced quasi-Newton method for solving equality constrained optimization problems. A major difficulty encountered by this type of algorithm is the design of a consistent technique for maintaining the positive definiteness of the matrices approximating the reduced Hessian of the Lagrangian. A new approach is proposed in this paper. The idea is to search for the next itera...