• Milawa

  • Referenced in 20 articles [sw09977]
  • reflective milawa theorem prover is sound (down to the machine code that runs it). Milawa ... with a small kernel and a powerful reflection mechanism. We have used the HOL4 theorem...
  • schubert

  • Referenced in 27 articles [sw09175]
  • been revised and updated to reflect new versions of Maple by Jan-Magnus Økland...
  • WebLogo

  • Referenced in 24 articles [sw17263]
  • height of symbols within the stack reflects the relative frequency of the corresponding amino...
  • Hyperproof

  • Referenced in 24 articles [sw22172]
  • syntactic structure of sentences. It also reflects the heterogeneity of information encountered in everyday reasoning...
  • Hum-mPLoc

  • Referenced in 23 articles [sw26862]
  • include new entries of human proteins and reflect the continuous development of Hum-mPLoc...
  • DynaMIT

  • Referenced in 16 articles [sw01808]
  • between transportation demand and supply. The demand reflects both the OD flow patterns ... individual decisions of travelers while the supply reflects the transportation network in terms of infrastructure...
  • FRAGSTATS

  • Referenced in 16 articles [sw31496]
  • version 3.4). The latest release (version 4) reflects a major revamping of the software, with ... with a new user interface that reflects the redesign of the model architecture, support...
  • Flagmatic

  • Referenced in 22 articles [sw06815]
  • definite method. Finally, we spend some time reflecting on the limitations of our approach...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • given program $P$. Intuitively, an a-coloring reflects the set of generating rules...
  • coxeter

  • Referenced in 22 articles [sw07772]
  • groups. It provides facilities for manipulating roots, reflections, reduced expressions, for generating permutation representations...
  • 2D-MH

  • Referenced in 21 articles [sw19727]
  • relation without circuit or degeneracy, (2) better reflecting the innate structure of the protein sequence...
  • Euk-PLoc

  • Referenced in 21 articles [sw22420]
  • entries of eukaryotic proteins and reflect the continuous development of Euk-PLoc...
  • SUDAAN

  • Referenced in 19 articles [sw06995]
  • SUDAAN 11, the newest release of SUDAAN, reflects our continued commitment to providing useful statistical...
  • brms

  • Referenced in 19 articles [sw19099]
  • users to apply prior distributions that actually reflect their beliefs. In addition, model...
  • MEGAN

  • Referenced in 17 articles [sw33189]
  • taxonomical level of the assigned taxon reflects the level of conservation of the sequence...
  • AIM@SHAPE

  • Referenced in 16 articles [sw04072]
  • certified shapes’ whose properties are additionally reflected in accompanying metadata specifed by shape ontologies developed...
  • Signal-3L

  • Referenced in 16 articles [sw26857]
  • year to include new protein entries and reflect the continuous development of Signal...
  • reFLect

  • Referenced in 7 articles [sw22717]
  • reflective functional language for hardware design and theorem proving. This paper introduces reFLect, a functional ... programming language with reflection features intended for applications in hardware design and verification. The reFLect ... construct and decompose expressions in the reFLect language itself. The paper motivates and presents ... combination of pattern-matching and reflection features targeted specifically at our application domain. It also...
  • Algorithm 785

  • Referenced in 14 articles [sw04672]
  • maps. The robustness of the package is reflected by the flexibility in choosing the accuracy...
  • Algorithm 880

  • Referenced in 13 articles [sw12764]
  • test cases need to be found that reflect particular challenges of an application or push...