• VAMPIR

  • Referenced in 20 articles [sw09406]
  • variety of graphical views, e.g., state diagrams, activity charts, time-line displays, and statistics. Moreover...
  • TURTLE-P

  • Referenced in 5 articles [sw10561]
  • short, extends UML class and activity diagrams with composition and temporal operators. TURTLE...
  • CutTools

  • Referenced in 102 articles [sw07230]
  • user defined (sub)-amplitude or Feynman Diagram, as well as the rational terms coming from ... help of arbitrary precision routines, that activate only when needed...
  • Skeblle

  • Referenced in 1 article [sw13646]
  • kind of diagramming tool with programmable active diagrams. Diagramming tools range from manual free-form ... diagrams or the ability to express one diagram as a function of another. We propose ... kind of tool based on programmable active diagrams, where diagrams are active entities ... Skeblle, implements this approach for box-line diagrams. In Skeblle, every diagram drawn...
  • MMP/Geometer

  • Referenced in 14 articles [sw00584]
  • basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation...
  • JAVAVIS

  • Referenced in 4 articles [sw00468]
  • diagram. There is one object diagram for each active method on the call stack...
  • Flowgen

  • Referenced in 1 article [sw20108]
  • interconnected high-level UML activity diagrams, one for each function or method...
  • CHNOSZ

  • Referenced in 0 articles [sw15144]
  • CHNOSZ: Chemical Thermodynamics and Activity Diagrams. Functions and data sets to support chemical thermodynamic modeling ... aqueous species; construction of equilibrium activity diagrams as a function of temperature, pressure, and chemical...
  • THERIAK-DOMINO

  • Referenced in 2 articles [sw19060]
  • equilibrium assemblage diagrams with selectable axes (P, T, components activity and logarithms of components activity...
  • Thermo-Calc

  • Referenced in 3 articles [sw27313]
  • activities; Transformation temperatures, such as liquidus and solidus; Driving force for phase transformations; Phase diagrams...
  • NUCPLOT

  • Referenced in 4 articles [sw16870]
  • NUCPLOT: A Program to Generate Schematic Diagrams of Protein-Nucleic Acid Interactions. Proteins that bind ... found in all areas of genetic activity within the cell. To help understand how these ... protein and the DNA. The resulting diagram is both clear and simple and allows immediate...
  • ADmoND

  • Referenced in 1 article [sw31429]
  • Evolutions tab is equipped with buttons that activate calculations of time evolutions of adsorbed particles ... Toggle aims for keeping or discarding obtained diagrams which makes ADmoND a versatile tool which ... Equilibrium tab is equipped with buttons that activate calculations of equilibrium coverage and power spectral ... typical Lorentzian spectra in the same diagram. This is beta version, some functions may happen...
  • MixeR

  • Referenced in 1 article [sw26059]
  • four-part (sub)compositions in ternary diagrams and tetrahedrons. Additional graphical features ... dataset of the researcher’s daily activities, both from {it J. Aitchison}’s book...
  • GCDkit

  • Referenced in 3 articles [sw32609]
  • several dozens of classification and geotectonic discrimination diagrams). The graphical output is publication ready ... from http://www.gla.ac.uk/gcdkit. The product is actively maintained and updated to provide additional functionality...
  • TCM

  • Referenced in 1 article [sw29019]
  • software systems in the form of diagrams, trees and tables. A conceptual model ... used for requirements engineering, i.e. the activity of specifying and maintaining requirements for desired systems...
  • Clouds

  • Referenced in 1 article [sw01382]
  • tools for interactive construction of concept map diagrams have a passive role in the sense ... such frameworks, the computer could have an active role in participating in the concept...
  • Jimena

  • Referenced in 1 article [sw29354]
  • wider range of node interactions than continuous activator-inhibitor models, but suffers from scaling problems ... efficiently counted and identified using binary decision diagrams. As application example, we show how system...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...