VP_TT: A value propagation based equivalence checker for testability transformations 
CTHP: Selection for adoption of open‐source bioinformatics software based on a customised ISO 25010 quality model, three‐way decision and Delphi hierarchy process 
Reconfigurable buck-boost converter with stacked resonant technology for dual-polarity thermoelectric and photovoltaic energy harvesting 
Delay-Interactive Hierarchical ADRC for Robust Frequency Regulation in Intertied Microgrids Subtotal: $6,210.00
