Physical Sciences and Mathematics Commons^™

Analyzing The Relationship Between Human Behavior And Indoor Air Quality, Beiyu Lin, Yibo Huangfu, Nathan Lima, Bertram Jobson, Max Kirk, Patrick O’Keeffe, Shelley N. Pressley, Von Walden, Brian Lamb, Diane J. Cook

Computer Science Faculty Publications and Presentations

In the coming decades, as we experience global population growth and global aging issues, there will be corresponding concerns about the quality of the air we experience inside and outside buildings. Because we can anticipate that there will be behavioral changes that accompany population growth and aging, we examine the relationship between home occupant behavior and indoor air quality. To do this, we collect both sensor-based behavior data and chemical indoor air quality measurements in smart home environments. We introduce a novel machine learning-based approach to quantify the correlation between smart home features and chemical measurements of air quality, and …

On-Chip, High-Sensitivity Temperature Sensors Based On Dye-Doped Solid-State Polymer Microring Lasers, Lei Wan, Hengky Chandrahalim, Cong Chen, Qiushu Chen, Ting Mei, Yuji Oki, Naoya Nishimura, Lingjie Jay Guo, Xudong Fan

Faculty Publications

We developed a chip-scale temperature sensor with a high sensitivity of 228.6 pm/°C based on a rhodamine 6G (R6G)-doped SU-8 whispering-gallery mode microring laser. The optical mode was largely distributed in a polymer core layer with a 30 μm height that provided detection sensitivity, and the chemically robust fused-silica microring resonator host platform guaranteed its versatility for investigating different functional polymer materials with different refractive indices. As a proof of concept, a dye-doped hyperbranched polymer (TZ-001) microring laser-based temperature sensor was simultaneously developed on the same host wafer and characterized using a free-space optics measurement setup. Compared to TZ-001, the …

Ideal Containments Under Flat Extensions And Interpolation On Linear Systems In P2, Solomon Akesseh

Department of Mathematics: Dissertations, Theses, and Student Research

Fat points and their ideals have stimulated a lot of research but this dissertation concerns itself with aspects of only two of them, broadly categorized here as, the ideal containments and polynomial interpolation problems.

Ein-Lazarsfeld-Smith and Hochster-Huneke cumulatively showed that for all ideals I in k[Pⁿ], I^(mn) ⊆ I^m for all m ∈ N. Over the projective plane, we obtain I⁽⁴⁾< ⊆ I². Huneke asked whether it was the case that I⁽³⁾ ⊆ I². Dumnicki, Szemberg and Tutaj-Gasinska show that if I is the saturated homogeneous radical ideal of the 12 …

Antichains And Diameters Of Set Systems, Brent Mckain

Department of Mathematics: Dissertations, Theses, and Student Research

In this thesis, we present a number of results, mostly concerning set systems that are antichains and/or have bounded diameter. Chapter 1 gives a more detailed outline of the thesis. In Chapter 2, we give a new short proof of Kleitman's theorem concerning the maximal size of a set system with bounded diameter. In Chapter 3, we turn our attention to antichains with bounded diameter. Šileikis conjectured that an antichain of diameter D has size at most (n/D/2). We present several partial results towards the conjecture.

In 2014, Leader and Long gave asymptotic bounds on the size of …

On The Security Of Information Dissemination In The Internet-Of-Vehicles, Danda B. Rawat, Moses Garuba, Lei Chen, Qing Yang

Department of Information Technology Faculty Publications

Internet of Vehicles (IoV) is regarded as an emerging paradigm for connected vehicles to exchange their information with other vehicles using vehicle-to-vehicle (V2V) communications by forming a vehicular ad hoc networks (VANETs), with roadside units using vehicle-to-roadside (V2R) communications. IoV offers several benefits such as road safety, traffic efficiency, and infotainment by forwarding up-to-date traffic information about upcoming traffic. For instance, IoV is regarded as a technology that could help reduce the number of deaths caused by road accidents, and reduce fuel costs and travel time on the road. Vehicles could rapidly learn about the road condition and promptly respond …

Anodic Nanocatalysts For Formic Acid Fuel Cells: An Electrochemical Study, Tamanna F. Shanta Mcfarland

Dissertations

