Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 30 of 46

Full-Text Articles in Physical Sciences and Mathematics

Hamilton Cycles In Bidirected Complete Graphs, Arthur Busch, Mohammed A. Mutar, Daniel Slilaty Dec 2022

Hamilton Cycles In Bidirected Complete Graphs, Arthur Busch, Mohammed A. Mutar, Daniel Slilaty

Mathematics and Statistics Faculty Publications

Zaslavsky observed that the topics of directed cycles in directed graphs and alternating cycles in edge 2-colored graphs have a common generalization in the study of coherent cycles in bidirected graphs. There are classical theorems by Camion, Harary and Moser, Häggkvist and Manoussakis, and Saad which relate strong connectivity and Hamiltonicity in directed "complete" graphs and edge 2-colored "complete" graphs. We prove two analogues to these theorems for bidirected "complete" signed graphs.


Machine Learning For Angiography-Based Blood Flow Velocity Prediction, Swati Padhee, Mark Johnson, Hang Yi, Tanvi Banerjee, Zifeng Yang Nov 2022

Machine Learning For Angiography-Based Blood Flow Velocity Prediction, Swati Padhee, Mark Johnson, Hang Yi, Tanvi Banerjee, Zifeng Yang

Computer Science and Engineering Faculty Publications

Computational fluid dynamics (CFD) is widely employed to predict hemodynamic characteristics in arterial models, while not friendly to clinical applications due to the complexity of numerical simulations. Alternatively, this work proposed a framework to estimate hemodynamics in vessels based on angiography images using machine learning (ML) algorithms. First, the iodine contrast perfusion in blood was mimicked by a flow of dye diffusing into water in the experimentally validated CFD modeling. The generated projective images from simulations imitated the counterpart of light passing through the flow field as an analogy of X-ray imaging. Thus, the CFD simulation provides both the ground …


Machine Learning For Aiding Blood Flow Velocity Estimation Based On Angiography, Swati Padhee, Mark Johnson, Hang Yi, Tanvi Banerjee, Zifeng Yang Oct 2022

Machine Learning For Aiding Blood Flow Velocity Estimation Based On Angiography, Swati Padhee, Mark Johnson, Hang Yi, Tanvi Banerjee, Zifeng Yang

Computer Science and Engineering Faculty Publications

Computational fluid dynamics (CFD) is widely employed to predict hemodynamic characteristics in arterial models, while not friendly to clinical applications due to the complexity of numerical simulations. Alternatively, this work proposed a framework to estimate hemodynamics in vessels based on angiography images using machine learning (ML) algorithms. First, the iodine contrast perfusion in blood was mimicked by a flow of dye diffusing into water in the experimentally validated CFD modeling. The generated projective images from simulations imitated the counterpart of light passing through the flow field as an analogy of X-ray imaging. Thus, the CFD simulation provides both the ground …


Toward Mental Effort Measurement Using Electrodermal Activity Features, William Romine, Noah Schroeder, Tanvi Banerjee, Josephine Graft Sep 2022

Toward Mental Effort Measurement Using Electrodermal Activity Features, William Romine, Noah Schroeder, Tanvi Banerjee, Josephine Graft

Computer Science and Engineering Faculty Publications

The ability to monitor mental effort during a task using a wearable sensor may improve productivity for both work and study. The use of the electrodermal activity (EDA) signal for tracking mental effort is an emerging area of research. Through analysis of over 92 h of data collected with the Empatica E4 on a single participant across 91 different activities, we report on the efficacy of using EDA features getting at signal intensity, signal dispersion, and peak intensity for prediction of the participant's self-reported mental effort. We implemented the logistic regression algorithm as an interpretable machine learning approach and found …


Leveraging Natural Learning Processing To Uncover Themes In Clinical Notes Of Patients Admitted For Heart Failure, Ankita Agarwal, Krishnaprasad Thirunarayan, William Romine, Amanuel Alambo, Mia Cajita, Tanvi Banerjee Sep 2022

Leveraging Natural Learning Processing To Uncover Themes In Clinical Notes Of Patients Admitted For Heart Failure, Ankita Agarwal, Krishnaprasad Thirunarayan, William Romine, Amanuel Alambo, Mia Cajita, Tanvi Banerjee

Computer Science and Engineering Faculty Publications

