Fly (exercise) (current) University of Maryland Human–Computer Interaction Lab Star (graph theory) Kakutani fixed-point theorem Edward Ward (composer) Taiwan Steel University of Science and Technology Manchester encoding Amlaíb Conung