• ManLab

  • Referenced in 3 articles [sw12525]
  • Manlab: an interactive path-following and bifurcation analysis software. It’s a Matlab package...
  • HOPE

  • Referenced in 4 articles [sw32999]
  • sequence. This objective is achieved by following a path of conformations determined by a homotopy...
  • CMPSm

  • Referenced in 2 articles [sw06209]
  • MATLAB program using a predictor-corrector path-following method for tracing homotopy curves to approximate...
  • ECM

  • Referenced in 1 article [sw22840]
  • real-time crowd simulation framework with path following and collision avoidance. Our implementation has been...
  • MUSCOD-II

  • Referenced in 18 articles [sw13053]
  • final state constraints, periodicity conditions, or path constraints. Furthermore, a unique multistage formulation allows ... process stages, e.g., a batch reaction step followed by a batch separation step...
  • GRUMPS

  • Referenced in 2 articles [sw03140]
  • time systems do not follow a predictable path. In addition to this, rapid prototyping...
  • Spanner

  • Referenced in 1 article [sw22838]
  • that a path between p and q is ”short” if its length is no more ... times |pq|. Hence, the detour when following this path is not too ”big”. To define...
  • PSOPT

  • Referenced in 7 articles [sw20700]
  • following characteristics: Single or multiphase problems; Continuous time nonlinear dynamics; Nonlinear path constraints; General event...
  • DHT

  • Referenced in 1 article [sw31550]
  • Hankel Transform was proposed that follows the same path as the Discrete Fourier/Continuous Fourier transform...
  • MicroFract

  • Referenced in 1 article [sw30430]
  • microstructural cracks propagate in the path of least resistance following weak interfaces and grain boundaries ... image-based methodology for identifying the path of least resistance in the microstructure. In this...
  • MARKOV

  • Referenced in 5 articles [sw11578]
  • that finds generating functions that weight-enumerate paths on Combinatorial Markov Chains ... into Maple, type `read MARKOV:`, and follow the instructions given there...
  • rsppfp

  • Referenced in 1 article [sw29900]
  • known forbidden paths. There are several transformations, following the rules provided by Villeneuve and Desaulniers...
  • PathAVI

  • Referenced in 1 article [sw23744]
  • formally that PathAVI implicitly follows the theoretically sound iteration paths, and can be implemented...
  • Opal

  • Referenced in 3 articles [sw21958]
  • description of Opal. We begin by defining path algebras and giving their relationship to other ... Opal and its interface are described, followed by a brief discussion of the implementation...
  • Anica

  • Referenced in 1 article [sw22198]
  • case of verification. Anica provides the following features: Verification of a complete assigned Petri ... valid assignments; Presenting a witness path for each violation of non-interference; Providing a fully...
  • Huffman

  • Referenced in 1 article [sw32218]
  • constructing a binary tree with minimum weighted path length. This report presents a formal proof ... algorithm written using Isabelle/HOL. Our proof closely follows the sketches found in standard algorithms textbooks...
  • POISED

  • Referenced in 1 article [sw30723]
  • according to the interests of people. Dissemination paths may emerge where some communities post similar ... other malicious content, on the other hand, follow different spreading patterns. In this paper...
  • DAOmap

  • Referenced in 2 articles [sw26287]
  • contributions of This work are as follows: (i) we consider the potential node duplications during ... determined, we will relax the non-critical paths by searching the solution space considering both...
  • treex

  • Referenced in 1 article [sw32686]
  • rooted trees as well as the following main functionalities: (i) Random generation algorithms ... trees; (v) Computation of coding processes (Harris path, Lukasiewicz walk and height process); (vi) Visualization...
  • MPM

  • Referenced in 1 article [sw14714]
  • backends. We argue that this is the path that leads to the next generation ... prototype---called MPM---which has been implemented following the design advocated in this paper...