Direct formic acid fuel cells (DFAFCs) have been reported as a prominent source of alternative green energy and solution to imminent energy crisis for the last two decades. The challenge to commercialize DFAFCs is primarily the utilization of cost effective, high performance and durable anodic catalyst for formic acid oxidation (FAO). Consequently, this dissertation addresses the extensive electrochemical study of a number of nanomaterials towards the potential use as electrocatalysts for FAO. Morphology and elemental analyses of the prepared nanomaterials were obtained using electron microscopy techniques.

After a general introduction and overall review of this dissertation (Chapter I), studies of …

Cellulose Reinforced Thermoplastic Composites By In-Situ Ring-Opening Polymerization, Shahab Kashani Rahimi

Dissertations

Over the past two decades, the increasing concern about the negative environmental impacts of synthetic materials has led to rising interests in utilizing renewable natural resources to develop polymer materials with comparable properties and performance to their synthetic counterparts. One of the major fields of interest is polymer composites where the replacement of synthetic fibers with bio renewable natural fibers is of great potential. However, the processing difficulties, in terms of fiber dispersion and thermal stability have limited the application of cellulosic fibers to polymers with low processing temperatures which are mostly hydrophobic polymers. As a result, the true reinforcing …

Numerical Solution Of Partial Differential Equations Using Polynomial Particular Solutions, Thir R. Dangal

Dissertations

Polynomial particular solutions have been obtained for certain types of partial differential operators without convection terms. In this dissertation, a closed-form particular solution for more general partial differential operators with constant coefficients has been derived for polynomial basis functions. The newly derived particular solutions are further coupled with the method of particular solutions (MPS) for numerically solving a large class of elliptic partial differential equations. In contrast to the use of Chebyshev polynomial basis functions, the proposed approach is more flexible in selecting the collocation points inside the domain. Polynomial basis functions are well-known for yielding ill-conditioned systems when their …

Accurate And Justifiable : New Algorithms For Explainable Recommendations., Behnoush Abdollahi

Electronic Theses and Dissertations

Websites and online services thrive with large amounts of online information, products, and choices, that are available but exceedingly difficult to find and discover. This has prompted two major paradigms to help sift through information: information retrieval and recommender systems. The broad family of information retrieval techniques has given rise to the modern search engines which return relevant results, following a user's explicit query. The broad family of recommender systems, on the other hand, works in a more subtle manner, and do not require an explicit query to provide relevant results. Collaborative Filtering (CF) recommender systems are based on algorithms …

Forces And Disease: Electrostatic Force Differences Caused By Mutations In Kinesin Motor Domains Can Distinguish Between Disease-Causing And Non-Disease-Causing Mutations, Lin Li, Yunhui Peng, Subash Godar, Ivan Getov, Shaolei Teng, Joshua Alper, Emil Alexov

Publications

The ability to predict if a given mutation is disease-causing or not has enormous potential to impact human health. Typically, these predictions are made by assessing the effects of mutation on macromolecular stability and amino acid conservation. Here we report a novel feature: the electrostatic component of the force acting between a kinesin motor domain and tubulin. We demonstrate that changes in the electrostatic component of the binding force are able to discriminate between disease-causing and non-disease-causing mutations found in human kinesin motor domains using the receiver operating characteristic (ROC). Because diseases may originate from multiple effects not related to …

Magnetic Control Of Lateral Migration Of Ellipsoidal Microparticles In Microscale Flows, R. Zhou, C. A. Sobecki, J. Zhang, Yanzhi Zhang, Cheng Wang

Mathematics and Statistics Faculty Research & Creative Works

No abstract provided.

(E,2e) Ionization Studies Of N₂ At Low To Intermediate Energies From A Coplanar Geometry To The Perpendicular Plane, Ahmad Sakaamini, Matthew Harvey, Sadek Amami, Andrew James Murray, Don H. Madison, Chuangang Ning

Physics Faculty Research & Creative Works

Synopsis. The progress of experimental and theoretical measurements for (e,2e) ionization cross sections from Nitrogen molecules is presented. Results are given for energies from ~10 eV above the ionization potential (IP) through to ~100 eV above the IP for the 3σ_g, 1π_u and 2σ_g states.

