the results of standard and augmented surgical treatment of partial accommodative esotropia have been compared in this study.in this sequential matched randomized double blind clinical trial, we studied 48 patients (96 eyes) with partial accommodative esotropia between the ages of 13 to to 144 months, referring to strabismus clinic of farabi eye hospital between 1999-2000. these patients were g...

We introduce a layout manager that exploits the robust sensing capabilities of next-generation head-worn displays by embedding virtual application windows in the user’s surroundings. With the aim of allowing users to find applications quickly, our approach leverages spatial memory of a known body-centric configuration. The layout manager balances multiple constraints to keep layouts consistent ...

The construction of large-scale reference conceptual models is a complex engineering activity. To develop high-quality models, a modeler must have the support of expressive engineering tools such as theoretically well-founded modeling languages and methodologies, patterns and anti-patterns and automated support environments. This paper proposes Semantic Anti-Patterns for ontologydriven conceptu...

Simulation of weather scenery in computer graphics (CG) is an important issue that has a wide range of applications related to image content, such as in movies and in various landscape simulations. In general, research to date into CG lightning has focused on generating a lightning pattern by applying probability and statistics techniques, which do not consider the generating mechanism of light...

Two Augmented Lagrangian algorithms for solving KKT systems are introduced. The algorithms differ in the way in which penalty parameters are updated. Possibly infeasible accumulation points are characterized. It is proved that feasible limit points that satisfy the Constant Positive Linear Dependence constraint qualification are KKT solutions. Boundedness of the penalty parameters is proved und...

The author has found many applications in machine vision of Constraint Networks based upon an Augmented Lagrangian formulation. This paper discusses two of the more fundamental applications: to provide a generalization of the Harris Coupled Depth-Slope analog network, and as a method of implementing data fusion (such as between two visual modules). Index Tenns-Computer vision, data fusion, neur...

Necessary Optimality Conditions for Nonlinear Programming are discussed in the present research. A new Second-Order condition is given, which depends on a weak constant rank constraint requirement. We show that practical and publicly available algorithms (www.ime.usp.br/∼egbirgin/tango) of Augmented Lagrangian type converge, after slight modifications, to stationary points defined by the new co...

The author has found many applications in machine vision of Constraint Networks based upon an Augmented Lagrangain formulation. This paper discusses one of the more fundamental applications: to provide a generalization of the Harris Coupled Depth-Slope analog network. @7803-01641/91/oooO-O729$0 Loo

Dependency Tree Semantics (DTS) is an underspecified formalism for representing quantifier scope ambiguities in natural language. DTS features a direct interface with a Dependency grammar and an incremental, constraint-based disambiguation mechanism. In this paper, we discuss the meaning of quantifier dependency in DTS by translating its well formed structures into formulae of a Second Order Lo...

The purpose of this work is the development of a fully monolithic solution algorithm for quasi-static phase-field fracture propagation. Phase-field fracture consists of two coupled partial differential equations and it is well known that the underlying energy functional is non-convex and sophisticated algorithms are required. For the incremental, spatially-discretized problem, an adaptive error...