• 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 high-level 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 first-class 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 free-form surfaces of arbitrary topology and local patch-layout ... 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, quality-control 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 three-term 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 one-sided 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 Multi-Version Concurrency Control (MVCC), point in time recovery, tablespaces, asynchronous ... multibyte character encodings, Unicode, and it is locale-aware for sorting, case-sensitivity, and formatting...
  • TRICE

  • Referenced in 46 articles [sw05197]
  • large scale problems arising from optimal control problems governed by partial differential equations.par The algorithms ... second-order 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...