Heart failure occurs when the heart is not able to pump blood and oxygen to support other organs in the body as it should. Treatments include medications and sometimes hospitalization. Patients with heart failure can have both cardiovascular as well as non-cardiovascular comorbidities. Clinical notes of patients with heart failure can be analyzed to gain insight into the topics discussed in these notes and the major comorbidities in these patients. In this regard, we apply machine learning techniques, such as topic modeling, to identify the major themes found in the clinical notes specific to the procedures performed on 1,200 patients …


Improving The Factual Accuracy Of Abstractive Clinical Text Summarization Using Multi-Objective Optimization, Amanuel Alambo, Tanvi Banerjee, Krishnaprasad Thirunarayan, Mia Cajita Jul 2022

Improving The Factual Accuracy Of Abstractive Clinical Text Summarization Using Multi-Objective Optimization, Amanuel Alambo, Tanvi Banerjee, Krishnaprasad Thirunarayan, Mia Cajita

Computer Science and Engineering Faculty Publications

While there has been recent progress in abstractive summarization as applied to different domains including news articles, scientific articles, and blog posts, the application of these techniques to clinical text summarization has been limited. This is primarily due to the lack of large-scale training data and the messy/unstructured nature of clinical notes as opposed to other domains where massive training data come in structured or semi -structured form. Further, one of the least explored and critical components of clinical text summarization is factual accuracy of clinical summaries. This is specifically crucial in the healthcare domain, cardiology in particular, where an …


Improving Pain Assessment Using Vital Signs And Pain Medication For Patients With Sickle Cell Disease: Retrospective Study, Swati Padhee, Gary K. Nave Jr, Tanvi Banerjee, Daniel M. Abrams, Nirmish Shah Jun 2022

Improving Pain Assessment Using Vital Signs And Pain Medication For Patients With Sickle Cell Disease: Retrospective Study, Swati Padhee, Gary K. Nave Jr, Tanvi Banerjee, Daniel M. Abrams, Nirmish Shah

Computer Science and Engineering Faculty Publications

Background: Sickle cell disease (SCD) is the most common inherited blood disorder affecting millions of people worldwide. Most patients with SCD experience repeated, unpredictable episodes of severe pain. These pain episodes are the leading cause of emergency department visits among patients with SCD and may last for several weeks. Arguably, the most challenging aspect of treating pain episodes in SCD is assessing and interpreting a patient's pain intensity level. Objective: This study aims to learn deep feature representations of subjective pain trajectories using objective physiological signals collected from electronic health records. Methods: This study used electronic health record data collected …


Characterization Of A Family Of Rotationally Symmetric Spherical Quadrangulations, Lowell Abrams, Daniel Slilaty May 2022

Characterization Of A Family Of Rotationally Symmetric Spherical Quadrangulations, Lowell Abrams, Daniel Slilaty

Mathematics and Statistics Faculty Publications

A spherical quadrangulation is an embedding of a graph G in the sphere in which each facial boundary walk has length four. Vertices that are not of degree four in G are called curvature vertices. In this paper we classify all spherical quadrangulations with n-fold rotational symmetry (n ≥ 3) that have minimum degree 3 and the least possible number of curvature vertices, and describe all such spherical quadrangulations in terms of nets of quadrilaterals. The description reveals that such rotationally symmetric quadrangulations necessarily also have a pole-exchanging symmetry.


Entity-Driven Fact-Aware Abstractive Summarization Of Biomedical Literature, Amanuel Alambo, Tanvi Banerjee, Krishnaprasad Thirunarayan, Michael Raymer Mar 2022

Entity-Driven Fact-Aware Abstractive Summarization Of Biomedical Literature, Amanuel Alambo, Tanvi Banerjee, Krishnaprasad Thirunarayan, Michael Raymer

Computer Science and Engineering Faculty Publications

