• MIN3P

  • Referenced in 6 articles [sw11519]
  • aqueous complexation, gas partitioning between phases, oxidation-reduction, ion exchange, and surface complexation. The reaction ... reactions, and the dissolution of non-aqueous phase liquids (NAPLs). All reactions can be defined...
  • HCmodelSets

  • Referenced in 1 article [sw28001]
  • Software for performing the reduction, exploratory and model selection phases of the procedure proposed...
  • topopt_multi

  • Referenced in 17 articles [sw25723]
  • projected steepest descent method to ensure the reduction in the objective functional, simultaneously satisfying ... scales sub-linearly by the number of phases. For the sake of reader convenience...
  • LLL Factorization

  • Referenced in 1 article [sw28660]
  • main application of the LLL basis reduction algorithm: an algorithm to factor square-free integer ... exponential reconstruction phase has been replaced by the polynomial-time basis reduction algorithm. Thanks...
  • GenPSAT

  • Referenced in 4 articles [sw24009]
  • complete and we present a polynomial reduction to Mixed-Integer Programming. Capitalizing on this translation ... problems, we are able to detect a phase transition behaviour for GenPSAT...
  • SASEPA

  • Referenced in 2 articles [sw02446]
  • algorithm is total processing time reduction; such are the requirements when we deal with automated ... industrial inspection applications. By simultaneously tackling the phases of allocation and scheduling, the results obtained...
  • L2CXFT

  • Referenced in 9 articles [sw00498]
  • nonnegativity of second divided differences, in two phases. \parFirst, an approximation close to the optimum ... constraint equations. The subroutine benefits from this reduction, since common submatrices that occur during...
  • elementR

  • Referenced in 0 articles [sw16564]
  • facilitate the reduction of elemental microchemistry data from solid-phase LA-ICPMS analysis (laser ablation ... steps needed for an optimal data reduction while leaving maximum control for user...
  • WavePacket

  • Referenced in 6 articles [sw19829]
  • quantum dynamics ’on the fly’, including Wigner phase space representations. Being easy ... focus on open quantum systems and dimension reduction; it also describes the codes for optimal...
  • TaPy

  • Referenced in 1 article [sw29554]
  • rays. TaPy is used for data reduction of grating interferometer data with X-rays ... sinusoidal function to retrieve mean value, phase and amplitude. These parameters are then used...
  • MpCCI Mapper

  • Referenced in 1 article [sw22569]
  • failure can be caused by local thickness reduction or residual stress peaks which ... hardening step can induce gradients in the phase proportions or influence residual stresses – and thus...
  • GRACE

  • Referenced in 3 articles [sw11987]
  • elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation ... devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop...
  • GMsFEM

  • Referenced in 1 article [sw10700]
  • finite element method for high-contrast single-phase flow problems in anisotropic media. In this ... anisotropic media. We present a multiscale model reduction technique for constructing a reduced-dimension space...
  • Green

  • Referenced in 2 articles [sw29920]
  • service/solution (QoS) for improvements in performance and reduction in energy consumption. Programmers sometimes take advantage ... functions and loops and operates in two phases. In the calibration phase, it builds...
  • SparseNN

  • Referenced in 1 article [sw25870]
  • less than 5% of the original feedforward phase with negligible accuracy loss. Furthermore, an energy ... improvement in throughput and a power reduction of around...
  • ALBERT

  • Referenced in 81 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ANSYS

  • Referenced in 641 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BoomerAMG

  • Referenced in 143 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • Coq

  • Referenced in 1748 articles [sw00161]
  • Coq is a formal proof management system. It...