Physical Sciences and Mathematics Commons^™

Nashville-Basin Tornadoes: Using Storm Types To Elucidate The Local Climatology And Forecasting Challenges, Morgan Steckler, Kelsey Ellis

Pursuit - The Journal of Undergraduate Research at The University of Tennessee

Early 3 March 2020 was a devastating night for many middle Tennessee residents. A strong EF-3 tornado tore through Nashville at 65 mph, and another EF-4 killed 18 in Baxter and Cookeville alone. Residents of the Southeastern United States are particularly vulnerable to tornadoes. This study aims to better understand local forecasting challenges by looking at the types of storms that produce tornadoes. Storm types, also known as convective modes, divide tornado-producing storms into categories by length, shape, multiplicity, and intensity. Distinguishing storms by these modes allows for a broader understanding of their occurrences and impacts. This study specifically evaluates …

Green, Quantized Federated Learning Over Wireless Networks: An Energy-Efficient Design, Minsu Kim, Walid Saad, Mohammad Mozaffari, Mérouane Debbah

Machine Learning Faculty Publications

The practical deployment of federated learning (FL) over wireless networks requires balancing energy efficiency and convergence time due to the limited available resources of devices. Prior art on FL often trains deep neural networks (DNNs) to achieve high accuracy and fast convergence using 32 bits of precision level. However, such scenarios will be impractical for resource-constrained devices since DNNs typically have high computational complexity and memory requirements. Thus, there is a need to reduce the precision level in DNNs to reduce the energy expenditure. In this paper, a green-quantized FL framework, which represents data with a finite precision level in …

Sustainability As Justice Engaging With North American Alternative Seafood Networks Through Participatory Action Research, Paloma Henriques

Electronic Theses and Dissertations

Transformations in the ways we relate to the ocean are long overdue given the myriad of anthropogenic problems that exist – from overfishing to plastic pollution and acidification to ‘slavery-at-sea ’ and loss of access and fishing rights. Yet alongside the hegemonic modes of ocean exploitation exist diverse alternative economies, including those associated with alternative seafood networks, that aim to create different and more-than-economic relationships with marine systems. To situate my research within the broader literature, I interpret the widely used Brundtland Report definition of sustainability, “meet[ing] the needs of the present without compromising the ability of future generations to …

An Adaptive Multi-Level Quantization-Based Reinforcement Learning Model For Enhancing Uav Landing On Moving Targets, Najmaddin Abo Mosali, Syariful Syafiq Shamsudin, Salama A. Mostafa, Omar Alfandi, Rosli Omar, Najib Al-Fadhali, Mazin Abed Mohammed, R. Q. Malik, Mustafa Musa Jaber, Abdu Saif

All Works

The autonomous landing of an unmanned aerial vehicle (UAV) on a moving platform is an essential functionality in various UAV-based applications. It can be added to a teleoperation UAV system or part of an autonomous UAV control system. Various robust and predictive control systems based on the traditional control theory are used for operating a UAV. Recently, some attempts were made to land a UAV on a moving target using reinforcement learning (RL). Vision is used as a typical way of sensing and detecting the moving target. Mainly, the related works have deployed a deep-neural network (DNN) for RL, which …

Criminal Policy To Combat The Spread Of Electronic Rumours (Under Decree-Law No. 34 Of 2021 On Combating Rumours And Cyber Crimes), Ashraf Kandil

Journal of Police and Legal Sciences

The UAE's role in combating electronic rumors and reducing its dissemination has been demonstrated by the legislative development of IT crime laws in the UAE. The most recent is the issuance of the Federal Decree-Law No. (34) of 2021 concerning the fight against rumors and cybercrime. Otherwise, the problem of the current study revolves around the flexibility of drafting the procedural texts in order to deal with the constant development of the forms and circumstances of spreading rumors, as well as to indicate their effectiveness in reducing their effects. Therefore, the current study aims to identify the criminal policy to …

A Scarcity Of Biospheric Values In Local And Regional Reporting Of Water Issues: Media Coverage In The Floridan Aquifer Region, Sadie Hundemer, Debbie Treise, Martha Monroe

Journal of Applied Communications

The values invoked by journalists in the reporting of water issues influence public support for water policy and the assessment of water tradeoffs. This qualitative framing analysis of water coverage from six newspapers in the Floridan aquifer region from 2010 to 2018 reveals the values used to stimulate reader engagement on a range of water challenges including weather, residential behavior, agriculture, algae, industry, springs, energy, municipalities, and fecal matter. Results reveal a hierarchy of value frames that prioritizes economics and human health, thereby attending primarily to the motivations of egoistic and social-altruistic individuals. The ecosystem implications of deteriorated water conditions, …

