
Quark
 Referenced in 12 articles
[sw08447]
 need for lightweight (that is, compact, lowpower, lowenergy) 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, reactorseparatorrecycle ... 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...

LSVISM
 Referenced in 2 articles
[sw16158]
 relaxing the VISM freeenergy 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]
 multiphysics 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 variablesize integer encoding ... existing inputoutput libraries used in highenergy 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 objectoriented 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...