• Gerris

  • Referenced in 344 articles [sw00341]
  • linear and non-linear shallow-water equations Adaptive mesh refinement: the resolution is adapted dynamically...
  • METEOR

  • Referenced in 16 articles [sw26327]
  • been thought for some time that linear resolution procedures are not the best resolution formats ... first implementations that take advantage of the linearity seem to preclude use of subsumption ... Prolog, which is based on a linear input resolution procedure. In particular, the WAM architecture ... linear input proof procedure for full first-order logic, similar to but distinct from resolution...
  • Ltur

  • Referenced in 40 articles [sw11689]
  • LTUR: A simplified linear time unit resolution algorithm for Horn formulae and computer implementation. Testing ... proposes a simplified way of deriving a linear-time algorithm avoiding many of the intricacies...
  • CLAWPACK

  • Referenced in 138 articles [sw01069]
  • linear and nonlinear hyperbolic systems of conservation laws, with a focus on implementing high-resolution...
  • OreModules

  • Referenced in 42 articles [sw06226]
  • Linear Control Systems over Ore Algebras. OreModules is a Maple implementation of algorithms which compute ... parametrizations, extension modules (ext), resolutions and other algebraic objects for linear systems of differential equations...
  • GYSELA

  • Referenced in 44 articles [sw17825]
  • linear growth rate of the most unstable mode), including for cases with a high resolution...
  • TRP++

  • Referenced in 18 articles [sw14679]
  • prover for Propositional Linear Time Temporal Logic based on the temporal resolution calculus...
  • Chordality

  • Referenced in 2 articles [sw20560]
  • square-free monomial ideals with 2-linear resolution. Indeed, thanks to Fröberg, we know that ... monomial ideal I has a 2-linear resolution if and only...
  • FLIRT

  • Referenced in 21 articles [sw02671]
  • accurate automated linear (affine) registration tool based around a multi-start, multi-resolution global optimisation...
  • Lyapunov

  • Referenced in 5 articles [sw09343]
  • function in a general class of non-linear dynamical systems. The algorithm can be applied ... numerical algorithm involves the resolution of a linear programming problem. The algebraic version is implemented...
  • tgp

  • Referenced in 41 articles [sw07921]
  • implemented include Bayesian linear models, CART, treed linear models, stationary separable and isotropic ... class output. Sensitivity analysis and multi-resolution models are supported. Sequential experimental design and adaptive...
  • chebop

  • Referenced in 34 articles [sw12693]
  • good to be able to solve a linear differential equation by typing u=L , where ... methods on Chebyshev grids of automatically determined resolution...
  • Lindalg

  • Referenced in 2 articles [sw22463]
  • Lindalg: Mathemagix package for Symbolic Resolution of Linear Systems of Differential Equations with Singularities. Developed...
  • SegNet

  • Referenced in 27 articles [sw27575]
  • which the decoder upsamples its lower resolution input feature map(s). Specifically, the decoder uses ... corresponding encoder to perform non-linear upsampling. This eliminates the need for learning to upsample...
  • NEMOH

  • Referenced in 3 articles [sw25778]
  • NEMOH’s approach decouples the resolution of the linear free surface Boundary Value Problem...
  • BGeost

  • Referenced in 7 articles [sw20765]
  • build high resolution models conditioned to both point and linear average block support data...
  • Nenofex

  • Referenced in 18 articles [sw09579]
  • contrast to eliminating existentially quantified variables by resolution on CNF, which causes the formula size ... involved with only a linear increase of the formula size. This property motivates ... given memory limit less frequently than a resolution-based QBF solver for CNF, but also...
  • FWT2D

  • Referenced in 5 articles [sw08943]
  • modelling requires the resolution of a large sparse system of linear equations which is performed...
  • FRESH

  • Referenced in 3 articles [sw28344]
  • piecewise smooth functions and propose a resolution enhancement method for this type of functions ... linear reconstruction methods. We combine the two reconstructions by leveraging from the multi-resolution analysis ... show how an FRI reconstruction and a linear reconstruction can be fused using filter banks ... image to obtain a single-image super-resolution algorithm. We also propose a further improvement...