
ManLab
 Referenced in 3 articles
[sw12525]
 Manlab: an interactive pathfollowing 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 predictorcorrector pathfollowing method for tracing homotopy curves to approximate...

ECM
 Referenced in 1 article
[sw22840]
 realtime crowd simulation framework with path following and collision avoidance. Our implementation has been...

MUSCODII
 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 ... imagebased methodology for identifying the path of least resistance in the microstructure. In this...

MARKOV
 Referenced in 5 articles
[sw11578]
 that finds generating functions that weightenumerate 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 noninterference; 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 noncritical 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 ... prototypecalled MPMwhich has been implemented following the design advocated in this paper...