• PIPER

  • Referenced in 28 articles [sw11478]
  • assume-guarantee proof rule for carrying out compositional model checking on the types. Open simulation ... processes is used as both the subtyping relation ... type system and the abstraction relation for compositional model checking. We have implemented these ideas...
  • CompRandFld

  • Referenced in 13 articles [sw14644]
  • tapering method. Moreover, composite likelihood (and related quantities) have some useful properties similar to those...
  • I2T

  • Referenced in 5 articles [sw36509]
  • stochastic image grammar that specifies syntactic relations (i.e., compositional) and semantic relations (e.g., categorical, spatial...
  • SLIC

  • Referenced in 163 articles [sw18282]
  • these surfaces are defined as a composition of one space dimensional components, one for each ... SLIC interface description, it is relatively easy to advance the fluid surfaces correctly in time...
  • iPro54-PseKNC

  • Referenced in 32 articles [sw22411]
  • prokaryote with pseudo k-tuple nucleotide composition. The σ(54) promoters are unique in prokaryotic ... responsible for transcripting carbon and nitrogen-related genes. With the avalanche of genome sequences generated ... feature vector called ’pseudo k-tuple nucleotide composition’, which was further optimized by the incremental...
  • iRSpot-PseDNC

  • Referenced in 65 articles [sw22437]
  • feature vector, the so-called ’pseudo dinucleotide composition’ (PseDNC), into which six local DNA structural ... also used to study many other DNA-related problems. As a user-friendly web-server...
  • iHSP-PseRAAAC

  • Referenced in 16 articles [sw25193]
  • acid alphabet composition. Heat shock proteins (HSPs) are a type of functionally related proteins present ... general form of pseudo amino acid composition. One of the remarkable advantages of introducing...
  • PHYSALIS

  • Referenced in 29 articles [sw02386]
  • cages. The results are directly related to potential and Stokes flows. However, they are also ... Navier-Stokes flows, heat conduction in composite media, and other problems...
  • ACE

  • Referenced in 13 articles [sw15066]
  • mostly related to the symmetric group and handle such objects as partitions, compositions, permutations, words...
  • PROCOL

  • Referenced in 8 articles [sw02535]
  • acts as a composition rule over client objects, representing relations with the client objects. PROCOL...
  • Snoop

  • Referenced in 14 articles [sw17981]
  • composite events for computing their parameters. For concreteness, we present parameter computation for the relational...
  • UnQL

  • Referenced in 10 articles [sw20018]
  • relational queries to be applied to structural recursion. We show that the composition ... data complexity is PTIME; and over relational data it is a conservative extension...
  • RotatE

  • Referenced in 3 articles [sw37755]
  • model and infer various relation patterns including: symmetry/antisymmetry, inversion, and composition. Specifically, the RotatE model...
  • iDNA-Methyl

  • Referenced in 19 articles [sw22423]
  • methylation sites in DNA. Using the trinucleotide composition, pseudo amino acid components, and a dataset ... used to investigate many other DNA-related problems and genome analysis...
  • ESMF

  • Referenced in 14 articles [sw05821]
  • building and coupling weather, climate, and related models. The premise is that complicated applications should ... component is a unit of software composition that has a coherent function, and a standard...
  • fso

  • Referenced in 1 article [sw25477]
  • multivariate analysis used in ecology to relate the composition of samples to possible explanatory variables...
  • ShotWeave

  • Referenced in 1 article [sw01759]
  • camera motions and a complex composition of related shots...
  • iRSpot-Pse6NC

  • Referenced in 13 articles [sw27677]
  • spots in Saccharomyces cerevisiae by incorporating hexamer composition into general PseKNC. Meiotic recombination caused ... regions the frequency of DNA recombination is relatively higher, while in other regions the frequency ... general PseKNC (Pseudo K-tuple Nucleotide Composition) via the binomial distribution approach. It has been...
  • TRIC

  • Referenced in 47 articles [sw02165]
  • sophisticated 3-node shear-deformable isotropic and composite flat shell element suitable for large-scale ... through appropriate geometrical, trigonometrical and enigneering mathematical relations and it involves only exact integrations...