• KLAIM

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

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

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

  • Referenced in 15 articles [sw35142]
  • interaction of many rigid particles that may interact at contacts based on an internal force ... polyhedra in 3D. Contact mechanics obey particle-interaction laws that update internal forces and moments...
  • Why3

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

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

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

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

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

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

  • Referenced in 6 articles [sw30634]
  • scale dynamics emerge from systems of many interacting cells as they respond to and influence ... microenvironment (the ”stage”) and many mechanically and biochemically interacting cells (the ”players” upon the stage ... stage and the players for studying many interacting cells in dynamic tissue microenvironments. It builds ... apoptosis, necrosis, solid and fluid volume changes, mechanics, and motility...
  • DYNA3D

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