Browsing by Title
Now showing items 455474 of 56275

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)} ... 
A general kinetic model: Kinetics and atomicscale mechanisms of feldspar dissolution
(2008)This thesis presents a general kinetic model and its application to feldspar dissolution. In the framework of Monte Carlo methods, the model simulates the stochastic processes of feldspar dissolution by incorporating bond ... 
A GENERAL MODEL FOR MULTIPHASE MIXTURES AND APPLICATIONS
(1984)A general model for a multiphase mixture is developed within the framework of the theory of mixtures formulated by BOWEN. Each phase in the mixture is considered to be a mixture itself, composed of multiple substances with ... 
A generalization in integral form of certain Tauberian theorems
(1942)The purpose of this paper is to generalize in integral form certain Tauberian theorems, Tauber, Hardy, Littlewood, and landau were among the first to investigate the problem of finding sufficient conditions for the convergence ...