• VeriFast

  • Referenced in 57 articles [sw07705]
  • separation logic assertion. Folding or unfolding abstract predicate assertions is performed through explicit ghost statements...
  • TinkerPlots

  • Referenced in 39 articles [sw04200]
  • real data and recognise patterns as they unfold. TinkerPlots is the optimal tool to help...
  • KYST

  • Referenced in 23 articles [sw36299]
  • flexible program to do multidimensional scaling and unfolding. KYST is an extremely flexible and portable ... computer program for multidimensional scaling and unfolding. It represents a merger of M-D-SCAL...
  • smacof

  • Referenced in 24 articles [sw06539]
  • symmetric dissimilarity matrices, smacof for rectangular matrices (unfolding models), smacof with constraints on the configuration...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • this model is that it allows both: unfolding, as do most other high-level ... such that composition operations are coherent with unfolding, in the sense that the unfolding ... level net is the composition of the unfoldings of its components. One of the motivations...
  • VipTool

  • Referenced in 13 articles [sw13755]
  • runs of p/t-nets. Namely, functionalities for synthesis, unfolding (combined with respective validation) and testing...
  • Catfact

  • Referenced in 6 articles [sw14840]
  • elementary catastrophe theory. For an input unfolding of some singularity, the recognition problem ... less than 3 then normal forms for unfoldings are known. The recognition algorithm employs ... right-equivalence that transforms the given unfolding into its normal form...
  • Punf

  • Referenced in 10 articles [sw04416]
  • PUNF - Petri net unfolder. PUNF builds a finite and complete prefix of a safe Petri...
  • WSDFU

  • Referenced in 9 articles [sw02362]
  • system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper demonstrates the power...
  • Mole

  • Referenced in 5 articles [sw09239]
  • Mole - A Petri Net Unfolder. This program implements the Esparza/Römer/Vogler unfolding algorithm ... format, and its output is the resulting unfolding in the mci format also used...
  • Cunf

  • Referenced in 4 articles [sw09238]
  • Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. Cunf ... tool for building and analyzing unfoldings of Petri nets with read arcs. An unfolding represents ... interleaving of concurrent actions. C-net unfoldings can be up to exponentially smaller than Petri ... unfoldings, and recent work proposed algorithms for their construction and verification. Cunf is the first...
  • Blaise

  • Referenced in 8 articles [sw29867]
  • tools, so you can watch your computations unfold during development and debugging without sacrificing performance...
  • FoldIndex

  • Referenced in 5 articles [sw35528]
  • whether a given protein sequence is intrinsically unfolded. An easy-to-use, versatile and freely ... given protein sequence is intrinsically unfolded implementing the algorithm of Uversky and co-workers, which...
  • Unfolding

  • Referenced in 2 articles [sw33106]
  • Unfolding - A Library for Interactive Maps. Visualizing data with geo-spatial properties has become more ... domain or a specific dataset. We present Unfolding, a library for interactive maps and data ... visualization. Unfolding provides an API for designers to quickly create and customize geo-visualizations ... development process, and the functionalities of Unfolding. We demonstrate its versatility in use through...
  • ACSAR

  • Referenced in 4 articles [sw02684]
  • creating more and more spurious counterexamples by unfolding the same (while- or for-) loop over...
  • RNAplex

  • Referenced in 4 articles [sw17143]
  • interaction search. Motivation: Regulatory RNAs often unfold their action via RNA-RNA interaction. Transcriptional gene...
  • CUPSAT

  • Referenced in 3 articles [sw16877]
  • ΔΔG, the difference in free energy of unfolding between wild-type and mutant proteins...
  • AGGRESCAN

  • Referenced in 3 articles [sw22400]
  • aggregation properties displayed by globular proteins, natively unfolded polypeptides, amyloidogenic proteins and proteins found...
  • RooUnfold

  • Referenced in 1 article [sw23379]
  • Unfolding algorithms and tests using RooUnfold. The RooUnfold package provides a common framework to evaluate ... different unfolding algorithms, side-by-side. It currently provides implementations or interfaces for the Iterative ... provide covariance matrix evaluation and multi-dimensional unfolding. A test suite allows comparisons ... models. Here I outline the package, the unfolding methods, and some experience of their...
  • PyUnfold

  • Referenced in 1 article [sw27048]
  • PyUnfold: A Python Package for Iterative Unfolding. PyUnfold is a Python package for incorporating imperfections ... variable. This deconvolution process is known as unfolding. The unfolding method implemented in PyUnfold accomplishes...