• XPath

  • Referenced in 344 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 71 articles [sw07459]
  • that is modular in the sense that atomic actors and their compositions are treated...
  • ProbLog

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

  • Referenced in 25 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...
  • HiLog

  • Referenced in 38 articles [sw01580]
  • appear in places where predicates, functions, and atomic formulas occur in predicate calculus...
  • 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...
  • Atomizer

  • Referenced in 17 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...
  • 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...
  • LAMMPS

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

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

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

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

  • Referenced in 20 articles [sw12114]
  • finite element method. Developed by the French Atomic Energy Commission...
  • 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...
  • CERES

  • Referenced in 16 articles [sw09442]
  • ACNF, an LK-proof with only atomic cuts. The system CERES, an implementation...
  • TMSmesh

  • Referenced in 11 articles [sw14719]
  • complexity with respect to the number of atoms and is shown to be capable ... molecules consisting of more than one million atoms, which is usually difficult for the existing...
  • 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...
  • Packmol

  • Referenced in 8 articles [sw13408]
  • large van der Waals repulsive interactions, atoms from different molecules must keep safe pairwise distances ... system, and the distance between atoms of different molecules must be greater than some specified ... code able to pack millions of atoms, grouped in arbitrarily complex molecules, inside a variety ... solvents, is straightforward. In addition, different atoms belonging to the same molecule may also...
  • 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...