• XPath

  • Referenced in 371 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...
  • ProbLog

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

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

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

  • Referenced in 33 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...
  • ADMiRA

  • Referenced in 31 articles [sw31664]
  • ADMiRA: Atomic Decomposition for Minimum Rank Approximation. In this paper, we address compressed sensing ... prescribed data approximation bound. We propose an atomic decomposition providing an analogy between parsimonious representations ... propose an efficient and guaranteed algorithm named atomic decomposition for minimum rank approximation (ADMiRA) that...
  • HiLog

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

  • Referenced in 32 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...
  • Taverna

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

  • Referenced in 40 articles [sw09565]
  • forward and backward inference operators based on atom support, and techniques for stable model checking...
  • Cast3M

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

  • Referenced in 18 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 22 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...
  • AutoDock

  • Referenced in 34 articles [sw09659]
  • addition to using them for docking, the atomic affinity grids can be visualised. This...
  • MODELLER

  • Referenced in 33 articles [sw27731]
  • calculates a model containing all non-hydrogen atoms. MODELLER implements comparative protein structure modeling...
  • MoDeST

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

  • Referenced in 28 articles [sw16800]
  • communication. If writing x i is atomic, the agents can read and write x without...
  • TMSmesh

  • Referenced in 18 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...
  • NoMoRe

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

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