
UFL
 Referenced in 63 articles
[sw11183]
 Unified form language: a domainspecific language for weak formulations of partial differential equations ... Unified Form Language (UFL), which is a domainspecific 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]
 highlevel description of the weak form of partial differential equations and produces lowlevel...

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 structureaware 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 ... separatelytypecheckable 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 Mstationary...

IGAP4
 Referenced in 1 article
[sw34780]
 secondorder 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 ... selfimprover 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...