Physical Sciences and Mathematics Commons^™

Public Perceptions Of Salamanders In Great Smoky Mountains National Park, Savannah Blackman

Masters Theses

Amphibians receive little attention when it comes to public appreciation or support for their conservation. Despite their ecological importance, salamanders are often little known and overlooked by the general public. To better conserve their rapidly declining populations, it is important to understand and consider public knowledge and attitudes toward salamanders and certain behaviors that negatively affect them—like rock stacking in streams and rivers. The Great Smoky Mountains National Park is referred to as the “Salamander Capital of the World!” as it is home to more than 30 different species of salamander. One issue facing salamander populations within the park is …

Texture And Composition Of An Arid-Climate Weathering Profile And The Link Between Bedrock And Derived Sediment Composition, Kristan Leigh Watkins

Masters Theses

Multiple compositional aspects of Holocene, terrigenous-clastic sediment differ from its source, the underlying Cretaceous Stepladder granodiorite (Mojave Desert, California). Different processes can cause sediments to change in composition from source, including chemical weathering, hydrodynamic sorting during transport, and diagenesis. Sorting and physical processes have previously suggested. To assess the relative contributions of these processes to understand provenance reconstruction, the textures and compositions of an exposed Holocene saprolite weathering profile, grus, and granodiorite bedrock were studied. Fracture density in the weathering profile decreased from ~10% at the top to ~2% at the bottom of the profile in contact with the bedrock. …

The Development Of A New All-In-One Allsky Camera And Radiometer System, Ashley Suzanne Hughes

Theses and Dissertations

We developed a new all-in-one camera and radiometer system for meteor surveillance. It proved successful during its first bolide event on 13 April 2021, as reported in the journal Meteoritics and Planetary Science, volume 57, number 3, pages 575-587. The event capture produced both video and radiometric data, and with the video data we were able to calculate a trajectory and orbit, and determine the fragmentation characteristics of the meteor as it traveled through the atmosphere.

Extreme-Contrast Ratio Imaging Of Bright Star Fields Using Charge-Injection Devices, Sailee Mangesh Sawant

Theses and Dissertations

The intrinsic nature of many astronomical sources, such as exoplanets, binary and multiple star systems, circumstellar disks, and active galactic nuclei and their host galaxies, introduces challenging requirements for observational instrumentation and techniques. In each case, we encounter situations where the light from bright sources hampers our abilities to detect surrounding fainter targets. To explore and study all features of such extreme-contrast ratio (ECR) scenes, we must perform observations at the maximum possible contrast ratios. However, direct imaging of fainter objects in the vicinity of bright sources imposes limitations on the type of contrast ratios achievable using ground- and spacebased …

Construction And Testing Of Large-Area Gem Detectors For The Forward Muon Endcap Upgrade Of The Cms Experiment And Vector-Portal Search For Dark Matter Particles With Dimuon Pairs At √S = 13 Tev, Mehdi Rahmani

Theses and Dissertations

In this thesis, I present my contributions to the second major upgrade of the Compact Muon Solenoid at the Large Hadron Collider and the analysis that I performed on the data collected by the Compact Muon Solenoid during the 2018 and 2017 era. Alongside my team, I assembled and tested ten Gaseous Electron Multipliers to upgrade the forward region at the Compact Muon Solenoid, all of which are now installed at the dedicated stations. The campaign for producing these detectors succeeded in a twoyear-long prototyping endeavor, where I examined the procedural steps for production to optimize the production and testing …

Cross-Gender And 1-To-N Face Recognition Error Analysis Of Gender Misclassified Images, Paloma Vela Achu

Theses and Dissertations

A number of recent research studies have shown that face recognition accuracy is meaningfully worse for females than males. Gender classification algorithms also perform worse: one commercial classifier gives a 7% error rate for African-American females vs. 0.5% for Caucasian males. In response to these observations, we consider one primary question: do errors in gender classification lead to errors in facial recognition? We approach this question by focusing on two main areas (1) do gender-misclassified images generate higher similarity scores with different individuals from the false-gender category versus their true-gender category? (2) What is the impact of gender misclassified images …

A Method To Evaluate The Impact Of Assistive Displays On The Comfort And Safety Of Driving In Low Visibility Conditions, Hussain Talal Alatiyyah

