Results 1 to 20 of 156
Sort by:

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