Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 5 of 5
Full-Text Articles in Entire DC Network
Biodegradation Of Fuel Oxygenates In Northeastern United States Aquifers With An Analysis Of Underground Storage Tank Leaks, Gordon Hinshalwood
Biodegradation Of Fuel Oxygenates In Northeastern United States Aquifers With An Analysis Of Underground Storage Tank Leaks, Gordon Hinshalwood
Dissertations, Theses, and Capstone Projects
During the past decade the application of monitored natural attenuation has become one of the predominant technologies used in the remediation of gasoline spills impacting subsurface soils and groundwater. The success of this method has depended, for the most part, on the biodegradation of those gasoline constituents that dissolve into groundwater and transport with the groundwater most readily.
One of the most mobile components of gasoline formulations during the past 20 years has been methyl tertiary butyl ether (MTBE), which has traditionally been viewed in both the scientific and the regulatory communities as relatively recalcitrant to biodegradation. However, cases of …
On The Dynamics Of Quasi-Self-Matings Of Generalized Starlike Complex Quadratics And The Structure Of The Mated Julia Sets, Ross Flek
Dissertations, Theses, and Capstone Projects
It has been shown that, in many cases, Julia sets of complex polynomials can be "glued" together to obtain a new Julia set homeomorphic to a Julia set of a rational map; the dynamics of the two polynomials are reflected in the dynamics of the mated rational map. Here, I investigate the Julia sets of self-matings of generalized starlike quadratic polynomials, which enjoy relatively simple combinatorics. The points in the Julia sets of the mated rational maps are completely classified according to their topology. The presence and location of buried points in these Julia sets are addressed. The interconnections between …
On The Dynamics Of Quasi-Self-Matings Of Generalized Starlike Complex Quadratics And The Structure Of The Mated Julia Sets, Ross Flek
Dissertations, Theses, and Capstone Projects
It has been shown that, in many cases, Julia sets of complex polynomials can be "glued" together to obtain a new Julia set homeomorphic to a Julia set of a rational map; the dynamics of the two polynomials are reflected in the dynamics of the mated rational map. Here, I investigate the Julia sets of self-matings of generalized starlike quadratic polynomials, which enjoy relatively simple combinatorics. The points in the Julia sets of the mated rational maps are completely classified according to their topology. The presence and location of buried points in these Julia sets are addressed. The interconnections between …
Structural Studies Of Biopolymers Using Computer Simulations, Optical And Magnetic Spectroscopy, Subhasish Chatterjee
Structural Studies Of Biopolymers Using Computer Simulations, Optical And Magnetic Spectroscopy, Subhasish Chatterjee
Dissertations, Theses, and Capstone Projects
Biopolymers are essential components of numerous natural and synthetic macromolecular assemblies. In the present study, the structural properties of biopolymers ranging from fungal melanins to synthetic nucleic acids were investigated using spectroscopic methods and theoretical modeling. (1) Computational modeling and molecular dynamics simulations were used to study the structural properties of a short single-stranded (ss) DNA. The dependence of the conformational stability and flexibility of the ssDNA on the thermodynamic conditions of the system was demonstrated. (2) Time-resolved fluorescence spectroscopy involving an organic donor-quencher pair was utilized to study the conformational properties of Y-shaped DNA. Results highlighted the different distances …
Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak
Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak
Dissertations, Theses, and Capstone Projects
In the first Chapter we compare two well-known type-based computer frameworks for computer aided logical reasoning and verification: MetaPRL and Coq. In particular, we implement in MetaPRL the Calculus of Inductive Constructions which is the theoretical base for Coq. This work has shown the common points of MetaPRL and Coq, and revealed their principal methodological differences. A possible application of this work is a possibility to perform re-validation in MetaPRL of the existing library of Coq proofs which could help to build more trust in the latter.
Chapter 2 is the main contribution of the dissertation. It contains the description …