Physical Sciences and Mathematics Commons^™

Radio Frequency Fingerprinting And Its Application To Scada Environments, Evan White

Open Access Theses & Dissertations

With the introduction of IoT into ICS and smartgrid environments there has been a mod-ernization of communication protocols through the internet. This has led to the use of features such as TCP/IP but with it comes modernized attack vectors against these sys- tems. These attacks can be Man In the Middle (MITM), rogue device communication and device cloning. To prevent these attacks, this thesis deploys Radio Frequency Fingerprint- ing (RFF) techniques to verify the uniqueness and legitimacy of known devices. It is crucial to employ security measures within ICS that do not add to the network complexity as this effects …

Physical Controls On The Hydrology Of Perennially Ice-Covered Lakes, Taylor Valley, Antarctica (1996-2013), J. M. Cross, Andrew G. Fountain, M. J. Hoffman, M. K. Obryk

Geology Faculty Publications and Presentations

The McMurdo Dry Valleys, Antarctica, are a polar desert populated with numerous closed-watershed, perennially ice-covered lakes primarily fed by glacial melt. Lake levels have varied by as much as 8 m since 1972 and are currently rising after a decade of decreasing. Precipitation falls as snow, so lake hydrology is dominated by energy available to melt glacier ice and to sublimate lake ice. To understand the energy and hydrologic controls on lake level changes and to explain the variability between neighboring lakes, only a few kilometers apart, we model the hydrology for the three largest lakes in Taylor Valley. We …

Causal Inference In Psychology And Neuroscience: From Association To Causation, Dehua Liang

Computational and Data Sciences (PhD) Dissertations

In psychology and neuroscience, inferring causality in non-experimental studies is almost taboo, because data in these studies, e.g., survey data and resting-state neuroimaging data, are often contaminated by unmeasured confounders. Psychologists and neuroscientists are often cautious about their results, and reluctant to make false claims about causality in non-experimental studies. Therefore, they adopt less stringent statistical analysis techniques that can only infer associational relations. However, the ambiguity about causality in traditional statistical analysis creates much confusion in interpreting analytical results - some studies make implicit causal claims about their results using words such as “impacts”, “lead to” and “affects”. This …

Green On The Map - The Influence Of Conservation Easements On The Naturalness Of Landscapes In The United States, Nakisha Fouch

All Dissertations

Large protected areas have long been the cornerstone of conservation biology, however, in an era branded by the human dominance of ecosystems, regional landscape structure and function are often a consequence of accumulated land-use decisions that may or may not include a nod to conservation planning. With underrepresentation of habitats in publicly protected areas, attention has focused on the function of alternative land conservation mechanisms. Private conservation easements (CEs) have proliferated in the United States, yet assessing landscape-level function is confounded by holder and donor intent, national and regional policy, regional landscape contexts, varying extents, resolution, and temporal scale. Over …

Computational And Experimental Investigations Of Alkali Cation Interactions At The Rutile – Water Interface, Isaac Johnston

All Dissertations

Overall, the objective of this dissertation was to investigate the degree of sorption for the alkali cations on rutile to ascertain the impact of different cation properties, such as ion size and charge density, on sorption mechanics as well as probe how the ion may alter the surface – aqueous interface. Initial molecular dynamic simulations and batch experiments showed minimal surface sorption for any alkali cation at relatively low concentrations while simultaneously suggesting the enthalpy of deprotonation shifts slightly in the presence of the alkali cations at different ionic strengths. The cations are likely causing small reorientations of the near-surface …

Learning Graphical Models Of Multivariate Functional Data With Applications To Neuroimaging, Jiajing Niu

All Dissertations

This dissertation investigates the functional graphical models that infer the functional connectivity based on neuroimaging data, which is noisy, high dimensional and has limited samples. The dissertation provides two recipes to infer the functional graphical model: 1) a fully Bayesian framework 2) an end-to-end deep model.

We first propose a fully Bayesian regularization scheme to estimate functional graphical models. We consider a direct Bayesian analog of the functional graphical lasso proposed by Qiao et al. (2019).. We then propose a regularization strategy via the graphical horseshoe. We compare both Bayesian approaches to the frequentist functional graphical lasso, and compare the …

Cohen-Macaulay Type Of Weighted Path Ideals, Shuai Wei

All Dissertations

