• 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 model--PEAK (Primitive-Equation Atmospheric Research Model Kernel)--to illustrate...
  • ProVerif

  • Referenced in 41 articles [sw06558]
  • handle many different cryptographic primitives, including shared- and public-key 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]
  • finite-volume, free-surface, 3-D 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...
  • D-NURBS

  • 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 time-dependent 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 plug-and-play deep learning primitives. This...
  • Z3-str

  • 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...
  • MP-GeneticSynth

  • 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 boundary-element 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...