• KLAIM

  • Referenced in 69 articles [sw09424]
  • KLAIM: a kernel language for agents interaction and mobility. We investigate the issue of designing ... language provides coordination mechanisms to control the interaction protocols among located processes. The formal operational...
  • Klava

  • Referenced in 19 articles [sw01243]
  • mobility paradigm as a basic interaction mechanism. In this paper we present the architecture...
  • XFEM

  • Referenced in 357 articles [sw01026]
  • extensibility, and robustness. To facilitate mesh -- geometry interactions with hundreds of enrichment items, a mesh ... paradigm, we present 2D linear elastic fracture mechanics for hundreds of cracks with local near...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • OMRS (Open Mechanized Reasoning Systems). The claim is that the interaction level of a communication...
  • SUPG

  • Referenced in 23 articles [sw08373]
  • problem. Mass transport, fluid mechanics, electric problems, and their interactions have to be solved ... proper numerical stabilization, computation of coupled fluid mechanics, electrophoretic transport, and electric problems would suffer...
  • Onto-Tools

  • Referenced in 10 articles [sw10974]
  • number of relevant biological processes, specific mechanisms of interactions can be hypothesized for the conditions ... available for the investigation of specific mechanisms. Each such array is characterized by a biological...
  • Why3

  • Referenced in 126 articles [sw04438]
  • external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with ... construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate...
  • Adams

  • Referenced in 46 articles [sw06593]
  • available with Adams allow users to integrate mechanical components, pneumatics, hydraulics, electronics, and control systems ... virtual prototypes that accurately account for the interactions between these subsystems...
  • Poly3d

  • Referenced in 4 articles [sw23623]
  • model an arbitrary number of mechanically-interacting fractures or faults with non-uniform opening and/or...
  • PANDAS

  • Referenced in 19 articles [sw10402]
  • multiphasic porous media problems in solid-fluid interaction. Porous media problems occur in various fields ... mechanics or foam and tissue engineering. In general, porous media models include the interacting behaviour...
  • STRING

  • Referenced in 25 articles [sw23938]
  • Complete knowledge of all direct and indirect interactions between proteins in a given cell would ... milestone towards a comprehensive description of cellular mechanisms and functions. Although this goal is still ... model organisms and functional systems. Currently, protein interactions and associations are annotated at various levels...
  • MetaMorph

  • Referenced in 20 articles [sw01575]
  • learning mechanisms: learning from past experiences and learning future agent interactions by simulating future dynamic...
  • CakeML

  • Referenced in 42 articles [sw08799]
  • implementation of ML. We have developed and mechanically verified an ML system called CakeML, which ... Standard ML. CakeML is implemented as an interactive read-eval-print loop (REPL...
  • SPEED

  • Referenced in 31 articles [sw08653]
  • dynamic soil structure and site-city interaction effects, where accounting for multiscale wave propagation phenomena ... well as sharp discontinuities in mechanical properties of the media is crucial...
  • MathScheme

  • Referenced in 8 articles [sw15109]
  • build, on top of the mechanized mathematics system, an interactive mathematics laboratory that provides...
  • DYNA3D

  • Referenced in 104 articles [sw17036]
  • finite element code for solid and structural mechanics, User manual. This report is the User ... modeling flexibility. A material model driver with interactive graphics display is incorporated into DYNA3D...
  • Modulef

  • Referenced in 39 articles [sw01072]
  • available for the display of results, interactively or in batch, for example to plot ... stresses, isovalues, velocities and streamlines in fluid mechanics...
  • INTERQUANTA

  • Referenced in 2 articles [sw19154]
  • Interactive quantum mechanics. With CD-ROM. INTERQUANTA, the accompanying Interactive Program of Quantum Mechanics...
  • MFE

  • Referenced in 4 articles [sw09764]
  • which a user can interact with several tools to mechanically verify properties of Maude specifications ... objects and their communication mechanism is message passing. User interaction is available through Full Maude...
  • CUMULVS

  • Referenced in 17 articles [sw06757]
  • development of collaborative environments. It supports interactive visualization and remote computational steering of distributed applications ... multiple collaborators, and provides a mechanism for constructing fault-tolerant, migrating applications in heterogeneous distributed...