In this dissertation we give a combinatorial characterization of all the weighted $r$-path suspensions for which the $f$-weighted $r$-path ideal is Cohen-Macaulay. In particular, it is shown that the $f$-weighted $r$-path ideal of a weighted $r$-path suspension is Cohen-Macaulay if and only if it is unmixed. Type is an important invariant of a Cohen-Macaulay homogeneous ideal in a polynomial ring $R$ with coefficients in a field. We compute the type of $R/I$ when $I$ is any Cohen-Macaulay $f$-weighted $r$-path ideal of any weighted $r$-path suspension, for some chosen function $f$. In particular, this computes the type for all weighted trees …

Uni-Prover: A Universal Automated Prover For Specificationally Rich Languages, Nicodemus Msafiri John Mbwambo

All Dissertations

Formal software verification systems must be designed to adapt to growth in the scope and complexity of software, driven by expanding capabilities of computer hardware and domain of potential usage. They must provide specification languages that are flexible and rich enough to allow software developers to write precise and comprehensible specifications for a full spectrum of object-based software components. Rich specification languages allow for arbitrary extensions to the library of mathematical theories, and critically, verification of programs with such specifications require a universal automated prover. Most existing verification systems either incorporate specification languages limited to first-order logic, which lacks the …

Mgrre_Thinsections_Mgrre-129_1, Mgrre

Thin Sections

No abstract provided.

Mgrre_Thinsections_Mgrre-129_4, Mgrre

Thin Sections

No abstract provided.

Mgrre_Thinsections_Mgrre-129_3, Mgrre

Thin Sections

No abstract provided.

Mgrre_Thinsections_Mgrre-129_11, Mgrre

Thin Sections

No abstract provided.

Mgrre_Thinsections_Mgrre-129_12, Mgrre

Thin Sections

No abstract provided.

Mgrre_Thinsections_Mgrre-129_8, Mgrre

Thin Sections

No abstract provided.

Designing Single Molecule Diode, Tinsae Alem

Longwood Senior Theses

The field of single molecule electronics is based on using single molecule devices to control current in electronic circuits. One area of interest is to reproduce the functionality of traditional components such as wires, switches, and diodes using single molecule junctions. We used computational chemistry to design diodes to investigate what molecular features affect their performance including using different donors, acceptors, and connectors. A comparison of the diode's performance was made by comparing the rectification ratio. About 50 diodes were designed and tested, with rectification ratios ranging from 1.0 to 5.8. The results indicate that multiple factors have a significant …

(R1518) The Dual Spherical Curves And Surfaces In Terms Of Vectorial Moments, Süleyman Şenyurt, Abdussamet Çalışkan

Applications and Applied Mathematics: An International Journal (AAM)

In the article, the parametric expressions of the dual ruled surfaces are expressed in terms of the vectorial moments of the Frenet vectors. The integral invariants of these surfaces are calculated. It is seen that the dual parts of these invariants can be stated by the real terms. Finally, we present examples of the ruled surfaces with bases such as helix and Viviani’s curves.

(R1999) Analysis Of A Markovian Retrial Queue With Reneging And Working Vacation Under N-Control Pattern, P. Manoharan, S. Pazhani Bala Murugan, A. Sobanappriya

Applications and Applied Mathematics: An International Journal (AAM)

A Markovian retrial queue with reneging and working vacation under N-control pattern is investigated in this article. To describe the system, we employ a QBD analogy. The model’s stability condition is deduced. The stationary probability distribution is gotten by utilizing the matrix-analytic technique. The conditional stochastic decomposition of the line length in the orbit is calculated. The performance measures and special cases are designed. The model’s firmness is demonstrated numerically.

(R1989) Mixed Convection Slippery Cross Fluid Flow Due To A Stratified Sheet Under The Effect Of Radiation Phenomenon, Nourhan I. Ghoneim, Ahmed M. Megahed

Applications and Applied Mathematics: An International Journal (AAM)

In view of the meaning of a two dimensional laminar Cross liquid in depicting an exhaustive assortment of experimental information, an assessment is done for a numerical and mathematical arrangement over a stratified extensible sheet. The non-dimensionality technique is brought into the controlling equations within the sight of the slip phenomenon and to make the solution more thorough. The data have been taken at a steady, viscous and laminar ow. Heat transfer across fluid is employed as a non-Newtonian fluid, where the fluid has a affected by radiation. Additionally, thermal radiation and heat generation are considered with the basic influence …

(R1960) Connectedness And Compactness In Fuzzy Nano Topological Spaces Via Fuzzy Nano Z Open Sets, R. Thangammal, M. Saraswathi, A. Vadivel, C. John Sundar

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we study the notion of fuzzy nano Z connected spaces, fuzzy nano Z disconnected spaces, fuzzy nano Z compact spaces and fuzzy nano Z separated sets in fuzzy nano topological spaces. We also give some properties and theorems of such concepts with connectedness and compactness in fuzzy nano topological spaces.

