Comparing deep neural network and other machine learning algorithms for stroke prediction in a large-scale population-based electronic medical claims database