• Uppaal2k

  • Referenced in 43 articles [sw01595]
  • behaviors of a system description, i.e. sequences of symbolic states of the system ... visualize a trace as a message sequence chart (MSC). A requirement specification editor that also ... liveness properties by reachability analysis of the symbolic state-space. Since version...
  • Symstra

  • Referenced in 18 articles [sw01296]
  • unit tests using symbolic execution Object-oriented unit tests consist of sequences of method invocations ... unit tests involves two tasks: generating method sequences that build relevant receiver-object states ... tasks using symbolic execution of method sequences with symbolic arguments. The paper defines symbolic states ... bound on the length of sequences, Symstra systematically explores the object-state space...
  • CDNA

  • Referenced in 9 articles [sw37103]
  • measure the ”predictability/compressibility” of a symbol sequence based on inexact matches. The local context...
  • WebLogo

  • Referenced in 24 articles [sw17263]
  • sequence conservation at that position (measured in bits), whereas the height of symbols within ... provide a convenient and highly configurable sequence logo generator. A command line interface...
  • Whittle Surrogate

  • Referenced in 1 article [sw22532]
  • Central File Exchange 40188. Generates a symbol sequence with a specified transition count ... from data one counts the occurrence of symbols and their transitions and stores the resulting ... this package produces surrogates sequences iteratively. At each step a symbol is chosen randomly, weighted ... that choice. The number of possible symbol sequences is given by Whittle’s formula. This...
  • JAN

  • Referenced in 5 articles [sw11642]
  • brilliant paper: ”Non-Repetitive Sequences on three symbols...
  • SYNAPS

  • Referenced in 24 articles [sw00941]
  • ApplicationS) SYNAPS is a library devoted to symbolic and numeric computations. The kernel of this ... computing univariate and multivariate resultants, Sturm sequences, for analysing the toplogy of implicit curves...
  • Wave2Vec

  • Referenced in 1 article [sw37868]
  • real number time series, into a sequence of symbols or a sequence of wavelet patterns ... proposed model vectorizes the symbols by learning the sequence using deep learning-based natural language ... series of real number data into sequences of symbols. In addition, it facilitates intuitive...
  • KMC

  • Referenced in 4 articles [sw20510]
  • designed for counting k-mers (sequences of consecutive k symbols) in a set of reads...
  • MU-TERM

  • Referenced in 34 articles [sw10015]
  • achieve termination by pruning all infinite rewrite sequences issued from every term. Context-sensitive rewriting ... replacements in some arguments of the function symbols are permanently forbidden. This paper describes...
  • BruijnViz

  • Referenced in 1 article [sw37124]
  • length (n) taken from a symbol sequence are depicted on de Bruijn graph. The graph...
  • ordpy

  • Referenced in 1 article [sw37285]
  • framework for mapping time series into symbolic sequences that triggered the development of many other...
  • Xaa

  • Referenced in 2 articles [sw29862]
  • input one or two dimensional sequences of symbols. This system provides data generation tools...
  • Vcsn

  • Referenced in 1 article [sw21339]
  • automata that not only accept sequences of symbols but compute for such sequence a ”value...
  • Cadence SMV

  • Referenced in 27 articles [sw07795]
  • Cadence SMV is a symbolic model checking tool that allows you to formally verify temporal ... verify your design for all possible input sequences. While formal verification is often equated with...
  • DAFSA

  • Referenced in 1 article [sw32807]
  • that allow to represent a set of sequences (typically character strings or n-grams ... single source vertex (the start symbol of all sequences) and at least one sink edge ... final symbols, each pointed to by one or more sequences). In the current implementation...
  • Mgfun

  • Referenced in 8 articles [sw06227]
  • symbolic manipulation of a large class of special functions and combinatorial sequences...
  • MatchPy

  • Referenced in 2 articles [sw28943]
  • supports associative and/or commutative function symbols, as well as sequence variables, similar to pattern matching...
  • EAT

  • Referenced in 17 articles [sw09167]
  • symbolic software for effective homology computation. Kenzo: EAT (= Effective Algebraic Topology), the previous program. Before ... first program ever written implementing spectral sequences, in fact only some particular cases...
  • PANOW

  • Referenced in 5 articles [sw10156]
  • protein sequences). Using recent results on occurrence times of a string of symbols...