Slides/notes and Jupyter notebook demos for an introductory course on fast algorithms for potential computation and mathematics for the solution of partial differential equations via boundary integral ...

Abstract: This paper presents a cooperative bounded model checking (BMC) method for RTL designs. The method firstly extends the Boolean DPLL algorithm into a unified procedure to solve hybrid ...

Abstract: Analyzing student behavior and seating distribution in classroom teaching activities helps to reveal student engagement and teacher-student interactions. However, real-world classroom ...

Prerequisites Graduate standing and an undergraduate algorithms course, or consent of the instructor. Online Forum Ed Discussion (accessible within Canvas) will be used for online discussion of the ...