• XPPAUT

  • Referenced in 397 articles [sw05543]
  • other systems are easily solved and plotted. Animation scripts, Poincare maps, and statistical measures...
  • VMD

  • Referenced in 83 articles [sw18651]
  • molecular visualization program for displaying, animating, and analyzing large biomolecular systems using 3-D graphics ... others. VMD can be used to animate and analyze the trajectory of a molecular dynamics ... external MD program by displaying and animating a molecule undergoing simulation on a remote computer...
  • ProB

  • Referenced in 62 articles [sw07084]
  • method. ProB’s automated animation facilities allow users to gain confidence in their specifications. ProB...
  • COPASI

  • Referenced in 61 articles [sw12253]
  • visualize data in customizable plots, histograms and animations of network diagrams. (list of features...
  • pLoc-mAnimal

  • Referenced in 28 articles [sw24438]
  • pLoc-mAnimal: predict subcellular localization of animal proteins with both single and multiple sites. Motivation ... single-label proteins. Although the ’iLoc-Animal’ predictor developed recently is quite powerful that ... used to deal with the animal proteins with multiple locations as well, its prediction quality ... pLoc-mAnimal’, which is superior to iLoc-Animal as shown by the compelling facts. When...
  • SCAPE

  • Referenced in 27 articles [sw19408]
  • SCAPE: Shape Completion and Animation of People. We introduce the SCAPE method (Shape Completion ... Animation for PEople)---a data-driven method for building a human shape model that spans ... partial view completion and motion capture animation. In particular, our method is capable of constructing ... high-quality animated surface model of a moving person, with realistic muscle deformation, using just...
  • iLoc-Animal

  • Referenced in 20 articles [sw22427]
  • iLoc-Animal: a multi-label learning classifier for predicting subcellular localization of animal proteins. Predicting ... learning” approach, a new predictor, called iLoc-Animal, has been developed that can be used ... systems containing both single- and multi-label animal (metazoan except human) proteins. Meanwhile, to measure ... jackknife cross-validation was performed with iLoc-Animal on a benchmark dataset of animal proteins...
  • MARK

  • Referenced in 23 articles [sw24801]
  • MARK: Survival Estimation from Populations of Marked Animals. MARK provides parameter estimates from marked animals ... equal. More than one attribute group of animals can be modelled. The basic input ... MARK is the encounter history for each animal. MARK can also estimate the size...
  • StateFlow

  • Referenced in 39 articles [sw04350]
  • fault management applications. Stateflow includes state machine animation and static and run-time checks...
  • PyMOL

  • Referenced in 38 articles [sw09662]
  • comprehensive molecular visualization product for rendering and animating 3D molecular structures...
  • Program MARK

  • Referenced in 19 articles [sw14402]
  • program, provides parameter estimates from marked animals when they are re-encountered at a later ... from dead recoveries (e.g., the animal is harvested), live recaptures(e.g., the animal ... specified. More than one attribute group of animals can be modeled, e.g., treatment and control ... animals, and covariates specific to the group or the individual animal can be used...
  • CHARMS

  • Referenced in 36 articles [sw02957]
  • examples, including medical applications and thin-shell animations...
  • Chimera

  • Referenced in 34 articles [sw10908]
  • conformational ensembles. High-quality images and animations can be generated. Chimera includes complete documentation...
  • PAT

  • Referenced in 32 articles [sw13258]
  • user friendly interfaces, featured model editor and animated simulator. Most importantly, PAT implements various model...
  • SNOOPY

  • Referenced in 31 articles [sw04386]
  • software tool to design and animate hierarchical graphs, among others Petri nets. The tool...
  • VisIt

  • Referenced in 31 articles [sw05611]
  • quickly generate visualizations from their data, animate them through time, manipulate them, and save...
  • GEOTHER 1.1

  • Referenced in 30 articles [sw02842]
  • theorem - the drawn diagrams may be animated and modified with a mouse click and dragging...
  • GPSS World

  • Referenced in 18 articles [sw35251]
  • built in. This approach means that animations are ”free” requiring no additional effort to produce ... transparency, not photo-realism. Third party animation systems are available which can provide pictorial animations...
  • Maya

  • Referenced in 18 articles [sw14258]
  • Maya 3D animation software offers a comprehensive creative feature set for 3D computer animation, modeling...
  • csp2B

  • Referenced in 21 articles [sw07703]
  • specifications, which means that they may be animated and appropriate proof obligations may be generated...