• STRINGVACUA

  • Referenced in 41 articles [sw00920]
  • Mathematica Package for Studying Vacuum Configurations in String Phenomenology. We give a simple tutorial introduction ... package STRINGVACUA, which is designed to find vacua of string-derived or inspired four-dimensional...
  • HAMPI

  • Referenced in 19 articles [sw09864]
  • Hampi is a solver for string constraints. Hampi is designed for constraints generated by program ... constraints, Hampi outputs a string that satisfies all the constraints, or reports that the constraints...
  • SNOBOL

  • Referenced in 29 articles [sw27058]
  • SNOBOL4 (StriNg Oriented and symBOlic Language) is a language for text processing, pattern matching ... much more, first designed and implemented at Bell Telephone Laboratories...
  • Tiburon

  • Referenced in 14 articles [sw01312]
  • Carmel, the very fine finite-state (string) transducer package written by Jonathan Graehl, which ... inspiration for Tiburone Tiburon is designed to handle weighted regular tree grammars, context-free grammars ... both tree-to-tree and tree-to-string transducers, and can perform composition, intersection, application...
  • ViennaRNA

  • Referenced in 20 articles [sw10504]
  • string alignment or tree-editing (Shapiro & Zhang 1990). Finally, we provide an algorithm to design...
  • STRING

  • Referenced in 26 articles [sw23938]
  • describe the update to version 9.1 of STRING, introducing several improvements: (i) we extend ... full-text articles; (ii) we entirely re-designed the algorithm for transferring interactions from...
  • AWK

  • Referenced in 17 articles [sw23781]
  • programming language designed for text processing and typically used as a data extraction and reporting ... formatted reports. The language extensively uses the string datatype, associative arrays (that is, arrays indexed ... strings), and regular expressions. While AWK has a limited intended application domain and was especially ... designed to support one-liner programs, the language is Turing-complete, and even the early...
  • OpenFst

  • Referenced in 12 articles [sw00653]
  • programs that operate on them. OpenFst is designed to be both very efficient in time ... image, and natural language processing, pattern and string matching, and machine learning.\parWe give ... examples of its use, details of its design that allow customizing the labels, states...
  • SPARE Parts

  • Referenced in 5 articles [sw03710]
  • toolkit for string pattern recognition In this paper, we consider the design and implementation ... this article) is the second generation string pattern matching toolkit by the authors. The toolkit...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • Term Graph Rewriting. It is specially designed to make the development of real world applications ... needed for storing (converting data to string) and retrieving (by means of a parser...
  • Prefuse

  • Referenced in 7 articles [sw10654]
  • design of a wide range of visualization applications, enabling programmers to string together desired components...
  • Harry

  • Referenced in 1 article [sw15426]
  • small tool specifically designed for measuring the similarity of strings. Harry implements over 20 similarity ... measures, including common string distances and string kernels, such as the Levenshtein distance ... Subsequence kernel. The tool has been designed with efficiency in mind and allows for multi ... analysis of large data sets of strings. Harry supports common data formats and thus...
  • Z3str2

  • Referenced in 2 articles [sw30520]
  • Such solvers typically support a theory of string equations, the length function, and the regular ... present three techniques, designed for word-based SMT string solvers, to mitigate these problems...
  • LabelTool

  • Referenced in 1 article [sw01778]
  • areas The LabelTool/TrTool system is designed to administer text strings that are shown in devices...
  • JSAI

  • Referenced in 4 articles [sw30521]
  • JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. We describe JSAI ... reduced product of type inference, pointer analysis, string analysis, integer and boolean constant propagation ... changes to the analysis implementation. JSAI is designed to be provably sound with respect...
  • SmallEiffel

  • Referenced in 9 articles [sw13732]
  • safer way, and how helpful the design by contract capabilities of the Eiffel language have ... applications. We show the performance impact of string aliasing both in terms of memory footprint...
  • SlideSort

  • Referenced in 1 article [sw28786]
  • short reads. Searching similar pairs from a string pool is a fundamental process ... designed and implemented an exact algorithm SlideSort that finds all similar pairs from a string...
  • YAP3

  • Referenced in 7 articles [sw08955]
  • submissions still causes considerable difficulties for course designers; if students’ work is not their ... novel underlying algorithm - Running-Karp-Rabin Greedy-String-Tiling (or RKS-GST), whose development arose...
  • ACSSCode

  • Referenced in 5 articles [sw26233]
  • closed-form solution is available. It takes design parameters for sample size and power estimation ... Model interface passing an Extensible Markup Language string. The proposed statistical tool is illustrated with...
  • CGIF

  • Referenced in 1 article [sw03192]
  • designing the API of the module so that it can accept either standard C string...