• CMC

  • Referenced in 34 articles [sw12422]
  • Tool for Compositional Model-Checking of Real-Time Systems. In this paper we present ... tool (CMC) for compositional model-checking of real-time systems. CMC is based...
  • TRIC

  • Referenced in 47 articles [sw02165]
  • sophisticated 3-node shear-deformable isotropic and composite flat shell element suitable for large-scale...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • model checking message-passing programs. Abstraction and composition are the fundamental issues in making model ... assume-guarantee proof rule for carrying out compositional model checking on the types. Open simulation ... type system and the abstraction relation for compositional model checking. We have implemented these ideas...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • means to describe complex systems in a compositional manner. In addition, MoDeST incorporates means ... languages such as Promela, and deals with compositionality in a light-weight process-algebra style...
  • iPro54-PseKNC

  • Referenced in 32 articles [sw22411]
  • prokaryote with pseudo k-tuple nucleotide composition. The σ(54) promoters are unique in prokaryotic ... feature vector called ’pseudo k-tuple nucleotide composition’, which was further optimized by the incremental...
  • iNuc-PseKNC

  • Referenced in 31 articles [sw16607]
  • genomes with pseudo k-tuple nucleotide composition. Motivation: Nucleosome positioning participates in many cellular activities ... feature-vector called ‘pseudo k-tuple nucleotide composition’, into which six DNA local structural properties...
  • iRSpot-TNCPseAAC

  • Referenced in 31 articles [sw22412]
  • iRSpot-TNCPseAAC: Identify Recombination Spots with Trinucleotide Composition and Pseudo Amino Acid Components. Meiosis ... sample was formulated by combining its trinucleotide composition (TNC) and the pseudo amino acid components...
  • PHREEQC

  • Referenced in 30 articles [sw07853]
  • mole transfers that account for differences in composition between waters within specified compositional uncertainty limits...
  • Overture

  • Referenced in 41 articles [sw05685]
  • curvilinear grids, adaptive mesh refinement, and the composite overlapping grid method to represent problems involving...
  • ESLpred

  • Referenced in 20 articles [sw22403]
  • subcellular localization of eukaryotic proteins using dipeptide composition and PSI-BLAST. Automated prediction of subcellular ... methods are based on either amino acid composition or N-terminal characteristics of the proteins ... their different features such as amino acid composition, dipeptide composition and physico-chemical properties ... module based on dipeptide composition performed better than the SVM modules based on amino acid...
  • PseAAC-Builder

  • Referenced in 25 articles [sw22404]
  • various special Chou’s pseudo-amino acid compositions. The pseudo-amino acid composition has been ... modes of Chou’s pseudo-amino acid composition in a much more efficient and flexible...
  • Modulef

  • Referenced in 39 articles [sw01072]
  • Stokes equations). Computation of homogenised coefficients of composite structures. Decomposition of domains. Several modules...
  • EasyLocal++

  • Referenced in 39 articles [sw04104]
  • most local search metaheuristics, and their possible compositions. This allows the user to address...
  • Ivy

  • Referenced in 39 articles [sw10279]
  • useful properties can be proved about the composite programs. Nothing is proved about...
  • GlobSol

  • Referenced in 38 articles [sw06724]
  • GlobSol: history, composition, and advice on use The GlobSol software package combines various ideas from...
  • SETL

  • Referenced in 26 articles [sw36325]
  • field, by allowing direct manipulation of large composite objects, considerably more complex than the integers ... maps. The direct availability of these abstract, composite objects, and of powerful mathematical operations upon...
  • PROMAL

  • Referenced in 19 articles [sw04249]
  • Mechanics of composite materials Today’s composite materials often outshine traditional materials; they are lightweight ... serving industries from medicine to space exploration, composites are an exciting field of study ... complete introduction to the mechanical behavior of composites. Geared to upper-level and graduate students ... interested in updating their knowledge, Mechanics of Composite Materials is a new approach...
  • PicToSeek

  • Referenced in 36 articles [sw14897]
  • concluded that object retrieval based on composite color and shape invariant features provides excellent retrieval...
  • CADRE

  • Referenced in 25 articles [sw20479]
  • they belong. The program CADRE uses the composite trapezoid sum. For certain classes of integrands ... composite trapezoid sum exhibits a known and characteristic convergence behavior that the algorithm attempts...
  • GPCR-CA

  • Referenced in 35 articles [sw25949]
  • proteins through their pseudo amino acid composition (Chou, K.C. Proteins 2001, 43, 246). GPCR...