
Adam
 Referenced in 273 articles
[sw22205]
 introduce Adam, an algorithm for firstorder gradientbased optimization of stochastic objective functions, based ... adaptive estimates of lowerorder moments. The method is straightforward to implement, is computationally efficient ... little memory requirements, is invariant to diagonal rescaling of the gradients, and is well suited...

ODEtools
 Referenced in 11 articles
[sw09257]
 commands includes a firstorder ODE solver and routines for, among other things: the explicit ... construction of the most general invariant firstorder ODE under given symmetries; the determination ... canonical coordinates of the underlying invariant group; and the testing of the returned results...

FOCI
 Referenced in 58 articles
[sw12868]
 decision procedure for quantifierfree firstorder formulas. It supports certain interpreted theories, such ... predicates in predicate abstraction, and computing inductive invariants...

HMC
 Referenced in 7 articles
[sw09867]
 constraints into a simple firstorder imperative program and an invariant that holds ... satisfiable. Finally, it uses an invariant generator for firstorder imperative programs to discharge...

FiOrDii
 Referenced in 3 articles
[sw22211]
 Finding first order differential invariants through the Sfunction. The method presented in Duarte ... search for first order invariants of second order ordinary differential equation (2ODEs) makes...

SADE
 Referenced in 18 articles
[sw07076]
 nonclassical, Lie–Bäcklund and potential symmetries, invariant solutions, firstintegrals, Nöther theorem for both discrete ... equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants ... QPSI) for the determination of quasipolynomial firstintegrals, Lie symmetries and invariant surfaces. Examples...

FiOrDi
 Referenced in 2 articles
[sw16767]
 Maple package to find first order differential invariants of 2ODEs via a Darboux approach ... semialgorithm to find elementary first order differential invariants (elementary first integrals) of a class...

WhyML
 Referenced in 25 articles
[sw09709]
 specification language. WhyML is a firstorder language with polymorphic types, pattern matching, and inductive ... record types with mutable fields, type invariants, and ghost code. Verification conditions are discharged...

GraPHedron
 Referenced in 15 articles
[sw25129]
 selected invariants, in order to derive extremal properties among these invariants. GraPHedron is detailed ... published papers contain results that where first conjectured with the help of GraPHedron...

Modp group cohomology
 Referenced in 8 articles
[sw08638]
 invariant, depth, ...) and also the nilradical and essential classes. It provided the first complete ... cohomology rings of all groups of order 128. It was also used to compute...

VeriCon
 Referenced in 3 articles
[sw16297]
 uses firstorder logic to specify admissible network topologies and desired networkwide invariants ... single network event w.r.t. the specified invariant, and can thus scale to handle large programs ... inductive invariants from the programmer, VeriCon includes a separate procedure for inferring invariants, which ... controller programs. We view VeriCon as a first step en route to practical mechanisms...

HOLBoogie
 Referenced in 14 articles
[sw00409]
 enriched by annotations in firstorder logic.\parIts verification conditions  constructed via a wp calculus ... ways: First, we present scenarios to “debug” annotations (in particular: invariants) by interactive proofs. Second...

UnQL
 Referenced in 9 articles
[sw20018]
 structural recursion can be expressed in firstorder logic extended with transitive closure; its data ... bisimulation. Structural recursion is shown to be invariant with respect to value equality...

RCIP
 Referenced in 2 articles
[sw10232]
 firstorder spatial derivatives are predicted by the governing equation. Using the Lagrangian invariant solution...

FunG
 Referenced in 1 article
[sw19691]
 first, second, and thirdorder derivatives. The focus is on invariantbased models, such...

QuIt
 Referenced in 1 article
[sw29333]
 programs containing loops by using a firstorder language of socalled extended expressions. This ... invariant generation. For doing so, we express the loop semantics as a set of first ... order properties over extended expressions and use theorem provers and/or SMT solvers to reason about...

Pyhybridanalysis
 Referenced in 3 articles
[sw14549]
 each step, the algorithm builds the firstorder formula corresponding to the evolution ... states that are reached for the first time in the last step is empty ... lengths increase. However, if we bound the invariants and interpret formulae by using an semantics ... Tarski’s theory (i.e., is a firstorder formula involving polynomials), the sphere semantics...

NetLSD
 Referenced in 2 articles
[sw32341]
 Ideally, graph comparison should be invariant to the order of nodes and the sizes ... Descriptor (NetLSD): the first, to our knowledge, permutation and sizeinvariant, scaleadaptive, and efficiently...

GIFGA
 Referenced in 1 article
[sw17588]
 caustics and beam spreading. Moreover, it is invariant with respect to the gauge choice ... dimensional examples; in particular, the first order convergence is validated, which agrees with our companion...

CpnToUnit
 Referenced in 1 article
[sw26447]
 distinguishable tokens. It allows us to apply invariants method to their analysis, which uses Truncated ... order to run the program, you must provide two files as arguments: the first containing...