
EnKF
 Referenced in 346 articles
[sw02066]
 used in realistic applications with primitive equation models for the ocean and atmosphere. A recent...

GCMs
 Referenced in 8 articles
[sw04944]
 schemes FMS provides for the hydrostatic primitive equations), with various idealizations for the lower boundary...

Akiss
 Referenced in 12 articles
[sw20605]
 user to describe various security primitives by an equational theory. In order to show that...

GETM
 Referenced in 4 articles
[sw19633]
 Estuarine Transport Model (GETM) is a primitive equation numerical model for studies of lakes, estuaries...

PEAK
 Referenced in 3 articles
[sw04875]
 model, from the formulation of continuous model equations through development of their discretized forms ... implementation of a specific modelPEAK (PrimitiveEquation Atmospheric Research Model Kernel)to illustrate...

ProVerif
 Referenced in 41 articles
[sw06558]
 handle many different cryptographic primitives, including shared and publickey cryptography (encryption and signatures), hash ... specified both as rewrite rules or as equations. It can handle an unbounded number...

FVCOM
 Referenced in 1 article
[sw30142]
 finitevolume, freesurface, 3D primitive equation coastal ocean circulation model developed by UMASSD...

TWODEPEP
 Referenced in 10 articles
[sw01212]
 with primitive features, being capable of solving only a single linear elliptic equation in polygonal...

Lagrange_diophantine
 Referenced in 1 article
[sw13490]
 fraction algorithm of Lagrange for solving the equation ... solutions. Webservice: Finding primitive solutions of the diophantine equation ax2+bxy+cy2=n, where...

DNURBS
 Referenced in 16 articles
[sw09123]
 NURBS have been viewed as purely geometric primitives, which require the designer to interactively adjust ... integration of a set of nonlinear differential equations, produces physically meaningful, and hence intuitive shape...

ALTDSE
 Referenced in 4 articles
[sw00037]
 method to solve the timedependent Schrödinger equation (TDSE) for the interaction of a strong ... matrices may be generated using an arbitrary primitive basis, they are assumed to have been...

TorchDyn
 Referenced in 1 article
[sw35071]
 differential equations to be as accessible as regular plugandplay deep learning primitives. This...

Z3str
 Referenced in 7 articles
[sw19493]
 that encode strings in terms of other primitives. The logic of the plug ... over string terms. The atomic formulas are equations over string terms, and (in)equalities over...

CoSP
 Referenced in 5 articles
[sw25389]
 proofs into formal calculi. CoSP considers arbitrary equational theories and computational implementations, and it abstracts ... modular and generic way: proving x cryptographic primitives sound for y calculi only requires...

MPGeneticSynth
 Referenced in 1 article
[sw34305]
 dynamics in terms of finite difference recurrent equations. The software makes use of: (i) metabolic ... regulation functions as linear combinations of given primitive functions, (iii) a suitable reformulation...

VISRAD
 Referenced in 2 articles
[sw16957]
 built using a variety of geometric primitives, and surface removal algorithms (e.g., drilling holes ... solving a coupled set of power balance equations in which the emission from a given...

symPACK
 Referenced in 1 article
[sw16317]
 Both Sparse Cholesky Solver. Systems of linear equations arise at the heart of many scientific ... symPACK relies on efficient and flexible communication primitives provided by the UPC++ library. Performance evaluation...

BEMLIB
 Referenced in 101 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

CGAL
 Referenced in 355 articles
[sw00118]
 The goal of the CGAL Open Source Project...