
COMET
 Referenced in 71 articles
[sw03051]
 search, using constraints to describe and control local search, and a programming language, COMET, that...

KELLEY
 Referenced in 600 articles
[sw04829]
 parameter identification problem and a discretized optimal control problem, both of which are used ... first part. Chapter 2 studies the local convergence of Newton’s method, inexact Newton methods ... method is studied in chapter 4. A local convergence analysis is provided and implementation details ... parameter identification problem and the discretized optimal control problem introduced in chapter 1, and with...

Creol
 Referenced in 25 articles
[sw09421]
 Asynchronous method calls and highlevel local control structures allow local computation to adapt...

Mesquite
 Referenced in 36 articles
[sw10590]
 optimization to: Untangle meshes, Provide local size control, Improve angles, orthogonality, and skew, Increase minimum...

simannf90
 Referenced in 118 articles
[sw05059]
 control of a probabilistic criterion, thus tending to avoid the first local minima encountered...

SPRINT2D
 Referenced in 25 articles
[sw00904]
 uses unstructured triangular meshes and adaptive local error control in both space and time...

KLAIM
 Referenced in 71 articles
[sw09424]
 KLAIM naturally supports programming with explicit localities. Localities are firstclass data (they ... language provides coordination mechanisms to control the interaction protocols among located processes. The formal operational ... processes in relation to the various localities. The type system is used to determine...

Pcp2Nurb
 Referenced in 18 articles
[sw00689]
 Unrestricted control polyhedra facilitate modeling freeform surfaces of arbitrary topology and local patchlayout ... corners, the smoothing of an unrestricted control polyhedron can be reduced to the smoothing ... their rectilinear control polyhedron. In particular, it stays in the local convex hull...

Bebop
 Referenced in 74 articles
[sw08928]
 model checker for boolean programs. Bebop represents control flow explicitly, and sets of states implicitly ... modularity in procedural abstraction and exploiting the locality of variable scoping, Bebop is able...

WINSTEPS
 Referenced in 26 articles
[sw06661]
 reliability, construct validity, qualitycontrol fit statistics, statistical information, linearity, local dependency and unidimensionality. Rasch...

SFSDP
 Referenced in 31 articles
[sw04793]
 network localization (SNL) problems. These types of problems arise in monitoring and controlling applications using ... sensor network localization problems, as a sparse version of the full semidefinite programming relaxation (FSDP...

lobpcg.m
 Referenced in 120 articles
[sw24008]
 symmetric eigenvalue problems, based on a local optimization of a threeterm recurrence, and suggest ... preconditioners and initial guesses. As the “ideal” control algorithm, we advocate the standard preconditioned conjugate...

CARIBOO
 Referenced in 14 articles
[sw10064]
 allowing to control evaluation strategies in a very fine local way, the outermost strategy, useful...

Nimrod/G
 Referenced in 50 articles
[sw09657]
 computational grid/pool/cloud; start from your desktop, local server or cluster; add grid resources (e.g. clusters ... cloud services and control your budget with Nimrod/G’s economic scheduling capabilities. Whilst initially oriented...

PSOPT
 Referenced in 8 articles
[sw20700]
 methods, including pseudospectral and local discretizations. Pseudospectral methods solve optimal control problems by approximating ... polynomials, such as Legendre or Chebyshev functions. Local discretization methods approximate the time dependent functions ... nonlinear programming is then used to find local optimal solutions. PSOPT is able to deal ... Integral constraints; Interior point constraints; Bounds on controls and state variables; General cost function with...

CLUCalc
 Referenced in 3 articles
[sw20666]
 Geometric control of the trident snake robot based on CGA. We demonstrate the theory ... computations in Clifford algebra. Local control of a general trident snake robot is solved...

UPC++
 Referenced in 3 articles
[sw16318]
 through lightweight onesided communication and locality control. While very convenient for moving data around...

CARMEN
 Referenced in 8 articles
[sw10656]
 primatives including: base and sensor control, logging, obstacle avoidance, localization, path planning, and mapping...

PostgreSQL
 Referenced in 70 articles
[sw15935]
 sophisticated features such as MultiVersion Concurrency Control (MVCC), point in time recovery, tablespaces, asynchronous ... multibyte character encodings, Unicode, and it is localeaware for sorting, casesensitivity, and formatting...

TRICE
 Referenced in 46 articles
[sw05197]
 large scale problems arising from optimal control problems governed by partial differential equations.par The algorithms ... secondorder necessary KKT conditions. The local rate of convergence to a nondegenerate strict local ... results for the solution of an optimal control problem governed by a nonlinear heat equation...