Combining Solution Reuse And Bound Tightening For Efficient Analysis Of Evolving Systems, Clay Stevens, Hamid Bagheri

CSE Conference and Workshop Papers

Software engineers have long employed formal verification to ensure the safety and validity of their system designs. As the system changes—often via predictable, domain-specific operations—their models must also change, requiring system designers to repeatedly execute the same formal verification on similar system models. State-of-the-art formal verification techniques can be expensive at scale, the cost of which is multiplied by repeated analysis. This paper presents a novel analysis technique—implemented in a tool called SoRBoT—which can automatically determine domain-specific optimizations that can dramatically reduce the cost of repeatedly analyzing evolving systems. Different from all prior approaches, which focus on either tightening the …

Adversarial Pixel Restoration As A Pretext Task For Transferable Perturbations, Hashmat Shadab Malik, Shahina K. Kunhimon, Muzammal Nasser, Salman Khan, Fahad Shahbaz Khan

Computer Vision Faculty Publications

Transferable adversarial attacks optimize adversaries from a pretrained surrogate model and known label space to fool the unknown black-box models. Therefore, these attacks are restricted by the availability of an effective surrogate model. In this work, we relax this assumption and propose Adversarial Pixel Restoration as a self-supervised alternative to train an effective surrogate model from scratch under the condition of no labels and few data samples. Our training approach is based on a min-max objective which reduces overfitting via an adversarial objective and thus optimizes for a more generalizable surrogate model. Our proposed attack is complimentary to our adversarial …

Robustar: Interactive Toolbox Supporting Precise Data Annotation For Robust Vision Learning, Chonghan Chen, Haohan Wang, Leyang Hu, Yuhao Zhang, Shuguang Lyu, Jingcheng Wu, Xinnuo Li, Linjing Sun, Eric Xing

Machine Learning Faculty Publications

We introduce the initial release of our software Robustar, which aims to improve the robustness of vision classification machine learning models through a data-driven perspective. Building upon the recent understanding that the lack of machine learning model’s robustness is the tendency of the model’s learning of spurious features, we aim to solve this problem from its root at the data perspective by removing the spurious features from the data before training. In particular, we introduce a software that helps the users to better prepare the data for training image classification models by allowing the users to annotate the spurious features …

Probing The Extragalactic Mid-Infrared Background With Hawc, A. Albert, R. Alfaro, C. Alvarez, J. C. Arteaga-Velázquez, D. Avila Rojas, H. A.Ayala Solares, R. Babu, Et. Al.

Michigan Tech Publications

The extragalactic background light (EBL) contains all the radiation emitted by nuclear and accretion processes in stars and compact objects since the epoch of recombination. Measuring the EBL density directly is challenging, especially in the near-to-far-infrared wave band, mainly due to the zodiacal light foreground. Instead, gamma-ray astronomy offers the possibility to indirectly set limits on the EBL by studying the effects of gamma-ray absorption in the very high energy (VHE: >100 GeV) spectra of distant blazars. The High Altitude Water Cherenkov Gamma Ray Observatory (HAWC) is one of the few instruments sensitive to gamma rays with energies above 10 …

On P-Competition Graphs Of Loopless Hamiltonian Digraphs Without Symmetric Arcs And Graph Operations, Kuniharu Yokomura, Morimasa Tsuchiya

Theory and Applications of Graphs

For a digraph D, the p-competition graph C_p(D) of D is the graph satisfying the following: V(C_p(D))=V(D), for x,y ∈ V(C_p(D)), xy ∈ E(C_p(D)) if and only if there exist distinct p vertices v₁, v₂, ..., v_p ∈ V(D) such that x → v_i, y → v_i ∈ A(D) for each i=1,2, ..., p.

We show the H₁ ∪ H₂ is a p-competition graph of a loopless digraph without symmetric arcs for p ≥ 2 , where …

Quertci: A Tool Integrating Github Issue Querying With Comment Classification, Ye Paing, Tatiana Castro Vélez, Raffi T. Khatchadourian

Publications and Research

