
Quark
 Referenced in 15 articles
[sw08447]
 need for lightweight (that is, compact, lowpower, lowenergy) cryptographic hash functions has been...

GloMIQO
 Referenced in 42 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...

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

Piccolo
 Referenced in 43 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...

WHAM
 Referenced in 7 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...

IllinoisGRMHD
 Referenced in 5 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...

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 10 articles
[sw00053]
 A FORTRAN program is presented which calculates asymptotics...

ACL2
 Referenced in 239 articles
[sw00060]
 ACL2 is both a programming language in which...

BPOLY
 Referenced in 12 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

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

LanHEP
 Referenced in 19 articles
[sw00502]
 LanHEP  a package for the automatic generation of...

LAPACK
 Referenced in 1403 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1179 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 4198 articles
[sw00545]
 The result of over 30 years of cutting...

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