• # 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...
• # 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...
• # 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...
• # 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...