• URDME

  • Referenced in 25 articles [sw10400]
  • Multiphysics) provides for a stable and interactive environment for model construction. The core simulation routines ... software therefore behaves much as an interactive Matlab toolbox. At the same time...
  • Pyomo

  • Referenced in 39 articles [sw04910]
  • line interface and within Python’s interactive command environment, which makes it easy to create...
  • Centaur

  • Referenced in 19 articles [sw29541]
  • components. The system is a generic interactive environment. When given the formal specification...
  • Cytoscape

  • Referenced in 60 articles [sw09080]
  • Cytoscape: A Software Environment for Integrated Models of Biomolecular Interaction Networks. Cytoscape is an open...
  • XFEM

  • Referenced in 358 articles [sw01026]
  • oriented-enriched finite element code. The programming environment provides a robust tool for extended finite ... extensibility, and robustness. To facilitate mesh -- geometry interactions with hundreds of enrichment items, a mesh...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • language for programming systems which interact with their environments in real-time. After an informal...
  • Rmpi

  • Referenced in 27 articles [sw08052]
  • APIs. It also provides interactive R slave environment...
  • R/qtl

  • Referenced in 13 articles [sw20451]
  • R/qtl is an extensible, interactive environment for mapping quantitative trait loci (QTL) in experimental crosses...
  • SfePy

  • Referenced in 12 articles [sw15643]
  • paper illustrates its use in an interactive environment or as a framework for building custom...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • IPSEN project (for Integrated, Incremental, Interactive Project Support Environment) deals with the development of concepts...
  • RIOTS_95

  • Referenced in 12 articles [sw04189]
  • toolbox for MATLAB, that provides an interactive environment for solving a very broad class...
  • STAR/MPI

  • Referenced in 11 articles [sw02182]
  • steep learning curve and the unfamiliar programming environment entailed by such an effort ... examples that extend bindings of MPI to interactive languages. (MPI already has bindings ... interactive language retains the interactive environment during execution. Further, STAR/MPI represents a blueprint for binding...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • functionality. Mozart has an interactive incremental development environment and a production-quality implementation for Unix...
  • MDR

  • Referenced in 6 articles [sw22494]
  • detecting gene-gene and gene-environment interactions. Motivation: Polymorphisms in human genes are being described ... epistasis) and environmental factors (gene–environment interaction). Detecting and characterizing interactions among multiple factors...
  • CUMULVS

  • Referenced in 17 articles [sw06757]
  • development of collaborative environments. It supports interactive visualization and remote computational steering of distributed applications ... tolerant, migrating applications in heterogeneous distributed computing environments...
  • iNEOS

  • Referenced in 8 articles [sw01492]
  • iNEOS: An interactive environment for nonlinear optimization. We describe iNEOS, an Internet-based environment which ... supply the model to be optimized. An interactive communication between client and server is established...
  • qtlbim

  • Referenced in 7 articles [sw17320]
  • effects, gene-gene interactions, and/or gene-environment interactions in the prior specification is worth...
  • preCICE

  • Referenced in 12 articles [sw08713]
  • preCICE (Precise Code Interaction Coupling Environment) is a coupling library for partitioned multi-physics simulations ... including, but not restricted to fluid-structure interaction and conjugate heat transfer simulations. Partitioned means...
  • HOL-Boogie

  • Referenced in 14 articles [sw00409]
  • present a proof-environment, HOL-BoogieP, that combines Boogie with the interactive theorem prover Isabelle/HOL ... interactive proof methods for code-verification.\parWe will exploit our proof-environment in two ways ... particular: invariants) by interactive proofs. Second, we use our environment also to verify “background theories...
  • QFT toolbox

  • Referenced in 12 articles [sw14926]
  • plant uncertainty and disturbances. The Interactive Development Environment (IDE) for shaping controllers provides a point...