Theses and Dissertations

Natural phenomena may affect car drivers in terms of having a clear view. It may hinder or distract the driver’s eyesight from essential objects, such as traffic signs, people, or other obstacles in the street. A poor view for a driver could cause accidents that lead to significant harm. Fog is one of these natural phenomena that could impact a driver’s concentration. This study aims to test a methodology for evaluating the use of an assistive computer display, especially in fog situations. An experiment is performed with participants who perform simulated driving under controlled fog conditions with or without an …

Relaxation Of Variational Principles For Z-Problems In Effective Media Theory, Kenneth Beard

Theses and Dissertations

In this thesis, we consider a class of Z-problems and their associated effective operators on Hilbert spaces which arise in effective media theory, especially within the theory of composites. We provide a unified approach to obtaining solutions of the Z-problem, formulas for the effective operator in terms of generalized Schur complements, and their associated variational principles (e.g., the Dirichlet minimization principle), while allowing for relaxation of the standard hypotheses on positivity and invertibility for the classes of operators usually considered in such problems. The Hilbert space framework developed here is inspired by the methods of orthogonal projections and Hodge decompositions. …

Multiscale Optimization Via Multilevel Pca-Based Control Space Reduction In Applications To Electrical Impedance Tomography, Maria Minhee Felicia Monica Chun

Theses and Dissertations

A fully developed computational framework for the optimal reconstruction of binary-type images suitable for various models seen in biological and medical applications is developed and validated. This framework enables solutions to the inverse electrical impedance tomography (EIT) problems of cancer detection at different levels of complexity with multiple cancer-affected regions of different sizes based on available measurements usually affected by noise. A new spatial partitioning methodology and efficient scheme for switching between fine and coarse scales are developed to allow higher variations in the geometry of reconstructed binary images with superior performance confirmed computationally on various models. A nominal number …

Testing The Efficacy Of Uvc Leds For Biofouling Control, Margaret Jeannette Giggie

Theses and Dissertations

The use of ultraviolet-C (UVC) light as a biofouling preventative has been successfully demonstrated using mercury-based lamps. However, these lamps have several limitations (such as fragility and use of mercury), and the use of UVC LEDs (light-emitting diodes) has been suggested as an alternative. Several experiments were conducted to assess the efficacy of LED strips (29 W, 270 nm, emittance angle of 130º) for biofouling control, as well as to compare them to a classic lamp (25 W, 254 nm, emits UVC light at 360º). Experiment #1 assessed the biofouling abundance and community composition on test panels exposed to either …

Iot Security For Iotmon Attacks Based On Devices’ App Description, Raghad Jameel A. Alhazmi

Theses and Dissertations

There are concerns associated with ”inter-app” interactions, which occur when many independently developed home automation apps interact and affect one another, causing possibly dangerous unexpected app action. We extended a security tool named IoTMon, an IoT device management system capable of identifying all potential cross-app communication paths and analyzing their danger status. As part of our work, we keep an eye on the app description and safeguard IoTMon from being altered in any way that could obscure the real interaction related to another app action. We validate the IoTMon system’s integrity by applying the hash algorithm SHA512 with digital signature …

Toward A Labeled Dataset Of Iot Malware Features, Stian Hagboe Olsen

Theses and Dissertations

IoT malware has accompanied the rapid growth of embedded devices over the last decade. The last few years have seen increased work on static and dynamic detection and classification techniques for IoT malware. However, this work requires a very diverse and fine-grained set of malware-specific characteristics. This paper takes a step toward constructing a large-scale, diverse, and open-source IoT malware dataset. To demonstrate the depth of the dataset, we propose an approach for recovering symbol tables and detecting the intent of stripped IoT malware binaries using function signature libraries and 14 defining Linux malware features with corresponding regular expressions. We …

