• Quark

  • Referenced in 12 articles [sw08447]
  • need for lightweight (that is, compact, low-power, low-energy) cryptographic hash functions has been...
  • 2D DWT

  • Referenced in 1 article [sw04164]
  • terms of signal decorrelation and energy compaction. The different forms of Fourier transform, as well...
  • GloMIQO

  • Referenced in 34 articles [sw06266]
  • wastewater treatment and total water systems, hybrid energy systems, heat exchanger networks, reactor-separator-recycle ... convex polygon, and chip layout and compaction. Portfolio optimization in financial engineering can also...
  • Piccolo

  • Referenced in 34 articles [sw13242]
  • Piccolo achieves both high security and notably compact implementation in hardware. We show that Piccolo ... involution structure. Furthermore, its efficiency on the energy consumption which is evaluated by energy...
  • LS-VISM

  • Referenced in 2 articles [sw16158]
  • relaxing the VISM free-energy functional and a compact coupling interface method for the dielectric...
  • IllinoisGRMHD

  • Referenced in 4 articles [sw13418]
  • extreme violence of merger and mass accretion, compact objects like black holes and neutron stars ... luminous outbursts of electromagnetic and gravitational wave energy in the Universe. Modeling these systems realistically...
  • WHAM

  • Referenced in 5 articles [sw18138]
  • believed to be powered by compact objects surrounded by relativistic plasma flows driving phenomena such ... remains difficult to simulate is when the energy scales (kinetic, thermal, magnetic) within the plasma...
  • RNA2D3D

  • Referenced in 1 article [sw17141]
  • means of strategically making the structures more compact and revealing folding motifs. Subsequent refinement ... tertiary constraints is assisted with standard energy refinement techniques. Previously determined coordinates for any part...
  • fREEDA

  • Referenced in 2 articles [sw07476]
  • multi-physics simulator that uses compact models. It can be used as an alternative Spice ... concepts supporting multi physics modeling. It minimizes energy rather than minimizing current errors...
  • ProMC

  • Referenced in 1 article [sw20056]
  • designed to store data in a compact binary form using variable-size integer encoding ... existing input-output libraries used in high-energy physics (HEP). Other important features...
  • ASYMPT

  • Referenced in 9 articles [sw00053]
  • A FORTRAN program is presented which calculates asymptotics...
  • ACL2

  • Referenced in 157 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BPOLY

  • Referenced in 11 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • Coq

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

  • Referenced in 17 articles [sw00502]
  • LanHEP - a package for the automatic generation of...
  • LAPACK

  • Referenced in 1266 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1034 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 1787 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 4047 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 4272 articles [sw00554]
  • Almost any workflow involves computing results, and that...