A Bright Short Period M-M Eclipsing Binary From The Kelt Survey: Magnetic Activity And The Mass–Radius Relationship For M Dwarfs, J. B. Lubin, J. E. Rodriguez, G. Zhou, K. E. Conroy, K. G. Stassun, K. Collins, D. J. Stevens, J. Labadie-Bartz, C. Stockdale, G. Myers, K. D. Colón, J. Bento, P. Kehusmaa, R. Petrucci, E. Jofré, S. N. Quinn, M. B. Lund, R. B. Kuhn, R. J. Siverd, T. G. Beatty, C. Harlingten, J. Pepper, B. S. Gaudi, D. James, Eric L.N. Jensen, D. Reichart, L. Kedziora-Chudczer, J. Bailey, G. Melville

Physics & Astronomy Faculty Works

We report the discovery of KELT J041621-620046, a moderately bright (J ~ 10.2) M-dwarf eclipsing binary system at a distance of 39 ± 3 pc. KELT J041621-620046 was first identified as an eclipsing binary using observations from the Kilodegree Extremely Little Telescope (KELT) survey. The system has a short orbital period of ~1.11 days and consists of components with and in nearly circular orbits. The radii of the two stars are and . Full system and orbital properties were determined (to ∼10% error) by conducting an EBOP (Eclipsing Binary Orbit Program) global modeling of the high precision photometric and spectroscopic …

Quantifying Riverbed Sediment Using Recreational-Grade Side Scan Sonar, Daniel Hamill

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The Colorado River in Glen, Marble, and Grand Canyons is subject to a complex regulatory framework, including the Colorado River Compact, the Endangered Species Act, and the Grand Canyon Protection Act of 1992. Physical, biological, and cultural resources are extensively monitored by the Glen Canyon Dam Adaptive Management Program (GCDAMP) to assess the effect of Glen Canyon Dam (GCD) operations on the downstream environment. The GCDAMP consists of a diverse group of stakeholders who identify priority resources and agree upon water releases at GCD. Large expenditures of money have been devoted to monitoring physical and biological resources in Grand Canyon. …

Surface Modification Of Icy Satellites: Space Weathering Of The Large Moons Of Uranus And Alluvial Fan Formation On Saturn’S Moon Titan, Richard John Cartwright

Doctoral Dissertations

The surfaces of icy satellites are continually modified by space weathering and geologic processes. This dissertation explores the processes changing the surface compositions of the large moons of Uranus and mechanisms for development of possible alluvial fans on the Saturnian moon, Titan. On the Uranian satellites, I hypothesize that the origin and distribution of carbon dioxide ice results from charged particle bombardment, and that spectrally red material originated on retrograde irregular satellites. On Titan, I hypothesize that landforms identified as alluvial fans at low and mid latitudes were formed by sheetfloods, whereas possible alluvial fans at high latitudes were formed …

Boundary Value Analysis For Input Variables With Functional Dependency, Manmohan Maheshwari

Dissertations and Theses

Software in today’s world is used more and in different ways as well than ever before. From microwaves and vehicles to space rockets and smart cards. Usually, a software programmer goes through a certain process to establish a software that will follow a given specification. Despite the hard work of the programmer, sometimes they make mistakes or sometimes they forget to include all the possibilities of the question for which they are writing the program, which is very humanly in nature. And for those mistakes, a testing unit is always there.

There are numerous techniques of Software Testing, one of …

Humor Detection, Manan Jain

Dissertations and Theses

Humor is a very complex characteristic concept that defines us as human beings and social entities. Humor is an essential component in personal communication. How to create a method or model to discover the structures behind humor, recognize humor and even extraction of humor remains a challenge because of its subjective nature. Humor also provides valuable information related to linguistic, psychological, neurological and sociological phenomena. However, because of its complexity, humor is still an undefined phenomenon. Because the reaction that make people laugh can hardly be generalized or formalized. For instance, cognitive aspects as well as cultural knowledge, are some …

Making Substitutions Explicit In Sasylf, Michael David Ariotti

Theses and Dissertations

SASyLF is an interactive proof assistant whose goal is to teach: about type systems,

language meta-theory, and writing proofs in general. This software tool stores user-specified

languages and logics in the dependently-typed LF, and its internal proof structure closely

resembles M2+ . This thesis describes a new usability feature of SASyLF, “where” clauses,

which make explicit previously hidden substitutions that arise through constructs in the proof

code, primarily case analyses. An overview of SASyLF and logical frameworks is given, with

