• ConformalBlocks

  • Referenced in 10 articles [sw08674]
  • tuple of dominant integral weights of g specifies a conformal block bundle ... This package computes ranks and first Chern classes of conformal block bundles...
  • Algorithm 627

  • Referenced in 6 articles [sw23774]
  • FORTRAN subroutine for solving Volterra integral equations. This paper is intended to describe the basic ... method described in the first author’s paper [Computing...
  • Orc

  • Referenced in 15 articles [sw07311]
  • threads, time-outs and mutable state. We first describe the original concurrency combinators ... calculus and the functional core language are integrated seamlessly. The resulting language and its supporting ... proven very effective in describing typical concurrent computations; we demonstrate how several practical concurrent programming...
  • MINMOD

  • Referenced in 11 articles [sw16356]
  • first derivatives (not known analitically) are computed according to the ‘sensitivity approach’. The program yields ... tissue insulin sensitivity index, (3) φ1, first phase pancreatic responsitivity, and (4) φ2, second phase ... parameters have been shown to represent an integrated metabolic portrait of a single individual...
  • LEAP

  • Referenced in 8 articles [sw02456]
  • challenge - it aims to become the first integrated agent development environment capable of generating agent ... implemented over a large family of devices (computers, PDA and mobile phones…) and communication mechanisms...
  • KIOPS

  • Referenced in 6 articles [sw30345]
  • exponential integrators. This algorithm is suitable for large-scale problems in computational physics where little ... priori. We first show that such problems can be solved efficiently by computing a single ... modified matrix. Then our approach is to compute an appropriate basis for the Krylov subspace ... procedure that significantly reduces the computational complexity of exponential integrators. Our numerical experiments demonstrate that...
  • FESTA

  • Referenced in 10 articles [sw13348]
  • adaptive finite element analysis: Towards an integrated computational environment. We accomplish the general implementation ... extended for calculating sensitivity quantities of first- and higher-orders. We accomplish the mesh...
  • fptdApprox

  • Referenced in 6 articles [sw06381]
  • schemes for solving Volterra integral equations which have as solution first-passage-time density functions ... First-Passage-Time Location (FPTL) function about the location of the first-passage-time variable ... cases considered by P. Román et al. [Comput. Stat. Data Anal...
  • ESTIMA

  • Referenced in 15 articles [sw00249]
  • aspects, the first being the choice of computationally intensive parameter estimation procedure and the second ... history plots and system analysis. In the first case, a variety of efficient parameter estimation ... rapidly determine the model quality. ESTIMA, an integrated software tool developed at the DLR Institute...
  • LSSS

  • Referenced in 2 articles [sw06578]
  • context of integrable non-abelian Laurent ODEs The paper reports on a computer algebra program ... computed symmetries confirmed that a Lax pair found for this system earlier generates all first ... integrals of degree at least...
  • Imandra

  • Referenced in 1 article [sw37911]
  • higher-order logics. Imandra’s logic is computational, based on a pure subset of OCaml ... conjectures to be translated into multi-sorted first-order logic with theories, including arithmetic ... including a seamless integration of bounded and unbounded verification, first-class computable counterexamples, efficiently executable ... higher-order setting. These mechanisms are tightly integrated and subject to many forms of user...
  • SWISS-MODEL

  • Referenced in 14 articles [sw17373]
  • modeling facility today. In 2002 the server computed 120 000 user requests for 3D protein ... World Wide Web interface: in the ‘first approach mode’ only an amino acid sequence ... project mode’ using DeepView (Swiss-PdbViewer), an integrated sequence-to-structure workbench. All models...
  • SEISCOPE

  • Referenced in 4 articles [sw19396]
  • FORTRAN 90 routines, which implement first-order methods (steepest-descent and nonlinear conjugate gradient ... black boxes easy to interface with any computational code, where such large-scale minimization problems ... geophysics. Integrating the toolbox for solving this class of problems presents two advantages. First ... rates compared to first-order methods, significant improvements in terms of computational efforts...
  • Vessiot

  • Referenced in 6 articles [sw12351]
  • classification problems in geometry and algebra. The first problem we are currently working on deals ... packages called Vessiot, an integrated collection of Maple programs for computations in differential geometry...
  • ECOM

  • Referenced in 6 articles [sw16817]
  • ECOM combines conformal mapping and Fourier and integral equation methods on the unit disk ... poloidal flux function as well as its first and second partial derivatives. As a consequence ... smaller than the elongation of ITER, ECOM computes key quantities such as the safety factor...
  • HMRSVP

  • Referenced in 3 articles [sw02658]
  • guaranteed services in mobile computing environments. The HMRSVP integrates RSVP with Mobile IP regional registration ... inter-region movement may possibly occur. We first show that, by NS simulator, our HMRSVP...
  • CoqMT

  • Referenced in 6 articles [sw19139]
  • incorporating, in its computational mechanism, validity entailment for user-defined first-order equational theories. Such ... simplifying the type-checking algorithm and the integration of first-order decision procedures. We present...
  • VMEXT

  • Referenced in 5 articles [sw20981]
  • first application presents the visualizations alone. The second application shows a possible integration ... LaTex} input to parallel {sc MathML}, computes basic similarity measures for mathematical expressions, and visualizes...
  • SqFreeEVAL

  • Referenced in 11 articles [sw07421]
  • itself is simple, but prior attempts to compute its complexity have proven to be quite ... bits.Our proof uses two amortization-based techniques: first, we use the algebraic amortization technique ... Mahler-Davenport root bounds to interpret the integral in terms of d and L. Second...
  • EnergyPlus

  • Referenced in 10 articles [sw16969]
  • have seen significant advances in analysis and computational methods and power — providing an opportunity ... steps, user-configurable modular systems that are integrated with a heat and mass balance-based ... EnergyPlus began in late 1999 and the first release is scheduled for early...