• 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...