Physical Sciences and Mathematics Commons^™

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 …

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 …

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 …

Improving Efficiency Of Rational Krylov Subspace Methods, Shengjie Xu

All Dissertations

This thesis studies two classes of numerical linear algebra problems, approximating the product of a function of a matrix with a vector, and solving the linear eigenvalue problem $Av=\lambda Bv$ for a small number of eigenvalues. These problems are solved by rational Krylov subspace methods (RKSM). We present several improvements in two directions: pole selection and applying inexact methods.

In Chapter 3, a flexible extended Krylov subspace method ($\mathcal{F}$-EKSM) is considered for numerical approximation of the action of a matrix function $f(A)$ to a vector $b$, where the function $f$ is of Markov type. $\mathcal{F}$-EKSM has the same framework as …

Analyzing Business-Focused Social Networks In Hiring: The Influence Of A Job Candidate's Network On A Recruiter's Hiring Recommendation, Hannah V. Kibby

<strong> Theses and Dissertations </strong>

Social media has altered the ways in which people interact. Business-focused social media profiles, such as those on LinkedIn, can act as a proxy for a traditional resume. However, these websites differ from a traditional resume in that information presented is sometimes informal, personal, and irrelevant to the member’s career. Furthermore, HR employees are able to view a job candidate’s social network. This research investigates the influence of a recruiter’s knowledge of an applicant’s professional network on the recruiter’s perception of the applicant’s trustworthiness and hence their willingness to take risk in the hiring relationship. A review of the literature …

Eureka: Euphemism Recognition Enhanced Through Knn-Based Methods And Augmentation, Sedrick Scott Keh, Rohit Bharadwaj, Emmy Liu, Simone Tedeschi, Varun Gangal, Roberto Navigli

Computer Vision Faculty Publications

We introduce EUREKA, an ensemble-based approach for performing automatic euphemism detection. We (1) identify and correct potentially mislabelled rows in the dataset, (2) curate an expanded corpus called EuphAug, (3) leverage model representations of Potentially Euphemistic Terms (PETs), and (4) explore using representations of semantically close sentences to aid in classification. Using our augmented dataset and kNN-based methods, EUREKA was able to achieve state-of-the-art results on the public leaderboard of the Euphemism Detection Shared Task, ranking first with a macro F1 score of 0.881.

A Probabilistic Formalisation Of Contextual Bias: From Forensic Analysis To Systemic Bias In The Criminal Justice System, M. Cuellar, J. Mauro, Amanda Luby

Mathematics & Statistics Faculty Works

Researchers have found evidence of contextual bias in forensic science, but the discussion of contextual bias is currently qualitative. We formalise existing empirical research and show quantitatively how biases can be propagated throughout the legal system, all the way up to the final determination of guilt in a criminal trial. We provide a probabilistic framework for describing how information is updated in a forensic analysis setting by using the ratio form of Bayes’ rule. We analyse results from empirical studies using this framework and employ simulations to demonstrate how bias can be compounded where experiments do not exist. We find …

Data Processing Under Fuzzy Uncertainty: Towards More Accurate Algorithms, Marina Tuyako Mizukoshi, Weldon Lodwick, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Data that we process comes either from measurements or from experts -- or from the results of previous data processing that were also based on measurements and/or expert estimates. In both cases, the data is imprecise. To gauge the accuracy of the results of data processing, we need to take the corresponding data uncertainty into account. In this paper, we describe a new algorithm for taking fuzzy uncertainty into account, an algorithm that, for small number of inputs, leads to the same or even better accuracy than the previously proposed methods.

