• Rex

  • Referenced in 4 articles [sw11888]
  • explorer. Constraints in form regular expressions over strings are ubiquitous. They occur often in programming ... support for regular expression constraints in program analysis and testing has several useful applications...
  • LASSAP

  • Referenced in 3 articles [sw33234]
  • structured results allowing easy and powerful post-analysis; (v) performance improvements by parallelization ... comparison algorithms (Fasta, Blast, Smith/Waterman), and other string matching and pattern matching algorithms. LASSAP...
  • Kaluza

  • Referenced in 2 articles [sw12036]
  • length. Given an input formula, Kaluza outputs string constants that satisfy all the variables ... have successfully used it for testing and analysis of real-world JavaScript programs. Kaluza...
  • LISPACK

  • Referenced in 1 article [sw33632]
  • parallel systems and algorithms. The performance analysis of parallel algorithms and systems is considered ... list-manipulation parallel-modeling package (LISPACK) uses string manipulation, lumping, and recursive elimination to define ... process, its restructuring, and efficient solution. The analysis of a typical parallel system and algorithm...
  • CoMIK

  • Referenced in 1 article [sw35270]
  • when comparing variable-length sequences using such string kernels. For example, profiling chromatin interactions ... important as in the scenario of analysis of the promoter sequences, that typically have ... start site as reference. Existing position-aware string kernels have been shown to be useful...
  • PSLDoc

  • Referenced in 1 article [sw24765]
  • analysis (PLSA) to solve this problem. A protein is considered as a term string composed...
  • KANDIDATS

  • Referenced in 1 article [sw18430]
  • interacts with the user at a command string level. It includes prompting for parameter input ... checks user input for errors. Image analysis operations available in KANDIDATS consist of utility functions...
  • StrBioLib

  • Referenced in 2 articles [sw16906]
  • algorithm, and tools for efficient C-style string parsing and formatting. StrBioLib is the basis ... astral compendium for sequence and structure analysis, and has been extensively tested through...
  • T-REKS

  • Referenced in 3 articles [sw22483]
  • clustering of lengths between identical short strings by using a K-means algorithm. Benchmark ... DataBase opens the way for large-scale analysis of protein tandem repeats. T-REKS...
  • SymJS

  • Referenced in 2 articles [sw30522]
  • engine contains a symbolic virtual machine, a string-numeric solver, and a symbolic executable ... directed event space exploration, and dynamic taint analysis for enhancing event sequence construction. We illustrate...
  • WESTPA

  • Referenced in 1 article [sw33194]
  • Weighted Ensemble Simulation Toolkit with Parallelization and Analysis) is a high-performance Python framework ... plugins for using a weighted ensemble-based string method and the WExplore method...
  • stringgaussnet

  • Referenced in 0 articles [sw15372]
  • Gaussian Network Construction from Transcriptomic Analysis Results Integrating a Multilevel Factor. A toolbox ... protein-protein interaction networks through the ’STRING’ application programming interface, and an inference of Gaussian ... SIMoNe’ and ’WGCNA’ approach, from DE genes analysis results and expression data. Additional functions...
  • Jimple

  • Referenced in 3 articles [sw18636]
  • recognise. Popular obfuscation techniques for Java include string obfuscation and applying reflection to hide method ... address code suitable for optimisation and program analysis, and also demonstrates how the residual Jimple...
  • Gaggle

  • Referenced in 4 articles [sw20341]
  • tools to create a data exploration and analysis environment that does justice to the variety ... integrated diverse databases (for example, KEGG, BioCyc, String) and software (Cytoscape, DataMatrixViewer, R statistical environment...
  • Bex

  • Referenced in 1 article [sw37816]
  • transformations with regular lookahead and rollback. Implementing string transformation routines, such as encoders, decoders ... implemented directly. The approach allows correctness analysis using symbolic automata theory that is not possible...
  • IMEx

  • Referenced in 3 articles [sw14942]
  • been used as molecular markers in linkage analysis and DNA fingerprinting studies, and also seem ... IMEx (Imperfect Microsatellite Extractor). IMEx uses simple string-matching algorithm with sliding window approach...
  • JavaSMT

  • Referenced in 1 article [sw18525]
  • significantly improved. In the areas of program analysis and model checking, many of the newly ... solver have to be serialized to strings. Yet using the API directly creates the problem...
  • OntoPlant

  • Referenced in 0 articles [sw19011]
  • efficiency and flexibility as a process of string rewriting. VisForest is a software platform ... application designed to assist in landscape level analysis and planning of forest ecosystems by automating...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Boolector

  • Referenced in 28 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...