
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, timeouts 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 largescale 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 higherorders. We accomplish the mesh...

fptdApprox
 Referenced in 6 articles
[sw06381]
 schemes for solving Volterra integral equations which have as solution firstpassagetime density functions ... FirstPassageTime Location (FPTL) function about the location of the firstpassagetime 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 nonabelian 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]
 higherorder logics. Imandra’s logic is computational, based on a pure subset of OCaml ... conjectures to be translated into multisorted firstorder logic with theories, including arithmetic ... including a seamless integration of bounded and unbounded verification, firstclass computable counterexamples, efficiently executable ... higherorder setting. These mechanisms are tightly integrated and subject to many forms of user...

SWISSMODEL
 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 (SwissPdbViewer), an integrated sequencetostructure workbench. All models...

SEISCOPE
 Referenced in 4 articles
[sw19396]
 FORTRAN 90 routines, which implement firstorder methods (steepestdescent and nonlinear conjugate gradient ... black boxes easy to interface with any computational code, where such largescale minimization problems ... geophysics. Integrating the toolbox for solving this class of problems presents two advantages. First ... rates compared to firstorder 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 ... interregion 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 userdefined firstorder equational theories. Such ... simplifying the typechecking algorithm and the integration of firstorder 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 amortizationbased techniques: first, we use the algebraic amortization technique ... MahlerDavenport 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, userconfigurable modular systems that are integrated with a heat and mass balancebased ... EnergyPlus began in late 1999 and the first release is scheduled for early...