Browsing by Title
Now showing items 455474 of 57407

A finite element study of the effects of residual stress on conical indentation
(1993)The finite element method has been used to study the behavior of an aluminum alloy during elasticplastic indentation by a rigid conical indenter to determine how the indentation process is affected by residual stress. The ... 
A FINITEELEMENT MODEL OF LUNAR THERMAL EVOLUTION
(1980)An attempt is made to model the thermal history of a selfgravitating Moon. Since the Rayleigh number at the end of the accretionary stage is supercritical, thermal convection in the Moon is likely to have occurred as early ... 
A first principles approach to describing novel plasmonic phenomena
(20150409)Plasmonic phenomena are described using first principles approaches such as timedependent density functional theory (TDDFT) and molecular dynamics. These techniques are used to study hot electron generation via plasmon ... 
A firstclass approach to genericity
(2003)This thesis describes how to add firstclass generic typesincluding mixinsto stronglytyped objectoriented languages with nominal subtyping such as Java and C#. A generic type system is "firstclass" if generic types ... 
A firstorder method for the extremization of constrained and unconstrained functions
(1971)The problem of extremizing a function f(xl subject to the constraint cc(x) = 0 is considered. Here, f is a scalar, x an nvector, and cp a qvector, where 0 < q < n. This problem is transformed into that of minimizing the ... 
A firstquantized proof of the symmetrization postulate
(1971)Methods used to prove the existence of superselection rules are studied in detail. It is shown that the known methods of proving superselection rules are applicable only if the superselecting operator is an observable. In ... 
A flexible lattice model to study protein folding
(1996)The biological activity of protein molecules is central to life. It has been known for decades that this biological activity is dependent on the protein molecule achieving a particular geometric conformation. Simple lattice ... 
A flourescence activated cell sorting strategy for enrichment of adult neural progenitor cells
(2012)The discovery of neural stem cells (NSC) within the adult mammalian brain continues to fuel optimism regarding the ability of potential regenerative medicine applications to provide enhanced functional recovery from brain ... 
A FOURPARAMETER CORRESPONDING STATES METHOD FOR THE PREDICTION OF THERMODYNAMIC PROPERTIES OF POLAR AND NONPOLAR FLUIDS
(1985)A fourparameter corresponding states correlation has been developed for the prediction of thermodynamic properties of nonpolar and polar fluids. The property of a fluid is given as a Taylor's series expansion about the ... 
A fragment of angels
(1997)This work, commissioned and premiered by Kimberly Gratland, draws its text from the third stanza of an epic poem by Gregory Loselle, entitled "Seven Meditations Upon Angels". The piece is essentially in the form of the ... 
A framework for building pedagogic Java programming environments
(2002)Java has become the dominant language for teaching introductory computer science at both the high school and college levels. Yet Java's development tools and syntax often distract beginning students from the programming ... 
A framework for managing models in nonlinear optimization of computationally expensive functions
(1999)One of the most significant problems in the application of standard optimization methods to realworld engineering design problems is that the computation of the objective function often takes so much computer time (sometimes ... 
A Framework for Testing Concurrent Programs
(2011)This study proposes a new framework that can effectively apply unit testing to concurrent programs, which are difficult to develop and debug. Testdriven development, a practice enabling developers to detect bugs early by ... 
A Framework for Testing Concurrent Programs
(2011)This study proposes a new framework that can effectively apply unit testing to concurrent programs, which are difficult to develop and debug. Testdriven development, a practice enabling developers to detect bugs early by ... 
A gauge invariant formulation of the B.C.S. theory of superconductivity
(1960)The question of gauge invariance in the theory of the Meissner effect has been a controversial question with regard to the Bardeen, Cooper, and Schrieffer (B.C.S.) theory of superconductivity and has received considerable ... 
A gene therapy approach for tissue engineering applications
(2007)In this work, gene therapy was combined with cell therapy to tackle three tissue engineering applications. The goal of the first project was to promote endothelialization of tissue engineering vascular grafts (TEVGs). We ... 
A GENERAL ALGORITHM FOR DETERMINING LIKELIHOOD RATIOS IN CASCADED INFERENCE
(1981)In cascaded inference tasks there is not a direct logical connection between an observable event (datum) and the hypothesis of interest. Instead there is interposed at least one logical reasoning stage, consisting of ... 
A GENERAL CONVERGENCE THEORY FOR QUASINEWTON METHODS FOR CONSTRAINED OPTIMIZATION
(1984)In this thesis we study the local convergence of quasiNewton methods for nonlinear optimization problems with nonlinear equality constraints. A general theory for analyzing the local convergence of the sequence {x(,k)} ...