• ggplot2

  • Referenced in 210 articles [sw04557]
  • implements a sophisticated multidimensional conditioning system and a consistent interface to map data to aesthetic...
  • COMSOL

  • Referenced in 360 articles [sw04091]
  • thanks to a number of predefined physics interfaces for applications ranging from fluid flow ... analyses. Material properties, source terms and boundary conditions can all be arbitrary functions...
  • MIBPB

  • Referenced in 49 articles [sw08106]
  • solution and flux continuity conditions at the dielectric interface between the biomolecule and the solvent ... using the Krylov subspace (KS) techniques. Condition numbers of the MIBPB matrices are significantly reduced...
  • ScaLAPACK

  • Referenced in 400 articles [sw00830]
  • parallel virtual machine (PVM) and/or message passing interface (MPI). It is a continuation ... band, and tridiagonal linear systems of equations, condition estimation and iterative refinement ... sign function for eigenproblems, and an HPF interface to a subset of ScaLAPACK routines.\parSoftware...
  • SC Toolbox

  • Referenced in 189 articles [sw04462]
  • features, including an object-oriented command-line interface model, new algorithms for multiply elongated ... polygon with Dirichlet and homogeneous Neumann conditions. Brief examples are given to demonstrate...
  • LARCH

  • Referenced in 87 articles [sw02126]
  • interface is how components communicate across the interface. Communication mechanisms differ from programming language ... some languages have mechanisms for signalling exceptional conditions, other do not. More subtle differences arise ... precise about communication when the interface specification language reflects the programming language. Each interface language...
  • GiNaC

  • Referenced in 71 articles [sw01609]
  • graphical interfaces, etc.) under one roof. It is distributed under the terms and conditions...
  • Total FETI

  • Referenced in 41 articles [sw08714]
  • auxiliary interfaces, but also for implementation of the Dirichlet boundary conditions. Results of numerical experiments...
  • SeaHorn

  • Referenced in 13 articles [sw18274]
  • intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based...
  • CFS++

  • Referenced in 4 articles [sw09030]
  • impact of replacing the fully-coupled interface condition with a one-way coupling. To continue ... used to ensure accurate boundary conditions on the interface, and we found that only...
  • Nike2D

  • Referenced in 59 articles [sw12115]
  • handled including traction boundary conditions, displacement boundary conditions, concentrate nodel point loads, body force loads ... loads due to spinning. Slide-lines with interface friction are available. Elastic, orthotropic, elastic-plastic...
  • DIMSYM

  • Referenced in 72 articles [sw04279]
  • solve these equations, reporting any special conditions required to produce a solution. Finally, Dimsym gives ... interface with the REDUCE package EXCALC so that all the machinery of calculus on manifolds...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • functional languages, temporal and data-flow invariants interface SIGNAL processes to their enviroument. In conventional ... program. In SIGNAL, the notion of conditional data-flow graph can similarly be used...
  • Spheno

  • Referenced in 51 articles [sw09544]
  • breaking, or string effective field theories. An interface exists for an easy implementation of other ... loop order with user-specified boundary conditions. The complete one-loop formulas for the masses...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • class or interface to precisely specify the conditions that are required for its correct operation ... with, or inherited by, any class or interface. jContractor performs on-the-fly bytecode instrumentation...
  • KRYLOV

  • Referenced in 2 articles [sw20840]
  • overlapping subdomains with different interface conditions on the internal boundaries. Also, we use two different...
  • Salsa

  • Referenced in 5 articles [sw25430]
  • arithmetic, for discharging the verification conditions. The user interface of Salsa is designed to mimic...
  • BEAST

  • Referenced in 43 articles [sw12588]
  • framework for testing evolutionary hypotheses without conditioning on a single tree topology. BEAST 2 uses ... probability. BEAST 2 includes a graphical user-interface for setting up standard analyses...
  • SLEIGN2

  • Referenced in 39 articles [sw01230]
  • problems, with both separated and coupled boundary conditions, and to approximate the continuous spectrum ... driver program that offers a user-friendly interface. In this paper the algorithms and their...
  • DEoptim

  • Referenced in 39 articles [sw08656]
  • implementation of differential evolution in DEoptim interfaces with C code for efficiency. The utility ... data and a Markov-Switching Generalized AutoRegressive Conditional Heteroskedasticity (MSGARCH) model for the returns...