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 ...

As a child growing up, we attended worship services at Aldersgate Methodist Church. When arriving on Sunday mornings, you could often hear Mrs. Naomi Byrd practicing and playing the piano. Naomi used ...

Abstract: In this paper, a method for solving the matrix equation of the method of moments based on GPU parallel accelerated block LU decomposition is proposed. The proposed method is implemented ...