Exact Solutions to the Six-Vertex Model with Domain Wall Boundary Conditions and Uniform Asymptotics of Discrete Orthogonal Polynomials on an Infinite Lattice رسالة دكتوراه