This book is the outcome of Liang Yu's research work as a Ph.D. candidate supervised by Dr. Karl Frank in The University of Texas at Austin from 2001 to 2006. Inspired by the collapse of the World Trade Center Towers, the behavior of bolted connections during and after a fire was studied by both experimental and analytical methods. The results from large amount of high temperature tests on A325 and A490 high strength bolts and bolted connections under and post temperatures up to 1500 Fahrenheit are included. Finite element analyses are conducted to evaluate the catenary effects of steel beams...
This book is the outcome of Liang Yu's research work as a Ph.D. candidate supervised by Dr. Karl Frank in The University of Texas at Austin from 2001 ...
This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory. The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent...
This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is t...