(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.

(R1509) Topsis And Vikor Methods For Spherical Fuzzy Soft Set Aggregating Operator Framework, M. Palanikumar, K. Arulmozhi, Lejo J. Manavalan

Applications and Applied Mathematics: An International Journal (AAM)

The Spherical Fuzzy Soft (SFS) set is a generalization of the Pythagorean fuzzy soft set and the intuitionistic fuzzy soft set. We introduce the concept of aggregating SFS decision matrices based on aggregated operations. The techniques for order of preference by similarity to ideal solution (TOPSIS) and viekriterijumsko kompromisno rangiranje (VIKOR) for the SFS approaches are the strong points of multi criteria group decision making (MCGDM), which is various extensions of fuzzy soft sets. We define a score function based on aggregating TOPSIS and VIKOR methods to the SFS-positive and SFS-negative ideal solutions. The TOPSIS and VIKOR methods provide decision-making …

(R2020) Dynamical Study And Optimal Harvesting Of A Two-Species Amensalism Model Incorporating Nonlinear Harvesting, Manoj Kumar Singh, Poonam .

Applications and Applied Mathematics: An International Journal (AAM)

This study proposes a two-species amensalism model with a cover to protect the first species from the second species, with the assumption that the growth of the second species is governed by nonlinear harvesting. Analytical and numerical analyses have both been done on this suggested ecological model. Boundedness and positivity of the solutions of the model are examined. The existence of feasible equilibrium points and their local stability have been discussed. In addition, the parametric conditions under which the proposed system is globally stable have been determined. It has also been shown, using the Sotomayor theorem, that under certain parametric …

(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.

(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.

(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 …

(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 …

Carbon Capture Is Not Climate Action, Bella Devney

Op-Eds from ENSC230 Energy and the Environment: Economics and Policies

A new technology is being brought to Western Nebraska in the form of Carbon Capture and Storage in the name of climate action, but the health of Nebraska’s environment and people are being ignored. Bridgeport Ethanol Plant announced this fall that they plan to begin building technology that will capture and store “175,000 tons/yr” which is a small percentage of the 4,577 million tons emitted by the US in 2020.

Carbon can be captured from the atmosphere itself or in the Ethanol Plant’s case from the point of the CO2 production. After carbon is captured from the plant’s smokestack, it …

Coupled Spherical-Cavities, Stanislav Kreps, Vladimir Shuvayev, Mark Douvidzon, Baheej Bathish, Tom Lenkiewicz Abudi, Amirreza Ghaznavi, Jie Xu, Yang Lin, Lev Deych, Tal Carmon

Publications and Research

In this work, we study theoretically and experimentally optical modes of photonic molecules—clusters of optically coupled spherical resonators. Unlike previous studies, we do not use stems to hold spheres in their positions relying, instead on optical tweezers to maintain desired structures. The modes of the coupled resonators are excited using a tapered fiber and are observed as resonances with a quality factor as high as 107. Using the fluorescent mapping technique, we observe families of coupled modes with similar spatial and spectral shapes repeating every free spectral range (a spectral separation between adjacent resonances of individual spheres). Experimental results are …

Metrological Challenges Of Practical Computer-Enhanced Measurements, Hector Alejandro Reyes

Open Access Theses & Dissertations

As technology progresses, sensors and computers become cheaper, so we can afford to perform more measurements and process the data faster. However, this also brings challenges.The goal of this thesis is to enumerate these challenges and to provide possible solutions. The first challenge is related to the fact that the existing metrological recommendations are mostly based on the previous practice, when we could only afford to have a small number of measurements. In this regard, our objective is to describe the related problem and to propose a solution to this problem. These description (on the example of the design of …

Scalable Distributional Robustness In A Class Of Non Convex Optimization With Guarantees, Avinandan Bose, Arunesh Sinha, Tien Mai

Research Collection School Of Computing and Information Systems

Distributionally robust optimization (DRO) has shown lot of promise in providing robustness in learning as well as sample based optimization problems. We endeavor to provide DRO solutions for a class of sum of fractionals, non-convex optimization which is used for decision making in prominent areas such as facility location and security games. In contrast to previous work, we find it more tractable to optimize the equivalent variance regularized form of DRO rather than the minimax form. We transform the variance regularized form to a mixed-integer second order cone program (MISOCP), which, while guaranteeing near global optimality, does not scale enough …

R2f: A General Retrieval, Reading And Fusion Framework For Document-Level Natural Language Inference, Hao Wang, Yixin Cao, Yangguang Li, Zhen Huang, Kun Wang, Jing Shao

Research Collection School Of Computing and Information Systems

Document-level natural language inference (DocNLI) is a new challenging task in natural language processing, aiming at judging the entailment relationship between a pair of hypothesis and premise documents. Current datasets and baselines largely follow sentence-level settings, but fail to address the issues raised by longer documents. In this paper, we establish a general solution, named Retrieval, Reading and Fusion (R2F) framework, and a new setting, by analyzing the main challenges of DocNLI: interpretability, long-range dependency, and cross-sentence inference. The basic idea of the framework is to simplify document-level task into a set of sentence-level tasks, and improve both performance and …

Assessing The Effectiveness Of Climate Change Science Communication In An Online Carbon Footprint Assessment, Jack Dimmock

Master of Science in Environmental Sciences and Management Projects

Climate change literacy and knowledge are influential in enabling people to take climate change mitigation and adaptation actions. Education about climate change usually takes place through two avenues, formal education and informal institutions, such as museums, television shows, and websites. To help residents reduce their household greenhouse gas emissions and adapt to the local impacts of climate change, the San Luis Obispo Climate Coalition is using the carbon footprint website Bright Action (https://resilientslo.org). Bright Action calculates household carbon footprints, suggests ways to reduce carbon footprints, and provides educational material about climate change mitigation and adaptation. This study seeks to assess …

A Cradle-To-Gate Life Cycle Assessment Of American Hops In The Craft Beer Supply Chain, Carson Bristol

Master of Science in Environmental Sciences and Management Projects

The hop industry represents a culturally and economically significant industry in the United States due to the product’s significant role in the beer industry, but little is known about the environmental impacts associated with hop production. There exists a significant lack of specific research quantifying the emissions contribution of hop production, and the work that has been done lacks consensus in the scientific community. In an effort to overcome this, this study conducts a cradle-to-gate life cycle assessment (LCA) of aroma hop production broken into four phases, beginning with propagation of seedlings by tissue culture and ending with packaged T-90 …

Metabolic Alterations And Cardiovascular Risk After Hepatitis C Cure In Subjects With Or At Risk For Hiv, Christophe Maxime Fokoua Dongmo

Legacy Theses & Dissertations (2009 - 2024)

Background. Hepatitis C virus (HCV) infection engenders substantial metabolic changes. These changes are altered when the virus is cleared after successful treatment. We measured these metabolic alterations that occur after HCV cure; further, we assessed whether these alterations differed in subgroups defined by patients’ characteristics.

Flood Hazard And Risk Analyses In The Republic Of Panama: A Case Study From The Juan Diaz River Watershed In Panama City, Virgilio De Jesus Quintero

Graduate Theses and Dissertations

Flooding is the natural hazard with most occurrences in Panama. Its frequency and magnitude have increased over the years. This dissertation analyzes Panama’s flood activity in order to better understand flood hazards, the current evolution of Panamanian perceptions of flood risk, and the incorporation of indigenous knowledge used to mitigate flood hazards. The first chapter developed a baseline of past and current flood inventory in Panama, which required the use of flood historical data, thematic cartography, and Geographic Information Science (GIS). This chapter shows Panama has experienced floods in varying degrees. Through the spatial and temporal distribution of floods from …

Using Molecular Dynamics Simulations To Decipher Mechanistic Details Of Biomolecular Processes Of Biology And Biotechnology Oriented Applications, Adithya Polasa

Graduate Theses and Dissertations

Researchers in chemistry and biology often utilize computer simulations, in conjunction with experimental data, to model and predict the structures, energies, kinetics, processes, and functions of the systems that are their focus of study, ranging from single molecules to whole viruses. Here, we use molecular dynamics (MD) techniques to gain a deeper understanding of biomolecular processes in biology and biotechnology-oriented applications. Using a mixture of equilibrium and non-equilibrium MD simulations, this work describes the insertion process of YidC at the atomic level. In order to better comprehend the insertion process, several docking models of YidC-Pf3 in the lipid bilayer were …

Multivariate Fairness For Paper Selection, Reem Alsaffar

Graduate Theses and Dissertations

Peer review is the process by which publishers select the best publications for inclusion in a journal or a conference. Bias in the peer review process can impact which papers are selected for inclusion in conferences and journals. Although often implicit, race, gender and other demographics can prevent members of underrepresented groups from presenting at major conferences. To try to avoid bias, many conferences use a double-blind review process to increase fairness during reviewing. However, recent studies argue that the bias has not been removed completely. Our research focuses on developing fair algorithms that correct for these biases and select …

The Binding Of The Micronutrient Transition Metals To The Alkylation Products Of Chemical Warfare Agent, Sulfur Mustard, And Thiols, Potentially Giving New Understanding To Physiological Effects Of Exposure And Increased Toxicity, Colin O'Donnell

Graduate Theses and Dissertations

Model compounds, 3,6,9-trithaiundecane-1,11-dicarboxylic acid (TTDPA), 2,5,8-trithianonane-1,9-dicarboxylic acid (TTDAA), and 1,11-diamide-3,6,9-trithiaundecane (TTDAce), closely related to the adducts formed by cysteine alkylation of the chemical weapon, sulfur mustard, were synthesized. It is shown that TTDPA forms complexes with key metal micronutrients: copper, nickel, cobalt, manganese, and zinc. Though the strength of binding to TTDPA varies, the complexes in many cases precipitate from solution. All metals produced a visible precipitate upon interaction with TTDPA under the conditions tested, however only Cu2+, Mn2+, and Zn2+ produced enough to be measured. The mass of formed precipitate seemed to peak at an equimolar ratio of TTDPA …

Experimental Identification Of Aminomethanol (Nh2ch2oh)—The Key Intermediate In The Strecker Synthesis, Santosh K. Singh, Cheng Zhu, Jesse La Jeunesse, Ryan C. Fortenberry, Ralf I. Kaiser

Faculty and Student Publications

The Strecker Synthesis of (a)chiral α-amino acids from simple organic compounds, such as ammonia (NH3), aldehydes (RCHO), and hydrogen cyanide (HCN) has been recognized as a viable route to amino acids on primordial earth. However, preparation and isolation of the simplest hemiaminal intermediate – the aminomethanol (NH2CH2OH)– formed in the Strecker Synthesis to even the simplest amino acid glycine (H2NCH2COOH) has been elusive. Here, we report the identification of aminomethanol prepared in low-temperature methylamine (CH3NH2) – oxygen (O2) ices upon exposure to energetic electrons. Isomer-selective photoionization time-of-flight mass spectrometry (PI-ReTOF-MS) facilitated the gas phase detection of aminomethanol during the temperature …

Oil Particle Analysis Using Machine Learning And Holography Imaging, Daniel Cruz

Open Access Theses & Dissertations

Holographic cameras show potential as a sensor to monitor oil spills. Holographic cameras record the light interference from particles in a volume of space, producing an image called a hologram. Processing these holograms is known as hologram reconstruction. It produces a representation of particles located in three-dimensional space. These cameras can record precise shapes and sizes of particles in a volume of water. However, it is very time-consuming and resource-intensive to process the images. Most algorithms that perform particle analysis require the hologram reconstruction step. The well-documented hybrid method is one such algorithm. Machine learning is one possible technique that …

The Impact Of A Nuclear Disturbance On A Space-Based Quantum Network, Alexander Miloshevsky

Doctoral Dissertations

Quantum communications tap into the potential of quantum mechanics to go beyond the limitations of classical communications. Currently, the greatest challenge facing quantum networks is the limited transmission range of encoded quantum information. Space-based quantum networks offer a means to overcome this limitation, however the performance of such a network operating in harsh conditions is unknown. This dissertation analyzes the capabilities of a space-based quantum network operating in a nuclear disturbed environment. First, performance during normal operating conditions is presented using Gaussian beam modeling and atmospheric modeling to establish a baseline to compare against a perturbed environment. Then, the DEfense …