• UFL

  • Referenced in 63 articles [sw11183]
  • Unified form language: a domain-specific language for weak formulations of partial differential equations ... Unified Form Language (UFL), which is a domain-specific language for representing weak formulations ... Features of UFL include support for variational forms and functionals, automatic differentiation of forms...
  • TSFC

  • Referenced in 24 articles [sw20272]
  • high-level description of the weak form of partial differential equations and produces low-level...
  • SciANN

  • Referenced in 10 articles [sw38344]
  • flexibility to set up complex functional forms. We illustrate, in a series of examples ... discovery of PDEs in strong and weak forms. We summarize the features currently available...
  • FINESSE

  • Referenced in 8 articles [sw09199]
  • magnetic flux is solved in a weak form via Picard iteration, resulting in a large...
  • RKPM2D

  • Referenced in 8 articles [sw38411]
  • such as the reproducing kernel approximation, weak form using Nitsche’s method for boundary condition...
  • FEMorph

  • Referenced in 5 articles [sw36217]
  • Weak and strong form shape hessians and their automatic generation. By analyzing variational problems formulated ... Unified Form Language, a structure-aware differentiation tool is presented which can automatically generate both ... classical boundary representation and the weak or “volume” formulation of first and second order shape ... calculate discrete material derivatives for the weak form. Furthermore, additional assumptions and simplifications can also...
  • SENSEI

  • Referenced in 4 articles [sw18191]
  • based on discretizations of the weak form of the governing equations of interest...
  • Freja

  • Referenced in 17 articles [sw13678]
  • identify the strengths and weaknesses of each system and then form ideas...
  • NIMEQ

  • Referenced in 2 articles [sw18085]
  • resulting equation is solved in the weak form using a finite element representation. A Picard...
  • Backpack

  • Referenced in 1 article [sw22068]
  • that of Haskell permit only a weak form of modularity in which module implementations depend ... other hand, permit a stronger form of modularity in which explicit interfaces express assumptions about ... separately-typecheckable packages on top of a weak module system like Haskell’s. The design...
  • DEGEN

  • Referenced in 1 article [sw07626]
  • MPCC, we first argue that even weak forms of general constraint qualifications that are suitable ... stationary for MPCC (better than weakly stationary), but in general need not be M-stationary...
  • IGAP4

  • Referenced in 1 article [sw34780]
  • second-order spatial derivatives in the weak forms; examples include (transient) gradient elasticity...
  • PLSAER2D

  • Referenced in 1 article [sw22651]
  • displacement method, on a weak form of the equilibrium and reply upon two main ingredients...
  • PromoterExplorer

  • Referenced in 2 articles [sw35524]
  • build a sequence of weak classifiers, which are combined to form a strong classifier...
  • Libratus

  • Referenced in 11 articles [sw29293]
  • Texas hold’em is the most popular form of poker. Despite artificial intelligence (AI) successes ... self-improver algorithm that fixes potential weaknesses that opponents have identified in the blueprint strategy...
  • AttentionNet

  • Referenced in 1 article [sw39586]
  • AttentionNet: Aggregating Weak Directions for Accurate Object Detection. We present a novel detection method using ... most suitable form of a CNN. AttentionNet provides quantized weak directions pointing a target object...
  • SACLIB

  • Referenced in 25 articles [sw00823]
  • reference implementations of numerous algorithms and also forms the basis of the quantifier elimination systems ... because dynamic arrays are used extensively in weakly typed computer algebra systems such as SACLIB...
  • CHyQMOM

  • Referenced in 5 articles [sw34770]
  • integer moments. The reconstructed VDF takes the form of a sum of weighted Dirac delta ... closure for the flux leads to a weakly hyperbolic system of moment equations. In subsequent...
  • TRACER

  • Referenced in 10 articles [sw07361]
  • output can be obtained in a form suitable to be fed into a TEX system ... further illustration a correlation function of two weak currents is calculated with...
  • Theories

  • Referenced in 6 articles [sw08314]
  • together with Towfic Shomar we advocated a form of instrumentalism about scientific theories. We separately ... Third we point out both advantages and weaknesses of FLBD’s techniques in comparison...