University of Science, Arts and Technology (current) Uppaal Model Checker Pattern coin Younger than Springtime I. M. Hipp Popular Science Small-outline transistor Domain (mathematical analysis) Carrier-to-receiver noise density Solar eclipse of January 16, 1972 Windows NT 3.5 Hunting and fishing in Alaska