• XPath

  • Referenced in 305 articles [sw15780]
  • representation of XML documents as well as atomic values such as integers, strings, and booleans ... nodes in an XML document and atomic values. The result of an XPath expression ... nodes from the input documents, or an atomic value, or more generally, any sequence allowed...
  • Ptolemy

  • Referenced in 65 articles [sw07459]
  • that is modular in the sense that atomic actors and their compositions are treated...
  • ProbLog

  • Referenced in 41 articles [sw06945]
  • marginal probabilities of any number of ground atoms in the presence of evidence (in comparison...
  • AToM3

  • Referenced in 27 articles [sw10092]
  • been implemented in the interactive tool AToM 3 . This tool is used to describe formalisms ... optimise, ...) models expressed in the corresponding formalism. AToM 3 relies on graph rewriting techniques...
  • HiLog

  • Referenced in 35 articles [sw01580]
  • appear in places where predicates, functions, and atomic formulas occur in predicate calculus...
  • GRASP92

  • Referenced in 21 articles [sw00380]
  • programs for multiconfiguration or configuration-interaction relativistic atomic structure calculations with large configuration state function ... lists. Atomic orbitals are taken to be four-component spinors. Multiconfiguration self-consistent-field calculations ... package for the prediction of atomic energy levels and transition properties...
  • PDB2PQR

  • Referenced in 19 articles [sw13087]
  • well as force field parameters such as atomic charges and radii. Unfortunately, the limiting step ... calculations is often the addition of missing atomic coordinates to molecular structures from the Protein ... adding a limited number of missing heavy atoms to biomolecular structures, estimating titration states...
  • MoDeST

  • Referenced in 28 articles [sw01544]
  • conventional programming constructs - such as iteration, alternatives, atomic statements, and exception handling - with means...
  • LAMMPS

  • Referenced in 28 articles [sw05952]
  • solid, or gaseous state. It can model atomic, polymeric, biological, metallic, or granular systems using...
  • Atomizer

  • Referenced in 13 articles [sw08924]
  • Atomizer: a dynamic atomicity checker for multithreaded programs. Ensuring the correctness of multithreaded programs ... more fundamental non-interference property of atomicity; a method is atomic if its execution ... does not interfere with concurrently-executing threads. Atomic methods can be understood according to their ... paper presents a dynamic analysis for detecting atomicity violations. This analysis combines ideas from both...
  • Taverna

  • Referenced in 24 articles [sw08764]
  • each step within a workflow represents one atomic task. Two examples are used to illustrate...
  • SeqLog

  • Referenced in 13 articles [sw01946]
  • form of a sequence of logical atoms, background knowledge can be specified using Datalog style ... patterns correspond to subsequences of logical atoms. SeqLog is then used as the representation language...
  • NoMoRe

  • Referenced in 17 articles [sw07094]
  • that noMoRe is rule-based and not atom-based like most of the other known...
  • RMATRX1

  • Referenced in 11 articles [sw17818]
  • RMATRX1: Belfast atomic R-matrix codes. Nature of problem: This program uses the R-matrix ... method to calculate electron-atom and electron-ion collision processes, with options to calculate radiative...
  • GULP

  • Referenced in 15 articles [sw01459]
  • molecular mechanics for organic systems, the embedded atom model for metals and the reactive REBO...
  • Cast3M

  • Referenced in 15 articles [sw12114]
  • finite element method. Developed by the French Atomic Energy Commission...
  • fhi98PP

  • Referenced in 10 articles [sw17871]
  • pseudopotentials for electronic structure calculations of poly-atomic systems using density-functional theory. The package ... simple tests carried out for the free atom. Various parameterizations of the local-density approximation...
  • ARMCI

  • Referenced in 14 articles [sw04639]
  • addition, ARMCI includes a set of atomic and mutual exclusion operations. The development ARMCI...
  • KANTBP

  • Referenced in 13 articles [sw00482]
  • electron system [5] or a hydrogen atom in magnetic field [6] is reduced by separating...
  • SMMP

  • Referenced in 12 articles [sw00882]
  • calculating the solvent accessible area of atomic groups are included...