• LOTOS

  • Referenced in 150 articles [sw02961]
  • processes which interact and exchange data with each other and with their environment. LOTOS...
  • CFX-5

  • Referenced in 16 articles [sw04292]
  • interaction between both physical fields is realized by the exchange of boundary conditions. Beyond...
  • MatrixDB

  • Referenced in 1 article [sw29346]
  • freely available database focused on interactions established by extracellular proteins and polysaccharides ... active member of the International Molecular Exchange (IMEx) consortium and has adopted ... standards for annotating and exchanging interaction data, either at the MIMIx or IMEx level. MatrixDB...
  • BESERIAL

  • Referenced in 4 articles [sw16847]
  • oriented architecture, software services interact by means of message exchanges that follow certain patterns documented...
  • KQML

  • Referenced in 32 articles [sw29718]
  • KQML), a new language and protocol for exchanging information and knowledge. This work is part ... language for an application program to interact with an intelligent system...
  • Proof General Kit

  • Referenced in 11 articles [sw09684]
  • framework for software components tailored to interactive proof development. The goal of the framework ... framework connects together different kinds of component, exchanging messages using a common communication infrastructure ... displays. Provers are the back-end interactive proof engines and displays are components for interacting...
  • CHIMPS

  • Referenced in 4 articles [sw18057]
  • interest. The interaction between these models normally requires an exchange of information between the participating...
  • AsTeRICS

  • Referenced in 2 articles [sw14933]
  • signal processing and data exchange operations needed for the interaction of the building blocks...
  • CONAN

  • Referenced in 1 article [sw22210]
  • CONAN -- the cruncher of local exchange coefficients for strongly interacting confined systems in one dimension ... system of particles with strong zero-range interactions. This system can be mapped onto ... spin chain of the Heisenberg type with exchange coefficients that depend on the external trap...
  • PHREEQC

  • Referenced in 19 articles [sw07853]
  • aqueous model, and the SIT (Specific ion Interaction Theory) aqueous model. Using any of these ... solid-solution, surface-complexation, and ion-exchange equilibria, and specified mole transfers of reactants, kinetically...
  • Volcano

  • Referenced in 22 articles [sw30956]
  • parallel query evaluation system. To investigate the interactions of extensibility and parallelism in database query ... embedded queries with free variables. The exchange meta-operator supports intra-operator parallelism on partitioned...
  • Rigi

  • Referenced in 3 articles [sw16867]
  • With Rigi large systems can be analyzed, interactively explored, summarized, and documented. This is supported ... extract information from source code, an exchange format to store extracted information, analyses to transform ... process, and a visualization engine to interactively explore and manipulate information in the form...
  • PROCOL

  • Referenced in 8 articles [sw02535]
  • legality and serialization of the interaction between the object and its clients. It also provides ... fosters structured, safer and potentially verifiable information exchange between objects. The protocol also plays...
  • TURBINS

  • Referenced in 8 articles [sw20241]
  • simulation of gravity and turbidity currents interacting with complex topographies. An accurate, three-dimensional Navier ... three-dimensional lock-exchange gravity currents...
  • FPMC

  • Referenced in 2 articles [sw20054]
  • event. The underlying interaction between protons or anti-protons through singlet exchange can manifest itself...
  • ARIA

  • Referenced in 5 articles [sw22247]
  • relaxation matrix approach, representing non-bonded interactions in the force field and refining final structures ... solvent. We also discuss book-keeping, data exchange with spectra assignment programs and deposition...
  • MuMax

  • Referenced in 0 articles [sw19546]
  • taking into account the magnetostatic, exchange and anisotropy interactions, thermal effects and spin-transfer torque...
  • GiViP

  • Referenced in 1 article [sw27736]
  • amount of messages exchanged throughout a computation and provides an interactive user interface...
  • CellML

  • Referenced in 22 articles [sw05635]
  • based language designed to facilitate the exchange of biological models across the World Wide ... contain variables, mathematical relationships that specify the interactions between those variables, and metadata. Variables...
  • MOMI

  • Referenced in 4 articles [sw09432]
  • language for mobile processes that communicate and exchange object-oriented code in a distributed context ... compiled and typed locally, and can interact successfully with code present on foreign sites only ... subtyping is type-safe in that exchanged code is merged into local code without requiring...