• MinRes

  • Referenced in 39 articles [sw09350]
  • eddy current optimal control problems in unbounded domains. This work is devoted to distributed optimal ... multiharmonic eddy current problems in unbounded domains. We apply a multiharmonic approach to the optimality...
  • TREX

  • Referenced in 47 articles [sw01388]
  • integer counters and finite-domain variables, and communicating through unbounded lossy FIFO channels and shared...
  • CEDRES++

  • Referenced in 10 articles [sw18056]
  • numerical solutions for equilibrium problems in unbounded domains. We formulate a new Newton method...
  • Schwarz-Christoffel

  • Referenced in 239 articles [sw00833]
  • interiors or exteriors of possibly unbounded polygons. Computations involving these maps generally require a computer ... disk, half-plane, strip, and rectangle domains to polygon interiors, and from the disk...
  • libDDD

  • Referenced in 8 articles [sw04096]
  • saturation style algorithms; A priori unbounded integer domain variables; Rich expressivity with equiv-split mechanism...
  • ADITU

  • Referenced in 1 article [sw42363]
  • Helmholtz equation in bounded and unbounded domains. This work describes a mesh-free collocation formulation ... coupling among non-homogeneous bounded and unbounded fluid domains. The proposed formulations use series ... pressure in any bounded or unbounded non-spherical domain. The accuracy, efficiency and robustness...
  • Unbound

  • Referenced in 4 articles [sw22613]
  • Binders unbound. mplementors of compilers, program refactorers, theorem provers, proof checkers, and other systems that ... paper, we present a new domain-specific language, Unbound, for specifying binding structure. Our language ... Haskell library implementing an embedded domain specific language (EDSL). By using Haskell type constructors...
  • FRIDA

  • Referenced in 1 article [sw41714]
  • efficiently model the equilibrium problem in unbounded domains by discretizing only the plasma region...
  • FLUPS

  • Referenced in 3 articles [sw38050]
  • fully unbounded boundary conditions for the Poisson equation on rectangular domains with uniform resolution. FLUPS...
  • Kuai

  • Referenced in 2 articles [sw34182]
  • order reduction techniques specific to the SDN domain that help reduce the state space dramatically ... Kuai performs an automatic abstraction to handle unboundedly many packets traversing the network...
  • Pufferfish

  • Referenced in 4 articles [sw12982]
  • allow experts in an application domain, who frequently do not have expertise in privacy ... apply the framework to protect unbounded continuous attributes and aggregate information; and we show...
  • BER MetaOCaml

  • Referenced in 3 articles [sw09552]
  • values. It has been used for compiling domain-specific languages and automating tedious and error ... classifiers. Attempting to build code values with unbound or mistakenly bound variables (liable to occur...
  • Braga Method

  • Referenced in 1 article [sw42394]
  • guideline for the definition of a domain predicate of which the inductive structure is compatible ... method on various concrete recursive algorithms, including unbounded search, “fold-left” from the tail...
  • FIDAP

  • Referenced in 37 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program). This paper...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • gmp

  • Referenced in 289 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 783 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...