Empirical Software Engineering (ESE) researchers study (open-source) project issues and the comments and threads within to discover—among others—challenges developers face when incorporating new technologies, platforms, and programming language constructs. However, such threads accumulate, becoming unwieldy and hindering any insight researchers may gain. While existing approaches alleviate this burden by classifying issue thread comments, there is a gap between searching popular open-source software repositories (e.g., those on GitHub) for issues containing particular keywords and feeding the results into a classification model. This paper demonstrates a research infrastructure tool called QuerTCI that bridges this gap by integrating the GitHub issue comment search …

On The Total Set Chromatic Number Of Graphs, Mark Anthony C. Tolentino, Gerone Russel J. Eugenio, Mari-Jo P. Ruiz

Theory and Applications of Graphs

Given a vertex coloring c of a graph, the neighborhood color set of a vertex is defined to be the set of all of its neighbors’ colors. The coloring c is called a set coloring if any two adjacent vertices have different neighborhood color sets. The set chromatic number χ_s(G) of a graph G is the minimum number of colors required in a set coloring of G. In this work, we investigate a total analog of set colorings; that is, we study set colorings of the total graph of graphs. Given a graph G = (V, E) …

Total Colouring Of New Classes Of Subcubic Graphs, Sethuraman G, Velankanni Anthonymuthu

Theory and Applications of Graphs

The total chromatic number of a graph G, denoted χ”(G), is the least number of colours needed to colour the vertices and the edges of G such that no incident or adjacent elements (vertices or edges) receive the same colour. The popular Total Colouring Conjecture (TCC) posed by Behzad states that, for every simple graph G, χ”(G) ≤ Δ(G)+2. In this paper, we prove that the total chromatic number for a family of subcubic graphs called cube connected paths and also for a class of subcubic graphs having the property that the vertices are covered by independent …

Harmonious Labelings Via Cosets And Subcosets, Jared L. Painter, Holleigh C. Landers, Walker M. Mattox

Theory and Applications of Graphs

In [Abueida, A. and Roblee, K., More harmonious labelings of families of disjoint unions of an odd cycle and certain trees, J. Combin. Math. Combin. Comput., 115 (2020), 61-68] it is shown that the disjoint union of an odd cycle and certain paths is harmonious, and that certain starlike trees are harmonious using properties of cosets for a particular subgroup of the integers modulo m, where m is the number of edges of the graph. We expand upon these results by first exploring the numerical properties when adding values from cosets and subcosets in the integers modulo m. …

Geodesic Bipancyclicity Of The Cartesian Product Of Graphs, Amruta V. Shinde, Y.M. Borse

Theory and Applications of Graphs

A cycle containing a shortest path between two vertices u and v in a graph G is called a (u,v)-geodesic cycle. A connected graph G is geodesic 2-bipancyclic, if every pair of vertices u,v of it is contained in a (u,v)-geodesic cycle of length l for each even integer l satisfying 2d + 2 ≤ l ≤ |V(G)|, where d is the distance between u and v. In this paper, we prove that the Cartesian product of two geodesic hamiltonian graphs is a geodesic 2-bipancyclic graph. As a consequence, we show that for n …

Co-Design To Support Engagement In Activities Of Daily Living And Meaningful Activities For People Living With Dementia, Michael Wilson, Julie Doyle, Ann Marron, Jonathan Turner, Ciaran Nugent, Dympna O'Sullivan

Articles

Dementia is a chronic and progressive neurodegenerative illness, which can lead to significant difficulties in a person’s capacity to perform activities of daily living and engage in meaningful activities. The Smart Dementia Care project aims to establish an understanding of how best to design digital tools that persons with dementia and their carers will find useful and usable for care planning and goal setting. This paper discusses the first phase of this project and describes how co-design is being used to support engagement in activities of daily living and meaningful activities for people living with the early stages of dementia, …

Atomic Layer Deposition And High Sensitivity-Low Energy Ion Scattering For The Determination Of The Surface Silanol Density On Glass And Unsupervised Exploratory Data Analysis With Summary Statistics And Other Methods, Tahereh Gholian Avval

Theses and Dissertations

With the increasing importance of hand-held devices with touch displays, the need for flat panel displays (FPDs) will likely increase in the future. Glass is the most important substrate for FPD manufacturing, where both its bulk and surface properties are critical for its performance. Many properties of the glass used in FPDs are controlled by its surface chemistry. Surface hydroxyls are the most important functional groups on a glass surface, which control processes that occurs on oxide surfaces, including wetting, adhesion, electrostatic charging and discharge, and the rate of contamination. In this dissertation, I present a new approach for determining …

