Abstract: Underwater Acoustic Communication (UWA) is an emerging wireless technology that enables reliable and long range data transmission in challenging underwater environments. To support high data ...

treehfd is a Python module to compute the Hoeffding functional decomposition of XGBoost models (Chen and Guestrin, 2016) with dependent input variables, using the TreeHFD algorithm. This decomposition ...

Abstract: Hardware-firmware (FW) co-verification is critical to design trustworthy systems. While formal methods can provide verification guarantees, due to the complexity of FW and hardware, it can ...

An Australian crime novelist was struggling to invent the perfect murder for his book one that would leave no body behind. He discussed the idea openly with coworkers, and a chilling method was ...