• ReachLab

  • Referenced in 3 articles [sw10313]
  • that the concerns of design and implementation of analysis algorithms are separated. On one hand...
  • Commentary

  • Referenced in 2 articles [sw06414]
  • states and separable approximations are powerful tools of approximate dynamic programming Concerns [ibid...
  • PROMISE

  • Referenced in 4 articles [sw02636]
  • have information autonomy and makes decisions separately with respect to its own local objective ... previous studies in the literature are mainly concerned with developing operations research models, ignoring...
  • npbr

  • Referenced in 1 article [sw15636]
  • concerned with empirical, smoothed, unrestricted as well as constrained fits under both separate and multiple...
  • OLP

  • Referenced in 1 article [sw27618]
  • separability condition. We illustrate the method on possible data from a psychophysical experiment (concerning...
  • Skart

  • Referenced in 1 article [sw32147]
  • confidence interval that satisfies user-specified requirements concerning not only coverage probability but also ... provided by the half-length. Skart exploits separate adjustments to the half-length...
  • Tatoo

  • Referenced in 1 article [sw30246]
  • design has been driven by three main concerns: the ability to use the parser with ... deal with several language versions; a clean separation between the lexer definition, the parser definition...
  • Backpack

  • Referenced in 1 article [sw22068]
  • present Backpack, a new language for building separately-typecheckable packages on top of a weak ... design is motivated less by foundational concerns and more by the practical concern of integration ... interoperability with Haskell while extending it with separate typechecking. Lastly, although Backpack is geared toward...
  • KKTDirect

  • Referenced in 3 articles [sw04032]
  • existence of the LDL^T factorization, stability concerns aside. In fact, D may be taken ... highly efficient Cholesky factorization routine, based on separate symbolic and numerical phases and possibly exploiting...
  • ViroCon

  • Referenced in 1 article [sw27545]
  • implements different environmental contour methods. ViroCon is separated into two packages. One package is dedicated ... marine structures to better pursuit research questions concerning structural reliability by providing an easy...
  • svcR

  • Referenced in 1 article [sw19768]
  • efficient cluster extraction if clusters are separable in a 2-D map. Secondly we showed ... information extraction in documents; our case study concerns a set of terms and documents about...
  • PyFly

  • Referenced in 1 article [sw25306]
  • wake while assuming that the flow separation location is known a priori. This method ... performance regarding solution time and great flexibility concerning easiness of code adaptation to different system...
  • LANCELOT

  • Referenced in 296 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • ML

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Graphviz

  • Referenced in 81 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • Ada95

  • Referenced in 286 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • JAsCo

  • Referenced in 11 articles [sw01974]
  • JAsCo is an advanced aspect-oriented programming (AOP...
  • EUROVAL

  • Referenced in 11 articles [sw02124]
  • EUROVAL - An European initiative on validation of CFD...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • SeDuMi

  • Referenced in 1171 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...