motivating examples. The requirements for “where” clauses are discussed, including a formal

definition of correctness. The feature’s implementation in SASyLF …

Bayesian Methods And Machine Learning For Processing Text And Image Data, Yingying Gu

Theses and Dissertations

Classification/clustering is an important class of unstructured data processing problems. The classification (supervised, semi-supervised and unsupervised) aims to discover the clusters and group the similar data into categories for information organization and knowledge discovery. My work focuses on using the Bayesian methods and machine learning techniques to classify the free-text and image data, and address how to overcome the limitations of the traditional methods. The Bayesian approach provides a way to allow using more variations(numerical or categorical), and estimate the probabilities instead of explicit rules, which will benefit in the ambiguous cases. The MAP(maximum a posterior) estimation is used to …

Ecological Informatics: An Agent Based Model On Coexistence Dynamics, Shiva Thapa

Electronic Theses and Dissertations

The coexistence of species is probably one of the most interesting and complex phenomenon in nature. We constructed an agent based model to study the coexistence dynamics of prey - predator populations by varying productivity levels of producers in fragmented and connected habitats along with different levels of quality of predators. Our results indicated that productivity levels of producers in fragmented and connected habitats along with levels of predator quality are significantly responsible for overall predator - prey population size and survivorship. In the absence of predation, competition between identical prey populations is more probable in connected habitats than in …

Bridge Text And Knowledge By Learning Multi-Prototype Entity Mention Embedding, Yixin Cao, Lifu Huang, Heng Ji, Xu Chen, Juanzi Li

Research Collection School Of Computing and Information Systems

Integrating text and knowledge into a unified semantic space has attracted significant research interests recently. However, the ambiguity in the common space remains a challenge, namely that the same mention phrase usually refers to various entities. In this paper, to deal with the ambiguity of entity mentions, we propose a novel Multi-Prototype Mention Embedding model, which learns multiple sense embeddings for each mention by jointly modeling words from textual contexts and entities derived from a knowledge base. In addition, we further design an efficient language model based approach to disambiguate each mention to a specific sense. In experiments, both qualitative …

Deepfacade: A Deep Learning Approach To Facade Parsing, Hantang Liu, Jialiang Zhang, Jianke Zhu, Steven C. H. Hoi

Research Collection School Of Computing and Information Systems

The parsing of building facades is a key component to the problem of 3D street scenes reconstruction, which is long desired in computer vision. In this paper, we propose a deep learning based method for segmenting a facade into semantic categories. Man-made structures often present the characteristic of symmetry. Based on this observation, we propose a symmetric regularizer for training the neural network. Our proposed method can make use of both the power of deep neural networks and the structure of man-made architectures. We also propose a method to refine the segmentation results using bounding boxes generated by the Region …

Proactive And Reactive Coordination Of Non-Dedicated Agent Teams Operating In Uncertain Environments, Pritee Agrawal, Pradeep Varakantham

Research Collection School Of Computing and Information Systems

Domains such as disaster rescue, security patrolling etc. often feature dynamic environments where allocations of tasks to agents become ineffective due to unforeseen conditions that may require agents to leave the team. Agents leave the team either due to arrival of high priority tasks (e.g., emergency, accident or violation) or due to some damage to the agent. Existing research in task allocation has only considered fixed number of agents and in some instances arrival of new agents on the team. However, there is little or no literature that considers situations where agents leave the team after task allocation. To that …

Can Syntax Help? Improving An Lstm-Based Sentence Compression Model For New Domains, Liangguo Wang, Jing Jiang, Hai Leong Chieu, Chen Hui Ong, Dandan Song, Lejian Liao

Research Collection School Of Computing and Information Systems

In this paper, we study how to improve thedomain adaptability of a deletion-basedLong Short-Term Memory (LSTM) neuralnetwork model for sentence compression.We hypothesize that syntactic informationhelps in making such modelsmore robust across domains. We proposetwo major changes to the model: usingexplicit syntactic features and introducingsyntactic constraints through Integer LinearProgramming (ILP). Our evaluationshows that the proposed model works betterthan the original model as well as a traditionalnon-neural-network-based modelin a cross-domain setting.

Projection-Free Distributed Online Learning In Networks, Wenpeng Zhang, Peilin Zhao, Wenwu Zhu, Steven C. H. Hoi, Tong Zhang