(R1976) A Novel Approach To Solve Fuzzy Rough Matrix Game With Two Players, Vinod Jangid, Ganesh Kumar, Gaurav Sharama, Vishnu Narayan Mishra

Applications and Applied Mathematics: An International Journal (AAM)

This paper proposes a new method for solving a two-person zero-sum fuzzy matrix game with goals, payoffs, and decision variables represented as triangular fuzzy rough numbers. We created a pair of fully fuzzy rough linear programming problems for players. Triangular fuzzy rough numbers can be used to formulate two fuzzy linear programming problems for the first player in the form of upper approximation intervals and lower approximation intervals. Two problems for the second player can be created in the same way. These problems have been split into five sub-crisp problems for the player first and five sub-crisp problems for the …

(R1895) On Refinements And Generalizations Of Hadamard Inequalities For Riemann-Liouville (R-L) Integrals, Ghulam Farid, Sidra Bibi

Applications and Applied Mathematics: An International Journal (AAM)

The Hadamard inequality is a graphical interpretation of convex functions in the coordinate plane. We give its different variants for (R-L) fractional integrals of strongly exponentially (α, h − m)- convex functions. These inequalities are generalizations and refinements of Hadamard inequalities for Riemann-Liouville fractional integrals of exponentially; convex, m-convex, (α,m)-convex, (h − m)-convex, (s,m)-convex functions in combined forms. The error bounds of established inequalities are also obtained. Special cases of main results are mentioned, which have been already published by different authors.

Antiphased Dust Deposition And Productivity In The Antarctic Zone Over 1.5 Million Years, Michael E. Weber, Ian Bailey, Sidney R. Hemming, Yasmina M. Martos, Brendan T. Reilly, Thomas A. Ronge, Stefanie Brachfeld, Trevor Williams, Maureen Raymo, Simon T. Belt, Lukas Smik, Hendrik Vogel, Victoria L. Peck, Linda Armbrecht, Alix Cage, Fabricio G. Cardillo, Zhiheng Du, Gerson Fauth, Christopher J. Fogwill, Marga Garcia, Marlo Garnsworthy, Anna Glüder, Michelle Guitard, Marcus Gutjahr, Iván Hernández-Almeida, Frida S. Hoem, Ji Hwan Hwang, Mutsumi Iizuka, Yuji Kato, Bridget Kenlee, Suzanne Oconnell, Lara F. Pérez

Department of Earth and Environmental Studies Faculty Scholarship and Creative Works

The Southern Ocean paleoceanography provides key insights into how iron fertilization and oceanic productivity developed through Pleistocene ice-ages and their role in influencing the carbon cycle. We report a high-resolution record of dust deposition and ocean productivity for the Antarctic Zone, close to the main dust source, Patagonia. Our deep-ocean records cover the last 1.5 Ma, thus doubling that from Antarctic ice-cores. We find a 5 to 15-fold increase in dust deposition during glacials and a 2 to 5-fold increase in biogenic silica deposition, reflecting higher ocean productivity during interglacials. This antiphasing persisted throughout the last 25 glacial cycles. Dust …

Veratrum Parviflorum Poisoning: Identification Of Steroidal Alkaloids In Patient Blood And Breast Milk, Jared T. Seale, Xinzhu Pu, Owen M. Mcdougal

Chemistry and Biochemistry Faculty Publications and Presentations

Introduction

The Veratrum genus is composed of plants containing a diverse set of steroidal alkaloids. Veratrum plant material has been utilized for centuries as herbal medicines, however the alkaloids have such a low therapeutic index that they are not used in modern medicine. Here we report an incident of inadvertent ingestion of V. parviflorum by hikers in Georgia that allowed detection, and in several instances identification of alkaloids from the plant, and correlated their presence within patient blood and breast milk specimens.

Case history

Eight patients, three male and five female, presented in the spring of 2020 and 2021 with …

External-Memory Dictionaries With Worst-Case Update Cost, Rathish Das, John Iacono, Yakov Nekrich

Michigan Tech Publications, Part 1

The Bϵ-tree [Brodal and Fagerberg 2003] is a simple I/O-efficient external-memory-model data structure that supports updates orders of magnitude faster than B-tree with a query performance comparable to the B-tree: for any positive constant ϵ < 1 insertions and deletions take O(B11-ϵ logB N) time (rather than O(logB N) time for the classic B-tree), queries take O(logB N) time and range queries returning k items take O(logB N + Bk) time. Although the Bϵ-tree has an optimal update/query tradeoff, the runtimes are amortized. Another structure, the write-optimized skip list, introduced by Bender et al. [PODS 2017], has the same performance as the Bϵ-tree but with runtimes that are randomized rather than amortized. In this paper, we present a variant of the Bϵ-tree with deterministic worst-case running times that are identical to the original’s amortized running times.

