Physical Sciences and Mathematics Commons^™

On Generalized Hoops, Homomorphic Images Of Residuated Lattices, And (G)Bl-Algebras, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

Right-residuated binars and right-divisible residuated binars are defined as precursors of generalized hoops, followed by some results and open problems about these partially ordered algebras. Next we show that all complete homomorphic images of a complete residuated lattice A can be constructed easily on certain definable subsets of A. Applying these observations to the algebras of Hajek’s basic logic (BL-algebras), we give an effective description of the HS-poset of finite subdirectly irreducible BL-algebras. The lattice of finitely generated BL-varieties can be obtained from this HS-poset by constructing the lattice of downward closed sets. These results are extended to bounded …

Stratifying On-Shell Cluster Varieties: The Geometry Of Non-Planar On-Shell Diagrams, Jacob L. Bourjaily, Sebastian Franco, Danielle Galloni, Congkao Wen

Publications and Research

The correspondence between on-shell diagrams in maximally supersymmetric Yang-Mills theory and cluster varieties in the Grassmannian remains largely unexplored beyond the planar limit. In this article, we describe a systematic program to survey such `on-shell varieties', and use this to provide a complete classification in the case of G(3; 6). In particular, we find exactly 24 top-dimensional varieties and 10 co-dimension one varieties in G(3; 6) | up to parity and relabeling of the external legs. We use this case to illustrate some of the novelties found for non-planar varieties relative to the case of positroids, and describe some of …

Search For New Physics With The M T2 Variable In All-Jets Final States Produced In Pp Collisions At √S=13 Tev, M M. Baarmand, Vallary Bhopatkar, Stefano Colafranceschi, Marcus Hohlmann, H Kalakhety, D Noonan, Tuhin S. Roy, Francisco X. Yumiceva, Cms Collaboration

Aerospace, Physics, and Space Science Faculty Publications

A search for new physics is performed using events that contain one or more jets, no isolated leptons, and a large transverse momentum imbalance, as measured through the MT2 variable, which is an extension of the transverse mass in events with two invisible particles. The results are based on a sample of proton-proton collisions collected at a center-of-mass energy of 13 TeV with the CMS detector at the LHC, and that corresponds to an integrated luminosity of 2.3 fb−1. The observed event yields in the data are consistent with predictions for the standard model backgrounds. The results are interpreted using …

Rapid High-Throughput Species Identification Of Botanical Material Using Direct Analysis In Real Time High Resolution Mass Spectrometry, Rabi A. Musah, Ashton D. Lesiak

Chemistry Department Faculty Scholarship

We demonstrate that direct analysis in real time-high resolution mass spectrometry can be used to produce mass spectral profiles of botanical material, and that these chemical fingerprints can be used for plant species identification. The mass spectral data can be acquired rapidly and in a high throughput manner without the need for sample extraction, derivatization or pH adjustment steps. The use of this technique bypasses challenges presented by more conventional techniques including lengthy chromatography analysis times and resource intensive methods. The high throughput capabilities of the direct analysis in real time-high resolution mass spectrometry protocol, coupled with multivariate statistical analysis …

Fluselenamyl: A Novel Benzoselenazole Derivative For Pet Detection Of Amyloid Plaques (Aβ) In Alzheimer's Disease, Nigam Rath, G.S.M. Sundaram, Dhruva Dhavale, Julie Prior, Ping Yan, John Cirrito, Richard Laforest, Nigel Cairns, Jin-Moo Lee, Paul Kotzbauer, Vijay Sharma

Chemistry & Biochemistry Faculty Works

Fluselenamyl (5), a novel planar benzoselenazole shows traits desirable of enabling noninvasive imaging of Aβ pathophysiology in vivo; labeling of both diffuse (an earlier manifestation of neuritic plaques) and fibrillar plaques in Alzheimer’s disease (AD) brain sections, and remarkable specificity for mapping Aβ compared with biomarker proteins of other neurodegenerative diseases. Employing AD homogenates, [18F]-9, a PET tracer demonstrates superior (2–10 fold higher) binding affinity than approved FDA tracers, while also indicating binding to high affinity site on Aβ plaques. Pharmacokinetic studies indicate high initial influx of [18F]-9 in normal mice brains accompanied by rapid clearance in the absence of …

Weights And Balances: Integrating Models For Prevention And Response To Southern California Offshore Oil Spills, Carmen Watts Clayton, Amoret Bunn

STAR Program Research Presentations

Licensing offshore oil and gas reserves in the United States waters are overseen by the U.S. Department of the Interior’s Bureau of Safety and Enforcement (BSEE). The licensing application includes planning for any worst-case oil spill scenario between BSEE and the applicant based on lessons learned from historic offshore spills such as the Deepwater Horizon (2010), Exxon Valdez (1989), and the Union Oil Platform Blowout (1969). The process for planning to respond to oil spills involves coordination with multiple agencies, trustees, and stakeholders to ensure that oil spill responses consider multiple factors, including ecologically sensitive species, commercial transportation and fisheries, …

Effect Of Surface Treatment On Liquid Adhesion Inside 3-D Structures, Madani A. Khan, Jeffrey Alston, Andrew Guenthner, Jacob Zavala

STAR Program Research Presentations

This study explores the relationship between chemical surface treatments on the interior of glass tubes and their resistance to fluid flow. By treating the interior of the tubes with functional silanes we can decrease or increase the interaction of the tube walls with the fluid column, which translates to changes in fluid column height for a given pressure differential. Resistance to fluid flow is quantified by using the tubes as integral parts of a barometric pressure column and measuring the changes in column height as the fluid is pulled into the tube by a set pressure differential. The barometric pressure …

Examination On The Efficacy Of Noah-Multiparameterization (Noah-Mp) As A New Land Model In Earth Systems Modeling, Nicholas Rubel, Guo-Yue Niu, Ning Ma

STAR Program Research Presentations

Along with measurements and observations, models (both physical and mathematical) are among the most important tools used by Earth scientists to make hypotheses, test hypotheses, and form predictions. These models are based upon information and theories already believed to be true. As newer and better information is discovered, the models can become more accurate and precise. Mathematical models, sometimes called numerical models, also rely on technology; as the technology used to make models becomes more advanced, more complex models can be made and used to test more variables at once. This report examines a new mathematical model called Noah-Multiparameterization (Noah-MP) …

Characterization Of S-Swcnt/Pf-Pd Dispersions And Networks, Tamara N. El-Hayek Ms., Jeffrey Blackburn, Andrew Ferguson, Tammy Pheuphong

STAR Program Research Presentations

Single-Walled Carbon Nanotubes (SWCNTs) are being investigated for their use in a wide variety of renewable energy applications. Their unique physical properties contribute to desirable traits such as a high carrier mobility, strong optical absorption and tunable electronic band gap. Unfortunately, due to variability in certain parameters, SWCNTs are limited in their application. The major drawback is that SWCNTs are variable in size and type and typical synthetic methods are not selective. As a result, selective methods must be developed in order to sort these tubes and extract those which are desirable for a particular application. Though there are several …

Optimizing The Telescope Assembly Alignment Simulator For Sofia, Zoe E. Sharp, Alex Quyenvo, Jennifer Briggs, Brian Eney

STAR Program Research Presentations

The Stratospheric Observatory for Infrared Astronomy (SOFIA) conducts research on a modified Boeing 747sp aircraft. By using a variety of infrared science instruments mounted on a 2.7 meter telescope, researchers can make discoveries about the galactic center, star formation, and various topics associated with a deeper understanding of our universe. To efficiently collect data through the SOFIA instruments, the instruments must be tested and prepared prior to being placed on the aircraft. Therefore, with the use of the Telescope Assembly Alignment Simulator (TAAS), researchers can design and construct improvements needed for these instruments to efficiently perform while in flight. The …

Active Snort Rules And The Needs For Computing Resources: Computing Resources Needed To Activate Different Numbers Of Snort Rules, Chad A. Arney, Xinli Wang

School of Technology Publications

This project was designed to discover the relationship between the number of enabled rules maintained by Snort and the amount of computing resources necessary to operate this intrusion detection system (IDS) as a sensor. A physical environment was set up to loosely simulate a network and an IDS sensor monitoring it.

The experiment was conducted in five trials. A different number of Snort rules was enabled in each trial and the corresponding utilization of computing resources was measured. Remarkable variation and a clear trend of CPU usage were observed in the experiment.

College Of Science And Mathematics Newsletter, Fall 2016, College Of Science And Mathematics, Wright State University

College of Science and Mathematics Newsletters

This 6 page newsletter discusses various happenings within the College of Science and Mathematics. It begins with a letter from the dean, and continues on with news, events, alumni news, and other community news.

A Study Of Defensive Mechanisms Employed By Two Species Of Nudibranchs Using Toxicity And Unpalatability Analyses, Sean Youn

Independent Study Project (ISP) Collection

Nudibranchs are marine invertebrates that have developed an intriguing defense mechanism, including warning coloration and the use of chemicals accumulated through their sponge diet. The goal of this study was to determine whether the strength of chemical defenses differs between dietary and accumulated secondary metabolites for two species: Glossodoris vespa and Ceratosoma brevicaudatum. First, NMR spectroscopy was used to not only identify specific compounds in the mantle (outer covering) and the viscera (gut) but also to analyze the possibility of nudibranch species transporting more toxic compounds for defensive purposes. Next, toxicity (brine shrimp) and palatability (Palaemon shrimp) assays were used …

Chemistry Department Newsletter 2016, Ken Overway

Chemistry Department Newsletters

This document contains a summary of news and events from the chemistry department from the 2015-2016 academic year.

Analysis Of The Encapsulation Of Beeswax Microspheres With Ibuprofen, Chau To, Kermin Martinez-Hernandez

Undergraduate External Publications

Beeswax is extremely versatile, often used in candles, lubricants. This compound is readily available and is not very expensive. We are interested in using beeswax as a biodegradable capsule to self-encapsulate drugs like ibuprofen.

Water Quality In And Around Glen Helen Nature Preserve Fall 2016, Krista Baumgartner, Kellie Bohrer, Brandon Bresler, Thomas Chenault, Miriam Crane, Jennifer Dean, James Herbort, Kelsey Hood, Megan Shade, Kraig Strayer, Nicholas Yahana, Emily Warren, Ben Silliman, Brandon Myers, Steven Ujvary, Audrey E. Mcgowin

Chemistry Faculty Publications

No abstract provided.

Indigo Dying With Amy Deveau's Chemistry Class, Kim Bernard

Artist in Residence: Kim Bernard

Description and images from one of Kim Bernard's class "drop-ins" during her fall semester 2016 time as the University of New England Artist in Residence. Kim met with Professor Amy Deveau's chemistry class to integrate the process of dying with indigo into their subjects.

Measurement And Modeling Of Cosmic Ray Exposure For Supercdms Dark Matter Detectors., Kameron Mccall, John Orrell, Jared Yamaoka

STAR Program Research Presentations

Dark matter is an unknown type of matter that composes roughly 27% of the observable universe and, as cosmological structure models suggest, the earth should be passing through a “dark halo” of this unknown matter present in the Milky Way galaxy. As we pass through this halo, the Super Cryogenic Dark Matter Search (SuperCDMS) experiment aims to directly detect dark -matter particles. Though many dark matter particle candidates exist, SuperCDMS focuses on the detection of particles called WIMPS (weakly interacting massive particles) as predicted by super-symmetric theories beyond the standard model. Due to the high-sensitivity of the germanium detectors employed, …

Exploring Mathematical Strategies For Finding Hidden Features In Multi-Dimensional Big Datasets, Tri Duong, Fang Ren, Apurva Mehta

STAR Program Research Presentations

With advances in technology in brighter sources and larger and faster detectors, the amount of data generated at national user facilities such as SLAC is increasing exponentially. Humans have a superb ability to recognize patterns in complex and noisy data and therefore, data is still curated and analyzed by humans. However, a human brain is unable to keep up with the accelerated pace of data generation, and as a consequence, the rate of new discoveries hasn't kept pace with the rate of data creation. Therefore, new procedures to quickly assess and analyze the data are needed. Machine learning approaches are …

Testing Predictions Used To Build An Agrivoltaics Installation On A Small-Scale Educational Model, Katie Kinney, Rebecca Minor, Greg Barron-Gafford

STAR Program Research Presentations

Models are valuable tools for explaining and testing systems. Small-scale models can be especially useful for educational purposes. For models to be useful, they have to accurately depict the larger system that they are describing. A novel man-made system, known as an agrivoltaic structure, is being constructed at Biosphere 2 near Oracle, Arizona. The word agrivoltaic is a combination of agriculture and photovoltaics, or solar farming. My research involved creating a small-scale version of this system for educational purposes. The model of this system tested two predictions: that plants will grow better in the shade of a panel and that …

Examination On The Efficacy Of Noah-Multiparameterization (Noah-Mp) As A New Land Model In Earth Systems Modeling, Nicholas Rubel, Guo-Yue Niu, Ning Ma

STAR Program Research Presentations

Along with measurements and observations, models (both physical and mathematical) are among the most important tools used by Earth scientists to make hypotheses, test hypotheses, and form predictions. These models are based upon information and theories already believed to be true. As newer and better information is discovered, the models can become more accurate and precise. Mathematical models, sometimes called numerical models, also rely on technology; as the technology used to make models becomes more advanced, more complex models can be made and used to test more variables at once. This report examines a new mathematical model called Noah-Multiparameterization (Noah-MP) …

Qualitative Theory Of Differential Equations, Difference Equations, And Dynamic Equations On Time Scales, Tongxing Li, Martin Bohner, Tuncay Candan, Yuriy V. Rogovchenko, Qi-Ru Wang

Mathematics and Statistics Faculty Research & Creative Works

This issue on qualitative analysis on differential, fractional differential, and dynamic equations and related topics aims at an all-around research and the state-of-the-art theoretical, numerical, and practical achievements that contribute to this field.

Smt-Based Constraint Answer Set Solver Ezsmt (System Description), Benjamin Susman, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. Recently, the formal link between this research area and satisfiability modulo theories (or SMT) was established. This link allows the cross-fertilization between traditionally different solving technologies. The paper presents the system EZSMT, one of the first SMT-based solvers for constraint answer set programming. It also presents the comparative analysis of the performance of EZSMT in relation to its peers including solvers EZCSP and CLINGCON that rely on the hybrid solving approach based on the combination of answer set solvers and constraint solvers. Experimental …

Getches-Wilkinson Center Newsletter, Fall 2016, University Of Colorado Boulder. Getches-Wilkinson Center For Natural Resources, Energy, And The Environment

Getches-Wilkinson Center for Natural Resources, Energy, and the Environment Newsletter (2013-)

No abstract provided.

Water Quality Reporting Limits, Method Detection Limits, And Censored Values: What Does It All Mean?, Bradley J. Austin, J. Thad Scott, Mike Daniels, Brian E. Haggard

Arkansas Water Resource Center Fact Sheets

The Arkansas Water Resources Center (AWRC) maintains a fee-based water-quality lab that is certified by the Arkansas Department of Environmental Quality (ADEQ). The AWRC Water Quality Lab analyzes water samples for a variety of constituents, using standard methods for the analysis of water samples (APHA 2012). The lab generates a report on the analysis, which is provided to clientele, and reports the concentrations or values as measured. Often times the concentrations or values might be very small, even zero as reported by the lab – what does this mean? How should we use this information? This document is intended to …

Database Analysis To Support Nutrient Criteria Development (Phase Ii), B. E. Haggard, M.A. Evans-White, L.B. Massey, E.M. Grantz

Arkansas Water Resources Center Technical Reports

The intent of this publication of the Arkansas Water Resources Center is to provide a location whereby a final report on water research to a funding agency can be archived. The Texas Commission on Environmental Quality (TCEQ) contracted with University of Arkansas researchers for a multiple year project titled “Database Analysis to Support Nutrient Criteria Development”. This publication covers the second of three phases of that project and has maintained the original format of the report as submitted to TCEQ. This report can be cited either as an AWRC publication (see below) or directly as the final report to TCEQ.

Database Analysis To Support Nutrient Criteria Development (Phase I), B. E. Haggard, J.T. Scott, M.A. Evans-White

Arkansas Water Resources Center Technical Reports

The intent of this publication of the Arkansas Water Resources Center is to provide a location whereby a final report on water research to a funding agency can be archived. The Texas Commission on Environmental Quality (TCEQ) contracted with University of Arkansas researchers for a multiple year project titled “Database Analysis to Support Nutrient Criteria Development”. This publication covers the first of three phases of that project and has maintained the original format of the report as submitted to TCEQ. This report can be cited either as an AWRC publication (see below) or directly as the final report to TCEQ.

Beaver Lake Numeric Chlorophyll-A And Secchi Transparency Standards, Phases Ii And Iii: Uncertainty And Trend Analysis, J. Thad Scott, Brian E. Haggard, Zachary Simpson, Matthew Rich

Arkansas Water Resources Center Technical Reports

The objective of Phases II and III of this study were to 1) assess the variation in chl‐a and ST across multiple spatial and temporal scales in Beaver Lake in order to validate the assessment method, and 2) quantify trends in chl‐a, ST, and nutrient (total phosphorus and total nitrogen) concentrations in Beaver Lake and the major inflowing rivers to verify any potential water quality impairment.

Database Analysis To Support Nutrient Criteria Development (Phase Iii), J. T. Scott, E.M. Grantz

Arkansas Water Resources Center Technical Reports

The intent of this publication of the Arkansas Water Resources Center is to provide a location whereby a final report on water research to a funding agency can be archived. The Texas Commission on Environmental Quality (TCEQ) contracted with University of Arkansas researchers for a multiple year project titled “Database Analysis to Support Nutrient Criteria Development”. This publication covers the third of three phases of that project and has maintained the original format of the report as submitted to TCEQ. This report can be cited either as an AWRC publication (see below) or directly as the final report to TCEQ.

Techniques For Identifying Mobile Platform Vulnerabilities And Detecting Policy-Violating Applications, Mon Kywe Su

Dissertations and Theses Collection

Mobile systems are generally composed of three layers of software: application layer where third-party applications are installed, framework layer where Application Programming Interfaces (APIs) are exposed, and kernel layer where low-level system operations are executed. In this dissertation, we focus on security and vulnerability analysis of framework and application layers. Security mechanisms, such as Android’s sandbox and permission systems, exist in framework layer, while malware scanners protects application layer. However, there are rooms for improvement in both mechanisms. For instance, Android’s permission system is known to be implemented in ad-hoc manner and not well-tested for vulnerabilities. Application layer also focuses …