Protein secondary structure prediction using logic-based machine learning