Water-Soluble Saponins Accumulate In Drought-Stressed Switchgrass And May Inhibit Yeast Growth During Bioethanol Production, Sarvada Hemant Chipkar, Katherine Smith, Elizabeth M. Whelan, Derek J. Debrauske, Annie Jen, Katherine A. Overmyer, Andrea Senyk, Larkin Hooker-Moericke, Marissa Gallmeyer, Joshua J. Coon, A. Daniel Jones, Trey K. Sato, Rebecca G. Ong

Michigan Tech Publications, Part 1

Background: Developing economically viable pathways to produce renewable energy has become an important research theme in recent years. Lignocellulosic biomass is a promising feedstock that can be converted into second-generation biofuels and bioproducts. Global warming has adversely affected climate change causing many environmental changes that have impacted earth surface temperature and rainfall patterns. Recent research has shown that environmental growth conditions altered the composition of drought-stressed switchgrass and directly influenced the extent of biomass conversion to fuels by completely inhibiting yeast growth during fermentation. Our goal in this project was to find a way to overcome the microbial inhibition and …

Drug Abuse Ontology To Harness Web-Based Data For Substance Use Epidemiology Research, Usha Lokala, Francois Lamy, Raminta Daniulaityte, Manas Gaur, Amelie Gyrard, Krishnaprasad Thirunarayan, Ugur Kursuncu, Amit Sheth

Computer Science and Engineering Faculty Publications

Background: Web-based resources and social media platforms play an increasingly important role in health-related knowledge and experience sharing. There is a growing interest in the use of these novel data sources for epidemiological surveillance of substance use behaviors and trends. Objective: The key aims were to describe the development and application of the drug abuse ontology (DAO) as a framework for analyzing web-based and social media data to inform public health and substance use research in the following areas: determining user knowledge, attitudes, and behaviors related to nonmedical use of buprenorphine and illicitly manufactured opioids through the analysis of web …

Detecting Selfish Mining Attacks Against A Blockchain Using Machine Learing, Matthew A. Peterson

Graduate Theses and Dissertations (2019 - present)

Selfish mining is an attack against a blockchain where miners hide newly discovered blocks instead of publishing them to the rest of the network. Selfish mining has been a potential issue for blockchains since it was first discovered by Eyal and Sirer. It can be used by malicious miners to earn a disproportionate share of the mining rewards or in conjunction with other attacks to steal money from network users. Several of these attacks were launched in 2018, 2019, and 2020 with the attackers stealing as much as $18 Million. Developers made several different attempts to fix this issue, but …

Environment And Sustainability: December 2022, Environment And Sustainability, Office Of The President

Environment and Sustainability Archives

• Recently installed solar panels in Nairobi;

• Upcoming “Meatless Mangal” campaign;

• Engagement of leaders and employees in sustainability workshops;

• Closing of President’s Challenge for Climate Solutions;

• Plastic bag phase-out at BASIC shop;

• And much more…

Disease Recognition In X-Ray Images With Doctor Consultation-Inspired Model, Kim Anh Phung, Thuan Trong Nguyen, Nileshkumar Wangad, Samah Baraheem, Nguyen D. Vo, Khang Nguyen

Computer Science Faculty Publications

The application of chest X-ray imaging for early disease screening is attracting interest from the computer vision and deep learning community. To date, various deep learning models have been applied in X-ray image analysis. However, models perform inconsistently depending on the dataset. In this paper, we consider each individual model as a medical doctor. We then propose a doctor consultation-inspired method that fuses multiple models. In particular, we consider both early and late fusion mechanisms for consultation. The early fusion mechanism combines the deep learned features from multiple models, whereas the late fusion method combines the confidence scores of all …

Analysis Of Precipitation Reversals Over The State Of Arkansas, Mallory Hoff

Crop, Soil and Environmental Sciences Undergraduate Honors Theses

Recent studies have examined hydroclimate precipitation reversals, but because it is a newly defined concept, there is minimal research available on how reversals are changing, and it has not been widely investigated. Precipitation reversal is the rapid switch between wet and dry periods or “precipitation extremes and the opposite” (McKay, 2018), based on precipitation measurements in this case. A single reversal is the immediate transition from a wet to a dry period or from a dry to a wet period. Changes in reversals have not been thoroughly reported and this gap in research creates a risk of unpredictable conditions that …