Research Collection School Of Computing and Information Systems

The conditional gradient algorithm has regained a surge of research interest in recent years due to its high efficiency in handling large-scale machine learning problems. However, none of existing studies has explored it in the distributed online learning setting, where locally light computation is assumed. In this paper, we fill this gap by proposing the distributed online conditional gradient algorithm, which eschews the expensive projection operation needed in its counterpart algorithms by exploiting much simpler linear optimization steps. We give a regret bound for the proposed algorithm as a function of the network size and topology, which will be smaller …

Role Of Molecular Chaperonin Cct And Its Co-Chaperone Phlp1 In The Assembly Of Mtor Complexes, Madhura Vinayak Dhavale

Theses and Dissertations

mTOR is the central kinase in biochemical pathways that regulate cellular growth, protein synthesis and cell survival. Deregulation of mTOR signaling results in uncontrolled cell proliferation and hence is implicated in various cancers and autoimmune diseases. mTOR functions through two distinct signaling complexes, called mTORC1 and mTORC2. CCT is a cytosolic chaperonin that assists in folding of several protein substrates. In these studies, we have identified two components of the mTOR complexes, mLST8 and Raptor, as substrates of CCT. We have performed biochemical and signaling studies which indicate that CCT is involved in assembly and signaling of mTOR complexes by …

Electrophilic Catalysis Using Heterobimetallic Complexes, Whitney Kaye Walker

Theses and Dissertations

Conventional ligand design in transition metal catalysis capitalizes on the ability of phosphorous, nitrogen, carbon, oxygen, and sulfur-based donors to modify the steric and electronic properties of a reactive metal center. Heterobimetallic transition metal complexes that contain a dative metal-metal bond provide a unique approach to ligand design where the reactivity of the metal center can be modified by metal-metal electronic communication. Our laboratory is interested in using the unique properties of heterobimetallic complexes to address significant limitations in current transition metal catalysis. My PhD work has focused on the ability of early/late transition metal heterobimetallic complexes to facilitate catalysis …

Ion Trap Miniaturization Considerations: Space-Charge Effects In Cylindrical Ion Traps And Misalignment Effects In A Two-Plate Linear Ion Trap, Yuan Tian

Theses and Dissertations

Portable mass spectrometers provide convenience for applications where conventional mass spectrometers are not suitable. However, a series of miniaturization issues show up in small mass spectrometers, specifically mass analyzers, that need to be thoroughly addressed before further miniaturization. The work in this dissertation focuses on miniaturization issues of ion trap mass analyzers. Space-charge is one of the major issues in small ion traps affecting their analytical performance. It limits ion trapping capacity when ion-ion repulsion causes spreading of a packet of ions. Simulation studies on the relationship between different trap dimensions and trapping capacity was done on a geometry-optimized cylindrical …

A General-Purpose Animation System For 4d, Justin Alain Jensen

Theses and Dissertations

Computer animation has been limited almost exclusively to 2D and 3D. The tools for 3D computer animation have been largely in place for decades and are well-understood. Existing tools for visualizing 4D geometry include minimal animation features. Few tools have been designed specifically for animation of higher-dimensional objects, phenomena, or spaces. None have been designed to be familiar to 3D animators. A general-purpose 4D animation system can be expected to facilitate more widespread understanding of 4D geometry and space, can become the basis for creating unique 3D visual effects, and may offer new insight into 3D animation concepts. We have …

Microwave-Promoted Iminyl Radical Cyclizations For The Synthesis Of Azaheterocycles And The Total Synthesis Of Yaku'amide A, Yu Cai

Theses and Dissertations

Two different research projects are described in this dissertation. The first one focuses on microwave-promoted iminyl radical cyclization for the formation of azaheterocycles which are embedded within numerous pharmaceuticals and biologically active natural products (such as clindamycin, eletriptan, moxiflaxin, etc.). We are quite interested in this project because of the significance of nitrogen-containing heterocycles as pharmaceuticals and organocatalysts combined with the need for safe, simple, and economical means of constructing them. We have successfully developed an efficient one-step synthesis of 2-acylpyrroles and diastereoselective dihydropyrroles from readily available oxime ether substrates. This remarkably efficient and environmentally friendly methodology should be useful …