Internal Model Control (Imc)-Based Active And Reactive Power Control Of Brushless Double-Fed Induction Generator With Notch Filter, Ahsanullah Memon, Mohd Wazir Bin Mustafa, Zohaib Hussain Laghari, Touqeer Ahmed Jumani, Waqas Anjum, Shafi Ullah, Muhammad Naveed Aman

School of Computing: Faculty Publications

The increase in demand for electricity and, in particular, green energy has put renewable energy systems at the focal point of energy policy worldwide. The higher reliability of brushless doubly fed induction generators (BDFIGs) makes them suitable for offshore and remote wind energy generation (WEG) applications. Besides, controlling the active and reactive powers in an electrical power system is critical for optimal voltage regulation, reduced power losses, and enhanced utilization of installed equipment. However, the existing literature on BDFIG’s active and reactive power control highlights the poor dynamic response and high transients with harmonic generation during inductive load insertion. It …

Classifying Toe Walking Gait Patterns Among Children Diagnosed With Idiopathic Toe Walking Using Wearable Sensors And Machine Learning Algorithms, Rahul Soangra, Yuxin Wen, Hualin Yang, Marybeth Grant-Beuttler

Physical Therapy Faculty Articles and Research

Idiopathic toe walking (ITW) is a gait abnormality in which children’s toes touch at initial contact and demonstrate limited or no heel contact throughout the gait cycle. Toe walking results in poor balance, increased risk of falling, and developmental delays among children. Identifying toe walking steps during walking can facilitate targeted intervention among children diagnosed with ITW. With recent advances in wearable sensing, communication technologies, and machine learning, new avenues of managing toe walking behavior among children are feasible. In this study, we investigate the capabilities of Machine Learning (ML) algorithms in identifying initial foot contact (heel strike versus toe …

Quantization Of The Poisson Type Central Limit Theorem (1), Yungang Lu

Journal of Stochastic Analysis

No abstract provided.

Finding Approximate Pythagorean Triples (And Applications To Lego Robot Building), Ronald I. Greenberg, Matthew Fahrenbacher, George K. Thiruvathukal

Computer Science: Faculty Publications and Other Works

This assignment combines programming and data analysis to determine good combinations of side lengths that approximately satisfy the Pythagorean Theorem for right triangles. This can be a standalone exercise using a wide variety of programming languages, but the results are useful for determining good ways to assemble LEGO pieces in robot construction, so the exercise can serve to integrate three different units of the Exploring Computer Science high school curriculum: "Programming", "Computing and Data Analysis", and "Robotics". Sample assignment handouts are provided for both Scratch and Java programmers. Ideas for several variants of the assignment are also provided.

Synchronous Retreat Of Southeast Greenland's Peripheral Glaciers, Julia Liu, Ellyn Enderlin, Hans-Peter Marshall, Andre Khalil

Geosciences Faculty Publications and Presentations

Recently, scientific attention has focused on estimating Greenland's dynamic mass loss through changes to flow speeds, thickness, and length on its marine outlet glaciers. For the ice sheet outlet glaciers, dynamic mass loss has been found to be highly sensitive to changes in climate and individual glacier geometry. For the ice-sheet-independent marine glaciers around Greenland's periphery, dynamic mass loss is presently overlooked. Here, we apply an open-source, automated method of measuring glacier length changes using satellite imagery, to produce highly detailed records of length changes for 135 peripheral marine glaciers in southeast Greenland. We find evidence for anomalous retreat across …

Amplification Of Black Vulture (Coragyps Atratus) Dna From Regurgitated Food Pellets, Daniel R. Taylor, Bryan M. Kluever, John S. Humphrey, Iona M. Hennessy, Amber Sutton, William E. Bruce, Antoinette J. Piaggio

United States Department of Agriculture Wildlife Services: Staff Publications

Studies that rely on noninvasive collection of DNA for birds often use feces or feathers. Some birds, such as vultures, regurgitate undigested matter in the form of pellets that are commonly found under roost sites. Our research demonstrates that regurgitated pellets are a viable, noninvasive source of DNA for molecular ecology studies of vultures. Our objectives were to amplify 5 microsatellite loci designed for distinguishing Turkey Vultures (Cathartes aura) and Black Vultures (Coragyps atratus) in a single, multiplexed PCR, and to determine how long the target nuclear DNA persists after a vulture pellet is regurgitated and …

Development Of 1,2-Cis-Selective Glycosylation Protocols And Multistep Synthesis Of Glycans From Acinetobacter Baumannii., Dancan Kamau Njeri

LSU Doctoral Dissertations

Access to various oligosaccharides has been made possible by glycosylation reactions. This is mainly through chemical synthesis and enzymatic approaches. Herein, I talk about glycosylation through chemical synthesis. In general, glycosylation reactions lead to a mixture of 1,2-cis and 1,2-trans stereoisomers. Stereoselective access to 1,2-trans isomer is highly developed; it efficiently relies on neighboring group participation. However, efficient access to 1,2-cis selective glycosylation is still a work in progress. In Chapter 1, I highlight notable efforts developed so far that address the 1,2-cis selectivity challenge in glycosylation.

In Chapter 2, I demonstrate how I improved …

Scintillation Light Detection In The 6-M Drift-Length Protodune Dual Phase Liquid Argon Tpc, A. Abed, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. Alrashed, C. Alt, Roberto Petti, Et. Al.

Faculty Publications

DUNE is a dual-site experiment for long-baseline neutrino oscillation studies, neutrino astrophysics and nucleon decay searches. ProtoDUNE Dual Phase (DP) is a 6×6×6 m³ liquid argon time-projection-chamber (LArTPC) that recorded cosmic-muon data at the CERN Neutrino Platform in 2019–2020 as a prototype of the DUNE Far Detector. Charged particles propagating through the LArTPC produce ionization and scintillation light. The scintillation light signal in these detectors can provide the trigger for non-beam events. In addition, it adds precise timing capabilities and improves the calorimetry measurements. In ProtoDUNE-DP, scintillation and electroluminescence light produced by cosmic muons in the LArTPC is collected …

Formal Verification Applications For The Treekem Continuous Group Key Agreement Protocol, Alexander J. Washburn

Theses and Dissertations

The features of Secure Group Messaging, the security guarantees of Message Layer Security, and the TreeKEM protocol designed to satisfy these guarantees and features are explored. A motivation and methodology for verification via explicit model checking is presented. Subsequently, a translation of the TreeKEM protocol into a Promela reference model is described, examining the nuances explicit model checking brings. Finally the results of the formal verification methods are discussed.

Computational, Synthetic And Spectroscopic Studies On Donor Acceptor Transition Metal Complexes, Ranjana Dangi

Chemistry and Chemical Biology ETDs

Fundamental advances in our ability to design and construct electronic components at the nanoscale will require new design paradigms. One proposed nanoscale electronic component is the molecular rectifier. Molecular and molecule-based electronic components are advantageous due to their ease of synthetic manipulation, and the fact that the size dimensions of molecules are inherently at the nanoscale (0.5 - 3nm). Our group has shown how the Donor-Bridge-Acceptor biradical approach can be used to derive key structure-property relationships that allow insight into the choice of bridge fragments for molecular rectification by using constitutional isomers of the donor-bridge-acceptor biradical (NN-Th-Py-SQ) (S=1/2 ortho-semiquinonate, …

Delay Dynamic Equations On Isolated Time Scales And The Relevance Of One-Periodic Coefficients, Martin Bohner, Tom Cuchta, Sabrina Streipert

Mathematics and Statistics Faculty Research & Creative Works

We are motivated by the idea that certain properties of delay differential and difference equations with constant coefficients arise as a consequence of their one-periodic nature. We apply the recently introduced definition of periodicity for arbitrary isolated time scales to linear delay dynamic equations and a class of nonlinear delay dynamic equations. Utilizing a derived identity of higher order delta derivatives and delay terms, we rewrite the considered linear and nonlinear delayed dynamic equations with one-periodic coefficients as a linear autonomous dynamic system with constant matrix. As the simplification of a constant matrix is only obtained for one-periodic coefficients, dynamic …

Streamlined Subglacial Bedform Sensitivity To Bed Characteristics Across The Deglaciated Northern Hemisphere, Marion A. Mckenzie, Lauren M. Simkins, Sarah M. Principato, Santiago Munevar Garcia

Environmental Studies Faculty Publications

Streamlined subglacial bedforms observed in deglaciated landscapes provide the opportunity to assess the sensitivity of glacier dynamics to bed characteristics across broader spatiotemporal scales than is possible for contemporary glacial systems. While many studies of streamlined subglacial bedforms rely on manual mapping and qualitative (i.e., visual) assessment, we semi-automatically identify 11,628 sedimentary and bedrock bedforms, created during and following the Last Glacial Maximum across nine geologically and topographically diverse deglaciated sites in the Northern Hemisphere. Using this large dataset of landforms and associated morphometrics, we empirically test the importance of subglacial terrain on bedform morphology and ice-flow behavior. A minimum …