Search Constraints

Start Over
Filtering by: Creator Coyle, Alex T. Remove constraint Creator: Coyle, Alex T.

Search Results

  • The Effects of Temperature on Electrical Resistivity Measurements of Concrete

    Creator:
    Coyle, Alex T.
    Abstract:
    Measuring resistivity as a method to calculate formation factor is becoming a popular way to evaluate transport properties of concrete. Resistivity measurements are dependent on multiple factors including the resistivity of the pore solution, leaching effects, the degree of saturation of the specimen, the age of the specimen (degree of...
    Resource Type:
    Masters Thesis
    Full Text:
    Alex Coyle October 6, 2017 All Rights Reserved The Effects of Temperature on

  • ChangChih-Hung(Alex)ChemicalBiologicalEnvironmentalEngineeringHighRateSynthesis.pdf

    Creator:
    Kim, Ki-Joong, Li, Yong Jun, Kreider, Peter B., Chang, Chih-Hung, Wannenmacher, Nick, Thallapally, Praveen K., and Ahn, Ho-Geun
    Abstract:
    The reaction conditions for the synthesis of Cu-BTC (BTC = benzene-1,3,5-tricarboxylic acid) were elucidated using a continuous-flow microreactor-assisted solvothermal system to achieve crystal size and phase control. A high-rate synthesis of Cu-BTC metal-organic frameworks with BET surface area of more than 1600 m²/g (Langmuir surface area of more than 2000...
    Full Text:
    (NO3)2 and BTC solutions were continuously pumped (equal volume) into a micro T-mixer (0.75 mm bore

  • ChangChih-Hung(Alex)CBEEHighRateSynthesis(SupportingInformation).pdf

    Creator:
    Kim, Ki-Joong, Li, Yong Jun, Kreider, Peter B., Chang, Chih-Hung, Wannenmacher, Nick, Thallapally, Praveen K., and Ahn, Ho-Geun
    Abstract:
    The reaction conditions for the synthesis of Cu-BTC (BTC = benzene-1,3,5-tricarboxylic acid) were elucidated using a continuous-flow microreactor-assisted solvothermal system to achieve crystal size and phase control. A high-rate synthesis of Cu-BTC metal-organic frameworks with BET surface area of more than 1600 m²/g (Langmuir surface area of more than 2000...
    Full Text:
    micro T-mixer (0.75 mm bore, Valco) with HPLC pumps (P-2010, Chrom Tech Series III) at a flow rate of

  • Synthesis and characterization of magnetic composite materials

    Creator:
    Kimmell, Robert
    Abstract:
    Iron epoxy composite materials were made and their relative magnetic permeability was measured. A measurement device was created to measure the relative magnetic permeability for the specific application. This device proved to be accurate and reliable. The magnetic properties of composite materials have been shown to be controllable, with a...
    Resource Type:
    Masters Thesis
    Full Text:
    Characterization of Magnetic Composite Materials Abstract approved: Alex Yokochi Iron epoxy composite materials

  • Leveraging Generated Tests

    Creator:
    Alipour, Mohammad Amin
    Abstract:
    The main goal of automated test generation is to improve the reliability of a program by exposing faults to developers. To this end, testing should cover the largest possible portion of the program given a test budget (i.e., time and resources) as frequently as possible. Coverage of a program entity...
    Resource Type:
    Dissertation
    Full Text:
    Generated Tests Abstract approved: Alex David Groce The main goal of automated test generation is to

  • Finite volume method modeling of corona discharge microreactor oxidization of dibenzothiophene

    Creator:
    Fan, Xiangru
    Abstract:
    The growing need for cleaner fuels requires the development of better deep fuel desulfurization methods. The current study presents a reaction model for the mechanism of dibenzothiophene oxidization by dissolved oxygen occurring in a corona discharge microreactor. In the present work, a Finite Volume Method model of the reactor is...
    Resource Type:
    Masters Thesis
    Full Text:
    + − → + − Reaction 3 4. KD B T O D B T O+  → Reaction 4 4 .KD B T O D B T O → + Reaction 5 5 2 . KD BTO

  • Test Case Reduction, Prioritization, and Selection for Symbolic Execution

    Creator:
    Zhang, Chaoqiang
    Abstract:
    Software testing is of critical importance for the success of software projects. Current inefficient testing methods often still take up half or more of a software project's budget. Automatic test data generation is the most promising way to lower the software testing cost. Manually creating testing data is expensive and...
    Resource Type:
    Dissertation
    Full Text:
    Selection for Symbolic Execution Abstract approved: Alex David Groce Software testing is of critical

  • Nonthermal Plasma Microreaction Engineering for Gas and Liquid Processing

    Creator:
    Pommerenck, Justin
    Abstract:
    Atmospheric pressure plasma is non-thermal at millimeter to micrometer separations. It represents an alternative low exergy initiator of many chemical reactions. In many instances heat, light or sound are not efficient providers of the necessary energy to overcome chemical activation barriers. The focus of this research is applying dc nonthermal...
    Resource Type:
    Dissertation
    Full Text:
    ....................................................................................................... 112 Figure 75: The T design (new) and Cross design (after 10hr operation) are used to produce dry

  • muupi: An Abstract Syntax Tree based Mutation Testing Tool for Python 2.x Programs

    Creator:
    Liu, Xin
    Abstract:
    Mutation testing is one of the effective approaches measuring test adequacy of test suites. It is widely used in both academia and industry. Unfortunately, the adoption and practical use of mutation testing for Python 2.x programs face three obstacles. First, limited useful mutation operators. Existing mutation testing tools support very...
    Resource Type:
    Capstone Project
    Full Text:
    Testing Tool for Python 2.x Programs Author: Xin Liu Supervisor: Dr. Alex Groce A masters project

  • Empirical study - pairwise prediction of fault based on coverage

    Creator:
    Shamasunder, Shalini
    Abstract:
    Researchers/engineers in the field of software testing have valued coverage as a testing metric for decades now. There have been various empirical results that have shown that as coverage increases the ability of the test program to detect a fault also increases. As a result numerous coverage techniques have been...
    Resource Type:
    Masters Thesis
    Full Text:
    - Pairwise Prediction of Fault Based on Coverage Abstract approved: Alex Groce Researchers/engineers in