Dirichlet Type Boundary Value Problems For Linear And Quasi{Linear Hyperbolic Equations Of Higher Order, Reemah Alhuzally

Theses and Dissertations

Dirichlet type problems for quasi-linear hyperbolic equations are considered. For two-dimensional boundary value problems there are established:

(i) Unimprovable sufficient conditions of unique solvability and well-posedness of linear problems in piecewise smooth domains;

(ii) Unimprovable Sufficient conditions of unique solvability of linear problems in smooth convex domains.

(iii) Optimal Sufficient conditions of solvability, unique solvability and strong well-posedness of quasi-linear problems in piecewise smooth domains;

(iv) Optimal sufficient conditions of solvability and unique solvability of quasi- linear problems in smooth convex domains.

For three-dimensional linear boundary value problems there are established:

(i) Unimprovable sufficient conditions of unique solvability and well-posedness …

Development Of Stimuli-Responsive Liposomes For Drug Delivery Applications, Jinchao Lou

Doctoral Dissertations

Liposomes are spherical nano-assemblies that are proven to be effective drug delivery vehicles. Due to their unique bilayer structures, they are able to encapsulate both hydrophilic and hydrophobic drugs in their aqueous inner core and membrane bilayers, respectively. While liposomal delivery platforms exbibit numerous advantages, the therapeutic efficacy of these platforms would be enhanced by developing triggered release strategies such that one can tune the timing and location of the cargo release in a controlled manner. In this dissertation, we mainly present the development of stimuli-responsive liposomes targeting different disease-associated metabolites utilizing rationally designed synthetic lipid switches.

In Chapter 2, …

Electromagnetic Modeling Of A Wind Tunnel Magnetic Suspension And Balance System, Desiree Driver

Mechanical & Aerospace Engineering Theses & Dissertations

Wind tunnels are used to study forces and moments acting on an aerodynamic body. While most results involve some interference from the mechanical supports used to hold the model, a Magnetic Suspension and Balance System (MSBS) is void of these interferences and presents an ideal test scenario. To further investigate the feasibility of dynamic stability testing at supersonic speeds using a MSBS, a preliminary design idea is currently being developed using an existing MSBS in a subsonic wind tunnel. This review focuses on the development of a mathematical model to more accurately portray the capabilities of the 6 inch Massachusetts …

Machine Learning Classification Of Digitally Modulated Signals, James A. Latshaw

Electrical & Computer Engineering Theses & Dissertations

Automatic classification of digitally modulated signals is a challenging problem that has traditionally been approached using signal processing tools such as log-likelihood algorithms for signal classification or cyclostationary signal analysis. These approaches are computationally intensive and cumbersome in general, and in recent years alternative approaches that use machine learning have been presented in the literature for automatic classification of digitally modulated signals. This thesis studies deep learning approaches for classifying digitally modulated signals that use deep artificial neural networks in conjunction with the canonical representation of digitally modulated signals in terms of in-phase and quadrature components. Specifically, capsule networks are …

Chen-Fliess Series For Linear Distributed Systems, Natalie T. Pham

Electrical & Computer Engineering Theses & Dissertations

Distributed systems like fluid flow and heat transfer are modeled by partial differential equations (PDEs). In control theory, distributed systems are generally reformulated in terms of a linear state space realization, where the state space is an infinite dimensional Banach space or Hilbert space. In the finite dimension case, the input-output map can always be written in terms of a Chen-Fliess functional series, that is, a weighted sum of iterated integrals of the components of the input function. The Chen-Fliess functional series has been used to describe interconnected nonlinear systems, to solve system inversion and tracking problems, and to design …

Russia, Europe And Central Asia Energy Security And Pipeline Politics, Mehmet Kınacı

Graduate Program in International Studies Theses & Dissertations

Energy Security will continue to remain as one of the top security concerns for Europe. Depleting reserves and growing energy demand have increased European dependence on external energy resources. Today, Russia is by far the largest supplier of oil, coal and the natural gas to Europe. Oil and natural gas revenues have played a vital role to rebound the Russian economy and have supported Putin’s ambitions to reestablish Russia as a great power, increasing its influence over the former Soviet space. This complex energy relationship has increasingly been a cause of concern.

The main question this study seeks to answer …

Benchmarking Library Recognition In Tweets, Ting Zhang, Divya Prabha Chandrasekaran, Ferdian Thung, David Lo

Research Collection School Of Computing and Information Systems

Software developers often use social media (such as Twitter) to shareprogramming knowledge such as new tools, sample code snippets,and tips on programming. One of the topics they talk about is thesoftware library. The tweets may contain useful information abouta library. A good understanding of this information, e.g., on thedeveloper’s views regarding a library can be beneficial to weigh thepros and cons of using the library as well as the general sentimentstowards the library. However, it is not trivial to recognize whethera word actually refers to a library or other meanings. For example,a tweet mentioning the word “pandas" may refer to …

On The Effectiveness Of Pretrained Models For Api Learning, Mohammad Abdul Hadi, Imam Nur Bani Yusuf, Thung Ferdian, Gia Kien Luong, Lingxiao Jiang, Fatemeh H. Fard, David Lo

Research Collection School Of Computing and Information Systems

Developers frequently use APIs to implement certain functionalities, such as parsing Excel Files, reading and writing text files line by line, etc. Developers can greatly benefit from automatic API usage sequence generation based on natural language queries for building applications in a faster and cleaner manner. Existing approaches utilize information retrieval models to search for matching API sequences given a query or use RNN-based encoder-decoder to generate API sequences. As it stands, the first approach treats queries and API names as bags of words. It lacks deep comprehension of the semantics of the queries. The latter approach adapts a neural …

Data Pricing In Machine Learning Pipelines, Zicun Cong, Xuan Luo, Jian Pei, Feida Zhu, Yong Zhang

Research Collection School Of Computing and Information Systems

Machine learning is disruptive. At the same time, machine learning can only succeed by collaboration among many parties in multiple steps naturally as pipelines in an eco-system, such as collecting data for possible machine learning applications, collaboratively training models by multiple parties and delivering machine learning services to end users. Data are critical and penetrating in the whole machine learning pipelines. As machine learning pipelines involve many parties and, in order to be successful, have to form a constructive and dynamic eco-system, marketplaces and data pricing are fundamental in connecting and facilitating those many parties. In this article, we survey …

Efficient Encrypted Data Search With Expressive Queries And Flexible Update, Jianting Ning, Jiageng Chen, Kaitai Liang, Joseph K. Liu, Chunhua Su, Qianhong Wu

Research Collection School Of Computing and Information Systems

Outsourcing encrypted data to cloud servers that has become a prevalent trend among Internet users to date. There is a long list of advantages on data outsourcing, such as the reduction cost of local data management. How to securely operate encrypted data (remotely), however, is the top-rank concern over data owner. Liang et al. proposed a novel encrypted cloud-based data share and search system without loss of privacy. The system allows users to flexibly search and share encrypted data as well as updating keyword field. However, the search complexity of the system is of extreme inefficiency, O(nd), where d is …

Competition And Third-Party Platform-Integration In Ride-Sourcing Markets, Yaqian Zhou, Hai Yang, Jintao Ke, Hai Wang, Xinwei Li

Research Collection School Of Computing and Information Systems

Recently, some third-party integrators attempt to integrate the ride services offered by multiple independent ride-sourcing platforms. Accordingly, passengers can request ride through the integrators and receive ride service from any one of the ride-sourcing platforms. This novel business model, termed as third-party platform-integration in this work, has potentials to alleviate market fragmentation cost resulting from demand splitting among multiple platforms. Although most existing studies focus on operation strategies for one single monopolist platform, much less is known about the competition and platform-integration and their implications on operation strategy and system efficiency. In this work, we propose mathematical models to describe …

Managing The Phaseout Of Coal Power: A Comparison Of Power Decarbonization Pathways In Jilin Province, Weirong Zhang, Zhixu Meng, Jiongjun Yang, Yan Song, Yiou Zhou, Changhong Zhao, Jiahai Yuan

Research Collection School Of Computing and Information Systems

With the periodic goals of reaching carbon emission peak before 2030 and achieving carbon neutrality before 2060 (“dual carbon” goals), China shows its unprecedented determination to coal power phaseout. This research takes Jilin Province to showcase possible pathways of coal power units’ phaseout on provincial level. We set up four different coal power phaseout scenarios, under which their transition cost and effectiveness would be calculated, respectively. In terms of natural resource endowment and electricity demand, Jilin Province would achieve a complete coal power phaseout by 2045 or even by 2040. However, after assessing the effectiveness of power transition under the …

Itss: Interactive Web-Based Authoring And Playback Integrated Environment For Programming Tutorials, Eng Lieh Ouh, Benjamin Gan, David Lo

Research Collection School Of Computing and Information Systems

Video-based programming tutorials are a popular form of tutorial used by authors to guide learners to code. Still, the interactivity of these videos is limited primarily to control video flow. There are existing works with increased interactivity that are shown to improve the learning experience. Still, these solutions require setting up a custom recording environment and are not well-integrated with the playback environment. This paper describes our integrated ITSS environment and evaluates the ease of authoring and playback of our interactive programming tutorials. Our environment is designed to run within the browser sandbox and is less intrusive to record interactivity …

Adaptive Task Planning For Large-Scale Robotized Warehouses, Dingyuan Shi, Yongxin Tong, Zimu Zhou, Ke Xu, Wenzhe Tan, Hongbo Li

Research Collection School Of Computing and Information Systems

Robotized warehouses are deployed to automatically distribute millions of items brought by the massive logistic orders from e-commerce. A key to automated item distribution is to plan paths for robots, also known as task planning, where each task is to deliver racks with items to pickers for processing and then return the rack back. Prior solutions are unfit for large-scale robotized warehouses due to the inflexibility to time-varying item arrivals and the low efficiency for high throughput. In this paper, we propose a new task planning problem called TPRW, which aims to minimize the end-to-end makespan that incorporates the entire …

Understanding Crowdsourcing Requesters’ Wage Setting Behaviors, Kotaro Hara, Yudai Tanaka

Research Collection School Of Computing and Information Systems

Requesters on crowdsourcing platforms like Amazon Mechanical Turk (AMT) compensate workers inadequately. One potential reason for the underpayment is that the AMT’s requester interface provides limited information about estimated wages, preventing requesters from knowing if they are offering a fair piece-rate reward. To assess if presenting wage information affects requesters’ reward setting behaviors, we conducted a controlled study with 63 participants. We had three levels for a between-subjects factor in a mixed design study, where we provided participants with: no wage information, wage point estimate, and wage distribution. Each participant had three stages of adjusting the reward and controlling the …

Exploring And Adapting Chinese Gpt To Pinyin Input Method, Minghuan Tan, Yong Dai, Duyu Tang, Zhangyin Feng, Guoping Huang, Jing Jiang, Jiwei Li, Shuming Shi

Research Collection School Of Computing and Information Systems

While GPT has become the de-facto method for text generation tasks, its application to pinyin input method remains unexplored. In this work, we make the first exploration to leverage Chinese GPT for pinyin input method. We find that a frozen GPT achieves state-of-the-art performance on perfect pinyin. However, the performance drops dramatically when the input includes abbreviated pinyin. A reason is that an abbreviated pinyin can be mapped to many perfect pinyin, which links to even larger number of Chinese characters. We mitigate this issue with two strategies, including enriching the context with pinyin and optimizing the training process to …

Devops Education: An Interview Study Of Challenges And Recommendations, Marcelo Fernandes, Samuel Ferino, Anny K. Fernandes, Uirá Kulesza, Eduardo Aranha, Christoph Treude

Research Collection School Of Computing and Information Systems

Over the last years, the software industry has adopted several DevOps technologies related to practices such as continuous integration and continuous delivery. The high demand for DevOps practitioners requires non-trivial adjustments in traditional software engineering courses and educational methodologies. This work presents an interview study with 14 DevOps educators from different universities and countries, aiming to identify the main challenges and recommendations for DevOps teaching. Our study identified 83 challenges, 185 recommendations, and several association links and conflicts between them. Our findings can help educators plan, execute and evaluate DevOps courses. They also highlight several opportunities for researchers to propose …

Pasture Biomass Estimation Using Crop Surface Modeling And Vegetation Indices, Brendan Macinnis

All Theses

Biomass estimations are a critical function of any grazing or haylage system. Determination of ideal harvesting or grazing times help optimize the quality and quantity of above-ground biomass (AGB). The objective of this study was to evaluate the use of unmanned aerial vehicles (UAVs) for Alfalfa and Tall Fescue biomass estimations. Using a DJI Mavic Pro, RGB and NDVI images were taken and used to create orthomosaic images. Structure-from-motion (SfM) techniques were used to developed digital elevation models to evaluate the change in canopy height (∆H) between pre- and post-harvests. Change in canopy height (∆H) was shown to provide the …