As part of the large number of scientific articles being published every year, the publication rate of biomedical literature has been increasing. Consequently, there has been considerable effort to harness and summarize the massive amount of biomedical research articles. While transformer-based encoder-decoder models in a vanilla source document-to-summary setting have been extensively studied for abstractive summarization in different domains, their major limitations continue to be entity hallucination (a phenomenon where generated summaries constitute entities not related to or present in source article(s)) and factual inconsistency. This problem is exacerbated in a biomedical setting where named entities and their semantics (which …


An Interactive Game With Virtual Reality Immersion To Improve Cultural Sensitivity In Healthcare, Paul J. Hershberger, Yong Pei, Timothy N. Crawford, Sabrina M. Neeley, Thomas Wischgoll, Dixit B. Patel, Miteshkumar M. Vasoya, Angie Castle, Sankalp Mishra, Lahari Surapaneni, Aman A. Pogaku, Aishwarya Bositty, Todd Pavlack Mar 2022

An Interactive Game With Virtual Reality Immersion To Improve Cultural Sensitivity In Healthcare, Paul J. Hershberger, Yong Pei, Timothy N. Crawford, Sabrina M. Neeley, Thomas Wischgoll, Dixit B. Patel, Miteshkumar M. Vasoya, Angie Castle, Sankalp Mishra, Lahari Surapaneni, Aman A. Pogaku, Aishwarya Bositty, Todd Pavlack

Computer Science and Engineering Faculty Publications

Purpose: Biased perceptions of individuals who are not part of one’s in-groups tend to be negative and habitual. Because health care professionals are no less susceptible to biases than are others, the adverse impact of biases on marginalized populations in health care warrants continued attention and amelioration. Method: Two characters, a Syrian refugee with limited English proficiency and a black pregnant woman with a history of opioid use disorder, were developed for an online training simulation that includes an interactive life course experience focused on social determinants of health, and a clinical encounter in a community health center utilizing virtual …


Delaunay Walk For Fast Nearest Neighbor: Accelerating Correspondence Matching For Icp, James D. Anderson, Ryan M. Raettig, Josh Larson, Scott L. Nykl, Clark N. Taylor, Thomas Wischgoll Mar 2022

Delaunay Walk For Fast Nearest Neighbor: Accelerating Correspondence Matching For Icp, James D. Anderson, Ryan M. Raettig, Josh Larson, Scott L. Nykl, Clark N. Taylor, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

Point set registration algorithms such as Iterative Closest Point (ICP) are commonly utilized in time-constrained environments like robotics. Finding the nearest neighbor of a point in a reference 3D point set is a common operation in ICP and frequently consumes at least 90% of the computation time. We introduce a novel approach to performing the distance-based nearest neighbor step based on Delaunay triangulation. This greedy algorithm finds the nearest neighbor of a query point by traversing the edges of the Delaunay triangulation created from a reference 3D point set. Our work integrates the Delaunay traversal into the correspondences search of …


A History Of Wright State University's Department Of Geological Science, Paul J. Wolfe Jan 2022

A History Of Wright State University's Department Of Geological Science, Paul J. Wolfe

Earth and Environmental Sciences Faculty Publications

A history of Wright State University's disbanded and reintegrated Department of Geological Sciences written by department faculty member Paul J. Wolfe. Wolfe describes the development of the program, the faculty throughout the years, and the programs offered through the department.


Semantics-Driven Abstractive Document Summarization, Amanuel Alambo Jan 2022

Semantics-Driven Abstractive Document Summarization, Amanuel Alambo

Browse all Theses and Dissertations

The evolution of the Web over the last three decades has led to a deluge of scientific and news articles on the Internet. Harnessing these publications in different fields of study is critical to effective end user information consumption. Similarly, in the domain of healthcare, one of the key challenges with the adoption of Electronic Health Records (EHRs) for clinical practice has been the tremendous amount of clinical notes generated that can be summarized without which clinical decision making and communication will be inefficient and costly. In spite of the rapid advances in information retrieval and deep learning techniques towards …


Building An Understanding Of Human Activities In First Person Video Using Fuzzy Inference, Bradley A. Schneider Jan 2022

Building An Understanding Of Human Activities In First Person Video Using Fuzzy Inference, Bradley A. Schneider

Browse all Theses and Dissertations

Activities of Daily Living (ADL’s) are the activities that people perform every day in their home as part of their typical routine. The in-home, automated monitoring of ADL’s has broad utility for intelligent systems that enable independent living for the elderly and mentally or physically disabled individuals. With rising interest in electronic health (e-Health) and mobile health (m-Health) technology, opportunities abound for the integration of activity monitoring systems into these newer forms of healthcare. In this dissertation we propose a novel system for describing ’s based on video collected from a wearable camera. Most in-home activities are naturally defined by …


Using Network Analysis To Contrast Three Models Of Student Forum Discussions, Hannah N. Benston Jan 2022

Using Network Analysis To Contrast Three Models Of Student Forum Discussions, Hannah N. Benston

Browse all Theses and Dissertations

There is much research about how actors and events in social networks affect each other. In this research, three network models were created for discussion forums in three semesters of undergraduate general physics courses. This study seeks to understand what social network measures are most telling of a online forum classroom dynamic. That is, I wanted to understand more about things like what students are most central to the networks and whether this is consistent across different network models. I also wanted to better understand how students may or may not group together. What relationships (student to student, student to …


Harmful Algal Blooms In Caesar Creek Lake And Their Relationship To Riparian Cover, Morgan C. Grunden Jan 2022

Harmful Algal Blooms In Caesar Creek Lake And Their Relationship To Riparian Cover, Morgan C. Grunden

Browse all Theses and Dissertations

Caesar Creek Lake (CCL) in Warren County, OH has recently been experiencing harmful algal blooms (HABs) which are most likely attributed to an excess of phosphorus (P) from fertilizers and manures applied to surrounding fields. Sediments act as a sink for P later supplying a source of P in lakes for HABs when waters become thermally stratified and anoxic. This study seeks to determine the relationship between HABs in CCL and riparian cover at the main tributaries, Anderson Fork and Caesar Creek. In order to do this, sediment samples were collected from four sample sites along Anderson Fork and three …


Mercury Methylation In Oxic Sub-Polar Marine Regions Linked With Nitrification, Marissa Collins Despins Jan 2022

Mercury Methylation In Oxic Sub-Polar Marine Regions Linked With Nitrification, Marissa Collins Despins

Browse all Theses and Dissertations

Methylmercury (MeHg) is a neurotoxin that bioaccumulates to potentially harmful concentrations in Arctic marine wildlife and in those that consume them. Monitoring and modeling MeHg bioaccumulation and biogeochemical cycling in the ocean requires understanding of the mechanisms behind net mercury (Hg) methylation. The key functional gene for Hg methylation, hgcAB, is widely distributed throughout ocean basins and spans multiple microbial phyla. While multiple microbially-mediated anaerobic pathways for Hg methylation are known, in the ocean, the majority of hgcA homologs have been found in oxic subsurface waters, in contrast to other ecosystems. In particular, microaerophilic Nitrospina, a genera of nitrite-oxidizing bacteria …


A Solder-Defined Computer Architecture For Backdoor And Malware Resistance, Marc W. Abel Jan 2022

A Solder-Defined Computer Architecture For Backdoor And Malware Resistance, Marc W. Abel

Browse all Theses and Dissertations

This research is about securing control of those devices we most depend on for integrity and confidentiality. An emerging concern is that complex integrated circuits may be subject to exploitable defects or backdoors, and measures for inspection and audit of these chips are neither supported nor scalable. One approach for providing a “supply chain firewall” may be to forgo such components, and instead to build central processing units (CPUs) and other complex logic from simple, generic parts. This work investigates the capability and speed ceiling when open-source hardware methodologies are fused with maker-scale assembly tools and visible-scale final inspection.

The …


Has Winter Weather In Southwest Ohio Been Affected By The El Niño Southern Oscillation, The North Atlantic Oscillation, The Pacific Decadal Oscillation, And The Atlantic Multidecadal Oscillation?, John A. Blue Jan 2022

Has Winter Weather In Southwest Ohio Been Affected By The El Niño Southern Oscillation, The North Atlantic Oscillation, The Pacific Decadal Oscillation, And The Atlantic Multidecadal Oscillation?, John A. Blue

Browse all Theses and Dissertations

Winter temperature and precipitation in Southwest Ohio over the last century were examined for anomalies attributable to teleconnections with large-scale atmospheric perturbations caused by the El Niño Southern Oscillation (ENSO), the North Atlantic Oscillation (NAO), the Pacific Decadal Oscillation (PDO), and the Atlantic Multidecadal Oscillation (AMO). The record of temperature gives evidence of a teleconnection with the NAO, ENSO, and PDO, with the strongest link being for phases of the NAO. Most winters during positive NAO phases had mean monthly temperature warmer than the century long mean, and the majority of negative NAO phase winters had colder temperatures. The difference …


Gene Vectors With Fluorescence Tracking Capabilities, Sophia Despina Angelopoulos Jan 2022

Gene Vectors With Fluorescence Tracking Capabilities, Sophia Despina Angelopoulos

Browse all Theses and Dissertations

This project focuses on the optimization of benzothiazole-based chromophores to utilize them as fluorescent tags functionalized onto stimuli-responsive, or “smart,” polymers as non-viral gene delivery vectors for gene therapy applications. Blue-fluorescent emissive chromophores will allow tracking capabilities for the transfection pathway of the vector to be monitored as it delivers the DNA payload within intercellular space. The most appropriate chromophore must be covalently bound to a free amine within the vector, which is accomplished through NAS chemistry from fluorophenyl-benzothiazoles (F-BTZ-CBz) derivatives to amidated hyperbranched poly(ethyleneimine)(HPEI-IBAm0.61). HPEI is considered to be a synthetic polycation, which promotes tunable solubility through characteristics of …


Automatically Generating Searchable Fingerprints For Wordpress Plugins Using Static Program Analysis, Chuang Li Jan 2022

Automatically Generating Searchable Fingerprints For Wordpress Plugins Using Static Program Analysis, Chuang Li

Browse all Theses and Dissertations

This thesis introduces a novel method to automatically generate fingerprints for WordPress plugins. Our method performs static program analysis using Abstract Syntax Trees (ASTs) of WordPress plugins. The generated fingerprints can be used for identifying these plugins using search engines, which have support critical applications such as proactively identifying web servers with vulnerable WordPress plugins. We have used our method to generate fingerprints for over 10,000 WordPress plugins and analyze the resulted fingerprints. Our fingerprints have also revealed 453 websites that are potentially vulnerable. We have also compared fingerprints for vulnerable plugins and those for vulnerability-free plugins.


Novel Natural Language Processing Models For Medical Terms And Symptoms Detection In Twitter, Farahnaz Golrooy Motlagh Jan 2022

Novel Natural Language Processing Models For Medical Terms And Symptoms Detection In Twitter, Farahnaz Golrooy Motlagh

Browse all Theses and Dissertations

This dissertation focuses on disambiguation of language use on Twitter about drug use, consumption types of drugs, drug legalization, ontology-enhanced approaches, and prediction analysis of data-driven by developing novel NLP models. Three technical aims comprise this work: (a) leveraging pattern recognition techniques to improve the quality and quantity of crawled Twitter posts related to drug abuse; (b) using an expert-curated, domain-specific DsOn ontology model that improve knowledge extraction in the form of drug-to-symptom and drug-to-side effect relations; and (c) modeling the prediction of public perception of the drug’s legalization and the sentiment analysis of drug consumption on Twitter. We collected …


Establishing A Machine Learning Framework For Discovering Novel Phononic Crystal Designs, Drew Feltner Jan 2022

Establishing A Machine Learning Framework For Discovering Novel Phononic Crystal Designs, Drew Feltner

Browse all Theses and Dissertations

A phonon is a discrete unit of vibrational motion that occurs in a crystal lattice. Phonons and the frequency at which they propagate play a significant role in the thermal, optical, and electronic properties of a material. A phononic material/device is similar to a photonic material/device, except that it is fabricated to manipulate certain bands of acoustic waves instead of electromagnetic waves. Phononic materials and devices have been studied much less than their photonic analogues and as such current materials exhibit control over a smaller range of frequencies. This study aims to test the viability of machine learning, specifically neural …


A Cloud Computing-Based Dashboard For The Visualization Of Motivational Interviewing Metrics, E Jinq Heng Jan 2022

A Cloud Computing-Based Dashboard For The Visualization Of Motivational Interviewing Metrics, E Jinq Heng

Browse all Theses and Dissertations

Motivational Interviewing (MI) is an evidence-based brief interventional technique that has been demonstrated to be effective in triggering behavior change in patients. To facilitate behavior change, healthcare practitioners adopt a nonconfrontational, empathetic dialogic style, a core component of MI. Despite its advantages, MI has been severely underutilized mainly due to the cognitive overload on the part of the MI dialogue evaluator, who has to assess MI dialogue in real-time and calculate MI characteristic metrics (number of open-ended questions, close-ended questions, reflection, and scale-based sentences) for immediate post-session evaluation both in MI training and clinical settings. To automate dialogue assessment and …


Deep Understanding Of Technical Documents : Automated Generation Of Pseudocode From Digital Diagrams & Analysis/Synthesis Of Mathematical Formulas, Nikolaos Gkorgkolis Jan 2022

Deep Understanding Of Technical Documents : Automated Generation Of Pseudocode From Digital Diagrams & Analysis/Synthesis Of Mathematical Formulas, Nikolaos Gkorgkolis

Browse all Theses and Dissertations

The technical document is an entity that consists of several essential and interconnected parts, often referred to as modalities. Despite the extensive attention that certain parts have already received, per say the textual information, there are several aspects that severely under researched. Two such modalities are the utility of diagram images and the deep automated understanding of mathematical formulas. Inspired by existing holistic approaches to the deep understanding of technical documents, we develop a novel formal scheme for the modelling of digital diagram images. This extends to a generative framework that allows for the creation of artificial images and their …


Fabrication And Characterization Of Novel Agnps Functionalized With Chlorothymol (C@Agnps), Lirim Sopaj Jan 2022

Fabrication And Characterization Of Novel Agnps Functionalized With Chlorothymol (C@Agnps), Lirim Sopaj

Browse all Theses and Dissertations

In this study, novel silver nanoparticles (AgNPs) were successfully synthesized and functionalized with an antibacterial agent, namely chlorothymol (denoted C@AgNPs). The resulting colloid (C@AgNPs) was purified by two comparative methods: ultrafiltration and ultracentrifugation. Ultrafiltration proved to be more efficient in purifying and size selecting (10 kD filter) and concentrating the C@AgNPs than ultracentrifugation. The physicochemical properties of the filtered C@AgNPs were then characterized by UV-Vis absorption spectroscopy, inductively coupled plasma optical emission spectroscopy (ICP-OES), Raman spectroscopy, Cytoviva hyperspectral imaging, and Scanning electron microscopy. These measurements confirmed the functionalization of the core AgNPs with chlorothymol and suggest the proposed mechanism of …


Synthetic Aperture Ladar Automatic Target Recognizer Design And Performance Prediction Via Geometric Properties Of Targets, Jacob W. Ross Jan 2022

Synthetic Aperture Ladar Automatic Target Recognizer Design And Performance Prediction Via Geometric Properties Of Targets, Jacob W. Ross

Browse all Theses and Dissertations

Synthetic Aperture LADAR (SAL) has several phenomenology differences from Synthetic Aperture RADAR (SAR) making it a promising candidate for automatic target recognition (ATR) purposes. The diffuse nature of SAL results in more pixels on target. Optical wavelengths offers centimeter class resolution with an aperture baseline that is 10,000 times smaller than an SAR baseline. While diffuse scattering and optical wavelengths have several advantages, there are also a number of challenges. The diffuse nature of SAL leads to a more pronounced speckle effect than in the SAR case. Optical wavelengths are more susceptible to atmospheric noise, leading to distortions in formed …


Evaluating Similarity Of Cross-Architecture Basic Blocks, Elijah L. Meyer Jan 2022

Evaluating Similarity Of Cross-Architecture Basic Blocks, Elijah L. Meyer

Browse all Theses and Dissertations

Vulnerabilities in source code can be compiled for multiple processor architectures and make their way into several different devices. Security researchers frequently have no way to obtain this source code to analyze for vulnerabilities. Therefore, the ability to effectively analyze binary code is essential. Similarity detection is one facet of binary code analysis. Because source code can be compiled for different architectures, the need can arise for detecting code similarity across architectures. This need is especially apparent when analyzing firmware from embedded computing environments such as Internet of Things devices, where the processor architecture is dependent on the product and …


Covalent Attachment Of Tadf Chromophores To Thermally Stable Poly(Arylene Ether)S, Samuel Farrar Jan 2022

Covalent Attachment Of Tadf Chromophores To Thermally Stable Poly(Arylene Ether)S, Samuel Farrar

Browse all Theses and Dissertations

The covalent attachment of a blue emitting, benzothiazole based TADF chromophore into poly(arylene ether) backbone polymers was explored. A benzothiazole derivative, 2-(2,4-difluorophenyl)-benzothiazole (2,4-diF-BTZ), was synthesized to form the electrophilic component of the host polymer. Two polymers were synthesized to have chromophore incorporated, using 2,4-diFBTZ and 4,4-dihydroxydiphenyl ether (DPE) or 4,4’-biphenol (BP). The chromophore was covalently incorporated at a 10% molar ratio into the polymer backbone by copolymerization with 2,4-diF-BTZ and BP, utilizing nucleophilic aromatic substitution (NAS). Structural characterization was provided via NMR spectroscopy and GC/MS analysis. The polymer syntheses provided high molecular weight materials that were able to be cast …


Validating Software States Using Reverse Execution, Nathaniel Christian Boland Jan 2022

Validating Software States Using Reverse Execution, Nathaniel Christian Boland

Browse all Theses and Dissertations

A key feature of software analysis is determining whether it is possible for a program to reach a certain state. Various methods have been devised to accomplish this including directed fuzzing and dynamic execution. In this thesis we present a reverse execution engine to validate states, the Complex Emulator. The Complex Emulator seeks to validate a program state by emulating it in reverse to discover if a contradiction exists. When unknown variables are found during execution, the emulator is designed to use constraint solving to compute their values. The Complex Emulator has been tested on small assembly programs and is …